ZKProof is an initiative focused on the standardization of Zero-Knowledge Proofs. This community of over 1000 practitioners converges stakeholders from academia, startups, and law enforcement, creating a bridge between theory and practical implementation. This year, we’re preparing for a 3 days event in Berlin.
On the Agenda:
-
Day 1: zkVMs builders will discuss ZKP, Programmability, and Scale
-
Day 2: Standardization and the Verified Verifier – what’s the target scheme to formally verify? Mary Maller will lead PLONK Standards Working groups
-
Day 3: Addressing Vulnerabilities in SNARKs
-
With Keynotes by Alessandro Chiesa (EPFL), Jens Groth (Nexus), Kostas Chalkias (Mysten Labs)
Important Information
ZKProof 6 : Agenda
Speakers
Accepted Submissions
- SoK: What don’t we know? Understanding Security Vulnerabilities in SNARKs – Stefanos Chaliasos (Imperial College London)
- A Time-Space Tradeoff for the Sumcheck Prover – Andrew Zitek-Estrada (EPFL)
- STIR: Reed-Solomon Proximity Testing with Fewer Queries – Eylon Yogev (Bar-Ilan University)
- SLAP: Succinct Lattice-Based Polynomial Commitments from Standard Assumptions – Giacomo Fenzi (EPFL)
- zkSNARKs in the ROM with Unconditional UC-Security – Giacomo Fenzi (EPFL)
- Tooling: Practical Formal Verification for Arithmetic Circuits – Marcin Kostrzewa (Reilabs)
- Basefold : Efficient field-agnostic multilinear polynomial commitment schemes from foldable codes – Hadas Zeilberger (Yale University)
- On the Security of Nova Recursive Proof System – Hyeonbum Lee (Hanyang University)
- On Comparing Proof Systems and their Implementations (or “It would be cool to have the L2BEAT of proof systems!”) – Matteo Campanelli and Marco Stronati (Matter Labs)
- State of the Sigmas – Michele Orru (CNRS)
- PriDe CT: Using Zero-Knowledge Proofs to Unlock Public Consensus with Private, Concurrent, and Batchable Transactions with Forward Secrecy in Decentralized Payments – Harish Karthikeyan (JP Morgan AI Research, J.P. Morgan AlgoCRYPT CoE)
- Jolt: SNARKs for virtual machines via Lookups – Arasu Arun (New York University) and Michael Zhu (a16z crypto research)
- Why There’s No ZK in Bitcoin: The Missing Pieces – Jonas Nick (Blockstream )
- SNARK Flipper. FLIP & Prove multiple instances efficiently – Nikitas Paslis and Carla R`afols (Universitat Pompeu Fabra)
- Aggios: Scalable Aggregator-Based Voting – Doron Zarchy (University of Luxembourg)
- Real-world Universal zkSNARKs are non-malleable – Luigi Russo (EURECOM, Sophia Antipolis, France)
Submissions are no longer being accepted.
ZKProof 6 Program Chairs
ZKProof 6 Program Committee
Our Sponsors
To learn more about becoming a sponsor, email us at [email protected]
Platinum Sponsors
Gold Sponsors
Silver Sponsors
