ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines

• Published in: Public-Key Cryptography – PKC 2022 pp. 584 - 614
• Main Authors: Aranha, Diego F., Bennedsen, Emil Madsen, Campanelli, Matteo, Ganesh, Chaya, Orlandi, Claudio, Takahashi, Akira
• Format: Book Chapter
• Language: English
• Published: Cham Springer International Publishing
• Series: Lecture Notes in Computer Science

We advance the state-of-the art for zero-knowledge commit-and-prove SNARKs (CP-SNARKs). CP-SNARKs are an important class of SNARKs which, using commitments as “glue”, allow to efficiently combine proof systems—e.g., general-purpose SNARKs (an efficient way to prove statements about circuits) and Σ\d...