Updatable and universal common reference strings with applications to zk-SNARKs
From MaRDI portal
Publication:776013
DOI10.1007/978-3-319-96878-0_24zbMath1457.94137OpenAlexW2884599530MaRDI QIDQ776013
Mary Maller, Ian Miers, Sarah Meiklejohn, Markulf Kohlweiss, Jens Groth
Publication date: 30 June 2020
Full work available at URL: https://doi.org/10.1007/978-3-319-96878-0_24
Related Items (39)
\textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments ⋮ An algebraic framework for universal and updatable SNARKs ⋮ Multi-party revocation in sovrin: performance through distributed trust ⋮ Updateable Inner Product Argument with Logarithmic Verifier and Applications ⋮ Composition with knowledge assumptions ⋮ BooLigero: improved sublinear zero knowledge proofs for Boolean circuits ⋮ Mining for privacy: how to bootstrap a snarky blockchain ⋮ Guaranteed output in \(O(\sqrt{n})\) rounds for round-robin sampling protocols ⋮ On succinct non-interactive arguments in relativized worlds ⋮ A Unified Framework for Non-universal SNARKs ⋮ ECLIPSE: Enhanced Compiling Method for Pedersen-Committed zkSNARK Engines ⋮ Verifiably-Extractable OWFs and Their Applications to Subversion Zero-Knowledge ⋮ Witness-succinct universally-composable SNARKs ⋮ A survey of elliptic curves for proof systems ⋮ Ofelimos: combinatorial optimization via proof-of-useful-work. A provably secure blockchain protocol ⋮ Obtaining simulation extractable NIZKs in the updatable CRS model generically ⋮ Counting vampires: from univariate sumcheck to updatable ZK-SNARK ⋮ Inner product functional commitments with constant-size public parameters and openings ⋮ What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable? ⋮ \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions ⋮ Proofs for inner pairing products and applications ⋮ Snarky ceremonies ⋮ Updatable NIZKs from non-interactive zaps ⋮ Orion: zero knowledge proof with linear prover time ⋮ CRS-updatable asymmetric quasi-adaptive NIZK arguments ⋮ Additive-homomorphic functional commitments and applications to homomorphic signatures ⋮ Linear-map vector commitments and their practical applications ⋮ Incrementally aggregatable vector commitments and applications to verifiable decentralized storage ⋮ Acyclicity programming for sigma-protocols ⋮ Election control through social influence with unknown preferences ⋮ On subversion-resistant SNARKs ⋮ Marlin: preprocessing zkSNARKs with universal and updatable SRS ⋮ \textsc{Fractal}: post-quantum and transparent recursive proofs from holography ⋮ Aggregatable distributed key generation ⋮ Updatable signatures and message authentication codes ⋮ Publicly verifiable zero knowledge from (collapsing) blockchains ⋮ A non-PCP approach to succinct quantum-safe zero-knowledge ⋮ Spartan: efficient and general-purpose zkSNARKs without trusted setup ⋮ TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
This page was built for publication: Updatable and universal common reference strings with applications to zk-SNARKs
