feat!: update to 0.82.3 using bb.js (#8)

Update to 0.82.3 and use bb.js to generate solidity verifiers.

Supersedes #7 as noir-wasm does not fully support nested deps &
workspaces.

closes #4

Author: olehmisar

.gitignore

@@ -1,3 +1,5 @@
+.DS_Store
+
 /dist
 
 # Logs

README.md

@@ -15,7 +15,7 @@ This plugin automatically manages `nargo` and `bb` versions and compiles Noir on
 Install the plugin and Noir dependencies:
 
 ```bash
-npm install hardhat-plugin-noir @noir-lang/[email protected].1 @aztec/bb.js@0.67.0
+npm install hardhat-plugin-noir @noir-lang/[email protected].3 @aztec/bb.js@0.82.3
 ```
 
 Import the plugin in your `hardhat.config.ts`:
@@ -34,7 +34,7 @@ const config: HardhatUserConfig = {
     settings: { optimizer: { enabled: true, runs: 100000000 } },
   },
   noir: {
-    version: "1.0.0-beta.1",
+    version: "1.0.0-beta.3",
   },
 };
 ```
@@ -106,7 +106,7 @@ it("proves and verifies on-chain", async () => {
 
   // Verify the proof on-chain
   // slice the proof to remove length information
-  const result = await contract.verify(proof.slice(4), input.y);
+  const result = await contract.verify(proof, input.y);
   expect(result).to.eq(true);
 
   // You can also verify in JavaScript.
@@ -145,9 +145,7 @@ 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.1",
-    // bb version, optional, will be inferred if possible
-    bbVersion: "0.67.0",
+    version: "1.0.0-beta.3",
   },
 };
 ```

package.json

@@ -1,6 +1,6 @@
 {
   "name": "hardhat-plugin-noir",
-  "version": "0.3.1",
+  "version": "0.4.0",
   "description": "Hardhat plugin for Noir language",
   "repository": "github:olehmisar/hardhat-noir",
   "author": "Oleh Misarosh <[email protected]>",
@@ -18,8 +18,8 @@
   ],
   "scripts": {
     "lint:fix": "prettier --write 'src/**/*.{js,ts}' 'test/**/*.{js,ts}'",
-    "lint": "tsc --noEmit && prettier --check 'src/**/*.{js,ts}' 'test/**/*.{js,ts}'",
-    "test": "mocha --exit --recursive 'test/**/*.test.ts' && tsc --noEmit",
+    "lint": "tsc --noEmit --skipLibCheck && prettier --check 'src/**/*.{js,ts}' 'test/**/*.{js,ts}'",
+    "test": "mocha --exit --recursive 'test/**/*.test.ts' && pnpm lint",
     "build": "rm -rf dist && tsc",
     "watch": "tsc -w",
     "prepublishOnly": "pnpm test && pnpm build"
@@ -31,8 +31,7 @@
     "README.md"
   ],
   "devDependencies": {
-    "@aztec/bb.js": "0.67.0",
-    "@noir-lang/noir_js": "1.0.0-beta.1",
+    "@noir-lang/noir_js": "1.0.0-beta.3",
     "@nomicfoundation/hardhat-ethers": "^3.0.8",
     "@types/chai": "^5.0.0",
     "@types/mocha": "^10.0.9",
@@ -48,6 +47,7 @@
     "hardhat": "^2.0.0"
   },
   "dependencies": {
+    "@aztec/bb.js": ">=0.82.0",
     "glob": "^11.0.0",
     "zod": "^3.23.8"
   }

pnpm-lock.yaml

@@ -42,26 +42,13 @@ extendConfig(
     function resolveNoirConfig(
       u: HardhatUserConfig["noir"],
     ): HardhatConfig["noir"] {
-      const bbVersionMap: Record<string, string> = {
-        "1.0.0-beta.1": "0.67.0",
-      };
-      u = u || {};
-      const version = u.version;
-      const bbVersion = u.bbVersion ?? bbVersionMap[version];
-      if (!bbVersion) {
-        throw new HardhatPluginError(
-          PLUGIN_NAME,
-          `cannot infer bb version for noir@${version}. Please specify \`noir.bbVersion\` in Hardhat config`,
-        );
-      }
       const flavor: ProofFlavor[] = u.flavor
         ? Array.isArray(u.flavor)
           ? u.flavor
           : [u.flavor]
         : [ProofFlavor.ultra_keccak_honk];
       return {
-        version,
-        bbVersion,
+        version: u.version,
         flavor,
         skipNargoWorkspaceCheck: u.skipNargoWorkspaceCheck ?? false,
       };

src/index.ts

@@ -11,7 +11,7 @@ async function installNoirup() {
     const runCommand = makeRunCommand();
     console.log("Installing noirup");
     const installScript = await downloadScript(
-      "https://raw.githubusercontent.com/noir-lang/noirup/main/install",
+      "https://raw.githubusercontent.com/noir-lang/noirup/refs/heads/main/install",
     );
     await runCommand("bash", ["-c", installScript]);
   }
@@ -48,51 +48,6 @@ async function getNargoHome() {
   return path.join(os.homedir(), ".nargo");
 }
 
-async function installBbup() {
-  const path = await import("path");
-  const fs = await import("fs");
-  const bbupBinary = path.join(await getBbHome(), "bbup");
-  if (!fs.existsSync(bbupBinary)) {
-    const runCommand = makeRunCommand();
-    console.log("Installing bbup");
-    const installScript = await downloadScript(
-      "https://raw.githubusercontent.com/AztecProtocol/aztec-packages/master/barretenberg/cpp/installation/install",
-    );
-    await runCommand("bash", ["-c", installScript]);
-  }
-  return bbupBinary;
-}
-
-export async function installBb(bbVersion: string): Promise<string> {
-  const bbupBinary = await installBbup();
-
-  const fs = await import("fs");
-  const path = await import("path");
-  const bbHome = await getBbHome();
-  const bbBinary = path.join(
-    bbHome,
-    installationSeparator,
-    `v${bbVersion}`,
-    "bb",
-  );
-  if (!fs.existsSync(bbBinary)) {
-    const runCommand = makeRunCommand();
-    const bbDir = path.dirname(bbBinary);
-    fs.mkdirSync(bbDir, { recursive: true });
-    console.log(`Installing bb@${bbVersion} in ${bbDir}`);
-    await runCommand(bbupBinary, ["-v", bbVersion], {
-      env: { BB_HOME: bbDir },
-    });
-  }
-  return bbBinary;
-}
-
-async function getBbHome() {
-  const os = await import("os");
-  const path = await import("path");
-  return path.join(os.homedir(), ".bb");
-}
-
 async function downloadScript(url: string) {
   const res = await fetch(url);
   if (!res.ok) {

src/install.ts

@@ -7,7 +7,7 @@ import { task } from "hardhat/config";
 import { HardhatPluginError } from "hardhat/plugins";
 import { HardhatConfig } from "hardhat/types";
 import { NoirCache } from "./cache";
-import { installBb, installNargo } from "./install";
+import { installNargo } from "./install";
 import { getTarget, ProofFlavor } from "./Noir";
 import { makeRunCommand, PLUGIN_NAME } from "./utils";
 
@@ -19,7 +19,6 @@ task(TASK_COMPILE, "Compile and generate circuits and contracts").setAction(
     const runCommand = makeRunCommand(config.paths.noir);
 
     const nargoBinary = await installNargo(config.noir.version);
-    const bbBinary = await installBb(config.noir.bbVersion);
 
     await checkNargoWorkspace(config);
     await addGitIgnore(noirDir);
@@ -45,13 +44,7 @@ task(TASK_COMPILE, "Compile and generate circuits and contracts").setAction(
           if (!config.noir.flavor.includes(flavor)) {
             continue;
           }
-          await generateSolidityVerifier(
-            config,
-            file,
-            bbBinary,
-            targetDir,
-            flavor,
-          );
+          await generateSolidityVerifier(file, targetDir, flavor);
         }
         await cache.saveJsonFileHash(file);
       }),
@@ -110,51 +103,46 @@ task(
 );
 
 async function generateSolidityVerifier(
-  config: HardhatConfig,
   file: string,
-  bbBinary: string,
   targetDir: string,
   flavor: ProofFlavor,
 ) {
   const path = await import("path");
+  const fs = await import("fs");
+  const { UltraHonkBackend, UltraPlonkBackend } = await import("@aztec/bb.js");
 
-  const runCommand = makeRunCommand(config.paths.noir);
-
-  const name = path.basename(file, ".json");
-  console.log(`Generating Solidity ${flavor} verifier for ${name}...`);
-  let writeVkCmd: string, contractCmd: string;
+  let verifier: string;
+  const program = JSON.parse(fs.readFileSync(file, "utf-8"));
   switch (flavor) {
     case "ultra_plonk": {
-      writeVkCmd = "write_vk";
-      contractCmd = "contract";
+      const backend = new UltraPlonkBackend(program.bytecode);
+      verifier = await backend.getSolidityVerifier();
       break;
     }
     case "ultra_keccak_honk": {
-      writeVkCmd = "write_vk_ultra_keccak_honk";
-      contractCmd = "contract_ultra_honk";
+      const backend = new UltraHonkBackend(program.bytecode);
+      const vk = await backend.getVerificationKey({ keccak: true });
+      verifier = await backend.getSolidityVerifier(vk);
       break;
     }
     default: {
       flavor satisfies never;
-      return;
+      throw new HardhatPluginError(
+        PLUGIN_NAME,
+        `Unsupported Noir proof flavor: ${flavor}`,
+      );
     }
   }
+  if (typeof verifier !== "string") {
+    // bug in bb types
+    verifier = new TextDecoder().decode(verifier);
+  }
+
+  const name = path.basename(file, ".json");
+  console.log(`Generating Solidity ${flavor} verifier for ${name}...`);
   const nameSuffix =
     flavor === ProofFlavor.ultra_keccak_honk ? "" : `_${flavor}`;
-  await runCommand(bbBinary, [
-    writeVkCmd,
-    "-b",
-    `${targetDir}/${name}.json`,
-    "-o",
-    `${targetDir}/${name}${nameSuffix}_vk`,
-  ]);
-  await runCommand(bbBinary, [
-    contractCmd,
-    "-k",
-    `${targetDir}/${name}${nameSuffix}_vk`,
-    "-o",
-    `${targetDir}/${name}${nameSuffix}.sol`,
-  ]);
+  fs.writeFileSync(path.join(targetDir, `${name}${nameSuffix}.sol`), verifier);
   console.log(`Generated Solidity ${flavor} verifier for ${name}`);
 }