ZK Accelerate
Celebrating ZK engineering breakthroughs and innovations across the middleware multiverse 🔥
Includes demos, surprises, and first-time speakers 👀
Talks
Panels
Booths
There will be a lunch break, coffee and refreshments, and mingling areas in the lobby outside the event hall.
The event will also be filmed for later publication 🎥
WATCH IT LIVE HERE: https://www.youtube.com/watch?v=nL1_n-IgxsU
Agenda
8:30-9:25 AM | Coffee & Hello
9:25-9:30 | Intro to ZK Accelerate
Leandro Ferrigno | Lambdaclass
9:30-9:50 | Standardizing ZKEVM acceleration API
Mamy Ratsimbazafy | Taiko
9:50-10:10 | Cost optimizing your ZKPs on AWS
Emile Baizel | AWS
10:10-10:40 | Demo: Cairo
Timothée Delabrouille | Starkware
10:40-11:00 | Electron Labs: Into Electron's ZK Engine and Use Cases
Garvit Goel | Electron Labs
11:00-11:20 | Hardware acceleration enabling efficient Zero Knowledge Proof generation
Hamid Salehi | AMD
11:20-11:50 | FHE vs. ZK
Morten Dahl | ZAMA
11:50-12:10 | Enhancing Encrypted Mempool Security with ZK: Resilience Against Attacks
AJ Park | Radius
12:10-12:30 | Aleo: ZK by Design
Joanna Zeng | Aleo
12:30-1:30 | Lunch
1:30-2:00 | Panel: New frontiers in ZK research
Moderated by Lance Davis | Giza Tech
Mamy Ratsimbazafy | Taiko
Andrija Novakovic | Geometry
Misha Komarov | Nil foundation
Diego Kingston | Lambdaclass
2:00-2:20 | Secure type-1 zkEVM compiled with zkLLVM & Placeholder
Alisa Cherniava | Nil Foundation
2:20-2:40 | How Verifiable ML Will Shape the Future of AI?
Francisco Algaba | Giza Tech
2:40-3:00 | Improving current STARK provers
Diego Kingston | Lambdaclass
3:00-3:20 | Kalypso: A circuit-agnostic ZK proof market
Roshan Raghupathy | Marlin
3:20-3:40 | Programming ZK with EZKL
Jason Morton \ EZKL
3:40-4:00 | Zero-Knowledge Proofs for MapReduce Computation
Ismael Hishon-Rezaizadeh \ Lagrange
4:00-4:20 | Ola: Bringing Compliant Privacy to ZKVM Rollups
Philip Eriksson | Ola
4:20-4:50 | Panel: ZK Hardware
Moderated by Hamid Salehi | AMD
Evan Marshall | Demox Labs
Rahul Maganti | Wormhole
4:50-5:20 | Panel: ZK killer apps & the survival of ZK in the future
Moderated by Gökhan Er | IOSG Ventures
Manasi Vora | Risc0
Joanna Zeng | Aleo
Garvit Goel | Electron Labs
Carter Jack Feldman | QED
5:20-5:40 | Security and Circuit Anatomy
Porter Adams | Matter Labs
5:40-6:00 | ZK Security: An Automated Approach
Andreea Buterchi | Veridise
6:00-6:20 | Recursion in the Miden VM
Augusto Hack | Polygon Miden
6:20-6:30 | AV Setup
6:30-7:00 | Virtual Fireside Chat with Juan Benet and Omer Shlomovits