Counting vampires: from univariate sumcheck to updatable ZK-SNARK
From MaRDI portal
Publication:6132412
DOI10.1007/978-3-031-22966-4_9zbMath1519.94159OpenAlexW4320154909MaRDI QIDQ6132412
Helger Lipmaa, Janno Siim, Michał Zając
Publication date: 16 August 2023
Published in: Advances in Cryptology – ASIACRYPT 2022 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-22966-4_9
Related Items (2)
Counting vampires: from univariate sumcheck to updatable ZK-SNARK ⋮ CRS-updatable asymmetric quasi-adaptive NIZK arguments
Cites Work
- Updatable and universal common reference strings with applications to zk-SNARKs
- A subversion-resistant SNARK
- Subversion-zero-knowledge SNARKs
- The algebraic group model and its applications
- On subversion-resistant SNARKs
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- A classification of computational assumptions in the algebraic group model
- An algebraic framework for universal and updatable SNARKs
- Aurora: transparent succinct arguments for R1CS
- Progression-Free Sets and Sublinear Pairing-Based Non-Interactive Zero-Knowledge Arguments
- NIZKs with an Untrusted CRS: Security in the Face of Parameter Subversion
- Constant-Size Commitments to Polynomials and Their Applications
- Short Pairing-Based Non-interactive Zero-Knowledge Arguments
- Block-Wise P-Signatures and Non-interactive Anonymous Credentials with Efficient Attributes
- Concise Mercurial Vector Commitments and Independent Zero-Knowledge Sets with Short Proofs
- Algebraic methods for interactive proof systems
- Succinct Non-interactive Arguments via Linear Interactive Proofs
- Quadratic Span Programs and Succinct NIZKs without PCPs
- On the Size of Pairing-Based Non-interactive Arguments
- Efficient Zero-Knowledge Arguments for Arithmetic Circuits in the Discrete Log Setting
- Counting vampires: from univariate sumcheck to updatable ZK-SNARK
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
This page was built for publication: Counting vampires: from univariate sumcheck to updatable ZK-SNARK
