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 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).
Here is the call for papers for this edition of the workshop.
- 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
- 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
In this edition, only proposals were submitted. Here is the call for papers.
- 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