zkSummit13

May 12th 2025 - Toronto

Grab your spot

If you require a student discount code, please fill out this form and we will email the code to you!

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.

If you’d like to volunteer for the event support team at this edition, please complete this form!

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 - Hadas Zeilberger (Yale 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 ZK Email in Production: Lessons, New Applications, and Surprises - Aayush Gupta (ZK Email)

  • 10:30 Linear-Time Accumulation Schemes - William Wang (New York University)

    11:00 The Future of ZK in a World of AI Agents - Pranav Mehrotra (Google Cloud Web3)

    11:30 BREAK

    12:00 Lookup Tables in CoSNARKs - Florin Fabsits (TACEO)

    12:30 Laurent STARKs - Ulrich Haböck (StarkWare Industries) & Yuval Domb (Ingonyama)

    13:00 LUNCH

    14:00 Rebuilding the Blockchain Using Succinct Proofs, Zoda & Accidental Computer - Andrija Novakovic (Bain Capital Crypto)

    14:30 Garuda and Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments - Michel Dellepere (Ava Labs)

    15:00 BREAK

    15:30 Arithmetization-Friendly Primes and Efficient Constraint Evaluation: STARKs on Custom Hardware - Markus Schofnegger & Philip Hodges (Fabric Cryptography)

    16:00 Provable Watermark Extraction Using zkDL++ - Ashutosh Marwah (Cryptography Researcher at Ingonyama)

    16:30 BREAK

    17:00 Balancing Performance and Security in zkVM Benchmarking - Conner Swann (Prooflab)

    17:30 tbd

  • 10:30 openbanking.nr - Proving Banking Transactions Onchain - Mohammed Mahmoud & Jack Gilcrest (Attested Frontiers)

    11:00 Vectorized Implementations with AVX-512 for Speeding-Up zkEVM - Georgios Fotiadis (=nil; Foundation)

    11:30 BREAK

    12:00 Circle STARK GPU Acceleration: An Analysis of Performance and Implementation - Julian Arnesino & Carlo Giambiagi Ferrari (ERYX)

    12:30 Lifted FRI: A Uniform Multi-Domain Polynomial Commitment Scheme - Adrian Hamelink (Miden) & Andrew Milson (StarkWare)

    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)

  • 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