Zero-Knowledge Proofs

Proving systems and the tooling to build with them: how they work, what they cost, and the general-purpose virtual machines that prove arbitrary program execution.

1395 talks

• Ethereum's ZK & Formal Verification Endgame with Alexander Hicks
• Episode 342 - Catch up with Zac and Ariel
• Toward succinct proofs of solvency with Jeremy Clark | a16z research
• Episode 341 - coSNARKs with Ais and Lukas from TACEO
• Zcash and the Fight for Privacy
• Advanced security for SNARKs: A survey with Quang Dao
• HyperNova: Toward practical zero-knowledge virtual machines with Abhiram Kothapalli | a16z research
• ZKVMs vs. ZK Circuits: A Spicy Debate
• ZKP’s Past, Present, and Future
• A Layperson's Guide to ZK
• Project Spotlight Episode 2: Social Connection
• Les Amis d’Ethereum France #22 — L'Ethereum alignment des ZKrollups
• How Blockchain Tech Advances Benefit Other Industries
• Designing a zkVM: A Case Study of Cairo(设计 zkVM：以 Cairo 为例)
• Building Efficient zKVMs with Multi-Power Support | Leo Alt (September 2024)
• ZK Hack Montréal: Closing ceremony (ZK Hack team & hackathon winners)
• ZK Hack Montréal: Risc Zero - Boundless On-chain Execution using Proven Off-chain Coprocessing
• ZK Hack Montréal: Polygon - The eSTARK Proving System & Plonky3
• ZK Hack Montréal: Kick-off presentation (ZK Hack team)
• ZK Hack Kraków: Closing ceremony (ZK Hack team & winners)
• ZK Hack Montréal: Welcome presentation & Intro to ZK themes (ZK Hack team)
• S5. Ep. 2 - MACI And EasyRetroPGF with Hodlon & Alessandro
• Episode 335 - Groth16, IVC and Formal Verification with Nexus
• Beginner's Guide to zkSNARKs 3: Math (to get to PLONK)