LegoSNARK: Modular Design and Composition of Succinct Zero Knowledge Proofs
summary
Framework that composes specialized SNARKs via non‑interactive commitments and delivers concrete gadgets and a compiler that turns many existing “commit‑carrying” SNARKs into commit-and-prove schemes. Key tools: a constant‑size CP-link gadget that proves two commitments open to the same value, multivariate polynomial commitments for zero knowledge, and linear‑time prover gadgets for linear relations, matrix multiply and permutation checks. Results include a LegoBlock-BR16 variant up to 5,000× faster proving, a universal linear-size CRS construction, and ongoing implementations.
AI-written summary · about
chapters (11)
- 0:00Introduction
- 0:18What are LegoSNARKs
- 1:11General Purpose Proof System
- 3:32Proof Gadgets
- 5:43Overview
- 6:31Terms of Definition
- 7:14Relation Model
- 10:32Goals
- 11:15Challenges
- 14:49Special gadgets
- 17:41Applications
related talks
59mCommit-and-Prove Zero-Knowledge Proof Systems and Extensions
25mHigh-Speed zkSNARKs without Trusted Setup
44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacy
20mSNARKs from the sum-check protocol
48mzkSNARKs — Cryptographic Proofs for Scaling and Security Challenges
51mWhy you shouldn't trust me
44mStandardizing Zero Knowledge Proofs - Keynote
17mSNARK Flipper. FLIP & Prove multiple instances efficiently