Home > Resources > papers > BCRSVW19-Aurora

Aurora: Transparent Succinct Arguments for R1CS (Ben-Sasson et al. 2019)

URL: https://eprint.iacr.org/2019/317

Summary

Presents Aurora, a transparent (no trusted setup) zkSNARK for R1CS based on interactive oracle proofs (IOPs) and FRI-style polynomial commitments. Achieves polylogarithmic verification and sub-linear proof size. Introduced the algebraic IOP (AROP) paradigm and influenced later systems like Fractal and Spartan.

Used by

• Libra
• Schwartz-Zippel

Related resources

• Fast Reed-Solomon Interactive Oracle Proofs of Proximity (FRI) (paper, 2018)
• Spartan: Efficient and General-Purpose zkSNARKs Without Trusted Setup (Setty 2020) (paper, 2019)