diff --git a/noir/.rebuild_patterns b/noir/.rebuild_patterns index c9483392792c..f1e5db6c2029 100644 --- a/noir/.rebuild_patterns +++ b/noir/.rebuild_patterns @@ -1,3 +1,4 @@ +^noir/Dockerfile ^noir/scripts/bootstrap_native.sh ^noir/scripts/test_native.sh ^noir/noir-repo/acvm-repo @@ -13,6 +14,7 @@ ^noir/noir-repo/tooling/nargo_fmt ^noir/noir-repo/tooling/noirc_abi ^noir/noir-repo/tooling/acvm_cli +^noir/Dockerfile.packages ^noir/scripts/bootstrap_packages.sh ^noir/scripts/test_js_packages.sh ^noir/noir-repo/.yarn diff --git a/noir/bootstrap.sh b/noir/bootstrap.sh index 3867e3225e69..10129dad25a9 100755 --- a/noir/bootstrap.sh +++ b/noir/bootstrap.sh @@ -51,22 +51,16 @@ function build_packages { if cache_download noir-packages-$hash.tar.gz; then cd noir-repo npm_install_deps - # Hack to get around failure introduced by https://github.com/AztecProtocol/aztec-packages/pull/12371 - # Tests fail with message "env: ‘mocha’: No such file or directory" - yarn install return fi cd noir-repo npm_install_deps - # Hack to get around failure introduced by https://github.com/AztecProtocol/aztec-packages/pull/12371 - # Tests fail with message "env: ‘mocha’: No such file or directory" - yarn install - yarn workspaces foreach -A --parallel --topological-dev --verbose $js_include run build + yarn workspaces foreach --parallel --topological-dev --verbose $js_include run build # We create a folder called packages, that contains each package as it would be published to npm, named correctly. # These can be useful for testing, or to portal into other projects. - yarn workspaces foreach -A --parallel $js_include pack + yarn workspaces foreach --parallel $js_include pack cd .. rm -rf packages && mkdir -p packages @@ -133,7 +127,7 @@ function test_cmds { sed "s|$PWD/target/release/deps/||" | \ awk "{print \"$test_hash \" \$0 }" echo "$test_hash cd noir/noir-repo && GIT_COMMIT=$GIT_COMMIT NARGO=$PWD/target/release/nargo" \ - "yarn workspaces foreach -A --parallel --topological-dev --verbose $js_include run test" + "yarn workspaces foreach --parallel --topological-dev --verbose $js_include run test" # This is a test as it runs over our test programs (format is usually considered a build step). echo "$test_hash noir/bootstrap.sh format --check" } diff --git a/noir/noir-repo-ref b/noir/noir-repo-ref index 025d5572874b..9fbb9de07641 100644 --- a/noir/noir-repo-ref +++ b/noir/noir-repo-ref @@ -1 +1 @@ -nightly-2025-03-18 +nightly-2025-03-11 diff --git a/noir/noir-repo.patch b/noir/noir-repo.patch index 2965852cd5bd..8024818e9b9f 100644 --- a/noir/noir-repo.patch +++ b/noir/noir-repo.patch @@ -1,9 +1,34 @@ -From 7953213805336e30f9dce91e6717f35b4b2cff9c Mon Sep 17 00:00:00 2001 -From: aakoshh -Date: Fri, 14 Mar 2025 09:53:02 +0000 -Subject: [PATCH 1/4] patch: delete honk example programs +From f6c1dfe13a1993ab6b3e0136448bb3796625684a Mon Sep 17 00:00:00 2001 +From: TomAFrench +Date: Sat, 15 Mar 2025 15:36:12 +0000 +Subject: [PATCH 1/3] chore: turn on `skipLibCheck` --- + tooling/noir_codegen/tsconfig.json | 1 + + 1 file changed, 1 insertion(+) + +diff --git a/tooling/noir_codegen/tsconfig.json b/tooling/noir_codegen/tsconfig.json +index 30dd2a7..a2712fd 100644 +--- a/tooling/noir_codegen/tsconfig.json ++++ b/tooling/noir_codegen/tsconfig.json +@@ -10,6 +10,7 @@ + "resolveJsonModule": true, + "strict": true, + "noImplicitAny": false, ++ "skipLibCheck": true + }, + "include": [ + "src/**/*.ts" +-- +2.43.0 + +From 65bce6930794adb2834ac5aba3479308159c08ba Mon Sep 17 00:00:00 2001 +From: TomAFrench +Date: Sat, 15 Mar 2025 18:32:24 +0000 +Subject: [PATCH 3/3] chore: delete honk test programs + +--- + .../double_verify_honk_proof/Nargo.toml | 6 ---- .../double_verify_honk_proof/Prover.toml | 5 ---- .../double_verify_honk_proof/src/main.nr | 28 ------------------- .../verify_honk_proof/Nargo.toml | 6 ---- @@ -12,7 +37,8 @@ Subject: [PATCH 1/4] patch: delete honk example programs .../verify_rollup_honk_proof/Nargo.toml | 6 ---- .../verify_rollup_honk_proof/Prover.toml | 4 --- .../verify_rollup_honk_proof/src/main.nr | 21 -------------- - 8 files changed, 95 deletions(-) + 9 files changed, 101 deletions(-) + delete mode 100644 test_programs/execution_success/double_verify_honk_proof/Nargo.toml delete mode 100644 test_programs/execution_success/double_verify_honk_proof/Prover.toml delete mode 100644 test_programs/execution_success/double_verify_honk_proof/src/main.nr delete mode 100644 test_programs/execution_success/verify_honk_proof/Nargo.toml @@ -22,9 +48,21 @@ Subject: [PATCH 1/4] patch: delete honk example programs delete mode 100644 test_programs/execution_success/verify_rollup_honk_proof/Prover.toml delete mode 100644 test_programs/execution_success/verify_rollup_honk_proof/src/main.nr +diff --git a/test_programs/execution_success/double_verify_honk_proof/Nargo.toml b/test_programs/execution_success/double_verify_honk_proof/Nargo.toml +deleted file mode 100644 +index 5f81999..0000000 +--- a/test_programs/execution_success/double_verify_honk_proof/Nargo.toml ++++ /dev/null +@@ -1,6 +0,0 @@ +-[package] +-name = "double_verify_honk_proof" +-type = "bin" +-authors = [""] +- +-[dependencies] diff --git a/test_programs/execution_success/double_verify_honk_proof/Prover.toml b/test_programs/execution_success/double_verify_honk_proof/Prover.toml deleted file mode 100644 -index 8804a5e1..00000000 +index 8804a5e..0000000 --- a/test_programs/execution_success/double_verify_honk_proof/Prover.toml +++ /dev/null @@ -1,5 +0,0 @@ @@ -36,7 +74,7 @@ index 8804a5e1..00000000 \ No newline at end of file diff --git a/test_programs/execution_success/double_verify_honk_proof/src/main.nr b/test_programs/execution_success/double_verify_honk_proof/src/main.nr deleted file mode 100644 -index 91f7bb21..00000000 +index 91f7bb2..0000000 --- a/test_programs/execution_success/double_verify_honk_proof/src/main.nr +++ /dev/null @@ -1,28 +0,0 @@ @@ -70,7 +108,7 @@ index 91f7bb21..00000000 -} diff --git a/test_programs/execution_success/verify_honk_proof/Nargo.toml b/test_programs/execution_success/verify_honk_proof/Nargo.toml deleted file mode 100644 -index 8fce1bf4..00000000 +index 8fce1bf..0000000 --- a/test_programs/execution_success/verify_honk_proof/Nargo.toml +++ /dev/null @@ -1,6 +0,0 @@ @@ -82,7 +120,7 @@ index 8fce1bf4..00000000 -[dependencies] diff --git a/test_programs/execution_success/verify_honk_proof/Prover.toml b/test_programs/execution_success/verify_honk_proof/Prover.toml deleted file mode 100644 -index 9c268316..00000000 +index 9c26831..0000000 --- a/test_programs/execution_success/verify_honk_proof/Prover.toml +++ /dev/null @@ -1,4 +0,0 @@ @@ -92,7 +130,7 @@ index 9c268316..00000000 -verification_key = ["0x0000000000000000000000000000000000000000000000000000000000000040", "0x0000000000000000000000000000000000000000000000000000000000000011", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000003", "0x0000000000000000000000000000000000000000000000000000000000000004", "0x0000000000000000000000000000000000000000000000000000000000000005", "0x0000000000000000000000000000000000000000000000000000000000000006", "0x0000000000000000000000000000000000000000000000000000000000000007", "0x0000000000000000000000000000000000000000000000000000000000000008", "0x0000000000000000000000000000000000000000000000000000000000000009", "0x000000000000000000000000000000000000000000000000000000000000000a", "0x000000000000000000000000000000000000000000000000000000000000000b", "0x000000000000000000000000000000000000000000000000000000000000000c", "0x000000000000000000000000000000000000000000000000000000000000000d", "0x000000000000000000000000000000000000000000000000000000000000000e", "0x000000000000000000000000000000000000000000000000000000000000000f", "0x0000000000000000000000000000000000000000000000000000000000000010", "0x000000000000000000000000000000ea6f0ffc3623f62df87b74c4dcf518fd39", "0x0000000000000000000000000000000000173d770a8f5cb72b5b7df483f41e34", "0x00000000000000000000000000000078cbd4d4ee5fbdc3e18d02a1f70cbb5d91", "0x0000000000000000000000000000000000021f87cdc6ab8ffcec1ad655c4957e", "0x000000000000000000000000000000becb2c582944a105e60c8137244c7fbe50", "0x00000000000000000000000000000000001131c406ad5519e89c0595a6eb090a", "0x000000000000000000000000000000835914e338d4388cd6b377c6f29c3ae8d7", "0x0000000000000000000000000000000000090349ad561dca142627a600ee4277", "0x000000000000000000000000000000974f2b1de449db7000391c8aec96756b19", "0x00000000000000000000000000000000002073a05050310929610ff7d081bfef", "0x000000000000000000000000000000e1ea79efc9dc97e61ef4b380bf93f5d160", "0x00000000000000000000000000000000002e70a9d847019e5f99be0ce5849ef9", "0x0000000000000000000000000000003181bcdd733575d173aeb749a241457fee", "0x00000000000000000000000000000000002a99429ae3e7fc810959e114a4935e", "0x000000000000000000000000000000638591cb7a86b050e9c915fdf75fc0188d", "0x00000000000000000000000000000000000eec7be2a69ddc8b3c3a39729f2ff1", "0x000000000000000000000000000000a6e81418467d38b93104d402dea2d642c1", "0x00000000000000000000000000000000002497efe6b96c26dc4b5e015c627530", "0x000000000000000000000000000000f9ac5e0111dc36f9cc1e9a9905235a374d", "0x0000000000000000000000000000000000127f146a5df1de7c90d1a4a9a373fa", "0x000000000000000000000000000000bb0e4ad8256760164511649027827b2468", "0x00000000000000000000000000000000002c2b05a49b25c71848061f721b0e52", "0x000000000000000000000000000000d2e0cfa24df62aeb0b250c6b8ce4bce249", "0x0000000000000000000000000000000000177cfc8a9f03ba7a0fdf0b99899778", "0x000000000000000000000000000000bc3661650d53f9b24d923d8f404cb0bbc9", "0x00000000000000000000000000000000000c4032c3079594eb75a8449d3d5ce8", "0x00000000000000000000000000000054eb5fe796a0ca89441369b7c24301f851", "0x00000000000000000000000000000000001084d709650356d40f0158fd6da81f", "0x000000000000000000000000000000b59bdbe49ff8208baeb13b8cd40c72281f", "0x0000000000000000000000000000000000212700d6e138f55e8fe4d41aca557f", "0x000000000000000000000000000000d0d87076eba438e31effd2ea0f1b0e45d2", "0x00000000000000000000000000000000000628be7db7fa2e49440a4867f3c5c8", "0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8", "0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2", "0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556", "0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d", "0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb", "0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d", "0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8", "0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862", "0x000000000000000000000000000000677bd789aa094b735f2abf3d9cfd032188", "0x0000000000000000000000000000000000236e982930a9984fd08a3edddf25a1", "0x000000000000000000000000000000c07a966aebd836d8a800f54b1c3bb5c36f", "0x00000000000000000000000000000000002ddf6475059b2e9451db5b8d857bff", "0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb", "0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56", "0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc", "0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4", "0x00000000000000000000000000000029a17181c7934fc3fdbd352eac5cb521b9", "0x00000000000000000000000000000000001f497cbf5284ff29a2d336e5991999", "0x000000000000000000000000000000072bd9c0c6beda1fdee6d4ff0432ba9e1b", "0x000000000000000000000000000000000013ea38a0bd2aa751a490a724fac818", "0x00000000000000000000000000000024894ab0070e4f72cf1fffafa8b39307c4", "0x000000000000000000000000000000000019f564c37de48cf28b308da5f2e2f8", "0x000000000000000000000000000000a08a6899213caaa89baca51a3598a07b99", "0x00000000000000000000000000000000000b5e594c4ae54f867a3bd8973689d8", "0x000000000000000000000000000000a3ba29ef6ca86e9f0d01acd1abac8ccd34", "0x0000000000000000000000000000000000155cad00fb78a200a9a95a2a220ce3", "0x00000000000000000000000000000038a5f38d32ca28822645e2c790fc26f029", "0x00000000000000000000000000000000000906f90f083e6f1121af20a5067a04", "0x000000000000000000000000000000d53e76dd5279fe31335ed32d80dcc5ca31", "0x00000000000000000000000000000000002cf52886dd6e8f1fd0adb60005c606", "0x0000000000000000000000000000002ddcbd934e2f9c7ff98d2e55c070cc2fe2", "0x000000000000000000000000000000000028db51dbb15364210353420c11faf9", "0x000000000000000000000000000000397594051f075d214bbf3f48b71c63f4b8", "0x0000000000000000000000000000000000047b66ca1874c32782c036fb9aefeb", "0x0000000000000000000000000000009e9fba95bbfa0e8726ec97a6d808caa2d4", "0x000000000000000000000000000000000004ade9dfa460ee9d37d6ccb02c1e20", "0x0000000000000000000000000000002b8e95ee572dc79770aa90657517801faf", "0x00000000000000000000000000000000001bb5b68de1c268c3d95913e3147c15", "0x0000000000000000000000000000007d6628253cf6c468d2fb28f77f36b15831", "0x000000000000000000000000000000000014d3535ebb73ddbddcfd2bbeb5c12d", "0x0000000000000000000000000000005f0f2c1ce2daf455b3f3d0098e1a74774c", "0x00000000000000000000000000000000000f65e16cb15a76fc408beabbd219e3", "0x000000000000000000000000000000a2f6f792ce9d9d148a330fabf682a0d0b7", "0x00000000000000000000000000000000000a243a33df583888f21721cfccf6c0", "0x000000000000000000000000000000cb6d5d306b6754ba07e397736489c614e2", "0x000000000000000000000000000000000005caedb54aad66bad31ff224151ec3", "0x000000000000000000000000000000f1e5fcf49bc8ac16b03b30c861fad85fe6", "0x00000000000000000000000000000000001fef824be2fa25332c2bca21d3126b", "0x0000000000000000000000000000000ab9955eec0d74eb799afed2a802b24d75", "0x00000000000000000000000000000000001fcbe43ea105b30d36ed0b21b03411", "0x000000000000000000000000000000d66b1d5433f1aa5305cd1edce7c22de466", "0x00000000000000000000000000000000002331546a256b8a3b751956806680d4", "0x0000000000000000000000000000002b1c1c2637db3f8fecd9d8bb38442cc468", "0x00000000000000000000000000000000000450f8716810dff987300c3bc10a89", "0x0000000000000000000000000000005db2bf83f8a194086a4cca39916b578faf", "0x000000000000000000000000000000000010005567f9eb3d3a97098baa0d71c6", "0x00000000000000000000000000000031e12e1ce3a444583203ea04c16ec69eb2", "0x0000000000000000000000000000000000103bcf2cf468d53c71d57b5c0ab312", "0x0000000000000000000000000000004207277f4116e0af5a9268b38a5d34910b", "0x00000000000000000000000000000000000c5d6e7a8b0b14d4ed8f51217ae8af", "0x00000000000000000000000000000083bc4ff48edd6aa66759994187f28dd173", "0x000000000000000000000000000000000017cb85a0f539b780ee6319982f5ba4", "0x00000000000000000000000000000012fb642de7b51efcce75a189bdf598f3b8", "0x000000000000000000000000000000000026fa70b6c942ddd3700064b48ba1ee", "0x000000000000000000000000000000eb0ab515191143e5a3c8bd587526486628", "0x0000000000000000000000000000000000132b76a71278e567595f3aaf837a72", "0x0000000000000000000000000000002c37ccc495848c2887f98bfbaca776ca39", "0x00000000000000000000000000000000002c6b2a0de0a3fefdfc4fb4f3b8381d", "0x0000000000000000000000000000000000000000000000000000000000000001", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x0000000000000000000000000000000000000000000000000000000000000002", "0x0000000000000000000000000000000000000000000000000000000000000000", "0x000000000000000000000000000000f68b70e0e4b0cb9e2c7bd64fa4b75b32dd", "0x00000000000000000000000000000000001bcedd9106bdd4e13e0b751c672a83", "0x00000000000000000000000000000042fd857eb4bf620db08b0e181807df9f59", "0x00000000000000000000000000000000001ccfa89524772b4bd5b6bf6741d71f"] diff --git a/test_programs/execution_success/verify_honk_proof/src/main.nr b/test_programs/execution_success/verify_honk_proof/src/main.nr deleted file mode 100644 -index bac71a58..00000000 +index bac71a5..0000000 --- a/test_programs/execution_success/verify_honk_proof/src/main.nr +++ /dev/null @@ -1,21 +0,0 @@ @@ -119,7 +157,7 @@ index bac71a58..00000000 -} diff --git a/test_programs/execution_success/verify_rollup_honk_proof/Nargo.toml b/test_programs/execution_success/verify_rollup_honk_proof/Nargo.toml deleted file mode 100644 -index 6a391f9f..00000000 +index 6a391f9..0000000 --- a/test_programs/execution_success/verify_rollup_honk_proof/Nargo.toml +++ /dev/null @@ -1,6 +0,0 @@ @@ -131,7 +169,7 @@ index 6a391f9f..00000000 -[dependencies] diff --git a/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml b/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml deleted file mode 100644 -index 43e9d442..00000000 +index 43e9d44..0000000 --- a/test_programs/execution_success/verify_rollup_honk_proof/Prover.toml +++ /dev/null @@ -1,4 +0,0 @@ @@ -141,7 +179,7 @@ index 43e9d442..00000000 -verification_key = ["0x0000000000000000000000000000000000000000000000000000000000001000","0x000000000000000000000000000000000000000000000000000000000000001b","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000003","0x0000000000000000000000000000000000000000000000000000000000000004","0x0000000000000000000000000000000000000000000000000000000000000005","0x0000000000000000000000000000000000000000000000000000000000000006","0x0000000000000000000000000000000000000000000000000000000000000007","0x0000000000000000000000000000000000000000000000000000000000000008","0x0000000000000000000000000000000000000000000000000000000000000009","0x000000000000000000000000000000000000000000000000000000000000000a","0x000000000000000000000000000000000000000000000000000000000000000b","0x000000000000000000000000000000000000000000000000000000000000000c","0x000000000000000000000000000000000000000000000000000000000000000d","0x000000000000000000000000000000000000000000000000000000000000000e","0x000000000000000000000000000000000000000000000000000000000000000f","0x0000000000000000000000000000000000000000000000000000000000000010","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000011","0x0000000000000000000000000000000000000000000000000000000000000012","0x0000000000000000000000000000000000000000000000000000000000000013","0x0000000000000000000000000000000000000000000000000000000000000014","0x0000000000000000000000000000000000000000000000000000000000000015","0x0000000000000000000000000000000000000000000000000000000000000016","0x0000000000000000000000000000000000000000000000000000000000000017","0x0000000000000000000000000000000000000000000000000000000000000018","0x0000000000000000000000000000000000000000000000000000000000000019","0x000000000000000000000000000000000000000000000000000000000000001a","0x000000000000000000000000000000d3bf8b9f8fe72b0279c8bc6a2dab3bc09d","0x0000000000000000000000000000000000021805b10823f4a001397e13eecc6d","0x000000000000000000000000000000c36ecac654a9799aebab041d3bf1a1a1de","0x00000000000000000000000000000000002e232b94a331b1d8d227bf70ec337a","0x00000000000000000000000000000062f216aaea7554dd8e5c0d1628b85c3e9f","0x0000000000000000000000000000000000298310a57246b3bebdaf86058e99bb","0x000000000000000000000000000000cf5a5cec22e7f7790d0e74e08cb184a829","0x00000000000000000000000000000000001eabf03877be34d6c1e3f329b7022b","0x0000000000000000000000000000007541ff87a659a5efad96264f79e420346b","0x00000000000000000000000000000000000ffc79f0450a27fa8b15b0ba04825b","0x00000000000000000000000000000013321d40a1aff3cd7c529dadec06307ca3","0x00000000000000000000000000000000002c4908dfda2ef03b1e5768610aa450","0x0000000000000000000000000000004588d2563428259271ce0e17df6fd27348","0x00000000000000000000000000000000001a59cac68c53e8f324dc8c2429d536","0x000000000000000000000000000000c5ecaae7118c3685c1db55135dfa1059db","0x00000000000000000000000000000000002f990acea1a1ebcb790eda7a4827d4","0x000000000000000000000000000000e1ac09aa129e0fafa51d527f9e298ecb6c","0x00000000000000000000000000000000000efcc15b4a73d2ffa17625978d41ae","0x00000000000000000000000000000073f4f155dc2c65b17ebb79dc205d88636f","0x00000000000000000000000000000000002436bc9fed3b24a140167a58e5cf41","0x000000000000000000000000000000d9b011d182316a807bcdec08d72723df69","0x00000000000000000000000000000000000a86c43ef6175bc7b56cebd37a9819","0x000000000000000000000000000000d0919b0077d3d82b1018ea87e944fac55b","0x0000000000000000000000000000000000063cc0a9841ad3351995b5866b0065","0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db","0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76","0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3","0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023","0x0000000000000000000000000000003e6b6fe0d973b8f65db9702ebacc71405d","0x00000000000000000000000000000000001dc07652b63df5077b15df8413f305","0x000000000000000000000000000000894164371b4853cac86d32f3961fdbe18e","0x0000000000000000000000000000000000237c228c68dfb0323bcc0ce696db0f","0x00000000000000000000000000000089dd08ca9be0644a719cf09f35c13761bb","0x00000000000000000000000000000000002b8eb9583a34b15f2d6a163af8eed6","0x000000000000000000000000000000dba9a8bc7cebecaeeb97d13fc9bc0c5db2","0x00000000000000000000000000000000001cc4b8e6e057e2a421d347d2ee1d08","0x000000000000000000000000000000d5af9e2a842c89003d3e3ebbcf95f3cc1f","0x000000000000000000000000000000000029900605b1952df72feea0261c9824","0x000000000000000000000000000000a6cc6e7adc5b84e1d92f5c66de01adc49d","0x00000000000000000000000000000000000b26c1beec108427323ae5e5eb264a","0x0000000000000000000000000000002de81d1745f46bdc7b924c17bc027ce241","0x0000000000000000000000000000000000067761bb3cf2b2323eeebc52ef847f","0x0000000000000000000000000000004a58d729271dc3df76caaf0dbc7a0dd1cd","0x00000000000000000000000000000000000ad3bc07bc1bfbb69a095f5fb5c995","0x000000000000000000000000000000c47f6850760801197f1d78c8b522e3e8ce","0x00000000000000000000000000000000001c16df0851ab44fc5fc86fc32d901a","0x0000000000000000000000000000003a206d1590ecddff13695a16efa7c66055","0x000000000000000000000000000000000011d6dc438ccc1de6046419780f726b","0x000000000000000000000000000000af21555f1f9fa506695d872b62992f9498","0x00000000000000000000000000000000002afa56a6d7735c8a25aeae24926d6f","0x0000000000000000000000000000001163d2e75dfb121fe745d6735d2fe2be9d","0x000000000000000000000000000000000024ffb48ffe9fa90c654362744c5cb6","0x000000000000000000000000000000984c2fce39294c1c1a54c2167392c0cc9c","0x000000000000000000000000000000000007298bc4840e62bcdf733c8e37846b","0x000000000000000000000000000000cc011a4347b398852051cbb8fd0115e761","0x00000000000000000000000000000000000c438ce8edaed720c39afa7f62e2ce","0x0000000000000000000000000000002495f82619b95b0ced93f5abf6985a1b03","0x0000000000000000000000000000000000007f640e9f886f8013d8cab9c9926a","0x0000000000000000000000000000006aa936c860c520566d98feae70bae2b2b0","0x00000000000000000000000000000000000073a7373420871c7579f4b4fc4022","0x00000000000000000000000000000043ac1c7df7039fabf2dd81d0599707676f","0x00000000000000000000000000000000000bcb12b81df8f6b836dd292243a723","0x0000000000000000000000000000007d899b74a8f02310a1f3b0cbdfeccd846f","0x0000000000000000000000000000000000153a20ae2b51beee04391530535663","0x000000000000000000000000000000e916f297b667cd202cd6cf50f8cdb99712","0x00000000000000000000000000000000000712fcd12eb732a3fd6032a41c4567","0x000000000000000000000000000000844bfdb8dd912d859e4ffdf0489dedcf7a","0x00000000000000000000000000000000001bf0634a0607ed878df07a95afef53","0x000000000000000000000000000000ea626027675780a9b4c74ae6a8a36229c7","0x00000000000000000000000000000000000fadef9b1ead062f3e70a0b34bcf70","0x0000000000000000000000000000003fb200ef48f90d3f75249628abc7fee9c9","0x000000000000000000000000000000000007dfc1694d962b518a8767ee09a126","0x000000000000000000000000000000e48dccfa828a62040bf5bfc548793b2448","0x000000000000000000000000000000000026515fc828c9c4908a5133085c8d69","0x000000000000000000000000000000ade12c1924ca41b99011526e428933b1dd","0x000000000000000000000000000000000007990bf2a9a566cdc7924749ec83c7","0x00000000000000000000000000000078f7f94c15cd5d9bbb3b8cdc7723803877","0x00000000000000000000000000000000001e588db889fe193f2d945e2ee2afd2","0x000000000000000000000000000000a016132293f71d38f248e9466224b03990","0x000000000000000000000000000000000015cd324ab75f0f7dac71dce52ba865","0x00000000000000000000000000000075377435af76ea2d5c8534a05b2b249747","0x000000000000000000000000000000000014cf3a5608450d1442ac77b377ccf4","0x000000000000000000000000000000138e5d24760b2c6f03f6363c0e40c2edf5","0x00000000000000000000000000000000001d793c86d664bacb9f7fc1e4eb118d","0x0000000000000000000000000000002b80d6b55199d55c762fbaec636a525f3e","0x0000000000000000000000000000000000217f0ffe90bea51c49a1b331adae9c","0x0000000000000000000000000000000ed2d8303f6f9c83d86d5c13f3fb4e99dd","0x000000000000000000000000000000000009c45c61155d314160b50b20e35c94","0x0000000000000000000000000000009cf5a0abb80a3b2fe13b28fe8f315409b7","0x0000000000000000000000000000000000188a2ffed7f8cbe84c7a0f1b018cd0","0x00000000000000000000000000000085656153a6120eebdf3a488dccad95d00d","0x000000000000000000000000000000000023cd626f5dde3ce81de0e7d4f74dc2","0x000000000000000000000000000000d078687b7ffc17ed454fba23b4ecae0ec4","0x00000000000000000000000000000000002501de6f063c457fccf291f449fe04","0x0000000000000000000000000000009a4a3363201808e24813118bbaf3bd079b","0x00000000000000000000000000000000002da4af07c13c8064fb9c44ff43a9cd","0x000000000000000000000000000000cf91f0cb73295831bc93869fc19cdbad99","0x00000000000000000000000000000000001ee5d0cdde02f62e468b034f988c56","0x000000000000000000000000000000183a142ac675e313630847be47fe912b91","0x00000000000000000000000000000000001558e16ed49142b74e4a2085b22287","0x0000000000000000000000000000000000000000000000000000000000000001","0x0000000000000000000000000000000000000000000000000000000000000000","0x0000000000000000000000000000000000000000000000000000000000000002","0x0000000000000000000000000000000000000000000000000000000000000000","0x000000000000000000000000000000ea29ff511738ea860f06cee903c737ceca","0x0000000000000000000000000000000000249ae211312754c1051fe190743256","0x000000000000000000000000000000eef464b065e4f6a93460389efe3074cb57","0x00000000000000000000000000000000002807759287035cea1a800c0345dc3e"] diff --git a/test_programs/execution_success/verify_rollup_honk_proof/src/main.nr b/test_programs/execution_success/verify_rollup_honk_proof/src/main.nr deleted file mode 100644 -index e5f08ef2..00000000 +index e5f08ef..0000000 --- a/test_programs/execution_success/verify_rollup_honk_proof/src/main.nr +++ /dev/null @@ -1,21 +0,0 @@ @@ -169,52 +207,3 @@ index e5f08ef2..00000000 -- 2.43.0 -From b36a50c9cb3cf1c18ae545596a60ff0291e65389 Mon Sep 17 00:00:00 2001 -From: TomAFrench -Date: Sat, 15 Mar 2025 15:36:12 +0000 -Subject: [PATCH 2/4] chore: turn on `skipLibCheck` - ---- - tooling/noir_codegen/tsconfig.json | 1 + - 1 file changed, 1 insertion(+) - -diff --git a/tooling/noir_codegen/tsconfig.json b/tooling/noir_codegen/tsconfig.json -index 30dd2a7e..a2712fd7 100644 ---- a/tooling/noir_codegen/tsconfig.json -+++ b/tooling/noir_codegen/tsconfig.json -@@ -10,6 +10,7 @@ - "resolveJsonModule": true, - "strict": true, - "noImplicitAny": false, -+ "skipLibCheck": true - }, - "include": [ - "src/**/*.ts" --- -2.43.0 - -From 9ab3a9e4f931a17ca8b0dc35ade504769844e3a1 Mon Sep 17 00:00:00 2001 -From: TomAFrench -Date: Sat, 15 Mar 2025 19:36:38 +0000 -Subject: [PATCH 4/4] chore: delete leftover file - ---- - .../execution_success/double_verify_honk_proof/Nargo.toml | 6 ------ - 1 file changed, 6 deletions(-) - delete mode 100644 test_programs/execution_success/double_verify_honk_proof/Nargo.toml - -diff --git a/test_programs/execution_success/double_verify_honk_proof/Nargo.toml b/test_programs/execution_success/double_verify_honk_proof/Nargo.toml -deleted file mode 100644 -index 5f819990..00000000 ---- a/test_programs/execution_success/double_verify_honk_proof/Nargo.toml -+++ /dev/null -@@ -1,6 +0,0 @@ --[package] --name = "double_verify_honk_proof" --type = "bin" --authors = [""] -- --[dependencies] --- -2.43.0 - diff --git a/yarn-project/yarn.lock b/yarn-project/yarn.lock index 4deebb6e8cfa..836ef445e48f 100644 --- a/yarn-project/yarn.lock +++ b/yarn-project/yarn.lock @@ -958,12 +958,12 @@ __metadata: "@aztec/noir-noir_js@file:../noir/packages/noir_js::locator=%40aztec%2Faztec3-packages%40workspace%3A.": version: 1.0.0-beta.3 - resolution: "@aztec/noir-noir_js@file:../noir/packages/noir_js#../noir/packages/noir_js::hash=41a8a4&locator=%40aztec%2Faztec3-packages%40workspace%3A." + resolution: "@aztec/noir-noir_js@file:../noir/packages/noir_js#../noir/packages/noir_js::hash=1c440e&locator=%40aztec%2Faztec3-packages%40workspace%3A." dependencies: "@aztec/noir-acvm_js": "npm:1.0.0-beta.3" "@aztec/noir-noirc_abi": "npm:1.0.0-beta.3" "@aztec/noir-types": "npm:1.0.0-beta.3" - checksum: 10/e21f44dcfb7c707153ae41bcd642015afb538aa4713414a9b67317f67741feade4926f450bce69ce4907581bcb2eff36c262237f0bc4b188f71ae94c50aa63eb + checksum: 10/08fd293b038e8e3700f6a5dede8ad80ed8254ad49f177dc4e4f3b0528661621f36bf02a2335dd7002ae0caf9ca6bdbc7c494e4093a40b1e58acb37352dcf22dd languageName: node linkType: hard