@clrfund/maci-circuits
v1.1.10
Published
zk-SNARK circuits for MACI
Downloads
8
Readme
Circuits
This package contains the zk-SNARK circuits written in Circom 2.0.
The main circuits are:
processMessages.circom
tallyVotes.circom
- (optional)
subsidy.circom
The rest of the circuits are utilities templates that are required for the main circuits to work correctly. These include utilities such as float math, conversion of private keys, and Poseidon hashing/encryption.
Please refer to the documentation for a more in depth explanation.
Build
Prerequisites
Before building the project, make sure you have the following dependencies installed:
Building MACI circuits
To build the two main circuits of MACI, run the following commands:
circom --r1cs --sym --wasm --output ./build circom/test/processMessages_test.circom
circom --r1cs --sym --wasm --output ./build circom/test/tallyVotes_test.circom
Please note that the circuit is configured with testing purpose parameters, which means it can only handle a limited amount of messages (up to 25 messages). For more information on the parameters and how to configure them, refer to this page.
Generating and Validating ZK Proofs
To generate and validate ZK proofs from the artifacts produced by circom
, you will need snarkjs
.
Testing
To test the circuits package, please use npm run test
. This will run all of the tests inside the tests folder.
To run individual tests, you can use the following commands (for all other circuits please refer to the package.json
scripts section):
npm run test-processMessages
to run the tests for theprocessMessages
circuit.npm run test-tallyVotes
to run the tests for thetallyVotes
circuit.