ultrahonk finally

.github/workflows/vite_hardhat_nightly.yaml

@@ -6,9 +6,6 @@ on:
   schedule:
     # Run a nightly release at 2 AM UTC
     - cron: '0 2 * * *'
-  pull_request:
-    paths:
-      - 'vite-hardhat/**'
 
 jobs:
   vite-hardhat-setup:

.gitignore

@@ -6,3 +6,4 @@ package-lock.json
 
 # To use with nektos/act
 .github/event.json
+bun.lockb

package.json

@@ -1,6 +1,6 @@
 {
-  "name": "noir-starter",
-  "version": "0.1.1",
+  "name": "create-noir",
+  "version": "0.1.3",
   "type": "module",
   "description": "This is a reference repo to help you get started with writing zero-knowledge circuits with [Noir](https://noir-lang.org/).",
   "bin": "npx.js",

vite-hardhat/.gitignore

@@ -54,6 +54,8 @@ crs
 artifacts
 .yarn/
 
-circuit/target/
+noir/target/
+contracts
 dist
 deployment.json
+bun.lockb

vite-hardhat/README.md

@@ -23,7 +23,7 @@ Want to get started in a pinch? Start your project in a free Github Codespace!
 2. Install dependencies:
 
    ```bash
-   bun i # "npm i" or "yarn"
+   bun i
    ```
 
 3. Run a node

vite-hardhat/hardhat.config.cts

@@ -1,34 +1,15 @@
 import '@nomicfoundation/hardhat-toolbox-viem';
 import '@nomicfoundation/hardhat-viem';
 import '@nomicfoundation/hardhat-chai-matchers';
-import 'hardhat-plugin-noir';
+import 'hardhat-noirenberg';
 
-import hre, { vars, HardhatUserConfig, task } from 'hardhat/config';
 import { writeFileSync } from 'fs';
 import { Chain } from 'viem';
-
-task('deploy', 'Deploys the verifier contract').setAction(async ({ attach }, hre) => {
-  const verifier = await hre.viem.deployContract('UltraVerifier');
-
-  const networkConfig = (await import(`viem/chains`))[hre.network.name] as Chain;
-  const config = {
-    name: hre.network.name,
-    address: verifier.address,
-    networkConfig: {
-      ...networkConfig,
-      id: hre.network.config.chainId,
-    },
-  };
-
-  console.log(
-    `Attached to address ${verifier.address} at network ${hre.network.name} with chainId ${networkConfig.id}...`,
-  );
-  writeFileSync('deployment.json', JSON.stringify(config), { flag: 'w' });
-});
+import { HardhatUserConfig, task, vars } from 'hardhat/config';
 
 const config: HardhatUserConfig = {
   solidity: {
-    version: '0.8.21',
+    version: '0.8.28',
     settings: {
       optimizer: { enabled: true, runs: 5000 },
     },
@@ -51,13 +32,29 @@ const config: HardhatUserConfig = {
       accounts: vars.has('holesky') ? [vars.get('holesky')] : [],
     },
   },
-  noir: {
-    version: '0.36.0',
-  },
   paths: {
     root: 'packages',
     tests: 'tests',
   },
 };
 
+task('deploy', 'Deploys the verifier contract').setAction(async (taskArgs, hre) => {
+  const verifier = await hre.viem.deployContract('HonkVerifier');
+
+  const networkConfig = (await import(`viem/chains`))[hre.network.name] as Chain;
+  const config = {
+    name: hre.network.name,
+    address: verifier.address,
+    networkConfig: {
+      ...networkConfig,
+      id: hre.network.config.chainId,
+    },
+  };
+
+  console.log(
+    `Attached to address ${verifier.address} at network ${hre.network.name} with chainId ${networkConfig.id}...`,
+  );
+  writeFileSync('deployment.json', JSON.stringify(config), { flag: 'w' });
+});
+
 export default config;

vite-hardhat/package.json

@@ -13,15 +13,14 @@
   },
   "type": "module",
   "devDependencies": {
-    "hardhat-plugin-noir": "0.1.3",
     "@types/bun": "^1.1.12",
     "hardhat": "^2.19.2"
   },
   "dependencies": {
-    "@aztec/bb.js": "^0.62.0",
-    "@noir-lang/noir_js": "0.36.0",
-    "@noir-lang/noir_wasm": "0.36.0",
-    "@noir-lang/types": "0.36.0",
+    "@noir-lang/noir_js": "1.0.0-beta.0",
+    "@noir-lang/noir_wasm": "1.0.0-beta.0",
+    "@noir-lang/types": "1.0.0-beta.0",
+    "@aztec/bb.js": "0.63.1",
     "@nomicfoundation/hardhat-ignition": "^0.15.5",
     "@nomicfoundation/hardhat-ignition-viem": "^0.15.5",
     "commander": "^12.1.0",
@@ -35,7 +34,8 @@
     "@types/mocha": "^10.0.1",
     "@types/shelljs": "^0.8.7",
     "hardhat-gas-reporter": "^1.0.9",
-    "solidity-coverage": "^0.8.5"
+    "solidity-coverage": "^0.8.5",
+    "hardhat-noirenberg": "^0.1.5"
   },
   "peerDependencies": {
     "typescript": "^5.0.0"

vite-hardhat/packages/vite/hooks/useOffChainVerification.tsx

@@ -3,11 +3,11 @@
 import { ProofData } from '@noir-lang/types';
 import { useEffect } from 'react';
 import { toast } from 'react-toastify';
-import { UltraPlonkBackend } from '@aztec/bb.js';
+import { UltraHonkBackend } from '@aztec/bb.js';
 import { Noir } from '@noir-lang/noir_js';
 
 export function useOffChainVerification(
-  backend: UltraPlonkBackend,
+  backend: UltraHonkBackend,
   noir?: Noir,
   proofData?: ProofData,
 ) {

vite-hardhat/packages/vite/hooks/useOnChainVerification.tsx

@@ -4,7 +4,7 @@ import { useAccount, useConnect, useDisconnect, useSwitchChain } from 'wagmi';
 import { bytesToHex } from 'viem';
 import { useEffect, useState } from 'react';
 import { Id, toast } from 'react-toastify';
-import { useReadUltraVerifierVerify } from '../artifacts/generated.js';
+import { useReadHonkVerifierVerify } from '../artifacts/generated.js';
 import deployment from '../../../deployment.json';
 
 export function useOnChainVerification(proofData?: ProofData) {
@@ -14,7 +14,7 @@ export function useOnChainVerification(proofData?: ProofData) {
   const [args, setArgs] = useState<[`0x${string}`, `0x${string}`[]] | undefined>();
 
   const { chains, switchChain } = useSwitchChain();
-  const { data, error } = useReadUltraVerifierVerify({
+  const { data, error } = useReadHonkVerifierVerify({
     args,
     query: {
       enabled: !!args,

vite-hardhat/packages/vite/hooks/useProofGeneration.tsx

@@ -24,7 +24,11 @@ export function useProofGeneration(inputs?: { [key: string]: string }) {
       error: 'Error initializing Noir',
     });
 
-    const { witness } = await noir.execute(inputs);
+    const { witness } = await toast.promise(noir.execute(inputs), {
+      pending: 'Generating witness...',
+      success: 'Witness generated!',
+      error: 'Error generating witness',
+    });
 
     const data = await toast.promise(backend.generateProof(witness), {
       pending: 'Generating proof',

vite-hardhat/packages/vite/index.tsx

@@ -1,11 +1,18 @@
+// @ts-ignore
+import acvm from '@noir-lang/acvm_js/web/acvm_js_bg.wasm?url';
+// @ts-ignore
+import noirc from '@noir-lang/noirc_abi/web/noirc_abi_wasm_bg.wasm?url';
+import initNoirC from '@noir-lang/noirc_abi';
+import initACVM from '@noir-lang/acvm_js';
+// @ts-ignore
+await Promise.all([initACVM(fetch(acvm)), initNoirC(fetch(noirc))]);
+
 import React, { ReactNode, useEffect } from 'react';
 import ReactDOM from 'react-dom/client';
 import './App.css';
 import 'react-toastify/dist/ReactToastify.css';
 import { ToastContainer } from 'react-toastify';
 import Component from './components/index.jsx';
-import initNoirC from '@noir-lang/noirc_abi';
-import initACVM from '@noir-lang/acvm_js';
 import { QueryClient, QueryClientProvider } from '@tanstack/react-query';
 import { WagmiProvider, createConfig, http } from 'wagmi';
 import { defineChain, createClient } from 'viem';
@@ -30,23 +37,6 @@ const config = createConfig({
   },
 });
 
-const InitWasm = ({ children }: any) => {
-  const [init, setInit] = React.useState(false);
-  useEffect(() => {
-    (async () => {
-      await Promise.all([
-        initACVM(new URL('@noir-lang/acvm_js/web/acvm_js_bg.wasm', import.meta.url).toString()),
-        initNoirC(
-          new URL('@noir-lang/noirc_abi/web/noirc_abi_wasm_bg.wasm', import.meta.url).toString(),
-        ),
-      ]);
-      setInit(true);
-    })();
-  });
-
-  return <div>{init && children}</div>;
-};
-
 export function Providers({ children }: { children: React.ReactNode }) {
   const [mounted, setMounted] = React.useState(false);
   React.useEffect(() => setMounted(true), []);
@@ -59,9 +49,7 @@ export function Providers({ children }: { children: React.ReactNode }) {
 
 ReactDOM.createRoot(document.getElementById('root')!).render(
   <Providers>
-    <InitWasm>
-      <Component />
-      <ToastContainer />
-    </InitWasm>
+    <Component />
+    <ToastContainer />
   </Providers>,
 );

vite-hardhat/packages/vite/package.json

@@ -7,11 +7,6 @@
     "wagmi": "wagmi generate"
   },
   "dependencies": {
-    "@noir-lang/backend_barretenberg": "0.36.0",
-    "@noir-lang/noir_js": "0.36.0",
-    "@noir-lang/noir_wasm": "0.36.0",
-    "@noir-lang/types": "0.36.0",
-    "@aztec/bb.js": "^0.62.0",
     "react": "^18.2.0",
     "react-dom": "^18.2.0",
     "react-toastify": "^9.1.1",
@@ -34,8 +29,5 @@
     "typechain": "^8.1.0",
     "typescript": "^4.9.3",
     "vite": "^5.0.6"
-  },
-  "engines": {
-    "node": ">=18.19.0"
   }
 }

vite-hardhat/packages/vite/vite.config.js

@@ -1,17 +1,10 @@
-import { defineConfig } from 'vite';
 import react from '@vitejs/plugin-react-swc';
 
-export default defineConfig({
+export default {
   optimizeDeps: {
     esbuildOptions: {
       target: 'esnext',
     },
   },
-  build: {
-    target: 'esnext',
-  },
   plugins: [react()],
-  server: {
-    port: 1337,
-  },
-});
+};

vite-hardhat/tests/index.test.ts

@@ -1,25 +1,24 @@
 import { expect, beforeAll, describe, test } from 'bun:test';
 import { Noir } from '@noir-lang/noir_js';
 import { ProofData } from '@noir-lang/types';
-import hre from 'hardhat';
-import { BarretenbergBackend } from '@noir-lang/backend_barretenberg';
-import { bytesToHex } from 'viem';
+import { UltraHonkBackend } from '@aztec/bb.js';
 import { execSync } from 'child_process';
+const hre = require('hardhat');
 
 describe('It compiles noir program code, receiving circuit bytes and abi object.', () => {
   let correctProof: ProofData;
   let noir: Noir;
-  let backend: BarretenbergBackend;
+  let backend: UltraHonkBackend;
   hre.run('node');
 
   beforeAll(async () => {
-    ({ noir, backend } = await hre.noir.getCircuit('noirstarter'));
+    ({ noir, backend } = await hre.noirenberg.compile());
+    await hre.noirenberg.getSolidityVerifier();
     execSync('npx hardhat compile');
   });
 
   test('Should generate valid proof for correct input', async () => {
     const input = { x: 1, y: 2 };
-    // Generate proof
     const { witness } = await noir.execute(input);
     correctProof = await backend.generateProof(witness);
     expect(correctProof.proof instanceof Uint8Array).toBeTrue;
@@ -30,14 +29,14 @@ describe('It compiles noir program code, receiving circuit bytes and abi object.
     expect(verification).toBeTrue;
   });
 
-  test('Should verify valid proof for correct input on a smart contract', async () => {
-    const verifier = await hre.viem.deployContract('UltraVerifier');
-    const res = await verifier.read.verify([
-      bytesToHex(correctProof.proof),
-      correctProof.publicInputs as `0x${string}`[],
-    ]);
-    expect(res).toBeTrue;
-  });
+  // test('Should verify valid proof for correct input on a smart contract', async () => {
+  //   const verifier = await hre.viem.deployContract('HonkVerifier');
+  //   const res = await verifier.read.verify([
+  //     bytesToHex(correctProof.proof),
+  //     correctProof.publicInputs as `0x${string}`[],
+  //   ]);
+  //   expect(res).toBeTrue;
+  // });
 
   test('Should fail to generate valid proof for incorrect input', async () => {
     try {