\textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup
From MaRDI portal
Publication:6619943
DOI10.1007/978-3-031-44469-2_17zbMATH Open1547.94331MaRDI QIDQ6619943
Rosario Gennaro, Matteo Campanelli, Mara Mihali, Nicolas Gailly, Justin Thaler, Philipp Jovanovic
Publication date: 16 October 2024
Cites Work
- Unnamed Item
- Updatable and universal common reference strings with applications to zk-SNARKs
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Families of SNARK-friendly 2-chains of elliptic curves
- Gemini: elastic SNARKs for diverse environments
- Constant-Size Commitments to Polynomials and Their Applications
- On Compressible Pairings and Their Computation
- Signatures of Correct Computation
- On the Size of Pairing-Based Non-interactive Arguments
- SnarkPack: practical SNARK aggregation
- Proofs for inner pairing products and applications
- Optimized and Secure Pairing-Friendly Elliptic Curves Suitable for One Layer Proof Composition
Related Items (2)
Polymath: Groth16 is not the limit ⋮ zk-Bench: a toolset for comparative evaluation and performance benchmarking of SNARKs
This page was built for publication: \textsf{Testudo}: linear time prover SNARKs with constant size proofs and square root size universal setup
