This repo contains a toolkit for creating and contributing to a zk ceremony, using this repo to track the whole process in a separate branch for each ceremony.

The toolkit only supports Circom circuits, and only makes sense for proving systems that require a specific trusted ceremony (e.g. Groth16). It uses Circom to compile the circuits and SnarkJS to generate the circuit artifacts, create ceremonies and perform contributions.

A zk ceremony o trusted ceremony, is a multy-party computation process to generate the required inputs to use a zk snark circuit in a secure and reliable way, a trusted setup. This trusted setup includes two resulting keys:

• The proving key: Used to generate zk proofs using the circuit for which it was generated.
• The verifiying key: Used to verify these proofs.

This process also produces a piece of data called toxic waste which must be discarded, as it can be used to generate fake proofs. And this is because it is performed as a multy-party computation, to reduce the risks of the process distributing it in multiple participants.

In turn, each party takes the previous contribution (starting from an initial one generated during the creation of the ceremony) and contributes with a random input to generate entropy at the output. Then, the result of the process is uploaded and the toxic-waste is discarded.

The process can be repeated through the participants in rounds until the ceremony ends (the number of rounds is determined during the ceremony creation process).

You can read more about trusted zk ceremonies here.

• Requirements
• Contribute to a ceremony
• Create a new zk-ceremony

• Git and a Github account with permissions push to non main branches of this repository. The process will be stored and tracked in a branch of the current GitHub repository. A verified signature must be configured with git to sign the resulting commits.
• Docker: The toolkit uses docker containers to avoid installing dependencies on the host machine and to avoid incompatibilities.
• Git LFS installed and initialized to track large files like contribution files.

You just need docker run, the image will clone this repository and guide you through the whole process:

1. checkout the ceremony branch: git checkout -b ceremony/{branch-name}
2. build the docker image: docker build . --target zk-ceremony --tag iden3/zk-ceremony
3. run the docker image: docker run --rm -it iden3/zk-ceremony
4. Follow the instructions

Note: sometimes there are issue with github cli to fork repo, so in case you face this issue, just run step 3 again

This will create:

• {CONTRIBUTIONS_PATH}/{circuit_name}/{circuit_name}_{contributor_alias}.zkey: The result of your contribution.

And will update:

• {CONTRIBUTIONS_PATH}/{circuit_name}/CONTRIBUTIONS.md: Add your contribution filename and checksum to the list of contributions and set it as the last contribution.

Run the following command to prepare the environment:

bash ./scripts/create-env.sh

It will create the ceremony branch, commit and push these files to this branch.

A Github action will compile the circuit and generate the first contribution in the {ceremony_name} branch. This Github will also create an Pull Request assigned to you. If this PR is closed by you (without merge it), another Github action will be triggered that will finish the ceremony and generate the final artifacts.