Join us for the 14th edition of the Zero Knowledge Summit – ZK14.
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 research- and application-oriented talks.
Attendees will primarily be researchers, cryptographers, practitioners, founders and developers working on zero knowledge topics.
Schedule
-
09:50 Welcome to zkSummit14 - Anna Rose
10:00 ZOOK: Zero-Knowledge IOPPs for Constrained Interleaved Codes - Giacomo Fenzi (EPFL)
10:30 VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems - Ron Rothblum (Succinct)
11:00 Seven years in Poseidon: A survey of (algebraic) attacks on Poseidon and Poseidon2 - Antonio Sanso (Ethereum Foundation)
11:30 BREAK
12:00 Scaling Zcash with Project Tachyon - Tal Derei (Tachyon)
12:30 qedb: Expressive and Modular Verifiable Databases (without SNARKs) - Emanuele Ragnoli (provably.ai)
13:00 LUNCH
14:00 zkID: Advancing Privacy-Preserving Identity with Research and Engineering - Vivian Plasencia (Ethereum Foundation)
14:30 Securing a $500B Computer: The EF zkEVM Security Sprint - George Kadianakis (Ethereum Foundation)
15:00 BREAK
15:30 lambda-vm:minimalistic and performant zkvm - Diego Kingston (Aligned)
15:45 Merces: Private Token Transfers via MPC and CoSNARKs - Roman Walch (TACEO)
16:00 Nondeterministic Autoprecompiles - Georg Wiese (Powdr Labs)
16:15 Proof of Seed: ZK-Based Quantum Migration Without Address Changes - Mahdi Sedaghat (Soundness Labs / KU Leuven)
16:30 BREAK
17:00 Origin Tags: Dynamic Detection of Fiat-Shamir bugs in complex systems - Innokentii Sennovskii (Aztec Labs)
17:30 Panel: Quantum -
10:30 Making verifiable FHE practical - Daniele Cozzo (IMDEA Software Institute)
11:00 Towards Practical Witness Encryption from Arithmetic Affine Determinant Programs - Lev Soukhanov ([[alloc] init])
11:30 BREAK
12:00 eDAS: Extending Data Availability Sampling with Privacy and Compliance - Isobel Watkins (UCL)
12:30 Client-side Validation in Private Payment Protocols - Ying Tong ({ ideal })
13:00 LUNCH
14:00 Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge - Antoine Douchet (ICME)
14:30 Time-Space Trade-Offs for Sumcheck - Anubhav Baweja (University of Pennsylvania)
15:00 BREAK
15:30 A Security Guide to ZK Engineering - Michael Belegris (Nethermind)
15:45 ZK-AntiCheat: a novel approach for video game anti-cheat software - Khaled Suliman (Technical University of Kosice)
16:00 Confidential and Verifiable Telemetry using Zero-Knowledge Proofs - Janwillem Swalens (Nokia Bell Labs)
16:15 Miden's Arithmetic Circuit Evaluation (ACE) chiplet - Adrian Hamelink (Miden)
16:30 BREAK
17:00 Efficient Non-Native Arithmetic from SNARKs for Integers - Lucas Xia (NYU)
17:30 Resource-Sharing Permutations for Computational Integrity - Fabian Schmid (TU Graz)
zk14 Speakers
-
![]()
Giacomo Fenzi - EPFL
-
![]()
Ron Rothblum - Succinct
-
![]()
Roman Walch - TACEO
-
![]()
Innokentii Sennovskii - Aztec Labs
-
![]()
Isobel Watkins - UCL
-
![]()
Vivian Plasencia - Ethereum Foundation
-
![]()
Fabian Schmid - TU Graz
-
![]()
Mahdi Sedaghat - Soundness Labs/KU Leuven
-
![]()
George Kadianakis - Ethereum Foundation
-
![]()
Janwillem Swalens - Nokia Bell Labs
-
![]()
Tal Derei - Project Tachyon (Zcash)
-
![]()
Lucas Xia - NYU
-
![]()
Georg Wiese - Powdr Labs
-
![]()
Diego Kingston - Aligned
-
![]()
Emanuele Ragnoli - provably.ai
-
![]()
Daniele Cozzo - IMDEA Software Institute
-
![]()
Adrian Hamelink - Miden
-
![]()
Anubhav Baweja - University of Pennsylvania
-
![]()
Antonio Sanso - Ethereum Foundation
-
![]()
Michael Belegris - Nethermind
-
![]()
Ying Tong Lai - { ideal }
-
![]()
Antoine Douchet - ICME Labs, Imperial College London
-
![]()
Lev Soukhanov - [[alloc] init]
Sponsors
Top
Community
