update packages to beta.8 (#84)

* updates

* syntax

* update

* udpate versions

* skip webkit

* update recursion example

* recursion working

* build page for testing, dev doesnt work

* fix webkit

Author: critesjosh

recursion/README.md

@@ -8,8 +8,8 @@ E2E example of generating a recursive proof using Noir and bb.js.
 ### Version used
 
 ```
-Noir 1.0.0-beta.6
-bb 0.84.0
+Noir 1.0.0-beta.8
+bb 0.87.0
 ```
 
 ### Steps

recursion/circuits/recursive/src/main.nr

@@ -1,4 +1,4 @@
-global HONK_VK_SIZE: u32 = 128;
+global HONK_VK_SIZE: u32 = 112;
 global HONK_PROOF_SIZE: u32 = 456;
 global HONK_IDENTIFIER: u32 = 1;
 

recursion/js/generate-proof.ts

@@ -1,6 +1,6 @@
-import { Barretenberg, RawBuffer, UltraHonkBackend } from "@aztec/bb.js";
-import innerCircuit from "../circuits/inner/target/inner.json" assert { type: "json" };
-import recursiveCircuit from "../circuits/recursive/target/recursive.json" assert { type: "json" };
+import { Barretenberg, deflattenFields, RawBuffer, UltraHonkBackend } from "@aztec/bb.js";
+import innerCircuit from "../circuits/inner/target/inner.json" with { type: "json" };
+import recursiveCircuit from "../circuits/recursive/target/recursive.json" with { type: "json" };
 import { CompiledCircuit, Noir } from "@noir-lang/noir_js";
 
 (async () => {
@@ -11,7 +11,7 @@ import { CompiledCircuit, Noir } from "@noir-lang/noir_js";
     // Generate proof for inner circuit
     const inputs = { x: 3, y: 3 }
     const { witness } = await innerCircuitNoir.execute(inputs);
-    const { proof: innerProofFields, publicInputs: innerPublicInputs } = await innerBackend.generateProofForRecursiveAggregation(witness);
+    const { proof: innerProofFields, publicInputs: innerPublicInputs } = await innerBackend.generateProof(witness);
 
     // Get verification key for inner circuit as fields
     const innerCircuitVerificationKey = await innerBackend.getVerificationKey();
@@ -22,14 +22,14 @@ import { CompiledCircuit, Noir } from "@noir-lang/noir_js";
     const recursiveCircuitNoir = new Noir(recursiveCircuit as CompiledCircuit);
     const recursiveBackend = new UltraHonkBackend(recursiveCircuit.bytecode, { threads: 1 });
 
-    const recursiveInputs = { proof: innerProofFields, public_inputs: innerPublicInputs, verification_key: vkAsFields };
+    const recursiveInputs = { proof: deflattenFields(innerProofFields), public_inputs: innerPublicInputs, verification_key: vkAsFields };
     const { witness: recursiveWitness } = await recursiveCircuitNoir.execute(recursiveInputs);
     const { proof: recursiveProof, publicInputs: recursivePublicInputs } = await recursiveBackend.generateProof(recursiveWitness);
 
     // Verify recursive proof
     const verified = await recursiveBackend.verifyProof({ proof: recursiveProof, publicInputs: recursivePublicInputs });
     console.log("Recursive proof verified: ", verified);
-    
+
     process.exit(verified ? 0 : 1);
   } catch (error) {
     console.error(error);

recursion/js/package.json

@@ -5,8 +5,8 @@
     "generate-proof": "tsx ./generate-proof.ts"
   },
   "dependencies": {
-    "@aztec/bb.js": "0.84.0",
-    "@noir-lang/noir_js": "1.0.0-beta.6"
+    "@aztec/bb.js": "0.87.0",
+    "@noir-lang/noir_js": "1.0.0-beta.8"
   },
   "devDependencies": {
     "@types/node": "^22.10.1",

recursion/js/yarn.lock

@@ -2,15 +2,16 @@
 # yarn lockfile v1
 
 
-"@aztec/bb.js@0.84.0":
-  version "0.84.0"
-  resolved "https://registry.yarnpkg.com/@aztec/bb.js/-/bb.js-0.84.0.tgz#58ef86587160ff559d39bbc3068b1cd25ef91917"
-  integrity sha512-jNx35PCtevQnIBAyld90JjI+fGTrhcbXH6FkcZoRRpBPvnlZVTmIAU3j16q136m+mFgIBlCuzjOE6ND4cOgnQQ==
+"@aztec/bb.js@0.87.0":
+  version "0.87.0"
+  resolved "https://registry.yarnpkg.com/@aztec/bb.js/-/bb.js-0.87.0.tgz#f88d6bf0845bd21f5b63a0b3cf04e13d1a68e587"
+  integrity sha512-1tGxrJc/or9p4zwP7yvSLHU0z0N/DQGLfIeTYRdlQQPBMcnKX51rMI0PJ07/zZj0XxwHVFlqtV+PqvFBszIPwA==
   dependencies:
     comlink "^4.4.1"
     commander "^12.1.0"
     debug "^4.3.4"
     fflate "^0.8.0"
+    msgpackr "^1.11.2"
     pako "^2.1.0"
     tslib "^2.4.0"
 
@@ -139,32 +140,62 @@
   resolved "https://registry.yarnpkg.com/@esbuild/win32-x64/-/win32-x64-0.25.2.tgz#839f72c2decd378f86b8f525e1979a97b920c67d"
   integrity sha512-kM3HKb16VIXZyIeVrM1ygYmZBKybX8N4p754bw390wGO3Tf2j4L2/WYL+4suWujpgf6GBYs3jv7TyUivdd05JA==
 
-"@noir-lang/[email protected]":
-  version "1.0.0-beta.6"
-  resolved "https://registry.yarnpkg.com/@noir-lang/acvm_js/-/acvm_js-1.0.0-beta.6.tgz#44c71f9c9000e5761c0ae105fa58e4ef1c747f43"
-  integrity sha512-/gaUKaUIon3xCekEIvrz9sUj+h1tue6CchNUZwmuXoqbwccRQchr850vbQMQxxnQvFIAfbaKD+Vkkh3RNWpG2Q==
-
-"@noir-lang/[email protected]":
-  version "1.0.0-beta.6"
-  resolved "https://registry.yarnpkg.com/@noir-lang/noir_js/-/noir_js-1.0.0-beta.6.tgz#08234b5d85a9491b9b33f0219965e6f5bbfd486f"
-  integrity sha512-FRHrCgRcyD4LAh4FtVYZh/wwdoV2px3kokudLl5GfFaBmXHCpXyA0jKzda3ObI/Teasl2VAE+ZQoV7ZKqq5txA==
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-darwin-arm64/-/msgpackr-extract-darwin-arm64-3.0.3.tgz#9edec61b22c3082018a79f6d1c30289ddf3d9d11"
+  integrity sha512-QZHtlVgbAdy2zAqNA9Gu1UpIuI8Xvsd1v8ic6B2pZmeFnFcMWiPLfWXh7TVw4eGEZ/C9TH281KwhVoeQUKbyjw==
+
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-darwin-x64/-/msgpackr-extract-darwin-x64-3.0.3.tgz#33677a275204898ad8acbf62734fc4dc0b6a4855"
+  integrity sha512-mdzd3AVzYKuUmiWOQ8GNhl64/IoFGol569zNRdkLReh6LRLHOXxU4U8eq0JwaD8iFHdVGqSy4IjFL4reoWCDFw==
+
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-linux-arm64/-/msgpackr-extract-linux-arm64-3.0.3.tgz#19edf7cdc2e7063ee328403c1d895a86dd28f4bb"
+  integrity sha512-YxQL+ax0XqBJDZiKimS2XQaf+2wDGVa1enVRGzEvLLVFeqa5kx2bWbtcSXgsxjQB7nRqqIGFIcLteF/sHeVtQg==
+
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-linux-arm/-/msgpackr-extract-linux-arm-3.0.3.tgz#94fb0543ba2e28766c3fc439cabbe0440ae70159"
+  integrity sha512-fg0uy/dG/nZEXfYilKoRe7yALaNmHoYeIoJuJ7KJ+YyU2bvY8vPv27f7UKhGRpY6euFYqEVhxCFZgAUNQBM3nw==
+
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-linux-x64/-/msgpackr-extract-linux-x64-3.0.3.tgz#4a0609ab5fe44d07c9c60a11e4484d3c38bbd6e3"
+  integrity sha512-cvwNfbP07pKUfq1uH+S6KJ7dT9K8WOE4ZiAcsrSes+UY55E/0jLYc+vq+DO7jlmqRb5zAggExKm0H7O/CBaesg==
+
+"@msgpackr-extract/[email protected]":
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/@msgpackr-extract/msgpackr-extract-win32-x64/-/msgpackr-extract-win32-x64-3.0.3.tgz#0aa5502d547b57abfc4ac492de68e2006e417242"
+  integrity sha512-x0fWaQtYp4E6sktbsdAqnehxDgEc/VwM7uLsRCYWaiGu0ykYdZPiS8zCWdnjHwyiumousxfBm4SO31eXqwEZhQ==
+
+"@noir-lang/[email protected]":
+  version "1.0.0-beta.8"
+  resolved "https://registry.yarnpkg.com/@noir-lang/acvm_js/-/acvm_js-1.0.0-beta.8.tgz#29fc40123cbc60882b276896a6627f1dcea01e19"
+  integrity sha512-gSJgRlgwR74oTuJiyxYYiZUms0JmnO2cyTgOHYzElwScEGfkeWI8si1NJDidmxZsD7xKD/YqHZwdnuRFIuflhw==
+
+"@noir-lang/[email protected]":
+  version "1.0.0-beta.8"
+  resolved "https://registry.yarnpkg.com/@noir-lang/noir_js/-/noir_js-1.0.0-beta.8.tgz#cef10673b486f20ee5c270bd153bffbb9bcbe2e1"
+  integrity sha512-OwgQGezLH5jhRIOkU8T5Cii1skIWnDC7CFUmEY9Ns//kgBMRqUxWzd7JvVIiV1gUjynJlOcv4rMQlsc7NCzPMA==
   dependencies:
-    "@noir-lang/acvm_js" "1.0.0-beta.6"
-    "@noir-lang/noirc_abi" "1.0.0-beta.6"
-    "@noir-lang/types" "1.0.0-beta.6"
+    "@noir-lang/acvm_js" "1.0.0-beta.8"
+    "@noir-lang/noirc_abi" "1.0.0-beta.8"
+    "@noir-lang/types" "1.0.0-beta.8"
     pako "^2.1.0"
 
-"@noir-lang/[email protected].6":
-  version "1.0.0-beta.6"
-  resolved "https://registry.yarnpkg.com/@noir-lang/noirc_abi/-/noirc_abi-1.0.0-beta.6.tgz#69797bdfc1a3ccf21df835eae706389d959af796"
-  integrity sha512-AFRl7zAK1ooA7AeKTt5dSxjfcXdmpYU4imRx8MS/UGhuLvUULM6d+AQ/OGEb1kdGwnw+qN4REnxJg7R4qsRpVQ==
+"@noir-lang/[email protected].8":
+  version "1.0.0-beta.8"
+  resolved "https://registry.yarnpkg.com/@noir-lang/noirc_abi/-/noirc_abi-1.0.0-beta.8.tgz#e16ff1978a271560a75a9e66a574447670a0b343"
+  integrity sha512-ytCJwKtDp0VWjevtmi8P7r6iO//+mx9UgCqyk36bZCNmOtIE59GgFtOfmyzgWAXsjUQmHZe2MJ+krtQA0UFdAA==
   dependencies:
-    "@noir-lang/types" "1.0.0-beta.6"
+    "@noir-lang/types" "1.0.0-beta.8"
 
-"@noir-lang/[email protected].6":
-  version "1.0.0-beta.6"
-  resolved "https://registry.yarnpkg.com/@noir-lang/types/-/types-1.0.0-beta.6.tgz#75e5927a73e32b94974ec45dffaf2e12ed47b83d"
-  integrity sha512-YmNOpr51XIOrJ+yppPbDFlpAG6ZU7qh0Uu0ZCXmon2MGD4TlnC8d/ex7YzSUH/+3zgESuCmicKnMVxEFszgmtA==
+"@noir-lang/[email protected].8":
+  version "1.0.0-beta.8"
+  resolved "https://registry.yarnpkg.com/@noir-lang/types/-/types-1.0.0-beta.8.tgz#8242ead8e58bcebff6c9e3591b02948dc95ecb0a"
+  integrity sha512-2ey2Axo5DpqwPLPsBg/3Rj6cxMIiIxrf80SSYe58q/4375uEYSZj7BM3TNMcdkZJKf1oJ4UwBNArn4BPCulRPA==
 
 "@types/node@^22.10.1":
   version "22.14.0"
@@ -190,6 +221,11 @@ debug@^4.3.4:
   dependencies:
     ms "^2.1.3"
 
+detect-libc@^2.0.1:
+  version "2.0.4"
+  resolved "https://registry.yarnpkg.com/detect-libc/-/detect-libc-2.0.4.tgz#f04715b8ba815e53b4d8109655b6508a6865a7e8"
+  integrity sha512-3UDv+G9CsCKO1WKMGw9fwq/SWJYbI0c5Y7LU1AXYoDdbhE2AHQ6N6Nb34sG8Fj7T5APy8qXDCKuuIHd1BR0tVA==
+
 esbuild@~0.25.0:
   version "0.25.2"
   resolved "https://registry.yarnpkg.com/esbuild/-/esbuild-0.25.2.tgz#55a1d9ebcb3aa2f95e8bba9e900c1a5061bc168b"
@@ -243,6 +279,34 @@ ms@^2.1.3:
   resolved "https://registry.yarnpkg.com/ms/-/ms-2.1.3.tgz#574c8138ce1d2b5861f0b44579dbadd60c6615b2"
   integrity sha512-6FlzubTLZG3J2a/NVCAleEhjzq5oxgHyaCU9yYXvcLsvoVaHJq/s5xXI6/XXP6tz7R9xAOtHnSO/tXtF3WRTlA==
 
+msgpackr-extract@^3.0.2:
+  version "3.0.3"
+  resolved "https://registry.yarnpkg.com/msgpackr-extract/-/msgpackr-extract-3.0.3.tgz#e9d87023de39ce714872f9e9504e3c1996d61012"
+  integrity sha512-P0efT1C9jIdVRefqjzOQ9Xml57zpOXnIuS+csaB4MdZbTdmGDLo8XhzBG1N7aO11gKDDkJvBLULeFTo46wwreA==
+  dependencies:
+    node-gyp-build-optional-packages "5.2.2"
+  optionalDependencies:
+    "@msgpackr-extract/msgpackr-extract-darwin-arm64" "3.0.3"
+    "@msgpackr-extract/msgpackr-extract-darwin-x64" "3.0.3"
+    "@msgpackr-extract/msgpackr-extract-linux-arm" "3.0.3"
+    "@msgpackr-extract/msgpackr-extract-linux-arm64" "3.0.3"
+    "@msgpackr-extract/msgpackr-extract-linux-x64" "3.0.3"
+    "@msgpackr-extract/msgpackr-extract-win32-x64" "3.0.3"
+
+msgpackr@^1.11.2:
+  version "1.11.5"
+  resolved "https://registry.yarnpkg.com/msgpackr/-/msgpackr-1.11.5.tgz#edf0b9d9cb7d8ed6897dd0e42cfb865a2f4b602e"
+  integrity sha512-UjkUHN0yqp9RWKy0Lplhh+wlpdt9oQBYgULZOiFhV3VclSF1JnSQWZ5r9gORQlNYaUKQoR8itv7g7z1xDDuACA==
+  optionalDependencies:
+    msgpackr-extract "^3.0.2"
+
+[email protected]:
+  version "5.2.2"
+  resolved "https://registry.yarnpkg.com/node-gyp-build-optional-packages/-/node-gyp-build-optional-packages-5.2.2.tgz#522f50c2d53134d7f3a76cd7255de4ab6c96a3a4"
+  integrity sha512-s+w+rBWnpTMwSFbaE0UXsRlg7hU4FjekKU4eyAih5T8nJuNZT1nNsskXpxmeqSK9UzkBl6UgRlnKc8hz8IEqOw==
+  dependencies:
+    detect-libc "^2.0.1"
+
 pako@^2.1.0:
   version "2.1.0"
   resolved "https://registry.yarnpkg.com/pako/-/pako-2.1.0.tgz#266cc37f98c7d883545d11335c00fbd4062c9a86"

web-starter/circuits/target/noir_uh_starter.json

@@ -1 +1 @@
-{"noir_version":"1.0.0-beta.6+e796dfd67726cbc28eb9991782533b211025928d","hash":"2259292795167771491","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"public"}],"return_type":null,"error_types":{}},"bytecode":"H4sIAAAAAAAA/62QQQqAMAwErfigpEna5OZXLKb/f4KoFUrxpgPL7mkOG6ab0DIyt15bwzfijy4MnYsgMXuOjoQbRCsqwFKSoqKo7FGJXFmzFctgyORYxcjrhZ6upftiGvbbNw8HOny0w0QBAAA=","debug_symbols":"nZBNCoMwEIXvMussLK1YvUopEuMogSEJY1Io4t07ira66MbV/Lz53sAbocUm9bV1nR+geozQsCWyfU3e6Gi9k+04KdjGOjKirGCnCxU0o4tQuUSk4KUpLUdD0G6pUbOomQJ0rVQx7Czh3E3qR2f/0Vu5svntC+cn6PsJurisdFEe6KdM2lg+ZAUZVNdpNmOrG8I1vy45s4szvsOmbIEH9gbbxDjbLZo8+AA=","file_map":{"50":{"source":"\nfn main(x: Field, y: pub Field) {\n    let res = x * 2 + y;\n    assert(res == 9);\n}\n","path":"/home/josh/Documents/Github/noir-examples/web-starter/circuits/src/main.nr"}},"names":["main"],"brillig_names":[]}
+{"noir_version":"1.0.0-beta.8+ba05d729b9753aa5ce2b076c1dd4795edb173f68","hash":"7107669974567692508","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"public"}],"return_type":null,"error_types":{}},"bytecode":"H4sIAAAAAAAA/62QQQqAMAwErfigpEna5OZXLKb/f4KoFUrxpgPL7mkOG6ab0DIyt15bwzfijy4MnYsgMXuOjoQbRCsqwFKSoqKo7FGJXFmzFctgyORYxcjrhZ6upftiGvbbNw8HOny0w0QBAAA=","debug_symbols":"nZBNCoMwEIXvMussLK1YvUopEuMogSEJY1Io4t07ira66MbV/Lz53sAbocUm9bV1nR+geozQsCWyfU3e6Gi9k+04KdjGOjKirGCnCxU0o4tQuUSk4KUpLUdD0G6pUbOomQJ0rVQx7Czh3E3qR2f/0Vu5svntC+cn6PsJurisdFEe6KdM2lg+ZAUZVNdpNmOrG8I1vy45s4szvsOmbIEH9gbbxDjbLZo8+AA=","file_map":{"50":{"source":"\nfn main(x: Field, y: pub Field) {\n    let res = x * 2 + y;\n    assert(res == 9);\n}\n","path":"/home/josh/Documents/Github/noir-examples/web-starter/circuits/src/main.nr"}},"names":["main"],"brillig_names":[]}

web-starter/web/nextjs/README.md

@@ -3,7 +3,7 @@
 A simple Noir circuit with browser proving with bb.js
 This is a Next.js version, similar to the vite and webpack examples.
 
-Tested with Noir 1.0.0-beta.6, bb 0.84.0, and Next.js 14.
+Tested with Noir 1.0.0-beta.8, bb 0.87.0, and Next.js 14.
 
 ## Setup
 
@@ -16,4 +16,4 @@ yarn
 
 ```bash
 yarn dev
-``` 
+```

web-starter/web/nextjs/package.json

@@ -2,8 +2,8 @@
   "name": "nextjs-noir",
   "type": "module",
   "dependencies": {
-    "@aztec/bb.js": "0.84.0",
-    "@noir-lang/noir_js": "1.0.0-beta.6",
+    "@aztec/bb.js": "0.87.0",
+    "@noir-lang/noir_js": "1.0.0-beta.8",
     "next": "^15.3.4",
     "react": "18.2.0",
     "react-dom": "18.2.0"

web-starter/web/nextjs/playwright.config.cjs

@@ -3,7 +3,7 @@
 /** @type {import('@playwright/test').PlaywrightTestConfig} */
 const config = {
     webServer: {
-        command: 'yarn dev',
+        command: 'yarn build && yarn start',
         port: 3000,
         timeout: 120 * 1000,
         reuseExistingServer: !process.env.CI,

web-starter/web/vite/README.md

@@ -3,7 +3,7 @@
 A simple Noir circuit with browser proving with bb.js
 Has both webpack and vite bundling.
 
-Tested with Noir 1.0.0-beta.6 and bb 0.84.0
+Tested with Noir 1.0.0-beta.8 and bb 0.87.0
 
 ## Setup