Succinct verification of compressed sigma protocols in the updatable SRS setting
From MaRDI portal
Publication:6635775
DOI10.1007/978-3-031-57722-2_10MaRDI QIDQ6635775
Chaya Ganesh, Neha Jawalkar, Moumita Dutta
Publication date: 12 November 2024
Cites Work
- Updatable and universal common reference strings with applications to zk-SNARKs
- Transparent SNARKs from DARK compilers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Compressed \(\varSigma\)-protocol theory and practical application to plug \& play secure algorithmics
- A compressed \(\varSigma \)-protocol theory for lattices
- Dory: efficient, transparent arguments for generalised inner products and polynomial commitments
- Succinct Non-Interactive Zero Knowledge Arguments from Span Programs and Linear Error-Correcting Codes
- Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
- Efficient Zero-Knowledge Argument for Correctness of a Shuffle
- MiMC: Efficient Encryption and Cryptographic Hashing with Minimal Multiplicative Complexity
- Short Pairing-Based Non-interactive Zero-Knowledge Arguments
- Structure-Preserving Signatures and Commitments to Group Elements
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- The Knowledge Complexity of Interactive Proof Systems
- Succinct Non-interactive Arguments via Linear Interactive Proofs
- Quadratic Span Programs and Succinct NIZKs without PCPs
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Fuzzy Identity-Based Encryption
- On the Size of Pairing-Based Non-interactive Arguments
- Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
- Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
- \textsf{Dew}: a transparent constant-sized polynomial commitment scheme
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK
This page was built for publication: Succinct verification of compressed sigma protocols in the updatable SRS setting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6635775)
