Computational Integrity with a Public Random String from Quasi-Linear PCPs-Reference-Cited by-同舟云学术

Computational Integrity with a Public Random String from Quasi-Linear PCPs

Published:2017 Issue: Volume: Page:551-579
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ben-Sasson Eli,Bentov Iddo,Chiesa Alessandro,Gabizon Ariel,Genkin Daniel,Hamilis Matan,Pergament Evgenya,Riabzev Michael,Silberstein Mark,Tromer Eran,Virza Madars

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-56617-7_19

Reference77 articles.

1. Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. J. ACM 45(3), 501–555 (1998). Preliminary version in FOCS 1992

2. Arora, S., Safra, S.: Probabilistic checking of proofs: a new characterization of NP. J. ACM 45(1), 70–122 (1998). Preliminary version in FOCS 1992

3. Babai, L., Fortnow, L., Levin, L.A., Szegedy, M.: Checking computations in polylogarithmic time. In: Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, pp. 21–32, STOC 1991(1991)

4. Babai, L., Fortnow, L., Lund, C.: Nondeterministic exponential time has two-prover interactive protocols. In: Proceedings of the 31st Annual Symposium on Foundations of Computer Science, pp. 16–25, SFCS 1990 (1990)

5. Babai, L., Moran, S.: Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class. J. Comput. Syst. Sci. 36(2), 254–276 (1988)

Cited by 39 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tethering Layer 2 solutions to the blockchain: A survey on proving schemes;Computer Communications;2024-09

2. IOPs with Inverse Polynomial Soundness Error;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06

3. Mjolnir: Breaking the Glass in a Publicly Verifiable Yet Private Manner;IEEE Transactions on Network and Service Management;2023-09

4. Ligero: lightweight sublinear arguments without a trusted setup;Designs, Codes and Cryptography;2023-07-13

5. GZKP: A GPU Accelerated Zero-Knowledge Proof System;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27