Proposals for ZKProof Specifications
Table of contents
- Specification Proposals since 2023/2024
- Specification Proposals submitted between 2019 and 2021
- Workshop 4 Accepted Papers
- Workshop 3 Accepted Papers
- Workshop 2 Accepted Papers
Specification Proposals since 2023/2024
Upcoming specification proposals are expected to emerge from various working groups, following the Process for Creating a ZKProof Specification (ZSpec).
Specification Proposals submitted between 2019 and 2021
In preparation for every workshop, the community submits papers on the security, implementation and applications of zero-knowledge proofs. If accepted, the papers are to be discussed at the upcoming workshop with the goal to convey and facilitate progress in zero-knowledge proof technology, by sharing knowledge among participants and by creating public living documents that convey the state of the art. Submissions can be along the following tracks:
- Community Proposals serve as references and guidelines to be agreed upon by the community, that promote correct usage and interoperability of zero-knowledge proofs. We envision that subsequent work, to be defined in collaboration with standard bodies, will be required to gain official status as a normative standard.
- Systematization-of-Knowledge (SoK) papers serve to map the state of the art on some specific aspect of the workshop’s scope. They should be comprehensive in covering the main approaches to that aspect, compare-and-contrast them, and offer effective conceptual frameworks for understanding the relations between these alternatives (e.g., models, distinguishing properties, metrics and decomposition into building blocks).
Workshop 4 Accepted Papers
Here is the call for papers for this edition of the workshop.
- Proposal: Leo: A Programming Language for Formally Verified, Zero-Knowledge Applications - Collin Chin, Howard Wu, Raymond Chu, Alessandro Coglio, Eric McCarthy and Eric Smith
- Resubmission:Proposal: Commit-and-Prove Zero-Knowledge Proof Systems and Extensions - Daniel Benarroch, Matteo Campanelli, Dario Fiore, Jihye Kim, Jiwon Lee, Hyunok Oh and Anaïs Querol
- Proposal: $\Sigma$-protocols - Stephan Krenn and Michele Orrù
- Proposal: Rinocchio: SNARKs for Ring Arithmetic - Chaya Ganesh, Anca Nituescu and Eduardo Soria-Vazquez
- Proposal: An Algebraic Framework for Universal and Updatable zkSNARKs - Carla Ràfols and Arantxa Zapico
- Proposal: Framework for Snarky Ceremonies - Markulf Kohlweiss, Mary Maller, Mikhail Volkhov and Janno Siim
- Proposal: Practical Groth16 Aggregation - Nicolas Gailly, Mary Maller and Anca Nitulescu
- SoK: Formal Security Analysis of MPC-in-the-Head Zero-Knowledge Protocols - Nikolaj Sidorenco, Sabine Oechsner and Bas Spitters
Workshop 3 Accepted Papers
Here is the call for papers for this edition of the workshop.
Community Proposals
- AirAssembly: a low-level language for encoding AIR of computations - Bobbin Threadbare
- Plumo : Towards Scalable, Interoperable Blockchains Using Ultra Light Validation Systems - Ariel Gabizon, Kobi Gurkan, Philipp Jovanovic, Asa Oines, Marek Olszewski, Michael Straka, Eran Tromer and Psi Vesely
- Semaphore: Zero-Knowledge Signaling on Ethereum - Kobi Gurkan, Koh Wei Jie and Barry Whitehat
- Distributed Auditing Proofs of Liabilities - Konstantinos Chalkias, Kevin Lewi, Payman Mohassel and Valeria Nikolaenko
- Resubmission: Commit-and-Prove Zero-Knowledge Proof Systems - Daniel Benarroch, Matteo Campanelli and Dario Fiore
- Snark-friendly, Additively-homomorphic, and Verifiable Encryption and decryption with Rerandomization - Jiwon Lee, Jaekyoung Choi, Jihye Kim, and Hyunok Oh
- Resubmission: zkInterface, a Tool for Zero-Knowledge Interoperability - Daniel Benarroch, Kobi Gurkan, Ron Kahat, Aurel Nicolas and Eran Tromer
- A Benchmarking Framework for (Zero-Knowledge) Proof Systems - Daniel Benarroch, Aurel Nicolas, Justin Thaler and Eran Tromer
- The Turbo-PLONK program syntax for specifying SNARK programs - Ariel Gabizon and Zachary J. Williamson
SoK
- Formalising $\Sigma$-Protocols and Commitment Schemes using CryptHOL - David Aspinall, David Butler, Adria Gascon and Andreas Lochbilher
- Lifting Transformations for Simulation Extractable Subversion and Updatable SNARKs - Behzad Abdolmaleki, Sebastian Ramacher, and Daniel Slamanig
- Hardware Accelerated Modular Multiplication for ZKProofs - Erdinc Ozturk, Justin Drake, Sean Gulley, Simon Peffers and Kelly Olson
Workshop 2 Accepted Papers
In this edition, only proposals were submitted. Here is the call for papers.
Community Proposals
- zkInterface, a Tool for Zero-Knowledge Interoperability - Daniel Benarroch, Kobi gurkan, Ron Kahat, Aurelien Nicolas and Eran Tromer
- J-R1CS, a JSON Lines format for R1CS - Guillaume Drevon
- Commit and Prove Zero-Knowledge Proof Systems - Daniel Benarroch, Matteo Campanelli and Dario Fiore
- Generation of Twisted Edwards Elliptic Curves for Circuit Use - Barry WhiteHat, Jordi Baylina and Marta Belles
For comments and updates, send email to standards at zkproof dot org