Join us for the 12th edition of the Zero Knowledge Summit – zk12.
This edition bring together the best thinkers and builders to discuss the latest in zero knowledge research, zk use-cases, cryptographic primitives, privacy and maths.
This one-day event will consist of a mixture of topic oriented talks & workshops.
Attendees will primarily be researchers, cryptographers, practitioners, founders and developers working on zero knowledge topics.
Speakers
Schedule
-
10:00 Welcome to zkSummit & Sponsor intros – Anna Rose
10.30 Memory checking in IVC-based zkVMs - Jens Groth (Nexus)
11.00 From IVCs to RCGs - Ariel Gabizon (Aztec)
11.30 BREAK
12.00 Circom buses: the power to structure ZK circuits - Albert Rubio (Complutense University of Madrid)
12.30 Building cryptographic apps for human connection - Vivek Bhupatiraju & Andrew Lu (Cursive)
13.00 LUNCH
14.00 Analyzing and Benchmarking ZK-Rollups - Stefanos Chaliasos (Imperial College London and zkSecurity)
14.30 WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification - Eylon Yogev (Bar-Ilan University)
15.00 BREAK
LIGHTNING TALKS
15:30 Make Web3 use Web2: verifiable SQL db for contracts - nikkolasg (Lagrange)
15:45 ZK Trust Legos [ : Luring Web2 Onchain with ZK Primitives] - alizk (PSE & yAcademy)
16:00 Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman (RISC Zero)
16:15 Abstractions for a multi-prover zkVM - Georg Wiese (Powdr Labs)
16.30 BREAK
17.00 MegaPlonk. Or, how I learned to stop worrying and love the plonk. - Zac Williamson (Aztec)
17.30 ZK Fireside - Anna & Friends
-
11.00 Open Problems in ZK with Solution Hints - Vanishree Rao (Fermah)
11.30 BREAK
12.00 X-check: A Native Binary Tower Field ISA Design - Radi Cojbasic (Irreducible)
12.30 ZK on Bitcoin - Liam Eagen (Alpen Labs)
13.00 LUNCH
14.00 Speedrunning (T)FHE- Ravital Solomon & Rick Weber (Sunscreen)
14.30 Towards Verifiable FHE in Practice - Michael Walter (Zama)
15.00 BREAK
LIGHTNING TALKS
15:30 Enhancing privacy in intent-centric protocols - Yulia Khalniyazova (Anoma)
15:45 DART: Distributed argument of knowledge for Rough Terrains- Steve Thakur
16:00 Towards ZK-Friendly Machine Learning Models - Alan Li (Brevis)
16:15 Some like it proved: an architecture for provable apps - Lancelot de Ferriere (Hylé)
16.30 BREAK
17.00 Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs - Jens Ernstberger
17.30 Simulating Modular Arithmetic(s) - Dan Carmon (StarkWare)
-
10:30 Sonobe, a modular folding schemes library - Arnau Cube (0xPARC)
11:00 Vulnerability? I can prove it's a feature! Improving ZK Applications with Formal Verification. - Marcin Kostrzewa (Reilabs)
11:30 BREAK
12:00 Private Large-Scale Similarity Search - Aurélien Nicolas (Inversed Tech)
12:30 Distributed proof generation for zkEVM from code-based polynomial commitment schemes. - Maksim Nikolaev (=nil; Foundation)
13:00 LUNCH
14:00 Cyclic Groups from Geometry - Alp Bassa (Veridise)
14:30 Skyscraper: Super Fast Hash for Big Primes - Katharina Koschatko (Graz University of Technology)
15:00 BREAK
17:00 Nova-style folding over lattices: from Mova to folding STARKs - Albert Garreta (Nethermind)
17:30 Accelerating Client-Side Cryptography with WebGPU - Tal Derei (Penumbra)
-
10:30 Lessons from integrating LogUp-GKR in the Miden VM - Bobbin Threadbare & Philippe Laferrière (Polygon Miden)
11.30 BREAK
12.00 Myth vs. Reality: Enhancing Proving Time in KZG-Backed Plonkish Systems for zkWASM - Sinka Gao (Delphinuslab)
13:00 LUNCH
14:00 Discover collaborative -SNARKs: Circom & Noir meets MPC - Franco Nieddu (TACEO)
15:00 BREAK
15:30 Mechanism Design of a Decentralized Prover Network - Norbert Vadas (Gevulot)
Sponsors
Gold
Silver
Community