Home

Awesome

<img align="right" width="150" height="150" top="100" src="./assets/banner.jpg">

Hardhat Noir

Develop Noir with Hardhat without hassle.

What

Write programs in Noir, generate Solidity verifiers and run tests.

This plugin automatically manages nargo and bb versions and compiles Noir on demand.

Installation

Install the plugin and Noir dependencies:

npm install hardhat-plugin-noir @noir-lang/noir_js@1.0.0-beta.0 @aztec/bb.js@0.63.1

Import the plugin in your hardhat.config.js:

require("hardhat-plugin-noir");

Or if you are using TypeScript, in your hardhat.config.ts:

import "hardhat-plugin-noir";

Specify the Noir version in your Hardhat config:

You must enable Solidity optimizer in order to be able to deploy Solidity verifier contracts.

const config: HardhatUserConfig = {
  solidity: {
    version: "0.8.27",
    settings: {
      optimizer: {
        enabled: true,
        runs: 100000000,
      },
    },
  },
  noir: {
    version: "1.0.0-beta.0",
  }
};

Usage

To get started, create a Noir circuit in noir folder:

npx hardhat noir-new my_noir

It will create noir/my_noir folder with the following src/main.nr:

fn main(x: Field, y: pub Field) {
    assert(x != y);
}

This circuit will prove that the private input x is not equal to the public input y using a zero-knowledge proof.

Compile Noir(it will also generate a Solidity verifier):

npx hardhat compile

Use the verifier contract in Solidity:

// contracts/MyContract.sol
import {UltraVerifier} from "../noir/target/my_noir.sol";

contract MyContract {
    UltraVerifier public verifier = new UltraVerifier();

    function verify(bytes calldata proof, uint256 y) external view returns (bool) {
        bytes32[] memory publicInputs = new bytes32[](1);
        publicInputs[0] = bytes32(y);
        bool result = verifier.verify(proof, publicInputs);
        return result;
    }
}

Generate a proof in TypeScript and verify it on chain:

// test/MyContract.test.ts
import { expect } from "chai";
import hre, { ethers } from "hardhat";

it("proves and verifies on-chain", async () => {
  // Deploy a verifier contract
  const contractFactory = await ethers.getContractFactory("MyContract");
  const contract = await contractFactory.deploy();
  await contract.waitForDeployment();

  // Generate a proof
  const { noir, backend } = await hre.noir.getCircuit("my_noir");
  const input = { x: 1, y: 2 };
  const { witness } = await noir.execute(input);
  const { proof, publicInputs } = await backend.generateProof(witness);
  // it matches because we marked y as `pub` in `main.nr`
  expect(BigInt(publicInputs[0])).to.eq(BigInt(input.y));

  // Verify the proof on-chain
  const result = await contract.verify(proof, input.y);
  expect(result).to.eq(true);

  // You can also verify in JavaScript.
  const resultJs = await backend.verifyProof({
    proof,
    publicInputs: [String(input.y)],
  });
  expect(resultJs).to.eq(true);
});

Tasks

This plugin creates no additional tasks. Run hardhat compile to compile Noir.

<!-- This plugin adds the _example_ task to Hardhat: ``` output of `npx hardhat help example` ``` -->

Environment extensions

This plugin extends the Hardhat Runtime Environment by adding a noir field.

You can call hre.noir.getCircuit(name) to get a compiled circuit JSON.

Configuration

Configure Noir and Barretenberg (bb) versions in hardhat.config.ts:

export default {
  noir: {
    // Noir version, optional, will use the latest known Noir version by default
    version: "1.0.0-beta.0",
    // bb version, optional, will be inferred if possible
    bbVersion: "0.63.1",
  },
};

The default folder where Noir is located is noir. You can change it in hardhat.config.js:

export default {
  paths: {
    noir: "circuits",
  },
};