The ZKProof Standardization effort is now accepting submissions to the 7th ZKProof Workshop, which will be held in Sofia between March 23-25, 2025. The workshop addresses the security, implementation and applications of zero-knowledge proofs. The workshop does not have proceedings and hence, the submission can be based on either work in progress, papers in submission, or papers already published at a conference, workshop or journal. The program committee will select talks with the aim of constructing a balanced program that will be of high interest to the audience and community.
Submissions on any topic related to zero-knowledge proofs are welcome. Please review the current ZKProof documents for examples. This includes, but is not limited to, the following:
- Terminology, definitions and models
- ZK proof-system constructions and their building blocks
- Implementation of ZK proof system
- Applications of ZK proof systems, in blockchain and beyond
- Interoperability and integration between proof-system implementation, or components thereof (e.g. APIs and file formats)
- Benchmarking
- Domain-specific languages for expressing statements to be proven in zero knowledge
- Security analysis and formal verification
Submissions can consist of novel constructions or analysis; or systemization of knowledge of existing state of the art.
Submission Details:
Submissions must be prepared in LaTeX, 11-point font, single-column. There is no page limit but the submissions are expected to be intelligible for the reviewers within the first 5 pages. The structure is up to the authors’ discretion, but should include all of the following:
- Title
- Author names and affiliations
- Background and motivation: contextualize the problem being addressed, and motivate its importance and the potential impact of the submission. Include references.
- Terminology: It is encouraged to use terminology consistent with the existing ZKProof Standardization documents, and in particular the Community Reference document, whenever possible.
- Security: Including formal security guarantees is highly encouraged (if any).
- Implementation: if relevant, submit an open source prototype/prototype implementation, by including a reference to the code repository with the code.
Deadlines and Info
- Deadline for Proposals:
January 15th, 2025
- Deliberations:
January 15th – February 3rd, 2025
- Final Responses:
February 3rd, 2025 (moved from January 25th) - Reminder: The ZKProof 7 Event will happen on March 23rd-25th, 2025
Submit your papers to: https://zkproof25.hotcrp.com/
