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
- zkTLS in Practice: Lessons for Application Developers - 0xWildhare - zkTLS Day @ Devconnect 2025
- ZK Voting App Deep Dive: Mixers, Merkel Trees, and Build with Noir - BuidlGuidl's Builder Bootcamp
- Why the Privacy Coins Mania Is Much More Than Price Action
- Ethereum Beast Mode - Scaling L1 to 10k and Beyond | Justin Drake
- Web Proofs on Ethereum - vlayer Workshop
- Self Workshop - What is Self, How to Integrate It
- Ladislaus von Daniels - Validating With an ZkAttester Client
- ZK Whiteboard Sessions - S3M5: The Ligero Proof System, w/ Muthu Venkitasubramaniam
- ZK Whiteboard Sessions - S3M4: LatticeFold, w/ Binyi Chen
- New ZK-Friendly Encoding for Aggregatable XMSS Signatures
- Minimal zkVM - Cairo M Design
- Updates on Poseidon
- Proximity Prize (workshop) (Day 3)
- Mutual Correlated Agreement (Day 2), part 1
- Generic VM Compilation Architectures
- Walkthrough of ArkLib
- Mutual Correlated Agreement (Day 2), part 2
- Minimal zkVM
- The ethSTARK Toy Problem
- WHIR Performance (workshop)
- Minimal zkVM for Lean Ethereum
- Proximity Prize (workshop) (Day 1)
- WHIR Performance
- Hash-based zkSNARKs