| time | main stage | side stage | breakout | workshop |
|:------|:-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|:----------------------------------------------------------------------------------------------------------|:-------------------------------------------------------------------------------------------------------------------------------------------------------|
| 10:00 | Welcome to zkSummit & Sponsor intros – Anna Rose | | | |
| 10:30 | Future ZK: Emerging Use Cases and Key Enablers – Brian Retford (RISC Zero) | # Fflonk in the zkEVM - Hector Masip (UPC for Polygon zkEVM) | logUp: Lookup arguments based on the logarithmic derivative - Ulrich Haböck (Polygon Labs / Polygon Zero) | |
| 11:00 | Bridging blockchains: Foreign field arithmetics – Anaïs Querol and Joseph Spadavecchia (O(1) Labs) | Building a trustless dark pool using ZK - Silur | Taiga: a dark forest for composable private applications - Yulia Khalniyazova (Anoma) | |
| 11:30 | BREAK | BREAK | BREAK | |
| 12:00 | A Guide to Teaching Zero Knowledge Cryptography – Thor Kamphefner (Uncloak) | Building an FHE compiler for the real world - Ravital Solomon and Rick Weber (Sunscreen) | AirScript: a simple and efficient way to write AIR constraints - grjte (Polygon Miden) | The FRI Protocol Made Simple - Paul Gafni (RISC Zero) |
| 12:30 | Adding reflection to the EVM with Axiom – Yi Sun (Axiom) | Linting Halo2 Circuits - Fatemeh Heidari (Quantstamp) | Introduction to client-side zero-knowledge proofs - Dan Tehrani (Personae Labs) | |
| 13:00 | LUNCH | LUNCH | LUNCH | LUNCH |
| 13:30 | LUNCH | LUNCH | LUNCH | LUNCH |
| 14:00 | Lightning Talks<ul><li>Linear algebra and zero-knowledge – Guillermo Angeris (Bain Captial Crypto)</li><li>Poseidon2: A Faster Version of the Poseidon Hash Function – Markus Schofnegger (Horizen Labs)</li></ul> | Speeding up SNARKs with cached quotients - Ariel Gabizon (Zeta Function Technologies) | Web3 game development utilizing zkWASM virtual machine - Sinka Gao (Delphinus Lab Pty Ltd) | Zero-Knowledge Machine Learning Circuits: A Hands-On Workshop with keras2circom - Cathie So (Privacy & Scaling Explorations Team: Ethereum Foundation) |
| 14:30 | Lightning Talks<ul><li>zkTree: a zk recursion tree with ZKP membership proofs – Sai Deng (Polymer Labs)</li><li>Cross-chain Messaging with ZKPs: Wormhole's Trust Roadmap – Rahul Maganti (Jump Crypto)</li></ul> | The Lurk ZK-proof language: all your proof needs in one universal circuit - François Garillot (Lurk Labs) | | |
| 15:00 | BREAK | BREAK | BREAK | BREAK |
| 15:30 | Fuzzy Knowledge: Fuzzing SNARK circuit primitives – Innokentii Sennovskii (Aztec Network) | Hardware Acceleration & ZK - Alex Pruden (Aleo) moderating | VampIR: LLVM for polynomial circuits, now with benchmarks! - Joshua Fitzgerald (Anoma) | Fast and Secure Circuits with Halo2 - Aurel Nicolas (Scroll zkEVM) |
| 16:00 | The Red Wedding – Marrying DEEP-AIR and PLONK – Ferdinand Sauer and Alan Szepieniec (Neptune - Triton VM) | | | |
| 16:30 | BREAK | BREAK | | |
| 17:00 | Sangria is relaxed PLONK: a Nova-like folding scheme for PLONK – Nicolas Mohnblatt (Geometry) | Lightning Talks<ul><li>Non-malleability of zkSNARKs - Michal Zajac</li><li>A Peek Into The Midnight! - Vanishree Rao (Input Output Global - Midnight)</li></ul> | | |
| 17:30 | Scaling Trustless DNN Inference with ZK-SNARKs to GPT, ResNet, and more – Daniel Kang (UIUC) | Lightning Talks<ul><li>Optimizing the MINA prover with learnings from zPrize top performers - Jiannan Ouyang (Snarkify)</li><li>The glitch to fake user debt discovered in Binance’s Proof of Reserves - Bartosz Barwikowski (Hacken)</li></ul> | | |
| 18:00 | – Wrap-up | | | |