To learn more about circom: https://github.com/iden3/circom
To learn more about snarkjs: https://github.com/iden3/snarkjs
The circom compiler version used is: 2.0.3.
The snarkjs version used is: 0.6.1.
Note: All the scripts are inside the scripts folder.
To organize all the scripts you can create a scripts folder next to the circuit and input file you want to work with, and add all the scripts like this:
├── scripts
│ ├── compile.sh
│ ├── executeFflonk.sh
│ ├── executeGroth16.sh
│ ├── executePlonk.sh
│ ├── generateWitness.sh
│ ├── removeBuildFolder.sh
├── circuit.circom
├── input.json
When you wan to run a script, for each script:
Run the first time:
chmod u+x ./scripts/<scriptName>.shAnd after that, you can always run:
./scripts/<scriptName>.shWhen you run one of the circom or circom-snarkjs scripts, a build folder will be created with all the generated files inside. You can delete the build folder by running the removeBuildFolder.sh file.
./scripts/removeBuildFolder.shNote: It is not necessary to run the removeBuildFolder.sh script every time you want to run a new script, because every time you run a script, the build folder is automatically removed if it exists.
compile.sh
To compile circom circuits, you can run the compile.sh file.
./scripts/compile.shgenerateWitness.sh
To generate the witness, you can run generateWitness.sh
./scripts/generateWitness.shWhen you run a circom script you will see something like this:
├── build
│ ├── ...
├── scripts
│ ├── ...
├── circuit.circom
├── input.json
executeGroth16.sh
To generate all the necessary files for a zero knowledge application using Groth16 run executeGroth16.sh.
./scripts/executeGroth16.shexecutePlonk.sh
To generate all the necessary files for a zero knowledge application using Plonk run executePlonk.sh.
./scripts/executePlonk.shexecuteFflonk.sh
To generate all the necessary files for a zero knowledge application using Fflonk run executeFflonk.sh.
./scripts/executeFflonk.shWhen you run a circom-snarkjs script, you will see something like this:
├── build
│ ├── ...
├── ptau
│ ├── ...
├── scripts
│ ├── ...
├── circuit.circom
├── input.json
Note: The ptau folder is generated with the necessary ptau file, but you can have this folder with the ptau that you will use, and it will not be generated again.
You can see different ptau files in the snarkjs documentation.