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

• OpenBanking.nr
• Securing ZK Applications | Tim Becker - ChainLight
• ZPrize: Making Real-Time ZK Proofs a Reality | Neil & Tony |
• Speedrunning the Design of Ethereum as a ZK-L1 | Elias Tazartes - Kakarot ZK-EVM
• Make a ZK App Together
• Collaborative SNARKs and Private Shared State - Aisling Connolly
• Privacy for Safe using Zero Knowledge - Valeriy Zamaraiev
• Bringing privacy to the World with performant client side proving dcbuilder
• Why 2025 Is the Year for ZK Proofs
• SNARGs Book Study Group - Week #7 with Yuxi Zheng
• Meetup #14 - Devcon 7 recap - o presente e futuro da Ethereum
• SNARGs Book Study Group - Week #6 with Christie Di
• SNARGs Book Study Group - Week #5 with Ziyi Guan
• [转载] 多项式承诺方案入门：现代 SNARK 的引擎
• How Electron Cuts ZK Proving Costs by 95% with Garvit Goel
• ZK Whiteboard Sessions - S2M8: FRI and Proximity Proofs (Part.2) with Dan Boneh
• Privacy by Design: ZK, MPC, TEE – San Francisco 2025
• Privacy and Public Goods: Vitalik Buterin & Roger Dingledine - Buenos Aires 2025
• ZK Whiteboard Sessions - S2M7: FRI and Proximity Proofs (Part.1) with Dan Boneh
• Episode 346 - ZK in Review: Decoding 2024 & Predicting 2025
• ZK Hack V Workshop: Proof Singularity with Nebra
• SNARGs Book Study Group - Week #4 with Giacomo Fenzi
• Building The Future of Proof: Ismael & Bo
• Marco Marinelli, Horizen Labs: The Missing Piece of the ZK Puzzle | ETHSofia