$$\textsf{Testudo}$$: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup-Reference-Cited by-同舟云学术

$$\textsf{Testudo}$$: Linear Time Prover SNARKs with Constant Size Proofs and Square Root Size Universal Setup

Published:2023 Issue: Volume: Page:331-351
ISSN:0302-9743
Container-title:Progress in Cryptology – LATINCRYPT 2023
language:
Short-container-title:

Author:

Campanelli Matteo,Gailly Nicolas,Gennaro Rosario,Jovanovic Philipp,Mihali Mara,Thaler Justin

Publisher

Springer Nature Switzerland

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-44469-2_17

Reference34 articles.

1. Aranha, D.F., El Housni, Y., Guillevic, A.: A survey of elliptic curves for proof systems. Cryptology ePrint Archive, Report 2022/586 (2022). https://eprint.iacr.org/2022/586

2. Arkworks contributors (2023). arkworks zksnark ecosystem

3. Belling, A., Soleimanian, A., Bégassat, O.: Recursion over public-coin interactive proof systems; faster hash verification. Cryptology ePrint Archive, Report 2022/1072 (2022). https://eprint.iacr.org/2022/1072

4. Bellperson contributors (2023). The bellperson zk-SNARK library

5. Ben-Sasson, E., Bentov, I., Horesh, Y., Riabzev, M.: Scalable, transparent, and post-quantum secure computational integrity. Cryptology ePrint Archive, Report 2018/046 (2018). https://eprint.iacr.org/2018/046

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

1. How to Make Rational Arguments Practical and Extractable;IACR Communications in Cryptology;2024-04-09

2. Simulation-Extractable KZG Polynomial Commitments and Applications to HyperPlonk;Lecture Notes in Computer Science;2024

3. zk-Bench: A Toolset for Comparative Evaluation and Performance Benchmarking of SNARKs;Lecture Notes in Computer Science;2024

4. Polymath: Groth16 Is Not the Limit;Lecture Notes in Computer Science;2024