Noir Hardhat Template (v2)

This is a developer tool that's intended to help with developing zero knowledge circuits within EVM smart contracts.

Installation

Bun is super fast - I reckon use it to manage dependencies:

bun install

but you can use npm, yarn, whatever floats your boat.

Set Up

From root, this is a hardhat project. That means that you just run:

bun hardhat test

to run tests, or

bun hardhat <whatever_hardhat_command>

for any other hardhat commands.

Noir Specific Set Up

The Noir project is located at circuits/. You can read more about Noir project structure in their docs.

For this template, it's assumed that you will have nargo >= 0.30.0 installed. You can find installation instructions here.

Noir allows you to test your circuit within the circuits/src/main.nr file, and those tests can be ran with:

cd circuits
nargo test

Building the Verifier Contract

Any time that you change your circuit in circuits/src/main.nr, chances are that you'll need to rebuild your Solidity verifier contract. This can be done with:

bun build:circuit

This will generate the Verifier contract and place it in contracts/circuits/UltraVerifier.sol

Note

Only single circuit is supported at the moment. If you have multiple circuits, you will need to manually combine the generated verifier contracts yourself. Multiple circuit support should be coming soon 👀

Issues or Questions

If you have any issues or questions please reach out here or @ me on twitter @0xbenhooper

happy hacking

Disclaimer

This code is not audited and I only have rudimentary knowledge of the moon maths at hand. If you're serious about deploying this - please get this looked at by someone who knows what an UltraPLONK is.