zkSummit11

10:00 Welcome to zkSummit & Sponsor intros – Anna Rose

10.30 SNARK proving ASICs - Justin Drake (Ethereum Foundation)

11.00 Binius: a Hardware-Optimized SNARK - Jim Posen (Ulvetanna)

11.30 BREAK

12.00 STIR: Reed–Solomon Proximity Testing with Fewer Queries - Gal Arnon (Weizmann Institute) & Giacomo Fenzi (EPFL)

12.30 Arke: Privacy-Preserving and Decentralised Contact Discovery - Nicolas Mohnblatt (Geometry Research)

13.00 LUNCH

14.00 ZK Email: Novel ZK Applications Unlocked by Portable Provenance - Aayush Gupta & Sora Suegami (ZK Email)

14.30 The Role of Decentralized Proving Networks in the Modular Stack - Uma Roy (Succinct)

15.00 BREAK

LIGHTNING TALKS

15:30 Make Lurk Work - Chhi'mèd Künzang (Lurk Lab)

15:45 o1VM: Building a Real-World zkVM for MIPS - Danny Willems (o1Labs)

16:00 2PC is for P2P: A TLSN-Based On/Off-Ramping Protocol - Sachin Kumar (ZKP2P)

16:15 Pushing the Performance and Usability of Zero Knowledge Proofs - Daniel Dore (Lita)

16.30 BREAK

17.00 Aptos Keyless: Blockchain Accounts without Secret Keys - Alin Tomescu (Aptos Labs)

17.30 ZK Fireside - Anna & Friends

10.30 The Last Challenge Attack - Oana Ciobotaru (OpenZeppelin)

11.00 Pretty Optimal: Integrating Application-Specific Circuits and zkVMs - Victor Graf (RISC Zero)

11.30 BREAK

12.00 1 Circuit, 5 Rollups: Building a Re-Usable DA Integration for ZK Rollups - Connor O'Hara (Celestia)

12.30 Circle STARKs - Ulrich Haböck (Polygon Zero) & Shahar Papini (StarkWare)

13.00 LUNCH

14.00 Insights into Practical Folding - Mara Mihali (Aztec Labs)

14.30 Natively Compatible Super-Efficient Lookup Arguments - Matteo Campanelli (Matter Labs)

15.00 BREAK

LIGHTNING TALKS

15:45 Mechanism Design for ZK-Rollup Prover Markets - Wenhao Wang (Yale University)

16:00 Protecting against Bad Actors in Private Systems - Damian Straszak (Aleph Zero)

16:15 Sharing Randomness in Distributed Proving - Tamir Hemo (Succinct)

16.30 BREAK

17.00 Folding, Codes and Linear Algebra - Alex Evans (Bain Capital Crypto)

17.30 Common Pitfalls and Optimization for Modern Cryptographic Protocol Implementations - Shresth Agrawal (Common Prefix)

10.30 SCRIBE: Asymptotically Optimal Streaming SNARKs - Tushar Reddy Mopuri (University of Pennsylvania)

11.00 Application of Graph Methods for Efficient Quotient Polynomial Computation in Halo2 - Karthik Inbasekar (Ingonyama)

11.30 BREAK

12.00 ZK Consensus: One Proof to Rule Them All - Calum Moore (Payy)

12.30 Mopro: Client-Side Proving on Mobile Made Easy - Oskar Thoren (Independent)

13.00 LUNCH

14.00 Polynomial Acceleration for STARK VMs - Alan Szepieniec (Neptune)

14.30 Anonymous Credentials Based on Programmable Zero-Knowledge - Johannes Sedlmeir (SnT, University of Luxembourg)

15.00 BREAK

LIGHTNING TALKS

15.30 ZkSnap - End-to-End Private Voting at No Cost to Users - Rahul Ghangas (Aerius Labs)

15:45 Proteus: Proof of Transformation for AI Provenance - Daniel Bessonov & Rohan Sanjay (Proteus)

16:00 MPC-Enabled Proof Markets - Daniel Kales (TACEO)

16:15 To Compute or Not to Compute on FPGA, That is The Question - Tibor Tribus & Vladimir Marcin (MAYA-ZK)

16.30 BREAK

17.00 ZK in Restricted Environments - Can State-of-the-Art Systems Run on Smartcards? - Silur (Independent)

17.30 Compiling to ZKVMs - Alberto Centelles (Anoma)

10:30 ZK Building Blocks for Electronic ID Verification: from Signature Verification to Mobile Proving - Théo Madzou (Ocelots)

11.30 BREAK

12.00 zkPassport: Secure and Private Identity Using Your ePassport - Michael Elliot & Derya Karli (zkPassport)

13:00 LUNCH

14:00 Insights from and on Taxonomy of ZKP Vulnerabilities - Gyumin Roh (KALOS)

15:30 Let's Build Something Impossible Using Multi-Party FHE - Janmajaya Mall (Gauss Labs)

17:00 Securing Tomorrow: A Deep Dive into ZK for Automated Regulatory Compliance - Maya Krasovsky (independant)