zkSummit13

May 12th 2025 - Toronto

WATCH THE RECORDED TALKS

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

  • Yi Sun

    Axiom

  • Kobi Gurkan

    Bain Capital Crypto

  • Jeremy Bruestle

    RISC Zero

  • Mikerah Quintyne-Collins

    Stoffel Labs, HashCloak

  • Binyi Chen

    Stanford University

  • Wei Dai

    1kx

  • Ying Tong

    Ethereum Foundation

  • Michael Zhu

    a16z crypto

  • Daniel Kang

    UIUC and VAIL project

  • Howard Wu

    Founder of Aleo & CEO of Provable

  • Liam Eagen

    Alpen Labs

  • Andrew Milson

    StarkWare

  • Jessica Chen

    New York University

  • Muthu Venkitasubramaniam

    Ligero Inc.

  • William Wang

    New York University

  • Matej Penciak

    Reilabs

  • Hadas Zeilberger

    Yale University

  • Julian Arnesino

    ERYX

  • Brandon Moore

    Pi Squared, Inc.

  • Adrian Hamelink

    Miden

  • Georgios Fotiadis

    =nil; Foundation

  • Markus Schofnegger

    Fabric Cryptography

  • Tobias Bergkvist

    Irreducible

  • Mohammed Mahmoud

    Attested Frontiers

  • Alberto Garoffolo

    Gigachain Labs

  • Syed Hosseini

    Web3 Foundation/Polkadot

  • Alessandro Coglio

    Provable

  • Michel Dellepere

    Ava Labs

  • Florin Fabsits

    TACEO

  • Marek Olszewski

    Self, Celo

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