
Join us for the 13th edition of the Zero Knowledge Summit – ZK13.
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 Intro - Anna Rose
10:30 The Onchain Privacy Trilemma - Wei Dai (1kx)
11:00 LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems - Binyi Chen (Stanford University)
11:30 BREAK
12:00 Blaze: Fast SNARKs from Interleaved RAA Codes - Binyi Chen (Stanford University)
12:30 Mercury: A Novel Constant Sized MLPCS - Liam Eagen (Alpen Labs / Aztec)
13:00 LUNCH
14:00 ISAs for MPC - Mikerah Quintyne-Collins (Stoffel Labs / HashCloak)
14:30 ZKTorch: Efficiently Compiling ML Models to Zero-Knowledge Proof Protocols - Daniel Kang (UIUC / VAIL project)
15:00 BREAK
15:30 R0VM v3, a multi proof system zkVM - Jeremy Bruestle (RISC Zero)
15:45 Bringing modularity to zkVMs with OpenVM - Yi Sun (Axiom)
16:00 Twist and Shout: The Next Era of Jolt - Michael Zhu (a16z crypto)
16:15 Formally Verifying a zkVM - Howard Wu (Aleo / Provable) & Alessandro Coglio (Provable)
16:30 BREAK
17:00 Vibe coding ZK Apps with Ligetron ZK Platform - Muthu Venkitasubramaniam (Ligero Inc)
17:30 Bringing zkPassport to Production with Self - Marek Olszewski (Self, Celo)
-
11:00 Lookup tables in CoSNARKs - Florin Fabsits (TACEO)
11:30 BREAK
12:00 Linear-Time Accumulation Schemes - William Wang (New York University)
12:30 Laurent STARKs - Ulrich Haböck (StarkWare Industries) & Yuval Domb (Ingonyama)
13:00 LUNCH
14:00 Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments - Michel Dellepere (Ava Labs)
14:30 Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan (Bain Capital Crypto)
15:00 BREAK
15:30 Arithmetization-Friendly Primes and Efficient Constraint Evaluation: STARKs on Custom Hardware - Markus Schofnegger & Philip Hodges (Fabric Cryptography)
16:00 Towards a Standard for Programmable ZK Proofs - Ying Tong (Ethereum Foundation)
-
10:30 openbanking.nr - Proving Banking Transactions Onchain - Mohammed Mahmoud & Jack Gilcrest (Attested Frontiers)
11:00 Lifted FRI: A uniform multi-domain polynomial commitment scheme - Adrian Hamelink (Miden) & Andrew Milson (StarkWare)
11:30 BREAK
12:00 Circle STARK GPU Acceleration: An Analysis of Performance and Implementation - Julian Arnesino & Carlo Giambiagi Ferrari (ERYX)
12:30 Vectorized implementations with AVX-512 for speeding-up zkEVM - Georgios Fotiadis (=nil; Foundation)
13:00 LUNCH
14:00 Almost Linear Time Permutation Check - Jessica Chen (New York University)
14:30 GIGA Protocol: Unlocking Trustless Parallel Computation in Blockchains through SNARKs - Alberto Garoffolo (Gigachain Labs)
15:00 - BREAK
15:30 Programming Binius with M3 Arithmetization - Tobias Bergkvist (Irreducible) * Full Hour Workshop
-
10:30 EC Plonkish: Plonk-like Proofs over the Elliptic Curve Coordinate Ring - Syed Hosseini (Web3 Foundation / Polkadot)
11:30 BREAK
12:00 Shedding Light on Noir with Lampe - Matej Penciak (Reilabs)
13:00 LUNCH
14:00 Redesigning Proof Rules for Efficient ZK Proofs of Mathematical Proofs - Brandon Moore (Pi Squared)
Sponsors
Gold
Silver
Community