Welcome to the resource topic for 2022/420
Title:
Gemini: Elastic SNARKs for Diverse Environments
Authors: Jonathan Bootle, Alessandro Chiesa, Yuncong Hu, Michele Orrù
Abstract:We introduce and study elastic SNARKs, a class of succinct arguments where the prover has multiple configurations with different time and memory tradeoffs, which can be selected depending on the execution environment and the proved statement. The output proof is independent of the chosen configuration. We construct an elastic SNARK for rank-1 constraint satisfiability (R1CS). In a time-efficient configuration, the prover uses a linear number of cryptographic operations and a linear amount of memory. In a space-efficient configuration, the prover uses a quasilinear number of cryptographic operations and a logarithmic amount of memory. A key component of our construction is an elastic probabilistic proof. Along the way, we also formulate a streaming framework for R1CS that we deem of independent interest. We additionally contribute Gemini, a Rust implementation of our protocol. Our benchmarks show that Gemini, on a single machine, supports R1CS instances with tens of billions of constraints.
ePrint: https://eprint.iacr.org/2022/420
Talk: https://www.youtube.com/watch?v=Suv7MN131f8
Slides: https://iacr.org/submit/files/slides/2022/eurocrypt/eurocrypt2022/141/slides.pdf
See all topics related to this paper.
Feel free to post resources that are related to this paper below.
Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.
For more information, see the rules for Resource Topics .