Panel Discussion: The Challenges and Best Practices of Deploying Zero-Knowledge Proofs

on YouTube ↗01h 26m

" summary

Panelists report real deployments: a private rollup on Ethereum using recursive zk-SNARKs (Aztec’s PLONK-style system), Hermez running payments on Groth16, and Zcash migrating to Halo for a no‑trusted‑setup upgrade; implemented proof systems include Sonic, Marlin, Pickles and Halo2. Key tradeoffs are arithmetization (PLONK’s custom gates vs R1CS) and trusted setup versus transparent/no‑setup; recursion is essential for privacy and parallel proving. Audits, dual implementations, and cloud/GPU proving (not yet ASIC ubiquity) determine whether these builds actually work.

AI-written summary · about

" chapters (5)

1. 0:00Start
2. 32:54Does Having a Trusted Setup Matter
3. 35:07Advantages over Having Universal Setup
4. 52:29Smart Contracts
5. 1:24:25Announcements

" related talks

• 30mPractical Zero Knowledge ProofsRemi Gai, Kautuk Kundan, Danilo Kim · Pragma India 2023
• 51mPanel: Zero Knowledge in the EnterpriseMike Hearn, Yael Tauman Kalai, Carlos Kuchkovsky, Jonathan Levi · 2nd ZKProof Workshop 2019
• 51mWhy you shouldn't trust meKeerthana Ganesh, Shubham Patil · NDC Oslo 2022
• 44mZero-Knowledge Proofs: Simultaneously ensuring integrity and privacyTjerand Silde · NDC Security 2026
• 22mDIZK: A Distributed Zero Knowledge Proof SystemHoward Wu · 2nd ZKProof Workshop 2019
• 32mSoK: Private Programmability on Blockchain SystemsYing Tong Lai, Daniel Benarroch · ZKProof 6 in Berlin
• 26mApplications of Zero Knowledge Proofs in the Banking IndustryEduardo Moraes · 2nd ZKProof Workshop 2019
• 48mzkSNARKs — Cryptographic Proofs for Scaling and Security ChallengesSergey Prilutskiy · HighLoad++ 2023