update version

jialinli98 · jialinli98 · commit fbe912add125 · 2026-01-26T19:38:49.000-08:00
diff --git a/.github/workflows/benchmark.yml b/.github/workflows/benchmark.yml
@@ -20,12 +20,12 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: 1.0.0-beta.17
+          toolchain: 1.0.0-beta.18
 
       - name: Install bb
         run: |
           curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/next/barretenberg/bbup/install | bash
-          ~/.bb/bbup -nv 1.0.0-beta.17
+          ~/.bb/bbup -nv 1.0.0-beta.18
           sudo apt install libc++-dev
 
       - name: Build Noir benchmark programs
diff --git a/.github/workflows/circuits_e2e.yaml b/.github/workflows/circuits_e2e.yaml
@@ -33,7 +33,7 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: 1.0.0-beta.17
+          toolchain: 1.0.0-beta.18
 
       - name: Install Barretenberg
         run: |
diff --git a/.github/workflows/circuits_profile.yaml b/.github/workflows/circuits_profile.yaml
@@ -17,7 +17,7 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: 1.0.0-beta.17
+          toolchain: 1.0.0-beta.18
 
       - name: Run nargo info
         run: nargo info --workspace --silence-warnings | tee profiling_info.txt
diff --git a/.github/workflows/contract_test.yml b/.github/workflows/contract_test.yml
@@ -29,16 +29,20 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: 1.0.0-beta.17
-
-      - name: Run nargo codegen-verifier
-        run: |
-          nargo codegen-verifier --package get_storage
-          nargo codegen-verifier --package get_account
-          nargo codegen-verifier --package get_header
-          nargo codegen-verifier --package get_receipt
-          nargo codegen-verifier --package get_transaction
-          nargo codegen-verifier --package get_log
+          toolchain: 1.0.0-beta.18
+
+      # Note: Solidity verifier generation is not yet supported for UltraHonk in Nargo 1.0+
+      # Using pre-generated verifier contracts committed to the repository
+      # TODO: Re-enable when bb write_solidity_verifier supports Honk
+      # - name: Generate Verifier Contracts
+      #   run: |
+      #     nargo compile --workspace
+      #     bb write_solidity_verifier -k ./target/get_storage/vk/vk -o ./contract/get_storage/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_account/vk/vk -o ./contract/get_account/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_header/vk/vk -o ./contract/get_header/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_receipt/vk/vk -o ./contract/get_receipt/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_transaction/vk/vk -o ./contract/get_transaction/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_log/vk/vk -o ./contract/get_log/plonk_vk.sol
 
       - name: Run Forge build
         run: |
diff --git a/.github/workflows/e2e_test.yaml b/.github/workflows/e2e_test.yaml
@@ -34,7 +34,7 @@ jobs:
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: 1.0.0-beta.17
+          toolchain: 1.0.0-beta.18
 
       - name: Compile Circuit
         run: nargo compile --workspace
@@ -55,14 +55,17 @@ jobs:
           nargo prove --package get_transaction --oracle-resolver=http://localhost:5555
           nargo prove --package get_log --oracle-resolver=http://localhost:5555
 
-      - name: Run nargo codegen-verifier
-        run: |
-          nargo codegen-verifier --package get_header
-          nargo codegen-verifier --package get_account
-          nargo codegen-verifier --package get_storage
-          nargo codegen-verifier --package get_receipt
-          nargo codegen-verifier --package get_transaction
-          nargo codegen-verifier --package get_log
+      # Note: Solidity verifier generation is not yet supported for UltraHonk in Nargo 1.0+
+      # Using pre-generated verifier contracts committed to the repository
+      # TODO: Re-enable when bb write_solidity_verifier supports Honk
+      # - name: Generate Verifier Contracts
+      #   run: |
+      #     bb write_solidity_verifier -k ./target/get_header/vk/vk -o ./contract/get_header/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_account/vk/vk -o ./contract/get_account/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_storage/vk/vk -o ./contract/get_storage/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_receipt/vk/vk -o ./contract/get_receipt/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_transaction/vk/vk -o ./contract/get_transaction/plonk_vk.sol
+      #     bb write_solidity_verifier -k ./target/get_log/vk/vk -o ./contract/get_log/plonk_vk.sol
 
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -8,7 +8,7 @@ on:
 
 env:
     CARGO_TERM_COLOR: always
-    MINIMUM_NOIR_VERSION: 1.0.0-beta.17
+    MINIMUM_NOIR_VERSION: 1.0.0-beta.18
 
 jobs:
     noir-version-list:
diff --git a/.pnp.cjs b/.pnp.cjs
diff --git a/ethereum/oracles/package.json b/ethereum/oracles/package.json
@@ -25,9 +25,8 @@
   "dependencies": {
     "@ethereumjs/trie": "^6.2.0",
     "@iarna/toml": "^2.2.5",
-    "@noir-lang/backend_barretenberg": "0.30.0",
-    "@noir-lang/noir_js": "0.30.0",
-    "@noir-lang/noirc_abi": "0.30.0",
+    "@noir-lang/noir_js": "1.0.0-beta.18",
+    "@noir-lang/noirc_abi": "1.0.0-beta.18",
     "dotenv": "^16.4.5",
     "execa": "^9.0.2",
     "fastify": "^4.26.2",
diff --git a/ethereum/oracles/src/noir/circuit/abi.test.ts b/ethereum/oracles/src/noir/circuit/abi.test.ts
@@ -10,9 +10,7 @@ describe('abi', () => {
     const privateParam = { name: 'b', type, visibility: 'private' } as const;
     const abi: Abi = {
       parameters: [publicParam, privateParam],
-      param_witnesses: {},
       return_type: null,
-      return_witnesses: [],
       error_types: {}
     };
 
diff --git a/ethereum/oracles/src/noir/circuit/abi.ts b/ethereum/oracles/src/noir/circuit/abi.ts
@@ -11,9 +11,7 @@ export function publicInputs(abi: Abi): Abi {
 export function returnValues(abi: Abi): Abi {
   return {
     parameters: [],
-    param_witnesses: {},
     error_types: {},
-    return_type: abi.return_type,
-    return_witnesses: abi.return_witnesses
+    return_type: abi.return_type
   };
 }
diff --git a/ethereum/oracles/src/noir/circuit/barretenberg.ts b/ethereum/oracles/src/noir/circuit/barretenberg.ts
@@ -4,8 +4,8 @@ import os from 'os';
 
 export class Barretenberg {
   public static async create(): Promise<Barretenberg> {
-    const { stdout: currentBackend } = await $`nargo backend current`;
-    const binaryPath = path.join(os.homedir(), '.nargo/backends', currentBackend, 'backend_binary');
+    // In Nargo 1.0+, use bb directly from ~/.bb/bb
+    const binaryPath = path.join(os.homedir(), '.bb/bb');
     return new Barretenberg(binaryPath);
   }
   public async writeVK(acirPath: string, vkPath: string) {
diff --git a/yarn.lock b/yarn.lock
@@ -805,10 +805,10 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@noir-lang/acvm_js@npm:0.45.0-a5b7df1.nightly":
-  version: 0.45.0-a5b7df1.nightly
-  resolution: "@noir-lang/acvm_js@npm:0.45.0-a5b7df1.nightly"
-  checksum: 10c0/43f313347dde9faa1697a86c374527a7437fbf1f5486279c27ffa4312c356fa3308e9919fc49b56032b8d28f06e359b1d4e41136b4e9349c8e6ad9f5e2142ef9
+"@noir-lang/acvm_js@npm:1.0.0-beta.18":
+  version: 1.0.0-beta.18
+  resolution: "@noir-lang/acvm_js@npm:1.0.0-beta.18"
+  checksum: 10c0/74b61a6a17379d247acd9a515dcbf01ceb6d5c4547bcc47d309a9636966b7369feb1468ca021f196aa45257524a77fa05e31324372071ba97e6627c5b75bf7ab
   languageName: node
   linkType: hard
 
@@ -823,14 +823,15 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@noir-lang/noir_js@npm:0.30.0":
-  version: 0.30.0
-  resolution: "@noir-lang/noir_js@npm:0.30.0"
+"@noir-lang/noir_js@npm:1.0.0-beta.18":
+  version: 1.0.0-beta.18
+  resolution: "@noir-lang/noir_js@npm:1.0.0-beta.18"
   dependencies:
-    "@noir-lang/acvm_js": "npm:0.45.0-a5b7df1.nightly"
-    "@noir-lang/noirc_abi": "npm:0.30.0"
-    "@noir-lang/types": "npm:0.30.0"
-  checksum: 10c0/87677839044585392572fb754b8c22a76512e0ddecd3dafc0842ab6d2d73913eddbc751d95bf3cfb609c0da5d4d5f1e3a0ea8c8e62c68e4998718078dfc41fb6
+    "@noir-lang/acvm_js": "npm:1.0.0-beta.18"
+    "@noir-lang/noirc_abi": "npm:1.0.0-beta.18"
+    "@noir-lang/types": "npm:1.0.0-beta.18"
+    pako: "npm:^2.1.0"
+  checksum: 10c0/7da4079f1ae3fb69d733dd93caf603816a14970f31964d5969120b275c8edb0908e1f43d101df48c3bef6015c50dad3428242218a875bc0484e0a173579e7575
   languageName: node
   linkType: hard
 
@@ -843,13 +844,29 @@ __metadata:
   languageName: node
   linkType: hard
 
+"@noir-lang/noirc_abi@npm:1.0.0-beta.18":
+  version: 1.0.0-beta.18
+  resolution: "@noir-lang/noirc_abi@npm:1.0.0-beta.18"
+  dependencies:
+    "@noir-lang/types": "npm:1.0.0-beta.18"
+  checksum: 10c0/3bf49a837b39885971f15a9f14213ae7bc219277528a7df9589a991cd8fc0d8e8db9c394f9b6583d06a72e4c0e2f2d8c2e0f26a65ff4a73d0dd3d41a50bd47e1
+  languageName: node
+  linkType: hard
+
 "@noir-lang/types@npm:0.30.0":
   version: 0.30.0
   resolution: "@noir-lang/types@npm:0.30.0"
   checksum: 10c0/585fd260f4a3054056d33ee37c75eca338a6fdff350df5187bde8da2a35bb53444737a438be4bd990329f80384cc57683ac19f2b36c800c9bfec15a951e14a4c
   languageName: node
   linkType: hard
 
+"@noir-lang/types@npm:1.0.0-beta.18":
+  version: 1.0.0-beta.18
+  resolution: "@noir-lang/types@npm:1.0.0-beta.18"
+  checksum: 10c0/6c735036ed1dbe88d85652c65de36d4857d1f3868e90400307bddf61bbeba7e155fd7160cc943a817771e96e8c6105a586a5454dd4b4f52adbccd511628e74ec
+  languageName: node
+  linkType: hard
+
 "@npmcli/agent@npm:^2.0.0":
   version: 2.2.2
   resolution: "@npmcli/agent@npm:2.2.2"
@@ -4754,9 +4771,8 @@ __metadata:
   dependencies:
     "@ethereumjs/trie": "npm:^6.2.0"
     "@iarna/toml": "npm:^2.2.5"
-    "@noir-lang/backend_barretenberg": "npm:0.30.0"
-    "@noir-lang/noir_js": "npm:0.30.0"
-    "@noir-lang/noirc_abi": "npm:0.30.0"
+    "@noir-lang/noir_js": "npm:1.0.0-beta.18"
+    "@noir-lang/noirc_abi": "npm:1.0.0-beta.18"
     "@types/iarna__toml": "npm:^2.0.5"
     "@types/json-bigint": "npm:^1.0.4"
     "@types/lodash.isequal": "npm:^4.5.8"
@@ -5000,6 +5016,13 @@ __metadata:
   languageName: node
   linkType: hard
 
+"pako@npm:^2.1.0":
+  version: 2.1.0
+  resolution: "pako@npm:2.1.0"
+  checksum: 10c0/8e8646581410654b50eb22a5dfd71159cae98145bd5086c9a7a816ec0370b5f72b4648d08674624b3870a521e6a3daffd6c2f7bc00fdefc7063c9d8232ff5116
+  languageName: node
+  linkType: hard
+
 "parent-module@npm:^1.0.0":
   version: 1.0.1
   resolution: "parent-module@npm:1.0.1"
