Working Groups

Table of contents

  1. Active WGs
  2. Other Discussion Groups

This page collects links to all resources about working groups (WG) in the ZKProof Standardization effort, as well as proposals and systematizations of knowledge submitted to ZKProof workshops.

For comments and updates, please email editors at zkproof dot org.

About Proposals vs. WGs vs. Standards: Throughout various ZKProof workshops, “proposals” were submitted for discussion by the community. Some of these led to the creation of “working groups” (WG) intended to subsequently develop/refine/improve the proposals, possibly toward future standards. Information about other proposals can be found in the Community Standards section under “Accepted Papers”.

Active WGs

# WG Name (Telegram Group) Goal Repo Documents
1 Commit-and-Prove ZKP Systems & Extensions (TG) Standardize how to modularly create verifiable commitments and ciphertexts with any ZK system repo W2, W3, W4, Notes, Slides, Charter
2 Σ-protocols (TG) Standardize ZK interactive sigma protocols repo W4
3 DAPOL (TG) v W3, CCS21, ACNS21, Notes
4 zkInterface (TG) Standardize interoperability between frontends and backends in ZK systems repo W2, W3, Notes
5 Snark-Friendly Primitives (TG) Standardize the use of specific cryptographic primitives inside of the circuit of a ZK system repo Charter, Notes

Other Discussion Groups

# WG Name (Telegram Group) Goal Repo Documents
1 Groth16 & SnarkPack (TG) Standardize Groth16 and aggregation/amortization methods W4, Notes
2 Rinocchio: SNARKs for Ring Arithmetic (TG) Standardize a generic method for using ZK over rings, yielding efficiency improvements for some applications W4, Notes
3 Leo: A Programming Language for Formally Verified ZK Applications (TG) Standardize the fundamental components of a ZK language W4, Notes

Legend: W2 = paper @ 2th workshop; W3 = paper @ 3rd workshop; W4 = paper @ 4th workshop.