Succinct Proofs in Ethereum

on YouTube ↗25m

" summary

Describes concrete ZK uses on Ethereum: mixers and Semaphore for anonymous signals, and a rollup design that batches many account state transitions into one SNARK. Uses Zokrates/Circom/Bellman implementations, requires curve generation tied to the proof system, and validates signatures inside the circuit so an operator can include many signed state updates. Claims 100,000 constraints per state transition, forces on-chain data availability as a diffs list, and reports practical throughput of 100–500 transactions per second despite a single 600,000 gas verification cost.

AI-written summary · about

" chapters (5)

1. 0:00Introduction to ZK proofs
2. 3:05Privacy applications
3. 5:27Technical foundations
4. 12:36Scalability and rollups
5. 18:14Standardization and future

" related talks

• 30mPractical Zero Knowledge ProofsRemi Gai, Kautuk Kundan, Danilo Kim · Pragma India 2023
• 36mJoin Sandeep Nailwal, Rene Reinsberg, Alex Gluchowski & Steven Goldfeder I Pragma Denver 2024Alex Gluchowski, Steven Goldfeder, Sandeep Nailwal, RENE REINSBERG · Pragma Denver 2024
• 40mEthereum at HyperscaleAlex Gluchowski, Kartik Talwar · Pragma Paris 2023
• 19mThe Superpowers of the ZK StackAlex Gluchowski · TOKEN2049 Singapore 2023
• 24mZK: Accelerating DA InteropNina Barbakadze · Protocol Berg v2 2025
• 25mHigh-Speed zkSNARKs without Trusted SetupSrinath Setty · 4th ZKProof Workshop (Home Edition)
• 34mSNARKs and their Practical ApplicationsEran Tromer · Securing Computation (Simons Institute, June 2015)
• 01h 26mPanel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge ProofsIzaak Meckler, Daira Hopwood, Zac Williamson, Pratyush Mishra, Jordi Baylina · 4th ZKProof Workshop (Home Edition)