Clone the MACI repo and switch to version v0.9.4:
git clone https://github.com/appliedzkp/maci.git
cd maci/
git checkout v0.9.4
Follow instructions in README.md to install necessary dependencies.
Download zkSNARK parameters for 'medium' circuits into circuits/params/
directory and rebuild the keys:
cd circuits
./scripts/buildSnarksMedium.sh
Download zkSNARK parameters for 'x32' circuits into circuits/params/
directory and rebuild the keys:
cd circuits
./scripts/buildSnarks32.sh
Recompile the contracts:
cd ../contracts
npm run compileSol
cd ../cli
node build/index.js genMaciKeypair
A single key can be used to coordinate multiple rounds.
Decrypt messages and tally the votes:
cd ../cli
node build/index.js genProofs \
--eth-provider <json-rpc-api-url> \
--contract <maci-address> \
--privkey <coordinator-private-key> \
--output proofs.json \
--tally-file tally.json
Coordinator private key must be in MACI key format (starts with macisk
).
Ethereum private key can be any private key that controls the necessary amount of ETH to pay for gas.
The genProofs
command will create two files: proofs.json
and tally.json
. The proofs.json
file will be needed to run the next command which submits proofs to MACI contract:
node build/index.js proveOnChain \
--eth-provider <json-rpc-api-url> \
--contract <maci-address> \
--privkey <coordinator-private-key> \
--eth-privkey <eth-private-key> \
--proof-file proofs.json
The process may take several hours. Results can be found in tally.json
file, which must then be published via IPFS.
Finally, the CID of tally file must be submitted to FundingRound
contract:
await fundingRound.publishTallyHash('<CID>')
cd contracts/
yarn ts-node scripts/generate-key.ts
A single key can be used to coordinate multiple rounds.
Install zkutil (see instructions in MACI readme).
Switch to contracts
directory:
cd contracts/
Download zkSNARK parameters for 'medium' circuits to snark-params
directory. Example:
ipfs get --output snark-params QmRzp3vkFPNHPpXiu7iKpPqVnZB97wq7gyih2mp6pa5bmD
Set the path to downloaded parameter files and also the path to zkutil
binary (if needed):
export NODE_CONFIG='{"snarkParamsPath": "../../../contracts/snark-params/", "zkutil_bin": "/usr/bin/zkutil"}'
Decrypt messages and tally the votes:
COORDINATOR_PK=<coordinator-private-key> COORDINATOR_ETH_PK=<eth-private-key> ROUND_ADDRESS=<funding-round-address> yarn hardhat run --network xdai scripts/tally.ts
Result will be saved to tally.json
file, which must then be published via IPFS.