Welcome to the resource topic for 2019/601
Title:
AuroraLight: Improved prover efficiency and SRS size in a Sonic-like system
Authors: Ariel Gabizon
Abstract:Using ideas from the recent Aurora zk-STARK of Ben-Sasson et al. [BCRSVW, Eurocrypt 2019], we present a zk-SNARK with a universal and updatable SRS similar to the recent construction of Maller et al. [MBKM, 2019], called \mathsf{Sonic}. Compared to \mathsf{Sonic}, our construction achieves significantly better prover run time (less than half) and smaller SRS size (one sixth). However, we only achieve amortized succinct verification time for batches of proofs, either when the proofs are generated in parallel or in [MBKM]'s helper setting, and our proofs are longer than those of [MBKM] (but still contain a \mathit{constant} number of field and group elements).
ePrint: https://eprint.iacr.org/2019/601
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 .