diff --git a/noir/noir-repo/acvm-repo/acvm_js/build.sh b/noir/noir-repo/acvm-repo/acvm_js/build.sh
index 16fb26e55db..c07d2d8a4c1 100755
--- a/noir/noir-repo/acvm-repo/acvm_js/build.sh
+++ b/noir/noir-repo/acvm-repo/acvm_js/build.sh
@@ -25,7 +25,7 @@ function run_if_available {
 require_command jq
 require_command cargo
 require_command wasm-bindgen
-require_command wasm-opt
+#require_command wasm-opt
 
 self_path=$(dirname "$(readlink -f "$0")")
 pname=$(cargo read-manifest | jq -r '.name')
diff --git a/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Nargo.toml b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Nargo.toml
new file mode 100644
index 00000000000..8fce1bf44b6
--- /dev/null
+++ b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "verify_honk_proof"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml
new file mode 100644
index 00000000000..5bdebb476be
--- /dev/null
+++ b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/Prover.toml
@@ -0,0 +1,575 @@
+key_hash = "0x0000000000000000000000000000000000000000000000000000000000000000"
+proof = [
+  "0x0000000000000000000000000000000000000000000000000000000000000040",
+  "0x0000000000000000000000000000000000000000000000000000000000000011",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000042ab5d6d1986846cf",
+  "0x00000000000000000000000000000000000000000000000b75c020998797da78",
+  "0x0000000000000000000000000000000000000000000000005a107acb64952eca",
+  "0x000000000000000000000000000000000000000000000000000031e97a575e9d",
+  "0x00000000000000000000000000000000000000000000000b5666547acf8bd5a4",
+  "0x00000000000000000000000000000000000000000000000c410db10a01750aeb",
+  "0x00000000000000000000000000000000000000000000000d722669117f9758a4",
+  "0x000000000000000000000000000000000000000000000000000178cbf4206471",
+  "0x000000000000000000000000000000000000000000000000e91b8a11e7842c38",
+  "0x000000000000000000000000000000000000000000000007fd51009034b3357f",
+  "0x000000000000000000000000000000000000000000000009889939f81e9c7402",
+  "0x0000000000000000000000000000000000000000000000000000f94656a2ca48",
+  "0x000000000000000000000000000000000000000000000006fb128b46c1ddb67f",
+  "0x0000000000000000000000000000000000000000000000093fe27776f50224bd",
+  "0x000000000000000000000000000000000000000000000004a0c80c0da527a081",
+  "0x0000000000000000000000000000000000000000000000000001b52c2020d746",
+  "0x0000000000000000000000000000005a9bae947e1e91af9e4033d8d6aa6ed632",
+  "0x000000000000000000000000000000000025e485e013446d4ac7981c88ba6ecc",
+  "0x000000000000000000000000000000ff1e0496e30ab24a63b32b2d1120b76e62",
+  "0x00000000000000000000000000000000001afe0a8a685d7cd85d1010e55d9d7c",
+  "0x000000000000000000000000000000b0804efd6573805f991458295f510a2004",
+  "0x00000000000000000000000000000000000c81a178016e2fe18605022d5a8b0e",
+  "0x000000000000000000000000000000eba51e76eb1cfff60a53a0092a3c3dea47",
+  "0x000000000000000000000000000000000022e7466247b533282f5936ac4e6c15",
+  "0x00000000000000000000000000000071b1d76edf770edff98f00ff4deec264cd",
+  "0x00000000000000000000000000000000001e48128e68794d8861fcbb2986a383",
+  "0x000000000000000000000000000000d3a2af4915ae6d86b097adc377fafda2d4",
+  "0x000000000000000000000000000000000006359de9ca452dab3a4f1f8d9c9d98",
+  "0x0000000000000000000000000000006cf7dd96d7636fda5953191b1ad776d491",
+  "0x00000000000000000000000000000000001633d881a08d136e834cb13a28fcc6",
+  "0x00000000000000000000000000000001254956cff6908b069fca0e6cf1c47eb1",
+  "0x000000000000000000000000000000000006f4d4dd3890e997e75e75886bf8f7",
+  "0x0000000000000000000000000000006cf7dd96d7636fda5953191b1ad776d491",
+  "0x00000000000000000000000000000000001633d881a08d136e834cb13a28fcc6",
+  "0x00000000000000000000000000000001254956cff6908b069fca0e6cf1c47eb1",
+  "0x000000000000000000000000000000000006f4d4dd3890e997e75e75886bf8f7",
+  "0x000000000000000000000000000000f968b227a358a305607f3efc933823d288",
+  "0x00000000000000000000000000000000000eaf8adb390375a76d95e918b65e08",
+  "0x000000000000000000000000000000bb34b4b447aae56f5e24f81c3acd6d547f",
+  "0x00000000000000000000000000000000002175d012746260ebcfe339a91a81e1",
+  "0x000000000000000000000000000000286fcda0e28617c86e195005b9f2efc555",
+  "0x00000000000000000000000000000000000dc409eb684b23f6a97175bcb9b486",
+  "0x000000000000000000000000000000e8de6a193cd36414f598bc7c48d67c3b59",
+  "0x00000000000000000000000000000000002a8a791544cad8c712de871e3de50a",
+  "0x000000000000000000000000000000d6f1e64b562df0f17ecc6aa46392f8d5a3",
+  "0x00000000000000000000000000000000000aac977763f33fd6a360ccc50a827a",
+  "0x000000000000000000000000000000899fa957f5597c6419e3ead9843d21d917",
+  "0x000000000000000000000000000000000016c4611846952bd6833c35fb11c0da",
+  "0x013dbfbfbfb2ae7d524edb15343e551d9510b3116223baaa67312d17652f2fb1",
+  "0x2f268eb3217ef1ac66016aa14d43033f932335371795b5e6dcb0c87c8ad0d050",
+  "0x2d5dbd52e00ae837e9868289fbe9057f16ea5b76c7e362603e8883f0de4b3e94",
+  "0x0e357b6a266c20d5e546c2931475eb044d7e75e08ec31b5e8623aec30f964323",
+  "0x0a9ace4dea44d0a2e8d12d495a683f508714356656aea3882436b729ead24165",
+  "0x0c17102a98ccb76faf0f78d669ee9cfb694849896787c985225d92e1af3cab35",
+  "0x09cc7cb719deb139c84fd9fa273e862a1b5d1cec2501c6cd8ba3c37ca06ac07f",
+  "0x15a0369f3f95d53687dfe79483baf75597d8b281fe0595caf1f7c9ccf99d985e",
+  "0x17fb53a42b3d1fa5d26ab19dfcc0d74d1781cee0be98dcc492c22e8f3442c4db",
+  "0x291d6810fc6afc5c2254fd283843a74c85a77275eee3049ea8ed9c88e02a99b8",
+  "0x0ad40d1627c31247dfb894584a71f8599cfcb85afe84b20186fc07fccae1aa4a",
+  "0x251cd908fb4e9fe88660f2303f8d7e4d7886da32fddc0319a842b99543659c0b",
+  "0x1885bdea3dd82085ca67502ebec8ad87213493e18a06cfa27e2c69810481b4a7",
+  "0x239ab5ba86866bc6705091f82a6a29444dc76b0e7d94cede7eb745cce36ab2cf",
+  "0x088d29a03baa491845d152124189dfb8bf70ba9bf1fb00c379199dbb0195c663",
+  "0x18c9fbe3227988d2da599eba82d60f4de25b442b663585fdc611e37305fa77fc",
+  "0x010242ae641a8cc4d06b5d24e38d9fa6254f981e28f238ccf6aad580f780d3f5",
+  "0x00128d34b122e84d7e23276b1f13f5789a562e82c727e9ffcfd7bbaccbe69e04",
+  "0x0776defaf478bfea4db2698542314e27213f63c96e41f98d4d82a47ed6fab55d",
+  "0x273014a360eaaa493e398df82f18d9cae37f4b6c0ead20100cad3f5491805298",
+  "0x2b13528eb9ab6fa705f2b48c9ec6ce054ac984e3adf17d4d73431e8456bf4a3c",
+  "0x22dafe1d63e39cd2effb236da2e131ee1c8cf4049ce504431dcaf98f75c47ad8",
+  "0x1afb5bc7eb8d30d807101357bb290f9c3113523f4aacc1154a27b075e46a4fa4",
+  "0x0782dd7df679163e5f0c126abc901d00f3d7d0856b4c02a199ab691ecd7566e6",
+  "0x2e556c722c99a84a09ffdcc719178277f8e6c9e31a4769270e3b522b944b8ea2",
+  "0x1be933a48dca8ef26202d3f135998ac8bed6947020b7447ffb6033b0e37f2065",
+  "0x2d8ebae210848de2464f5435f1fd4b5467ee938910d7779002614943060bbb32",
+  "0x2da854bbee38a94a6a9c2c85dd05bb4c879173720b67f93f78b9de93cdb427b0",
+  "0x0fa2649472af2e79489c466b58002f8f284f953085ac0a98dfabee85b78f63cf",
+  "0x304a09437636026ef0746c4b8ac1ca0ff250c5630fb5bd03ddafddd7cbde850e",
+  "0x0c83bb3c6ee0faa1646ee4d8dd83f67ec98e5d63ac802f7bdebfcdf21dee62f1",
+  "0x229d7e4524b30c18a6b94f0054e6d2ea8eb2396f58f9c808d2c9f991e2be2399",
+  "0x1265bf5e1aaddeae09242b1435e2f8f9e7487bf76a0461752777f6ea1ff75ad6",
+  "0x2f32f53281b7a363d6bec84ca21c71c3206d906b036e8b36b0702780e3b1b870",
+  "0x017fb18c9aef4d6d2bc99f5d7f9a002c8921fcd7c7ba69bf05930b55c2829cb7",
+  "0x2ec761c02ef6f2eefb7c9b2d6df71795d0ce0820f86797e2e11415cb5b122f22",
+  "0x2b1722960f42a1b40ffae3e4b9419fc8ff5cb8139a2c7e89af332ba2e95c1b5f",
+  "0x2dafa15594da2318245475c77eae3712429226b3005852e70f567efff0a7d79a",
+  "0x2ed44d7e3d5f44ac8f7c144ee0ba9d369c82428827c19b010384708bbc52a3f9",
+  "0x2777eedda697c7f90aee44fa97cfe62596d16c43fa3545b48d622023ca7a446a",
+  "0x1a47a5c1b0f41905aa0bad6248be8c7887ddea3ad9dfc8462b23a95b073c8a49",
+  "0x093656d571e84ac676a265dd509c98513039552b7a24e001b003ca618cc4ea5c",
+  "0x15c901e8a7ff0f1ae1989b5cfb687975c16716a8014a4052d527d4db4ecbaeb4",
+  "0x08bfa20e83096b0be58e4c96232510c8ef9824c0a62b91ffcc4592b217753a72",
+  "0x021913efbdfbc73aa5f4a97c79f352ac61f71248947f5eb5713c1b107c632703",
+  "0x00df89625aef270fab2a8c33ba742e1375423f4cfb3f63514ae748e004bb8cf4",
+  "0x2455f76c8ee59e93cbe7fe192cf0f766e1399617cabfa230cf27ca2a18cd58d5",
+  "0x150c3e56ea4f6442ed6b11030c98682a8f5e3c9cd6fd18949254a7c79b3cb5b6",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x01e89c6fe644aea7f63301278dbdb4ea29cf4d33f8b0cdcd79cb106e0bf0a753",
+  "0x2d49d23421e253903b8a5d0911642b9ce218cef4e350cf8689704eb1f3ae38d4",
+  "0x072956ca447343d788791fee1ef222f280048ad4aefb6cb7bc96b538f482f525",
+  "0x168176bf15c8ca63457acf05efbe54af452ea41f935ab82c2a96fedde10ba52f",
+  "0x20a13690f13491f7f3b756a1dc3b69a3f96d78355c70289583032a593bfc87bc",
+  "0x273e0a32ab3ef0d3f179b62520b31015ccfc8b53c76a1bb323b41e40ff954596",
+  "0x28019d4b05546b44e35d5dc74375b75dabb6fae49a07381605c60423c6163d26",
+  "0x10beda0b8dd484c63f0937820e2c7e9be832a0031efe3557631608895255ca5f",
+  "0x095a8f04a901526e4d70b1560bfff29b5a3c30347725d1e420c1b30ee2bf8a1c",
+  "0x1fb742e863a5c76262ffec93b3351405b0840b326fa5fffd73f40abcd5f05f05",
+  "0x11fa63cfcb2e603fe4e4668d75f05a2cf22650b84a91d1753e83f0e7ae83b4ad",
+  "0x2872e3d3c431a8b7ee4cec1c2a999a42c40ae33382fbba80a6d4c1a39b2d57a3",
+  "0x17e8c2a5f809f9935d7c6d7cb2f8859a513864b53f53de3d2a14c74cd690bd1a",
+  "0x20a552298d691393ae401382b3015689231ad988d3eb0521d414dcd2e8781053",
+  "0x183eb6bca59a141b4e8136179a258272ec9c25ec80bdb0458b6880c711707a28",
+  "0x03cd147a2a4c8dc272f3e240b8b0090d45e994e5fd40e07a54f6765795cd5ef8",
+  "0x082b135b3a20da4c766242b4258e27dbc050e4b8958bb15431626f2eeed9bd2b",
+  "0x28c894a6a719a32fe8d78ded46bc685ba035e5579c88fbc5bcbc0f09d8c5268b",
+  "0x06418cceff50837f923e63a37c2c534d13d9f59793c3aa6274813baa64d1899e",
+  "0x2b4a27b672f85c4fc697605da213de8b950a629602c5b8c6403e6c1c1065388a",
+  "0x0e2b817c6a79d6d1027f0376fb26ec81a140a4402e2dcdff6152cf01f2f4dbf9",
+  "0x2ae0fbce87dc53f0ff5473117e1c49a8197a14f8eaaec00cb5b10f94e844111f",
+  "0x2368004a1dee06f505e75ada3e9f8cc4c801f6a2068620da51ba11f537453835",
+  "0x2009df8e6f49f67dcaecb93e4a9ef81aaff096136d26f0fe691e14cd580c47da",
+  "0x2e512617136e8da2817856e57f13087a75fcc512faefc6d4b2eedd73c58a9b35",
+  "0x2848fcd535bd7c8017ca331a14919aa492ed05b04e9d0745480d291205eac8dc",
+  "0x19bb0990cb37f3a8f6c3db78219b07d6accd08e889586660e92dd6000755f09a",
+  "0x15520c8158b2e36c40c5fa46d5281c45d3df2c7f5d974a1f9549bfca6cbceaea",
+  "0x0e285f4df658d99922c286c5a253d6f6f37aa6c52d7a0fc1a20f3e6da9df23e1",
+  "0x0f9cd4667f4c1e86f83eda9e752a05c0cc630b0827a93a68322fa258dffb0f24",
+  "0x12d8b0dbbea3dccfe5d2dd090daf8ab4d2fac74fada9c49875b0c9122663a8ad",
+  "0x2e8c814d93f027ecff08c4e58555aadfc0f9ec3889eff2150f2b5bb6c557add0",
+  "0x013516a1456c5831aba87e4057878f6f3f18471e0674fd1e89be3e18351ec394",
+  "0x14418aa79dc84fd791d5638bdc103786ef8181a714ee8e022d3a1e792cbc7959",
+  "0x14418aa79dc84fd791d5638bdc103786ef8181a714ee8e022d3a1e792cbc7959",
+  "0x25c5e6c96a39bb36e19106d4049b675f0279084cc757c4e2acf6e497c61056a2",
+  "0x231aaafcf2a4c6fd8da18ce5ae5b33790f2c306a2692c6383c9a0787c50ac269",
+  "0x0a5f7665f0997081f9b38ec64e9a18542ac3a9648060f8cc720fc04669224730",
+  "0x0f1c9d9d1ac6f62825c6038117ed30540be434e8fd2d88150dcd4fece39b335a",
+  "0x1308871c8fcb09f07e5257f5cc5678d98842a8d18b2af09b5132d9af3cb1893e",
+  "0x28801985290dac4eba72ed01ee06fe88f6fc533dc1a46bd86e2d35be8021b042",
+  "0x14407f38cfba3cc61fca173b41133ab05a1c176caf8bb597588b01817e9eeaa3",
+  "0x0ea1a9f6f95f6193e512a7bd3db0c147f66687662934aed53cb657935b1e4eb9",
+  "0x1bc4ab6eacd61b5fd9e414b0186ef5deaadaf59aa9e53cb8d8812255baa28109",
+  "0x00000000000000000000000000000093a4da68a2fac0ee94841efdfc57eb748c",
+  "0x00000000000000000000000000000000001c22f1f5f927bee6adb649cc132391",
+  "0x0000000000000000000000000000003d0c2acea76c551f58876b3c35f19f345a",
+  "0x00000000000000000000000000000000002e94fded0a0b7f4fd1c882fd2a4e52",
+  "0x00000000000000000000000000000022e23b6fa0f72844bf8f60ea140cca5663",
+  "0x000000000000000000000000000000000013380f284bf3cb98b9a7cbae7d702b",
+  "0x000000000000000000000000000000942a13cf93056815c3f7439c9eed0a103e",
+  "0x00000000000000000000000000000000002be14bec02c6dae4625d32866de4fc",
+  "0x000000000000000000000000000000e2a2c75dc664c12695b4f7795c61f92669",
+  "0x000000000000000000000000000000000000725da448f376bde6cf63bcf79463",
+  "0x000000000000000000000000000000f54eee585f8ab367dc66a587e1d4cdbd8c",
+  "0x0000000000000000000000000000000000071106624ae5623a070f0addc18433",
+  "0x000000000000000000000000000000d60352bea3b2adb311b1a3beb25acb8aed",
+  "0x00000000000000000000000000000000001965b7c781e33f94e90c743c7881ed",
+  "0x0000000000000000000000000000006458a2aa57539e2b192f9c3ed69f9fb674",
+  "0x00000000000000000000000000000000001fc9c667723a4e66d752c6b426d444",
+  "0x0000000000000000000000000000008d1ff1c5d59a463c5b46bcf52f41ad3c63",
+  "0x00000000000000000000000000000000001b3e73df070a35c49a03fab1c76e9b",
+  "0x0000000000000000000000000000001c17a62b6c0a7ab14de83391e06f780adb",
+  "0x000000000000000000000000000000000012c7fbe2591b9ae72dd526e4ed1d7f",
+  "0x000000000000000000000000000000a758fa0c72d6a93155cb18b3fcc7defd34",
+  "0x00000000000000000000000000000000000cea12961770ce7cb6f2a4aed009fe",
+  "0x000000000000000000000000000000ef6e9647803aac315fa6d287e0e66f4767",
+  "0x0000000000000000000000000000000000259a82b8d6c6015cc51d2681f26ad4",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000008152b373c87004bef7d2c55ec8c540b67f",
+  "0x00000000000000000000000000000000000a55be5fdcb0a0dce4976d7bb78b0c",
+  "0x000000000000000000000000000000f749ea03f04ac964706139b9d1db595ecb",
+  "0x000000000000000000000000000000000013218e14dae80c066b4e46e9309fb2",
+  "0x0000000000000000000000000000004bbd7f950c36ce69db39e2b234a9e3f9b0",
+  "0x00000000000000000000000000000000002a0c3994d892ca5ea26984abbb30fb",
+  "0x0000000000000000000000000000006c1b39306846620bd546ac2c897834f259",
+  "0x000000000000000000000000000000000020350b9f507d6e25961a11be3e494b",
+]
+public_inputs = [
+  "0x0000000000000000000000000000000000000000000000000000000000000003",
+]
+verification_key = [
+  "0x0000000000000000000000000000000000000000000000000000000000000040",
+  "0x0000000000000000000000000000000000000000000000000000000000000011",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000003",
+  "0x0000000000000000000000000000000000000000000000000000000000000004",
+  "0x0000000000000000000000000000000000000000000000000000000000000005",
+  "0x0000000000000000000000000000000000000000000000000000000000000006",
+  "0x0000000000000000000000000000000000000000000000000000000000000007",
+  "0x0000000000000000000000000000000000000000000000000000000000000008",
+  "0x0000000000000000000000000000000000000000000000000000000000000009",
+  "0x000000000000000000000000000000000000000000000000000000000000000a",
+  "0x000000000000000000000000000000000000000000000000000000000000000b",
+  "0x000000000000000000000000000000000000000000000000000000000000000c",
+  "0x000000000000000000000000000000000000000000000000000000000000000d",
+  "0x000000000000000000000000000000000000000000000000000000000000000e",
+  "0x000000000000000000000000000000000000000000000000000000000000000f",
+  "0x0000000000000000000000000000000000000000000000000000000000000010",
+  "0x00000000000000000000000000000060e430ad1c23bfcf3514323aae3f206e84",
+  "0x00000000000000000000000000000000001b5c3ff4c2458d8f481b1c068f27ae",
+  "0x000000000000000000000000000000bb510ab2112def34980e4fc6998ad9dd16",
+  "0x00000000000000000000000000000000000576e7c105b43e061e13cb877fefe1",
+  "0x000000000000000000000000000000ced074785d11857b065d8199e6669a601c",
+  "0x00000000000000000000000000000000000053b48a4098c1c0ae268f273952f7",
+  "0x000000000000000000000000000000d1d4b26e941db8168cee8f6de548ae0fd8",
+  "0x00000000000000000000000000000000001a9adf5a6dadc3d948bb61dfd63f4c",
+  "0x0000000000000000000000000000009ce1faac6f8de6ebb18f1db17372c82ad5",
+  "0x00000000000000000000000000000000002002681bb417184b2df070a16a3858",
+  "0x000000000000000000000000000000161baa651a8092e0e84725594de5aba511",
+  "0x00000000000000000000000000000000000be0064399c2a1efff9eb0cdcb2223",
+  "0x0000000000000000000000000000008673be6fd1bdbe980a29d8c1ded54381e7",
+  "0x000000000000000000000000000000000008a5158a7d9648cf1d234524c9fa0c",
+  "0x0000000000000000000000000000002b4fce6e4b1c72062b296d49bca2aa4130",
+  "0x00000000000000000000000000000000002e45a9eff4b6769e55fb710cded44f",
+  "0x00000000000000000000000000000072b85bf733758b76bcf97333efb85a23e3",
+  "0x000000000000000000000000000000000017da0ea508994fc82862715e4b5592",
+  "0x00000000000000000000000000000094fa74695cf058dba8ff35aec95456c6c3",
+  "0x0000000000000000000000000000000000211acddb851061c24b8f159e832bd1",
+  "0x000000000000000000000000000000303b5e5c531384b9a792e11702ad3bcab0",
+  "0x00000000000000000000000000000000000d336dff51a60b8833d5d7f6d4314c",
+  "0x0000000000000000000000000000009f825dde88092070747180d581c342444a",
+  "0x0000000000000000000000000000000000237fbd6511a03cca8cac01b555fe01",
+  "0x0000000000000000000000000000007c313205159495df6d8de292079a4844ff",
+  "0x000000000000000000000000000000000018facdfc468530dd45e8f7a1d38ce9",
+  "0x0000000000000000000000000000000d1ce33446fc3dc4ab40ca38d92dac74e1",
+  "0x00000000000000000000000000000000000852d8e3e0e8f4435af3e94222688b",
+  "0x0000000000000000000000000000006c04ee19ec1dfec87ed47d6d04aa158de2",
+  "0x000000000000000000000000000000000013240f97a584b45184c8ec31319b5f",
+  "0x000000000000000000000000000000cefb5d240b07ceb4be26ea429b6dc9d9e0",
+  "0x00000000000000000000000000000000002dad22022121d689f57fb38ca21349",
+  "0x000000000000000000000000000000c9f189f2a91aeb664ce376d8b157ba98f8",
+  "0x00000000000000000000000000000000002531a51ad54f124d58094b219818d2",
+  "0x000000000000000000000000000000ef1e6db71809307f677677e62b4163f556",
+  "0x0000000000000000000000000000000000272da4396fb2a7ee0638b9140e523d",
+  "0x0000000000000000000000000000002e54c0244a7732c87bc4712a76dd8c83fb",
+  "0x000000000000000000000000000000000007db77b3e04b7eba9643da57cbbe4d",
+  "0x000000000000000000000000000000e0dfe1ddd7f74ae0d636c910c3e85830d8",
+  "0x00000000000000000000000000000000000466fa9b57ec4664abd1505b490862",
+  "0x0000000000000000000000000000009ee55ae8a32fe5384c79907067cc27192e",
+  "0x00000000000000000000000000000000000799d0e465cec07ecb5238c854e830",
+  "0x0000000000000000000000000000001d5910ad361e76e1c241247a823733c39f",
+  "0x00000000000000000000000000000000002b03f2ccf7507564da2e6678bef8fe",
+  "0x000000000000000000000000000000ee40d90bea71fba7a412dd61fcf34e8ceb",
+  "0x0000000000000000000000000000000000140b0936c323fd2471155617b6af56",
+  "0x0000000000000000000000000000002b90071823185c5ff8e440fd3d73b6fefc",
+  "0x00000000000000000000000000000000002b6c10790a5f6631c87d652e059df4",
+  "0x00000000000000000000000000000029a17181c7934fc3fdbd352eac5cb521b9",
+  "0x00000000000000000000000000000000001f497cbf5284ff29a2d336e5991999",
+  "0x000000000000000000000000000000072bd9c0c6beda1fdee6d4ff0432ba9e1b",
+  "0x000000000000000000000000000000000013ea38a0bd2aa751a490a724fac818",
+  "0x000000000000000000000000000000c599f63dcd3edd49f08ae5c3141c1e3493",
+  "0x00000000000000000000000000000000002bdb36be0bea09950dd32a8ccf6fbc",
+  "0x00000000000000000000000000000047f27f29724e7f19eba0340256a0bd4b7d",
+  "0x00000000000000000000000000000000001c1c5ccf87a962129ca785f8f35120",
+  "0x000000000000000000000000000000c5c71efdae00679bbe4a95096e012b1817",
+  "0x000000000000000000000000000000000017a365de041e317817d0135f2b48e0",
+  "0x0000000000000000000000000000008ae711ac402f7848d719c93a89ba8d39f1",
+  "0x00000000000000000000000000000000002b6fb40ed8a1935226f4f9786a0499",
+  "0x0000000000000000000000000000002f03a71501d83de1da5715a4e9462d6198",
+  "0x00000000000000000000000000000000001644064443b8546f48eae693af47b8",
+  "0x00000000000000000000000000000083763ab1b6e8fe269b2fe4c7b9c448c08d",
+  "0x000000000000000000000000000000000021d7cc18c59676a8eeb47c0111c251",
+  "0x000000000000000000000000000000b5f937153073e03ea7d51a996e0ebc2e6b",
+  "0x000000000000000000000000000000000011ddd0e26457373eb06e0493177672",
+  "0x000000000000000000000000000000c5f6eb9f6fc8fa99811a4a88c74a6d018b",
+  "0x000000000000000000000000000000000025bcd07a0732c123567834f5109558",
+  "0x000000000000000000000000000000aeb08a0b1a4442189448b4e97490568146",
+  "0x000000000000000000000000000000000002a1744e4771705536a88f07e0f90f",
+  "0x000000000000000000000000000000b938568293bd0724b0ea76c2ec34c4a829",
+  "0x0000000000000000000000000000000000053296e8f3b9ad3af877dfa9c7c2a7",
+  "0x000000000000000000000000000000f0ca1db6323996eba26bdc86dafef9d10b",
+  "0x00000000000000000000000000000000001441a46c58af03d5645d52721d956a",
+  "0x0000000000000000000000000000008bbf8f884013c66c28ba09c2fbd573b656",
+  "0x0000000000000000000000000000000000206c391ca06fac27d1908e94570243",
+  "0x0000000000000000000000000000002d4f5aaed88ba4f79612d53b804ca8f194",
+  "0x00000000000000000000000000000000001674011c96392df08970fa6b7b4cb8",
+  "0x0000000000000000000000000000009f88297c1729d76c4d9306853598c91325",
+  "0x0000000000000000000000000000000000256f51adfcacc3c1e340be4d32d3e9",
+  "0x0000000000000000000000000000000ab9955eec0d74eb799afed2a802b24d75",
+  "0x00000000000000000000000000000000001fcbe43ea105b30d36ed0b21b03411",
+  "0x000000000000000000000000000000d66b1d5433f1aa5305cd1edce7c22de466",
+  "0x00000000000000000000000000000000002331546a256b8a3b751956806680d4",
+  "0x000000000000000000000000000000e97954ad6cd6f45fb15c91434121db4304",
+  "0x00000000000000000000000000000000002e20a97e09d50f227ced47e7a98250",
+  "0x0000000000000000000000000000001ebbc27eb9ebededefba79522eb58ae89b",
+  "0x0000000000000000000000000000000000090efa4974e566e81d1177b85a30be",
+  "0x0000000000000000000000000000005eafa070b9c9632404052642e3bc14f9fd",
+  "0x00000000000000000000000000000000001489068864102daca6a6b8bc4d448b",
+  "0x0000000000000000000000000000009ebc91aaaac036a6477cadbe54e8556dfd",
+  "0x00000000000000000000000000000000000ef6d835e2ed3343b95c82c8c54037",
+  "0x00000000000000000000000000000033b28b529dff46e93af4e7422530478e4a",
+  "0x000000000000000000000000000000000020a86c2f8591bf190bcddcc03c42fb",
+  "0x000000000000000000000000000000a9679d0acc088f7dc27bf6d866bcd2dda2",
+  "0x00000000000000000000000000000000002fb9d0d2d4099402bed74f738f64cc",
+  "0x00000000000000000000000000000023b09f876a29a061582848a8b9a5870c12",
+  "0x00000000000000000000000000000000001d5bb906f03f0d49e9c4791bc43af9",
+  "0x00000000000000000000000000000017aac9854ea240d8ec97bf760c4d4ba870",
+  "0x00000000000000000000000000000000000b227a556c414ada0dc75bb303e30e",
+  "0x0000000000000000000000000000000000000000000000000000000000000001",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000000000000000000000000000000000000002",
+  "0x0000000000000000000000000000000000000000000000000000000000000000",
+  "0x0000000000000000000000000000009b624fa65d1a24b7f14a8f25f3789622af",
+  "0x000000000000000000000000000000000013d47bff8c630e847b70e2732fd3f0",
+  "0x00000000000000000000000000000061d21663e93132f32921075f4c936a84df",
+  "0x00000000000000000000000000000000001a74ca4e118fb480b9b999902989a3",
+]
diff --git a/noir/noir-repo/test_programs/execution_success/verify_honk_proof/src/main.nr b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/src/main.nr
new file mode 100644
index 00000000000..b60a47ccc7f
--- /dev/null
+++ b/noir/noir-repo/test_programs/execution_success/verify_honk_proof/src/main.nr
@@ -0,0 +1,17 @@
+
+// This circuit aggregates a single Honk proof from `assert_statement_recursive`.
+global SIZE_OF_PROOF_IF_LOGN_IS_28 : u32 = 439;
+global HONK_IDENTIFIER : u32 = 1;
+fn main(
+    verification_key: [Field; 128],
+    // This is the proof without public inputs attached.
+    //
+    // This means: the size of this does not change with the number of public inputs.
+    proof: [Field; SIZE_OF_PROOF_IF_LOGN_IS_28],
+    public_inputs: pub [Field; 1],
+    // This is currently not public. It is fine given that the vk is a part of the circuit definition.
+    // I believe we want to eventually make it public too though.
+    key_hash: Field
+) {
+    std::verify_proof(verification_key, proof, public_inputs, key_hash);
+}
diff --git a/noir/noir-repo/tooling/noir_js_backend_barretenberg/package.json b/noir/noir-repo/tooling/noir_js_backend_barretenberg/package.json
index 4ec715e27eb..a5593cc284c 100644
--- a/noir/noir-repo/tooling/noir_js_backend_barretenberg/package.json
+++ b/noir/noir-repo/tooling/noir_js_backend_barretenberg/package.json
@@ -41,7 +41,7 @@
     "lint": "NODE_NO_WARNINGS=1 eslint . --ext .ts --ignore-path ./.eslintignore  --max-warnings 0"
   },
   "dependencies": {
-    "@aztec/bb.js": "0.51.1",
+    "@aztec/bb.js": "portal:../../../../barretenberg/ts",
     "@noir-lang/types": "workspace:*",
     "fflate": "^0.8.0"
   },
diff --git a/noir/noir-repo/tooling/noirc_abi_wasm/build.sh b/noir/noir-repo/tooling/noirc_abi_wasm/build.sh
index 16fb26e55db..c07d2d8a4c1 100755
--- a/noir/noir-repo/tooling/noirc_abi_wasm/build.sh
+++ b/noir/noir-repo/tooling/noirc_abi_wasm/build.sh
@@ -25,7 +25,7 @@ function run_if_available {
 require_command jq
 require_command cargo
 require_command wasm-bindgen
-require_command wasm-opt
+#require_command wasm-opt
 
 self_path=$(dirname "$(readlink -f "$0")")
 pname=$(cargo read-manifest | jq -r '.name')
diff --git a/noir/noir-repo/yarn.lock b/noir/noir-repo/yarn.lock
index 5d1d41f58fd..f77e9f7e72e 100644
--- a/noir/noir-repo/yarn.lock
+++ b/noir/noir-repo/yarn.lock
@@ -221,19 +221,18 @@ __metadata:
   languageName: node
   linkType: hard
 
-"@aztec/bb.js@npm:0.51.1":
-  version: 0.51.1
-  resolution: "@aztec/bb.js@npm:0.51.1"
+"@aztec/bb.js@portal:../../../../barretenberg/ts::locator=%40noir-lang%2Fbackend_barretenberg%40workspace%3Atooling%2Fnoir_js_backend_barretenberg":
+  version: 0.0.0-use.local
+  resolution: "@aztec/bb.js@portal:../../../../barretenberg/ts::locator=%40noir-lang%2Fbackend_barretenberg%40workspace%3Atooling%2Fnoir_js_backend_barretenberg"
   dependencies:
     comlink: ^4.4.1
     commander: ^10.0.1
     debug: ^4.3.4
     tslib: ^2.4.0
   bin:
-    bb.js: dest/node/main.js
-  checksum: 246953d4d2becc86001b8e6d49ab8c0b4fa4833a9bf1d2177d0fb4e271e66f9dc65e3b02b69b00fbfcb935a11e2f90b5ac229b8c8938c34604fe54b29b3accfb
+    bb.js: ./dest/node/main.js
   languageName: node
-  linkType: hard
+  linkType: soft
 
 "@babel/code-frame@npm:^7.0.0, @babel/code-frame@npm:^7.10.4, @babel/code-frame@npm:^7.12.11, @babel/code-frame@npm:^7.16.0, @babel/code-frame@npm:^7.22.13, @babel/code-frame@npm:^7.23.5, @babel/code-frame@npm:^7.8.3":
   version: 7.23.5
@@ -4161,7 +4160,7 @@ __metadata:
   version: 0.0.0-use.local
   resolution: "@noir-lang/backend_barretenberg@workspace:tooling/noir_js_backend_barretenberg"
   dependencies:
-    "@aztec/bb.js": 0.51.1
+    "@aztec/bb.js": "portal:../../../../barretenberg/ts"
     "@noir-lang/types": "workspace:*"
     "@types/node": ^20.6.2
     "@types/prettier": ^3