clr.fund contracts

Working with ZK proofs

Read the deployment guide on how to install MACI dependencies, which include installing rapidsnark (for ubuntu only), c++ libraries and downloading circuit parameter files.

End-to-end tests

Start the hardhat node:
``
yarn run node
`

Run the tests:

`
yarn e2e
`

Scripts

$3

`
yarn hardhat new-maci-key
`

$3

`sh


update COORDINATOR_MACISK with the MACI key from previous step

adjust other configuration if necessary

cp contracts/.env.example contracts/.env
`

$3

`sh


adjust the configuration for localhost if necessary


cp contracts/deploy-config-example.json contracts/deploy-config.json
`

$3

Deploy to local network:

`
yarn deploy:local
`

$3

Download the circuit zkeys:

`


this script will download the zkeys in the params folder where the script is run


../.github/scripts/download-6-9-2-3.sh
`

If you have previously downloaded the zkeys, you can export the environment variable CIRCUIT_DIRECTORY to point to the directory.

Run the script, the github action test-script.yml uses this script.

`
sh/runScriptTests.sh
`

The test includes setting coordinator keys, contribute funds, vote, tally, finalize and claim funds

$3

The following command will verify all clr.fund contracts. It will log a warning if contract already verified or missing.

`
yarn hardhat verify-all --network
``