zkSummit12

October 8th 2024 - Lisbon

Watch videos

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