The Next 700 ZKP Programming Languages

on YouTube ↗25m

" summary

Coda uses recursive composition of SNARKs to compress the blockchain and anyone can verify a proof on a phone, and the SNARK-friendly language Snarky exists to build such proofs. An accountable algorithms proposal compels lenders like Quicken Loans to publish ZK-SNARKs proving a model was trained with bias mitigation, with a proof-of-concept doing linear regression inside a SNARK. Training a neural net inside a SNARK is costly but feasible for big firms, and the community is funding a $100,000 snark challenge.

AI-written summary · about

" chapters (4)

1. 0:00Start
2. 9:18Accountable Algorithms
3. 17:28Facebook's Business Model
4. 24:36Snark Challenge

" related talks

• 54mSnarky: Algebraic effects in the Coda cryptocurrencyIzaak Meckler · LambdaConf 2018
• 18mSoK: Understanding zk-SNARKs: The Gap Between Research and PracticeJunkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen, Zhonghai Wu · USENIX Security '25
• 28mNotes from the SNARKonomicon: Techniques for Writing SNARK ProgramsIzaak Mekler · 2nd ZKProof Workshop 2019
• 27mRecursive SNARKs for Efficiency, Scalability, and PrivacyPhilipp Kant · Protocol Berg 2023
• 26mzk-SHARKs: Combining Succinct Verification and Public Coin SetupMadars Virza · 2nd ZKProof Workshop 2019
• 25mLegoSNARK: Modular Design and Composition of Succinct Zero Knowledge ProofsDario Fiore · 2nd ZKProof Workshop 2019
• 29mPrivacy is Sooner Than You ThinkZac Williamson · Pragma Paris 2023
• 01h 23mProgram PresentationsSanjam Garg, Jim Demmel, Umesh Vazirani, Kirk Pruhs, Nati Srebro, JM Landsberg · Eleventh Annual Industry Day