The repository for high quality Trusted setups for groth16 based SNARKS.
DefinitelySetup is a product designed to run Trusted Setup ceremonies for Groth16 based snarks. This document provides step-by-step guide on how to utilize DefinitelySetup.
You will generally need to prepare the p0tion infrastructure. See the p0tion repo for details. A ceremony setup can be initiated either using GitHub actions, triggered by a PR, or by a command in the p0tion CLI (with coordinator privileges).
Steps for using DefinitelySetup to run your own ceremony:
-
Prepare your files: Before anything else, you will need to prepare your R1CS, wasm, and ceremony config files for uploading to the DefinitelySetup repository.
-
Create a Pull Request: Once your files are ready, you'll need to create a pull request (PR) in the DefinitelySetup repository. Use the provided PR template to guide you in filling out the necessary information.
-
Approval and Merging: If your circuit's constraint size is less than 1M, your PR will be automatically approved and merged.
-
Starting the Ceremony: Once your PR is merged, the ceremony will commence. You and other users will be able to see the ceremony on the DefinitelySetup website.
-
Contribute via the CLI: During the ceremony, you can use the provided CLI to contribute to the process. Detailed instructions for using the CLI will be provided on the DefinitelySetup website. The browser can also be used if the circuit size is sufficiently small.
-
Download Finalized Zkeys: After the ceremony concludes, the finalized zkeys will be made available for download. Ensure to check back frequently for updates or await notifications regarding completion.
Please note that these are the fundamental steps and additional details or steps may be necessary based on the specifics of your project or ceremony configuration.
Remember, DefinitelySetup is designed to simplify and streamline the process of running Trusted Setup ceremonies, and we're here to support you through each step of the process.