The ZKProof Steering Committee is happy to announce the 5th ZKProof Workshop, to be hosted in Tel Aviv in November 15-17.

The goals of the ZKProof initiative are to promote the standardization of zero-knowledge proof cryptography and to increase the engagement of companies and researchers worldwide. We are aware that a virtual event limits the personal interaction that is desirable for strengthening any community, especially in the cryptography community, which benefits greatly from these interactions.

We will focus on productive interactions and the high-quality discussions, strive to make the workshop accessible and enable even more community members to take an active role in the standardization initiative. We strongly encourage everyone to join us in every session, because we value community participation and many of the discussions will continue from one session to another. Furthermore, we are hosting networking sessions throughout the event where you will be able to meet your peers, have tea with a friend, and more.

Tutorial Workshops

• Tutorial: Attacks on Zero-Knowledge Proof Systems – Anna Kaplan (Least Authority)
• Tutorial: Designing ZK Application Protocols, Hands-On – TBD (QEDIT)

Applications of ZK

• UnTraceable Transactions (UTT) with Accountable Privacy and Technological Experimentation with the Bank of Israel – Ittai Abrahamm (VMware)
• FROMAGER – A Scalable Toolchain for Complex ZK Proofs About Software – James Parker (Galois, Inc)
• Zero-Knowledge Machine Learning – Jason Morton (ZKonduit / 0xPARC)
• ZK-WASM: A ZK Virtual Machine that Supports WebAssembly – Gao Sinka (DelphinusLab)

ZK Primitives

• Succinct Zero-Knowledge Batch Proofs for Set Accumulators – Hyunok Oh (Hanyang university and Zkrypto Inc.)
• Curve Trees: Practical and Transparent Zero-Knowledge Accumulators – Simon Holmgaard Kamp (Aarhus University)

Developer Tooling

• Building Functional Commitments: the Benefits of Implementing and Optimizing at the Polynomial Level – Andrija Novakovic (Geometry)
• Anemoi and Jive: New Arithmetization-Oriented tools for Plonk-based applications – Clémence Bouvier (Sorbonne University and Inria, France)

Domain Specific Language

• ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs – Raul-Martin Rebane (Cybernetica AS)
• A Zero-Knowledge Circuit for the Lurk language – Eduardo Morais (Protocol Labs)
• cirgen: MLIR based compiler for zk-STARK circuit generation – Frank Laub (RISC Zero, Inc)

Concrete Schemes

• aPlonK: Aggregated PlonK from Multi-Polynomial Commitment Schemes – Marc Beunardeau and Miguel Ambrona (Nomadic Labs)
• Groth16 still Lives: Exploring the Tradeoffs of Modern ZKProof Systems – François Garillot (Mysten Labs)
• Simulation-extractability of zkSNARKs – Michał Zajac (Nethermind)
• Counting Vampires: From Univariate Sumcheck to Updatable ZK-SNARK – Janno Siim (Simula UiB), Michal Zajac (Nethermind)

Standardization Discussions

• PLONK: IOP, Polynomial Commitment and Arithemtization Language – Jack Grigg (Electric Coin Company)
• Composition of Proof Systems – Ying Tong (Electric Coin Company, 0xPARC)
• A Draft Standard Specification for Σ-Protocols – Michele Orrù (UC Berkeley), Stephan Krenn (AIT)

Submissions are no longer being accepted.