zkSummit 11-14

134 talks · indexed by Breach Arc Archive. Links open each talk on YouTube.

• Building cryptographic apps for human connection - Vivek Bhupatiraju & Andrew Lu
• ZK Summit 12 - LIVESTREAM
• ZK11: 1 Circuit, 5 Rollups: Building a Re-Usable DA Integration for ZK Rollups - Connor O'Hara
• ZK11: 2PC is for P2P: A TLSN-Based On/Off-Ramping Protocol - Sachin Kumar
• ZK11: Anna Rose - Welcome to zkSummit & Sponsor Intro
• ZK11: Anonymous Credentials Based on Programmable Zero-Knowledge - Johannes Sedlmeir
• ZK11: Application of Graph Methods for Efficient Quotient Polynomial Computation in Halo2 - Karthik
• ZK11: Aptos Keyless: Blockchain Accounts without Secret Keys - Alin Tomescu
• ZK11: Arke: Privacy-Preserving and Decentralised Contact Discovery - Nicolas Mohnblatt
• ZK11: Binius: a Hardware-Optimized SNARK - Jim Posen
• ZK11: Circle STARKs - Ulrich Haböck & Shahar Papini
• ZK11: Common Pitfalls & Optimization for Modern Cryptographic Protocol Implementations - S. Agrawal
• ZK11: Compiling to ZKVMs - Alberto Centelles
• ZK11: Folding, Codes and Linear Algebra - Alex Evans
• ZK11: Insights from and on Taxonomy of ZKP Vulnerabilities - Gyumin Roh
• ZK11: Insights into Practical Folding - Mara Mihali
• ZK11: Let's Build Something Impossible Using Multi-Party FHE - Janmajaya Mall
• ZK11: Make Lurk Work - Chhi'mèd Künzang
• ZK11: Mechanism Design for ZK-Rollup Prover Markets - Wenhao Wang
• ZK11: Mopro: Client-Side Proving on Mobile Made Easy - Oskar Thoren
• ZK11: MPC-Enabled Proof Markets - Daniel Kales
• ZK11: Natively Compatible Super-Efficient Lookup Arguments - Matteo Campanelli
• ZK11: o1VM: Building a Real-World zkVM for MIPS - Danny Willems
• ZK11: Polynomial Acceleration for STARK VMs - Alan Szepieniec
• ZK11: Pretty Optimal: Integrating Application-Specific Circuits and zkVMs - Victor Graf
• ZK11: Protecting against Bad Actors in Private Systems - Damian Straszak
• ZK11: Proteus: Proof of Transformation for AI Provenance - Daniel Bessonov & Rohan Sanjay
• ZK11: Pushing the Performance and Usability of Zero Knowledge Proofs - Daniel Dore
• ZK11: SCRIBE: Asymptotically Optimal Streaming SNARKs - Tushar Reddy Mopuri
• ZK11: Securing Tomorrow: A Deep Dive into ZK for Automated Regulatory Compliance - Maya Krasovsky
• ZK11: Sharing Randomness in Distributed Proving - Tamir Hemo
• ZK11: SNARK proving ASICs - Justin Drake
• ZK11: STIR: Reed–Solomon Proximity Testing with Fewer Queries - Gal Arnon & Giacomo Fenzi
• ZK11: The Last Challenge Attack - Oana Ciobotaru
• ZK11: The Role of Decentralized Proving Networks in the Modular Stack - Uma Roy
• ZK11: To Compute or Not to Compute on FPGA, That is The Question - Vladimir Marcin
• ZK11: ZK Building Blocks for Electronic ID Verification - Théo Madzou
• ZK11: ZK Consensus: One Proof to Rule Them All - Calum Moore
• ZK11: ZK Email: Novel ZK Applications Unlocked by Portable Provenance - Aayush Gupta & Sora Suegami
• ZK11: ZK Fireside - Anna & Friends
• ZK11: ZK in Restricted Environments - Can State-of-the-Art Systems Run on Smartcards? - Silur
• ZK11: zkPassport: Secure and Private Identity Using Your ePassport - Michael Elliot & Derya Karli
• ZK11: ZkSnap - End-to-End Private Voting at No Cost to Users - Rahul Ghangas
• ZK12: Abstractions for a multi-prover zkVM - Georg Wiese
• ZK12: Accelerating Client-Side Cryptography with WebGPU - Tal Derei
• ZK12: Analyzing and Benchmarking ZK-Rollups - Stefanos Chaliasos
• ZK12: Circom buses: the power to structure ZK circuits - Albert Rubio
• ZK12: Cyclic Groups from Geometry - Alp Bassa
• ZK12: DART: Distributed argument of knowledge for Rough Terrains - Steve Thakur
• ZK12: Discover collaborative-SNARKs: Circom & Noir meets MPC - Franco Nieddu
• ZK12: Distributed proof generation for zkEVM from code-based polynomial commitment schemes
• ZK12: Enhancing privacy in intent-centric protocols - Yulia Khalniyazova
• ZK12: From IVCs to RCGs - Ariel Gabizon
• ZK12: Future of ZK Applications with Anna & Friends
• ZK12: Improving ZK Applications with Formal Verification. - Marcin Kostrzewa
• ZK12: Lessons from integrating LogUp-GKR in the Miden VM - Bobbin Threadbare & Philippe Laferrière
• ZK12: Make Web3 use Web2: verifiable SQL db for contracts - Nikkolasg N
• ZK12: Mechanism Design of a Decentralized Prover Network - Norbert Vadas
• ZK12: MegaPlonk. Or, how I learned to stop worrying and love the plonk. - Zac Williamson
• ZK12: Memory checking in IVC-based zkVMs - Jens Groth
• ZK12: Myth vs. Reality: Enhancing Proving Time in KZG-Backed Plonkish Systems for zkWASM - Sinka Gao
• ZK12: Nova-style folding over lattices: from Mova to folding STARKs - Albert Garreta
• ZK12: Open Problems in ZK with Solution Hints - Vanishree Rao
• ZK12: Private Large-Scale Similarity Search - Aurélien Nicolas
• ZK12: Simulating Modular Arithmetic(s) - Dan Carmon
• ZK12: Skyscraper : Super Fast Hash for Big Primes - Katharina Koschatko
• ZK12: Some like it proved: an architecture for provable apps - Lancelot de Ferriere
• ZK12: Sonobe, a modular folding schemes library - Arnau Cube
• ZK12: Speedrunning (T)FHE - Ravital Solomon & Rick Weber
• ZK12: Towards Verifiable FHE in Practice - Michael Walter
• ZK12: Towards ZK-Friendly Machine Learning Models - Alan Li
• ZK12: Welcome to zkSummit & Sponsor Intro - Anna Rose
• ZK12: WHIR: Reed-Solomon Proximity Testing with Super-Fast Verification
• ZK12: X-check: A Native Binary Tower Field ISA Design - Radi Cojbasic
• ZK12: Zero-Knowledge Location Privacy via Accurate Floating-Point SNARKs - Jens Ernstberger
• ZK12: Zirgen: A Novel DSL for Writing Efficient zk-STARK Circuits - Jacob Weightman
• ZK12: ZK on Bitcoin - Liam Eagen
• ZK12: ZK Trust Legos [ : Luring Web2 Onchain with ZK Primitives] - alizk
• ZK13: Almost Linear Time Permutation Check - Jessica Chen (New York University)
• ZK13: Arithmetization-Friendly Primes and Efficient Constraint Evaluation: STARKs on Custom Hardware
• ZK13: Bringing modularity to zkVMs with OpenVM - Yi Sun
• ZK13: Bringing zkPassport to Production with Self - Marek Olszewski
• ZK13: Circle STARK GPU Acceleration: An Analysis of Performance and Implementation
• ZK13: EC Plonkish: Plonk-like proofs over the elliptic curve coordinate ring - Syed Hosseini
• ZK13: Formally Verifying a zkVM - Howard Wu & Alessandro Coglio
• ZK13: Garuda & Pari: Faster and Smaller SNARKs via Equifficient Polynomial Commitments
• ZK13: GIGA Protocol: Unlocking Trustless Parallel Computation in Blockchains through SNARKs
• ZK13: ISAs for MPC - Mikerah Quintyne-Collins
• ZK13: LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems
• ZK13: Laurent STARKs - Ulrich Haböck (StarkWare Industries) & Yuval Domb (Ingonyama)
• ZK13: Lifted FRI: A uniform multi-domain polynomial commitment scheme
• ZK13: Ligerito: A Small and Concretely Fast Polynomial Commitment Scheme - Kobi Gurkan
• ZK13: Linear-Time Accumulation Schemes - William Wang
• ZK13: Lookup tables in CoSNARK - Florin Fabsits
• ZK13: Mercury: A Novel Constant Sized MLPCS - Liam Eagen
• ZK13: openbanking.nr - Proving banking transactions onchain - Mohammed Mahmoud & Jack Gilcrest
• ZK13: Programming Binius with M3 Arithmetization - Tobias Bergkvist
• ZK13: R0VM v3, a multi proof system zkVM - Jeremy Bruestle
• ZK13: Redesiging Proof Rules for Efficient ZK Proofs of Mathematical Proofs - Brandon Moore
• ZK13: Shedding light on Noir with Lampe - Matej Penciak (Reilabs)
• ZK13: The Onchain Privacy Trilemma - Wei Dai
• ZK13: Towards a Standard for Programmable ZK Proofs - Ying Tong (Ethereum Foundation)
• ZK13: Twist and Shout: The Next Era of Jolt - Michael Zhu
• ZK13: Vectorized implementations with AVX-512 for speeding-up zkEVM - Georgios Fotiadis
• ZK13: Vibe coding ZK Apps with Ligetron ZK Platform - Muthu Venkitasubramaniam
• ZK13: Welcome to zkSummit & Sponsor Intro - Anna Rose
• ZK13: ZKTorch: Efficiently Compiling ML Models to Zero-Knowledge Proof Protocols - Daniel Kang
• ZK14 - 7 years in Poseidon: Survey of (algebraic) attacks on Poseidon & Poseidon2-Antonio Sanso
• ZK14 - A Security Guide to ZK Engineering - Michael Belegris (Nethermind)
• ZK14 - Client-side Validation in Private Payment Protocols - Ying Tong Lai ({ ideal })
• ZK14 - eDAS: Extending Data Availability Sampling with Privacy and Compliance - Isobel Watkins (UCL)
• ZK14 - Intro with Anna Rose
• ZK14 - Jolt Atlas: Verifiable Inference via Lookup Arguments in Zero Knowledge - Antoine Douchet
• ZK14 - lambda-vm: minimalistic and performant zkvm - Diego Kingston (Aligned)
• ZK14 - Making verifiable FHE practical - Daniele Cozzo (IMDEA Software Institute)
• ZK14 - Merces: Private Token Transfers via MPC and CoSNARKs - Roman Walch (TACEO)
• ZK14 - Nondeterministic Autoprecompiles - Georg Wiese (Powdr Labs)
• ZK14 - Origin Tags: Dynamic Detection of Fiat-Shamir bugs in complex systems - Innokentii Sennovskii
• ZK14 - Proof of Seed: ZK-Based Quantum Migration Without Address Changes - Mahdi Sedaghat
• ZK14 - qedb: Expressive and Modular Verifiable Databases (without SNARKs) - Emanuele Ragnoli
• ZK14 - Resource-Sharing Permutations for Computational Integrity - Fabian Schmid (TU Graz)
• ZK14 - Scaling Zcash with Project Tachyon - Tal Derei (Tachyon)
• ZK14 - Securing a $500B Computer: The EF zkEVM Security Sprint - George Kadianakis
• ZK14 - SNARKs for Integers with Low Overhead - Lucas Xia (NYU)
• ZK14 - The Quantum Question Panel
• ZK14 - Time-Space Trade-Offs for Sumcheck - Anubhav Baweja (University of Pennsylvania)
• ZK14 - VEIL: Lightweight Zero-Knowledge for Hash-Based Multilinear Proof Systems - Ron Rothblum
• ZK14 - ZK-AntiCheat: a novel approach for video game anti-cheat software - Khaled Suliman
• ZK14 - zkID: Advancing Privacy-Preserving Identity w Research & Engineering - Vivian Plasencia
• ZK14 - ZOOK: Zero-Knowledge IOPPs for Constrained Interleaved Codes - Giacomo Fenzi (EPFL)
• ZK14 -Towards Practical Witness Encryption from Arithmetic Affine Determinant Programs Lev Soukhanov
• ZK14: Confidential and Verifiable Telemetry using Zero-Knowledge Proofs - Janwillem Swalens
• ZK14: Miden's Arithmetic Circuit Evaluation (ACE) chiplet - Adrian Hamelink (Miden)
• zkSummit13 - Livestream