Mangrove: a scalable framework for folding-based SNARKs
From MaRDI portal
Publication:6660304
DOI10.1007/978-3-031-68403-6_10MaRDI QIDQ6660304
Wilson Nguyen, Trisha Datta, Dan Boneh, Nirvan Tyagi, Binyi Chen
Publication date: 10 January 2025
Cryptography (94A60) Theory of compilers and interpreters (68N20) Data encryption (aspects in computer science) (68P25)
Cites Work
- Title not available (Why is that?)
- Transparent SNARKs from DARK compilers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Recursive proof composition from accumulation schemes
- Public-coin zero-knowledge arguments with (almost) minimal time and space overheads
- Proof-carrying data without succinct arguments
- Time- and space-efficient arguments from groups of unknown order
- Gemini: elastic SNARKs for diverse environments
- Aurora: transparent succinct arguments for R1CS
- Libra: succinct zero-knowledge proofs with optimal prover computation
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- Time-Optimal Interactive Proofs for Circuit Evaluation
- SNARKs for C: Verifying Program Executions Succinctly and in Zero Knowledge
- Scalable Zero Knowledge via Cycles of Elliptic Curves
- Efficient Zero-Knowledge Argument for Correctness of a Shuffle
- On the Evaluation of Powers and Monomials
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Recursive composition and bootstrapping for SNARKS and proof-carrying data
- Advances in Cryptology - ASIACRYPT 2003
- HyperPlonk: Plonk with linear-time prover and high-degree custom gates
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Proofs for inner pairing products and applications
- Nova: recursive zero-knowledge arguments from folding schemes
- Fiat-Shamir transformation of multi-round interactive proofs
- Mangrove: a scalable framework for folding-based SNARKs
Related Items (2)
This page was built for publication: Mangrove: a scalable framework for folding-based SNARKs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6660304)