@aztec/ivc-integration 3.0.0-nightly.20251114 → 3.0.0-nightly.20251118
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/artifacts/app_creator.json +2 -2
- package/artifacts/app_reader.json +2 -2
- package/artifacts/keys/avm.vk +0 -0
- package/artifacts/keys/mock_rollup_root_verifier.sol +26 -24
- package/artifacts/mock_hiding.json +2 -2
- package/artifacts/mock_private_kernel_init.json +2 -2
- package/artifacts/mock_private_kernel_inner.json +2 -2
- package/artifacts/mock_private_kernel_reset.json +2 -2
- package/artifacts/mock_private_kernel_tail.json +2 -2
- package/artifacts/mock_rollup_root.json +2 -2
- package/artifacts/mock_rollup_tx_base_private.json +92 -92
- package/artifacts/mock_rollup_tx_base_public.json +92 -92
- package/artifacts/mock_rollup_tx_merge.json +2 -2
- package/dest/prove_native.d.ts +4 -4
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +16 -37
- package/dest/serve.js +34 -17
- package/dest/witgen.d.ts +1 -1
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +18 -3
- package/package.json +19 -22
- package/src/prove_native.ts +19 -48
- package/src/serve.ts +43 -16
- package/src/witgen.ts +18 -2
- package/dest/prove_wasm.d.ts +0 -4
- package/dest/prove_wasm.d.ts.map +0 -1
- package/dest/prove_wasm.js +0 -38
- package/src/prove_wasm.ts +0 -57
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
|
-
"noir_version": "1.0.0-beta.15+
|
|
3
|
-
"hash": "
|
|
2
|
+
"noir_version": "1.0.0-beta.15+d2c71c467f2fe0d045d1c1c4ad7d9d0ed961c1af",
|
|
3
|
+
"hash": "8746374191002432813",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -1297,99 +1297,99 @@
|
|
|
1297
1297
|
}
|
|
1298
1298
|
},
|
|
1299
1299
|
"verificationKey": {
|
|
1300
|
-
"bytes": "
|
|
1300
|
+
"bytes": "0000000000000000000000000000000000000000000000000000000000000017000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000097b211e44bc5322081260ffe93f8982452000000000000000000000000000000000000f8f26c7f2cead9204776f97e8dbf00000000000000000000000000000061f2d3e49a2e551c7f113fc3a03f827de6000000000000000000000000000000000000ba1b63d54b76ce2ee32554ef63f2000000000000000000000000000000f56de758dfb226ce1365e9b65b10e15a3b00000000000000000000000000000000002192c130b5c0483a15c4d95338cf7e00000000000000000000000000000066f650e7ab05b4d024fefd46fac7f6c99f00000000000000000000000000000000002a1a0ee24e17d0ee0e6f3ef051aa55000000000000000000000000000000ba3226d61968f8b0bbb7e2b3769e9ca6db00000000000000000000000000000000001540007114d6737780c43fa9b00d00000000000000000000000000000000dc9e9d4d7642ac8d4d6366a3f98671cb4d00000000000000000000000000000000000963e2b002835151235f4ce7e02339000000000000000000000000000000541b1f2eaa1d11e9fe1039182ca2703edd00000000000000000000000000000000000f5d0d93edb0c22706ecfd734b7459000000000000000000000000000000126e461c53f2aba3df65998d48329d4a1200000000000000000000000000000000002e056052e57c8300d668a12a95127d000000000000000000000000000000d94b39003ed635dd99c88ebd7fe2179e8e0000000000000000000000000000000000192f1643469d4f6a68be1c8f6baa37000000000000000000000000000000c5248e5fe24567a3a5a8f69c4385cd46c90000000000000000000000000000000000267c2595cca591313b2d7a226cd2b8000000000000000000000000000000e5c440268578a4a776dcccca1c66846570000000000000000000000000000000000003d9903c340e818cf07e8a91240ab9000000000000000000000000000000573409cadf7bc85384a39996d922797c46000000000000000000000000000000000012102b56d2a32011a2161508efb89e000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000f771c7fa12c0f51a327173fe693b232b5000000000000000000000000000000000001fbbb975ffd7c5b771b3201defe8960000000000000000000000000000000b54cb4c39c0a4d9ccdcde331b8d652d3a00000000000000000000000000000000002634871d055e41af9ac103bd73c4e30000000000000000000000000000005a07cd56e9c85d18414ad8720e8691d12700000000000000000000000000000000002c30bf44ce02a02618f07a12040d6a000000000000000000000000000000e2b82b42f18d1817e58f7a0a6ed4fe8fea00000000000000000000000000000000002972257c568507652dc51088341569000000000000000000000000000000ba4ba3028811bad82cd254dc80e296a1ad00000000000000000000000000000000000ef86b95553f06242524e428749a7300000000000000000000000000000019c6d9fc2f90ad786a8012afa059591abb00000000000000000000000000000000000e6799ef421a6c034523f852b388ee000000000000000000000000000000efcfa00412fe5c29b5235e10a1f5209b4b000000000000000000000000000000000024023804cb57a30163bab52eca257600000000000000000000000000000084d6d7ad3731271249995af828cf6eee630000000000000000000000000000000000251e23dc7af05bae66d51df84e9a8c0000000000000000000000000000006ffd9a058da60125d80cc0a1eb1cdde27d00000000000000000000000000000000001b51eac98f8761c5587eb9a5f1d5a200000000000000000000000000000082366f893e655990072e38c60cc7597800000000000000000000000000000000000003ad0b4b11dc1b6f05ba58f63acfaf000000000000000000000000000000b2409bdbb938753ad36f2fc6a5aa0921ab000000000000000000000000000000000002ae048725256404a992fe00004e00000000000000000000000000000000862acc0a4184dad830ad403194b1904b4500000000000000000000000000000000001ba5a1782e15dd5f7f588f726f3094000000000000000000000000000000ce6b024f57ca4c82478745335ee253666d00000000000000000000000000000000001a63b77f041628c1ccf47de76a51f0000000000000000000000000000000f2ee3014b74eb745975ff806b2d6a368740000000000000000000000000000000000172aaf471824aeeb69dc1c108c15b90000000000000000000000000000002cfff177014043489001021d99405e1d560000000000000000000000000000000000028a658b942261652c6b871e75565c000000000000000000000000000000a8964cf064235000acacf06bd54f74eb7b00000000000000000000000000000000001225bf222a53e78ef6cca18ca1c727000000000000000000000000000000b5a6c73205519c29189fb586cb56782f81000000000000000000000000000000000010660d71d59b36803e75ff93058d9b000000000000000000000000000000075955dab55b2fe0534681d403319910af0000000000000000000000000000000000174b94c40af8662f76507a9a54348f000000000000000000000000000000ddc917cd1878aaa3867d9ed0d7885a30110000000000000000000000000000000000046bab3f1e842833c1c5f47a5404960000000000000000000000000000001462c2aba66ec9345e4762a4436101ecd700000000000000000000000000000000000d9173dbac0bde4f6b13ef02f3400d000000000000000000000000000000ddee959490573279ef34c0edaf3745542900000000000000000000000000000000001c2cef18de624f42fdd07965c966650000000000000000000000000000009c30af3830891140f5d02089bad9ebc89b000000000000000000000000000000000017b7ca4b99afc169471a3d9063454100000000000000000000000000000082361963ad365f5615cce8743a4619504f00000000000000000000000000000000000370290e858afb6d4279b9d68b9b350000000000000000000000000000006df1c3ae542dcbc3bdf6d1e1693d18211a00000000000000000000000000000000002d5466f508434933d6c0d15d5c4175000000000000000000000000000000790d347c7fd359c0caaaaaca84ae8641b700000000000000000000000000000000001fcb6fdcada0d6e072199f33ee4dd50000000000000000000000000000004808a6c06f1b2364f1522c1ed22e2b855e000000000000000000000000000000000018ae7771e05cb57a150ba57f179bf00000000000000000000000000000006d93203c853ac32dd3692d840d8f7de2aa00000000000000000000000000000000001aedb5e9e15140a762cbe89bf1d3dd000000000000000000000000000000812a27f7f045964850aa26ff3ab2ca8ebc00000000000000000000000000000000001519ae2f6a09ae70ed206a990e8872000000000000000000000000000000d56d296435f236316e391f80317b0ce2de00000000000000000000000000000000002a2f3f5d78341849a938be09924de40000000000000000000000000000009588f7c75e6a401655e4e1322f8d8c32f100000000000000000000000000000000000a4b822fa47c0541f479262aed25db00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff967361949400000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000006a60f756197b124ab5a3df7171c8a43149000000000000000000000000000000000029b4173b4acc87984dd8803d7334b2000000000000000000000000000000a0ad9d8302e74ded2679ef9478097e5d5d000000000000000000000000000000000000e015c4fec160c608b7ca2cc9a5ef",
|
|
1301
1301
|
"fields": [
|
|
1302
1302
|
"0x0000000000000000000000000000000000000000000000000000000000000017",
|
|
1303
1303
|
"0x000000000000000000000000000000000000000000000000000000000000001b",
|
|
1304
1304
|
"0x0000000000000000000000000000000000000000000000000000000000000001",
|
|
1305
|
-
"
|
|
1306
|
-
"
|
|
1307
|
-
"
|
|
1308
|
-
"
|
|
1309
|
-
"
|
|
1310
|
-
"
|
|
1311
|
-
"
|
|
1312
|
-
"
|
|
1313
|
-
"
|
|
1314
|
-
"
|
|
1315
|
-
"
|
|
1316
|
-
"
|
|
1317
|
-
"
|
|
1318
|
-
"
|
|
1319
|
-
"
|
|
1320
|
-
"
|
|
1321
|
-
"
|
|
1322
|
-
"
|
|
1323
|
-
"
|
|
1324
|
-
"
|
|
1325
|
-
"
|
|
1326
|
-
"
|
|
1327
|
-
"
|
|
1328
|
-
"
|
|
1305
|
+
"0x00000000000000000000000000000097b211e44bc5322081260ffe93f8982452",
|
|
1306
|
+
"0x000000000000000000000000000000000000f8f26c7f2cead9204776f97e8dbf",
|
|
1307
|
+
"0x00000000000000000000000000000061f2d3e49a2e551c7f113fc3a03f827de6",
|
|
1308
|
+
"0x000000000000000000000000000000000000ba1b63d54b76ce2ee32554ef63f2",
|
|
1309
|
+
"0x000000000000000000000000000000f56de758dfb226ce1365e9b65b10e15a3b",
|
|
1310
|
+
"0x00000000000000000000000000000000002192c130b5c0483a15c4d95338cf7e",
|
|
1311
|
+
"0x00000000000000000000000000000066f650e7ab05b4d024fefd46fac7f6c99f",
|
|
1312
|
+
"0x00000000000000000000000000000000002a1a0ee24e17d0ee0e6f3ef051aa55",
|
|
1313
|
+
"0x000000000000000000000000000000ba3226d61968f8b0bbb7e2b3769e9ca6db",
|
|
1314
|
+
"0x00000000000000000000000000000000001540007114d6737780c43fa9b00d00",
|
|
1315
|
+
"0x000000000000000000000000000000dc9e9d4d7642ac8d4d6366a3f98671cb4d",
|
|
1316
|
+
"0x00000000000000000000000000000000000963e2b002835151235f4ce7e02339",
|
|
1317
|
+
"0x000000000000000000000000000000541b1f2eaa1d11e9fe1039182ca2703edd",
|
|
1318
|
+
"0x00000000000000000000000000000000000f5d0d93edb0c22706ecfd734b7459",
|
|
1319
|
+
"0x000000000000000000000000000000126e461c53f2aba3df65998d48329d4a12",
|
|
1320
|
+
"0x00000000000000000000000000000000002e056052e57c8300d668a12a95127d",
|
|
1321
|
+
"0x000000000000000000000000000000d94b39003ed635dd99c88ebd7fe2179e8e",
|
|
1322
|
+
"0x0000000000000000000000000000000000192f1643469d4f6a68be1c8f6baa37",
|
|
1323
|
+
"0x000000000000000000000000000000c5248e5fe24567a3a5a8f69c4385cd46c9",
|
|
1324
|
+
"0x0000000000000000000000000000000000267c2595cca591313b2d7a226cd2b8",
|
|
1325
|
+
"0x000000000000000000000000000000e5c440268578a4a776dcccca1c66846570",
|
|
1326
|
+
"0x000000000000000000000000000000000003d9903c340e818cf07e8a91240ab9",
|
|
1327
|
+
"0x000000000000000000000000000000573409cadf7bc85384a39996d922797c46",
|
|
1328
|
+
"0x000000000000000000000000000000000012102b56d2a32011a2161508efb89e",
|
|
1329
1329
|
"0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
|
|
1330
1330
|
"0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
|
|
1331
1331
|
"0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
|
|
1332
1332
|
"0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
|
|
1333
|
-
"
|
|
1334
|
-
"
|
|
1335
|
-
"
|
|
1336
|
-
"
|
|
1337
|
-
"
|
|
1338
|
-
"
|
|
1339
|
-
"
|
|
1340
|
-
"
|
|
1341
|
-
"
|
|
1342
|
-
"
|
|
1343
|
-
"
|
|
1344
|
-
"
|
|
1345
|
-
"
|
|
1346
|
-
"
|
|
1347
|
-
"
|
|
1348
|
-
"
|
|
1349
|
-
"
|
|
1350
|
-
"
|
|
1351
|
-
"
|
|
1352
|
-
"
|
|
1353
|
-
"
|
|
1354
|
-
"
|
|
1355
|
-
"
|
|
1356
|
-
"
|
|
1357
|
-
"
|
|
1358
|
-
"
|
|
1359
|
-
"
|
|
1360
|
-
"
|
|
1361
|
-
"
|
|
1362
|
-
"
|
|
1363
|
-
"
|
|
1364
|
-
"
|
|
1365
|
-
"
|
|
1366
|
-
"
|
|
1367
|
-
"
|
|
1368
|
-
"
|
|
1369
|
-
"
|
|
1370
|
-
"
|
|
1371
|
-
"
|
|
1372
|
-
"
|
|
1373
|
-
"
|
|
1374
|
-
"
|
|
1375
|
-
"
|
|
1376
|
-
"
|
|
1377
|
-
"
|
|
1378
|
-
"
|
|
1379
|
-
"
|
|
1380
|
-
"
|
|
1381
|
-
"
|
|
1382
|
-
"
|
|
1383
|
-
"
|
|
1384
|
-
"
|
|
1385
|
-
"
|
|
1386
|
-
"
|
|
1387
|
-
"
|
|
1388
|
-
"
|
|
1389
|
-
"
|
|
1390
|
-
"
|
|
1391
|
-
"
|
|
1392
|
-
"
|
|
1333
|
+
"0x000000000000000000000000000000f771c7fa12c0f51a327173fe693b232b50",
|
|
1334
|
+
"0x00000000000000000000000000000000001fbbb975ffd7c5b771b3201defe896",
|
|
1335
|
+
"0x0000000000000000000000000000000b54cb4c39c0a4d9ccdcde331b8d652d3a",
|
|
1336
|
+
"0x00000000000000000000000000000000002634871d055e41af9ac103bd73c4e3",
|
|
1337
|
+
"0x0000000000000000000000000000005a07cd56e9c85d18414ad8720e8691d127",
|
|
1338
|
+
"0x00000000000000000000000000000000002c30bf44ce02a02618f07a12040d6a",
|
|
1339
|
+
"0x000000000000000000000000000000e2b82b42f18d1817e58f7a0a6ed4fe8fea",
|
|
1340
|
+
"0x00000000000000000000000000000000002972257c568507652dc51088341569",
|
|
1341
|
+
"0x000000000000000000000000000000ba4ba3028811bad82cd254dc80e296a1ad",
|
|
1342
|
+
"0x00000000000000000000000000000000000ef86b95553f06242524e428749a73",
|
|
1343
|
+
"0x00000000000000000000000000000019c6d9fc2f90ad786a8012afa059591abb",
|
|
1344
|
+
"0x00000000000000000000000000000000000e6799ef421a6c034523f852b388ee",
|
|
1345
|
+
"0x000000000000000000000000000000efcfa00412fe5c29b5235e10a1f5209b4b",
|
|
1346
|
+
"0x000000000000000000000000000000000024023804cb57a30163bab52eca2576",
|
|
1347
|
+
"0x00000000000000000000000000000084d6d7ad3731271249995af828cf6eee63",
|
|
1348
|
+
"0x0000000000000000000000000000000000251e23dc7af05bae66d51df84e9a8c",
|
|
1349
|
+
"0x0000000000000000000000000000006ffd9a058da60125d80cc0a1eb1cdde27d",
|
|
1350
|
+
"0x00000000000000000000000000000000001b51eac98f8761c5587eb9a5f1d5a2",
|
|
1351
|
+
"0x00000000000000000000000000000082366f893e655990072e38c60cc7597800",
|
|
1352
|
+
"0x000000000000000000000000000000000003ad0b4b11dc1b6f05ba58f63acfaf",
|
|
1353
|
+
"0x000000000000000000000000000000b2409bdbb938753ad36f2fc6a5aa0921ab",
|
|
1354
|
+
"0x000000000000000000000000000000000002ae048725256404a992fe00004e00",
|
|
1355
|
+
"0x000000000000000000000000000000862acc0a4184dad830ad403194b1904b45",
|
|
1356
|
+
"0x00000000000000000000000000000000001ba5a1782e15dd5f7f588f726f3094",
|
|
1357
|
+
"0x000000000000000000000000000000ce6b024f57ca4c82478745335ee253666d",
|
|
1358
|
+
"0x00000000000000000000000000000000001a63b77f041628c1ccf47de76a51f0",
|
|
1359
|
+
"0x000000000000000000000000000000f2ee3014b74eb745975ff806b2d6a36874",
|
|
1360
|
+
"0x0000000000000000000000000000000000172aaf471824aeeb69dc1c108c15b9",
|
|
1361
|
+
"0x0000000000000000000000000000002cfff177014043489001021d99405e1d56",
|
|
1362
|
+
"0x0000000000000000000000000000000000028a658b942261652c6b871e75565c",
|
|
1363
|
+
"0x000000000000000000000000000000a8964cf064235000acacf06bd54f74eb7b",
|
|
1364
|
+
"0x00000000000000000000000000000000001225bf222a53e78ef6cca18ca1c727",
|
|
1365
|
+
"0x000000000000000000000000000000b5a6c73205519c29189fb586cb56782f81",
|
|
1366
|
+
"0x000000000000000000000000000000000010660d71d59b36803e75ff93058d9b",
|
|
1367
|
+
"0x000000000000000000000000000000075955dab55b2fe0534681d403319910af",
|
|
1368
|
+
"0x0000000000000000000000000000000000174b94c40af8662f76507a9a54348f",
|
|
1369
|
+
"0x000000000000000000000000000000ddc917cd1878aaa3867d9ed0d7885a3011",
|
|
1370
|
+
"0x0000000000000000000000000000000000046bab3f1e842833c1c5f47a540496",
|
|
1371
|
+
"0x0000000000000000000000000000001462c2aba66ec9345e4762a4436101ecd7",
|
|
1372
|
+
"0x00000000000000000000000000000000000d9173dbac0bde4f6b13ef02f3400d",
|
|
1373
|
+
"0x000000000000000000000000000000ddee959490573279ef34c0edaf37455429",
|
|
1374
|
+
"0x00000000000000000000000000000000001c2cef18de624f42fdd07965c96665",
|
|
1375
|
+
"0x0000000000000000000000000000009c30af3830891140f5d02089bad9ebc89b",
|
|
1376
|
+
"0x000000000000000000000000000000000017b7ca4b99afc169471a3d90634541",
|
|
1377
|
+
"0x00000000000000000000000000000082361963ad365f5615cce8743a4619504f",
|
|
1378
|
+
"0x00000000000000000000000000000000000370290e858afb6d4279b9d68b9b35",
|
|
1379
|
+
"0x0000000000000000000000000000006df1c3ae542dcbc3bdf6d1e1693d18211a",
|
|
1380
|
+
"0x00000000000000000000000000000000002d5466f508434933d6c0d15d5c4175",
|
|
1381
|
+
"0x000000000000000000000000000000790d347c7fd359c0caaaaaca84ae8641b7",
|
|
1382
|
+
"0x00000000000000000000000000000000001fcb6fdcada0d6e072199f33ee4dd5",
|
|
1383
|
+
"0x0000000000000000000000000000004808a6c06f1b2364f1522c1ed22e2b855e",
|
|
1384
|
+
"0x000000000000000000000000000000000018ae7771e05cb57a150ba57f179bf0",
|
|
1385
|
+
"0x0000000000000000000000000000006d93203c853ac32dd3692d840d8f7de2aa",
|
|
1386
|
+
"0x00000000000000000000000000000000001aedb5e9e15140a762cbe89bf1d3dd",
|
|
1387
|
+
"0x000000000000000000000000000000812a27f7f045964850aa26ff3ab2ca8ebc",
|
|
1388
|
+
"0x00000000000000000000000000000000001519ae2f6a09ae70ed206a990e8872",
|
|
1389
|
+
"0x000000000000000000000000000000d56d296435f236316e391f80317b0ce2de",
|
|
1390
|
+
"0x00000000000000000000000000000000002a2f3f5d78341849a938be09924de4",
|
|
1391
|
+
"0x0000000000000000000000000000009588f7c75e6a401655e4e1322f8d8c32f1",
|
|
1392
|
+
"0x00000000000000000000000000000000000a4b822fa47c0541f479262aed25db",
|
|
1393
1393
|
"0x00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d26",
|
|
1394
1394
|
"0x0000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b3",
|
|
1395
1395
|
"0x0000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f",
|
|
@@ -1410,11 +1410,11 @@
|
|
|
1410
1410
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
1411
1411
|
"0x0000000000000000000000000000000000000000000000000000000000000002",
|
|
1412
1412
|
"0x0000000000000000000000000000000000000000000000000000000000000000",
|
|
1413
|
-
"
|
|
1414
|
-
"
|
|
1415
|
-
"
|
|
1416
|
-
"
|
|
1413
|
+
"0x0000000000000000000000000000006a60f756197b124ab5a3df7171c8a43149",
|
|
1414
|
+
"0x000000000000000000000000000000000029b4173b4acc87984dd8803d7334b2",
|
|
1415
|
+
"0x000000000000000000000000000000a0ad9d8302e74ded2679ef9478097e5d5d",
|
|
1416
|
+
"0x000000000000000000000000000000000000e015c4fec160c608b7ca2cc9a5ef"
|
|
1417
1417
|
],
|
|
1418
|
-
"hash": "
|
|
1418
|
+
"hash": "1e9f5e89622d6647e8602a22db1c61f2db4134aa8b4e5918788ff2a1877b9d95"
|
|
1419
1419
|
}
|
|
1420
1420
|
}
|
package/dest/prove_native.d.ts
CHANGED
|
@@ -2,12 +2,12 @@ import { CHONK_PROOF_LENGTH } from '@aztec/constants';
|
|
|
2
2
|
import { Fr } from '@aztec/foundation/fields';
|
|
3
3
|
import type { Logger } from '@aztec/foundation/log';
|
|
4
4
|
import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
5
|
-
import { type ProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
6
5
|
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
6
|
+
import { RecursiveProof } from '@aztec/stdlib/proofs';
|
|
7
7
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
8
|
-
export declare function
|
|
9
|
-
export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<ProofAndVerificationKey<531>>;
|
|
10
|
-
export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<ProofAndVerificationKey<457>>;
|
|
8
|
+
export declare function proofBytesToRecursiveProof(proofAsFields: Uint8Array[], vkBytes: Uint8Array): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>>;
|
|
9
|
+
export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<531>>;
|
|
10
|
+
export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<457>>;
|
|
11
11
|
export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
|
|
12
12
|
vk: VerificationKeyAsFields;
|
|
13
13
|
proof: Fr[];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAKjF,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,EACd,0BAA0B,GAAE,OAAe,GAC1C,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAsED"}
|
package/dest/prove_native.js
CHANGED
|
@@ -1,46 +1,25 @@
|
|
|
1
|
-
import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME,
|
|
2
|
-
import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
1
|
+
import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, generateAvmProof, generateProof, readProofsFromOutputDirectory, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
|
|
2
|
+
import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
|
|
3
3
|
import { Fr } from '@aztec/foundation/fields';
|
|
4
4
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
5
5
|
import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
6
|
+
import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
|
|
6
7
|
import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
|
|
7
8
|
import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
|
|
8
9
|
import * as fs from 'fs/promises';
|
|
9
|
-
import { Encoder } from 'msgpackr';
|
|
10
10
|
import * as path from 'path';
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
//
|
|
17
|
-
const
|
|
18
|
-
|
|
19
|
-
const
|
|
20
|
-
|
|
21
|
-
|
|
22
|
-
|
|
23
|
-
export async function proveChonk(bbBinaryPath, bbWorkingDirectory, witnessStack, bytecodes, vks, logger) {
|
|
24
|
-
const stepToStruct = (bytecode, index)=>{
|
|
25
|
-
return {
|
|
26
|
-
bytecode: Buffer.from(bytecode, 'base64'),
|
|
27
|
-
witness: witnessStack[index],
|
|
28
|
-
vk: Buffer.from(vks[index], 'hex'),
|
|
29
|
-
functionName: `unknown_${index}`
|
|
30
|
-
};
|
|
31
|
-
};
|
|
32
|
-
const encoded = new Encoder({
|
|
33
|
-
useRecords: false
|
|
34
|
-
}).pack(bytecodes.map(stepToStruct));
|
|
35
|
-
const ivcInputsPath = path.join(bbWorkingDirectory, 'ivc-inputs.msgpack');
|
|
36
|
-
await fs.writeFile(ivcInputsPath, encoded);
|
|
37
|
-
const provingResult = await executeBbChonkProof(bbBinaryPath, bbWorkingDirectory, ivcInputsPath, logger.info, true);
|
|
38
|
-
if (provingResult.status === BB_RESULT.FAILURE) {
|
|
39
|
-
throw new Error(provingResult.reason);
|
|
40
|
-
}
|
|
41
|
-
const vk = await extractVkData(provingResult.vkDirectoryPath);
|
|
42
|
-
const proof = await readProofsFromOutputDirectory(provingResult.proofPath, vk, CHONK_PROOF_LENGTH, logger);
|
|
43
|
-
return makeProofAndVerificationKey(proof, vk);
|
|
11
|
+
export async function proofBytesToRecursiveProof(proofAsFields, vkBytes) {
|
|
12
|
+
const vk = await VerificationKeyAsFields.fromFrBuffer(Buffer.from(vkBytes));
|
|
13
|
+
const numCustomPublicInputs = vk.numPublicInputs - HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE;
|
|
14
|
+
// Convert Uint8Array fields to Fr instances
|
|
15
|
+
const fields = proofAsFields.map((f)=>Fr.fromBuffer(Buffer.from(f)));
|
|
16
|
+
// Slice off custom public inputs from the beginning.
|
|
17
|
+
const fieldsWithoutPublicInputs = fields.slice(numCustomPublicInputs);
|
|
18
|
+
// Convert fields to binary buffer
|
|
19
|
+
const proofBuffer = Buffer.concat(proofAsFields.slice(numCustomPublicInputs));
|
|
20
|
+
// Create Proof directly (not using fromBuffer which expects different format)
|
|
21
|
+
const proof = new Proof(proofBuffer, numCustomPublicInputs);
|
|
22
|
+
return new RecursiveProof(fieldsWithoutPublicInputs, proof, true, CHONK_PROOF_LENGTH);
|
|
44
23
|
}
|
|
45
24
|
async function verifyProofWithKey(pathToBB, workingDirectory, verificationKey, proof, flavor, logger) {
|
|
46
25
|
const publicInputsFileName = path.join(workingDirectory, PUBLIC_INPUTS_FILENAME);
|
|
@@ -63,7 +42,7 @@ async function proveRollupCircuit(name, pathToBB, workingDirectory, circuit, wit
|
|
|
63
42
|
if (proofResult.status != BB_RESULT.SUCCESS) {
|
|
64
43
|
throw new Error(`Failed to generate proof for ${name} with flavor ${flavor}`);
|
|
65
44
|
}
|
|
66
|
-
const vk = await
|
|
45
|
+
const vk = await VerificationKeyData.fromFrBuffer(vkBuffer);
|
|
67
46
|
const proof = await readProofsFromOutputDirectory(proofResult.proofPath, vk, proofLength, logger);
|
|
68
47
|
await verifyProofWithKey(pathToBB, workingDirectory, vk, proof.binaryProof, flavor, logger);
|
|
69
48
|
return makeProofAndVerificationKey(proof, vk);
|
package/dest/serve.js
CHANGED
|
@@ -1,8 +1,16 @@
|
|
|
1
|
+
import { AztecClientBackend, Barretenberg } from '@aztec/bb.js';
|
|
1
2
|
import { createLogger } from '@aztec/foundation/log';
|
|
2
|
-
import {
|
|
3
|
-
import { generateTestingIVCStack } from './witgen.js';
|
|
3
|
+
import { MockAppCreatorCircuit, MockHidingCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelTailCircuit, generateTestingIVCStack } from './witgen.js';
|
|
4
4
|
const logger = createLogger('aztec:ivc-test');
|
|
5
|
-
/* eslint-disable no-console */ //
|
|
5
|
+
/* eslint-disable no-console */ // Expose APIs on window for browser testing
|
|
6
|
+
window.Barretenberg = Barretenberg;
|
|
7
|
+
window.AztecClientBackend = AztecClientBackend;
|
|
8
|
+
window.generateTestingIVCStack = generateTestingIVCStack;
|
|
9
|
+
window.MockAppCreatorCircuit = MockAppCreatorCircuit;
|
|
10
|
+
window.MockPrivateKernelInitCircuit = MockPrivateKernelInitCircuit;
|
|
11
|
+
window.MockPrivateKernelTailCircuit = MockPrivateKernelTailCircuit;
|
|
12
|
+
window.MockHidingCircuit = MockHidingCircuit;
|
|
13
|
+
// Function to set up the output element and redirect all console output
|
|
6
14
|
function setupConsoleOutput() {
|
|
7
15
|
const container = document.createElement('div');
|
|
8
16
|
container.style.marginBottom = '10px';
|
|
@@ -45,18 +53,27 @@ function setupConsoleOutput() {
|
|
|
45
53
|
addLogMessage(message);
|
|
46
54
|
};
|
|
47
55
|
}
|
|
48
|
-
|
|
49
|
-
document.
|
|
50
|
-
|
|
51
|
-
|
|
52
|
-
|
|
53
|
-
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
56
|
+
// Only set up the interactive UI if this is not being used for automated testing
|
|
57
|
+
if (!document.getElementById('status')) {
|
|
58
|
+
document.addEventListener('DOMContentLoaded', function() {
|
|
59
|
+
setupConsoleOutput(); // Initialize console output capture
|
|
60
|
+
const button = document.createElement('button');
|
|
61
|
+
button.innerText = 'Run Test';
|
|
62
|
+
// eslint-disable-next-line @typescript-eslint/no-misused-promises
|
|
63
|
+
button.addEventListener('click', async ()=>{
|
|
64
|
+
logger.info(`generating circuit and witness...`);
|
|
65
|
+
const [bytecodes, witnessStack, _publicInputs, precomputedVks] = await generateTestingIVCStack(1, 0);
|
|
66
|
+
logger.info(`done. proving and verifying...`);
|
|
67
|
+
const barretenberg = await Barretenberg.initSingleton({
|
|
68
|
+
threads: 16,
|
|
69
|
+
logger: (m)=>logger.info(m)
|
|
70
|
+
});
|
|
71
|
+
const backend = new AztecClientBackend(bytecodes, barretenberg);
|
|
72
|
+
const [, proof, vk] = await backend.prove(witnessStack, precomputedVks);
|
|
73
|
+
const verified = await backend.verify(proof, vk);
|
|
74
|
+
logger.info(`verified? ${verified}`);
|
|
75
|
+
await Barretenberg.destroySingleton();
|
|
76
|
+
});
|
|
77
|
+
document.body.appendChild(button);
|
|
60
78
|
});
|
|
61
|
-
|
|
62
|
-
});
|
|
79
|
+
}
|
package/dest/witgen.d.ts
CHANGED
|
@@ -75,7 +75,7 @@ export declare function witnessGenMockPublicBaseCircuit(args: MockRollupTxBasePu
|
|
|
75
75
|
export declare function witnessGenMockRollupTxBasePrivateCircuit(args: MockRollupTxBasePrivateInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
76
76
|
export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMergeInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
77
77
|
export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
|
|
78
|
-
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[
|
|
78
|
+
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
|
|
79
79
|
export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
|
|
80
80
|
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED>;
|
|
81
81
|
export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
|
package/dest/witgen.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,oCAAoC,EACpC,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;
|
|
1
|
+
{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gCAAgC,EAChC,oCAAoC,EACpC,wBAAwB,EACzB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAK5D,OAAO,qBAAqB,MAAM,+BAA+B,CAAuB;AACxF,OAAO,oBAAoB,MAAM,8BAA8B,CAAuB;AACtF,OAAO,iBAAiB,MAAM,+BAA+B,CAAuB;AACpF,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,qBAAqB,MAAM,oCAAoC,CAAuB;AAC7F,OAAO,8BAA8B,MAAM,+CAA+C,CAAuB;AACjH,OAAO,6BAA6B,MAAM,8CAA8C,CAAuB;AAC/G,OAAO,wBAAwB,MAAM,wCAAwC,CAAuB;AACpG,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,+BAA+B,EAC/B,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAW1B,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AACrE,QAAA,MAAM,eAAe;;;CAA6C,CAAC;AACnE,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AACnF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AAEnF,QAAA,MAAM,yBAAyB;;;CAAuD,CAAC;AACvF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,mBAAmB;;;CAAiD,CAAC;AAC3E,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AAGrE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,CAAC;AAMF,wBAAsB,aAAa,CAAC,EAClC,WAAW,GACZ,EAAE;IACD,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,OAAO,CAAC,eAAe,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAI5D;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAe7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,2BAA2B,CAC/C,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,wCAAwC,CAC5D,IAAI,EAAE,gCAAgC,GACrC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,kCAAkC,CACtD,IAAI,EAAE,0BAA0B,GAC/B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,uBAAuB,CAE3C,kBAAkB,EAAE,MAAM,EAG1B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAqIzE;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAE/G;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC,CAKpH;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,uBAAuB,EAC3B,GAAG,EAAE,CAAC,GACL;IACD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;CACd,CAQA;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,CAMnE"}
|
package/dest/witgen.js
CHANGED
|
@@ -5,6 +5,7 @@ import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
|
5
5
|
import { Noir } from '@aztec/noir-noir_js';
|
|
6
6
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
7
7
|
import { strict as assert } from 'assert';
|
|
8
|
+
import { ungzip } from 'pako';
|
|
8
9
|
import MockAppCreatorCircuit from '../artifacts/app_creator.json' with {
|
|
9
10
|
type: 'json'
|
|
10
11
|
};
|
|
@@ -284,11 +285,25 @@ numReaderAppCalls) {
|
|
|
284
285
|
witnessStack.push(hidingWitnessGenResult.witness);
|
|
285
286
|
bytecodes.push(MockHidingCircuit.bytecode);
|
|
286
287
|
vks.push(MockHidingVk.keyAsBytes);
|
|
288
|
+
function base64ToUint8Array(base64) {
|
|
289
|
+
return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
|
|
290
|
+
}
|
|
291
|
+
function hexToUint8Array(hex) {
|
|
292
|
+
const cleaned = hex.replace(/^0x/i, '');
|
|
293
|
+
const bytes = new Uint8Array(cleaned.length / 2);
|
|
294
|
+
for(let i = 0; i < bytes.length; i++){
|
|
295
|
+
bytes[i] = parseInt(cleaned.slice(i * 2, i * 2 + 2), 16);
|
|
296
|
+
}
|
|
297
|
+
return bytes;
|
|
298
|
+
}
|
|
299
|
+
const rawBytecodes = bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr));
|
|
300
|
+
const rawWitnessStack = witnessStack.map((arr)=>ungzip(arr));
|
|
301
|
+
const rawVks = vks.map(hexToUint8Array);
|
|
287
302
|
return [
|
|
288
|
-
|
|
289
|
-
|
|
303
|
+
rawBytecodes,
|
|
304
|
+
rawWitnessStack,
|
|
290
305
|
hidingWitnessGenResult.publicInputs,
|
|
291
|
-
|
|
306
|
+
rawVks
|
|
292
307
|
];
|
|
293
308
|
}
|
|
294
309
|
export function mapRecursiveProofToNoir(proof) {
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@aztec/ivc-integration",
|
|
3
|
-
"version": "3.0.0-nightly.
|
|
3
|
+
"version": "3.0.0-nightly.20251118",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -11,17 +11,14 @@
|
|
|
11
11
|
"./package.local.json"
|
|
12
12
|
],
|
|
13
13
|
"scripts": {
|
|
14
|
-
"build": "yarn clean && yarn generate && tsc -b &&
|
|
15
|
-
"clean": "rm -rf ./dest .tsbuildinfo src/types artifacts",
|
|
14
|
+
"build": "yarn clean && yarn generate && tsc -b && webpack",
|
|
15
|
+
"clean": "rm -rf ./dest ./dist .tsbuildinfo src/types artifacts",
|
|
16
16
|
"formatting:fix:types": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src/types && run -T prettier -w ./src/types",
|
|
17
17
|
"generate": "yarn generate:noir-circuits",
|
|
18
18
|
"generate:noir-circuits": "mkdir -p ./artifacts && cp -r ../../noir-projects/mock-protocol-circuits/target/* ./artifacts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_declaration_files.ts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_ts_from_abi.ts",
|
|
19
|
-
"test
|
|
20
|
-
"test:browser": "./run_browser_tests.sh",
|
|
21
|
-
"test": "yarn test:non-browser",
|
|
19
|
+
"test": "RAYON_NUM_THREADS=4 NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests ",
|
|
22
20
|
"codegen": "yarn noir-codegen",
|
|
23
21
|
"build:dev": "tsc -b --watch",
|
|
24
|
-
"build:browser-app": "rm -rf dest && webpack",
|
|
25
22
|
"serve": "serve -n -L -p 8080 -c ../serve.mt.json dest"
|
|
26
23
|
},
|
|
27
24
|
"jest": {
|
|
@@ -62,14 +59,14 @@
|
|
|
62
59
|
]
|
|
63
60
|
},
|
|
64
61
|
"dependencies": {
|
|
65
|
-
"@aztec/bb.js": "3.0.0-nightly.
|
|
66
|
-
"@aztec/constants": "3.0.0-nightly.
|
|
67
|
-
"@aztec/foundation": "3.0.0-nightly.
|
|
68
|
-
"@aztec/noir-noir_codegen": "3.0.0-nightly.
|
|
69
|
-
"@aztec/noir-noir_js": "3.0.0-nightly.
|
|
70
|
-
"@aztec/noir-noirc_abi": "3.0.0-nightly.
|
|
71
|
-
"@aztec/noir-types": "3.0.0-nightly.
|
|
72
|
-
"@aztec/stdlib": "3.0.0-nightly.
|
|
62
|
+
"@aztec/bb.js": "3.0.0-nightly.20251118",
|
|
63
|
+
"@aztec/constants": "3.0.0-nightly.20251118",
|
|
64
|
+
"@aztec/foundation": "3.0.0-nightly.20251118",
|
|
65
|
+
"@aztec/noir-noir_codegen": "3.0.0-nightly.20251118",
|
|
66
|
+
"@aztec/noir-noir_js": "3.0.0-nightly.20251118",
|
|
67
|
+
"@aztec/noir-noirc_abi": "3.0.0-nightly.20251118",
|
|
68
|
+
"@aztec/noir-types": "3.0.0-nightly.20251118",
|
|
69
|
+
"@aztec/stdlib": "3.0.0-nightly.20251118",
|
|
73
70
|
"change-case": "^5.4.4",
|
|
74
71
|
"pako": "^2.1.0",
|
|
75
72
|
"playwright": "1.49.0",
|
|
@@ -77,13 +74,13 @@
|
|
|
77
74
|
"tslib": "^2.4.0"
|
|
78
75
|
},
|
|
79
76
|
"devDependencies": {
|
|
80
|
-
"@aztec/bb-prover": "3.0.0-nightly.
|
|
81
|
-
"@aztec/kv-store": "3.0.0-nightly.
|
|
82
|
-
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.
|
|
83
|
-
"@aztec/noir-test-contracts.js": "3.0.0-nightly.
|
|
84
|
-
"@aztec/simulator": "3.0.0-nightly.
|
|
85
|
-
"@aztec/telemetry-client": "3.0.0-nightly.
|
|
86
|
-
"@aztec/world-state": "3.0.0-nightly.
|
|
77
|
+
"@aztec/bb-prover": "3.0.0-nightly.20251118",
|
|
78
|
+
"@aztec/kv-store": "3.0.0-nightly.20251118",
|
|
79
|
+
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251118",
|
|
80
|
+
"@aztec/noir-test-contracts.js": "3.0.0-nightly.20251118",
|
|
81
|
+
"@aztec/simulator": "3.0.0-nightly.20251118",
|
|
82
|
+
"@aztec/telemetry-client": "3.0.0-nightly.20251118",
|
|
83
|
+
"@aztec/world-state": "3.0.0-nightly.20251118",
|
|
87
84
|
"@jest/globals": "^30.0.0",
|
|
88
85
|
"@playwright/test": "1.49.0",
|
|
89
86
|
"@types/jest": "^30.0.0",
|