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
- Enshrined Payment Channels: A Stateless, Post-Quantum, Confidential Rollup Design
- Towards Formally Verified zkEVMs
- From Production Rust to Lean 4 Proofs: A Verification Pipeline
- Digital Objects: What, Why, and How
- LeanVM
- EEZ: Building Synchronous Ethereum with Real-Time ZK Proofs
- You can't withdraw your privacy: PQ analysis of Kohaku privacy protocols
- How to Shield Your ETH from Your Mum, Compliantly
- Where to Hide: Wormholes, Beacon Deposits, and the Cost of Deniability
- Beyond the Johnson Bound: A Path to Smaller Post-Quantum SNARKs
- Who Vouches for You When Your Issuer Is Gone?
- Training for Constraining: How to Prevent Circuit-Level Bugs
- Evaluating Client-Side Proving Systems
- Migrating from a Private Blockchain to Ethereum: Engineering Lessons
- Blockchain Privacy
- zkGolf: AI, Clean and Optimising ZK Circuits
- Zero Knowledge
- Scaling Zcash
- Token2049 Day 2. Quantum + Privacy Day From Singapore! Illia, Eli Ben-Sasson & More
- Aztec and programmable privacy on Ethereum
- 다음 ZK 혁신은 어디서 오는가 | 이더리움 코리아 원 : 제네시스
- Auto Research on Yukon
- Ron Rothblum on Fiat-Shamir Attacks, Flock and SNARK.fast
- Gonçalo Magalhães, Immunefi | Why Privacy Without Security is Theater | Common S3nse 2026