@aztec/ivc-integration 3.0.0-nightly.20251209 → 3.0.0-nightly.20251211
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 +1 -1
- package/artifacts/app_reader.json +1 -1
- package/artifacts/mock_hiding.json +1 -1
- package/artifacts/mock_private_kernel_init.json +1 -1
- package/artifacts/mock_private_kernel_inner.json +1 -1
- package/artifacts/mock_private_kernel_reset.json +1 -1
- package/artifacts/mock_private_kernel_tail.json +1 -1
- package/artifacts/mock_rollup_root.json +1 -1
- package/artifacts/mock_rollup_tx_base_private.json +1 -1
- package/artifacts/mock_rollup_tx_base_public.json +7 -7
- package/artifacts/mock_rollup_tx_merge.json +1 -1
- package/dest/prove_native.d.ts +2 -2
- package/dest/prove_native.d.ts.map +1 -1
- package/dest/prove_native.js +1 -1
- package/dest/witgen.d.ts +2 -2
- package/dest/witgen.d.ts.map +1 -1
- package/dest/witgen.js +1 -1
- package/package.json +16 -16
- package/src/prove_native.ts +1 -1
- package/src/witgen.ts +1 -1
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"noir_version": "1.0.0-beta.15+1a930357477fc0c210dc5a8960680282d4cfa24e",
|
|
3
|
-
"hash": "
|
|
3
|
+
"hash": "9794856773659019003",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -1297,7 +1297,7 @@
|
|
|
1297
1297
|
}
|
|
1298
1298
|
},
|
|
1299
1299
|
"verificationKey": {
|
|
1300
|
-
"bytes": "
|
|
1300
|
+
"bytes": "0000000000000000000000000000000000000000000000000000000000000017000000000000000000000000000000000000000000000000000000000000001b0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000e21f7af3529338bc06602003d9d92918b5000000000000000000000000000000000015fb1f899d1010a1f1f48b09da0e96000000000000000000000000000000f9ff95a633c636c7e2e57901de9e4227e0000000000000000000000000000000000007d436e0e7b5e9b88d16de9474ac79000000000000000000000000000000f59b3824328425617745be5f6757a3d16200000000000000000000000000000000001772d84eb010e8f6c10fde2a8c61610000000000000000000000000000000004a44ee3096dac0b0723b459b483d8cf00000000000000000000000000000000001ff00d627b4f6daf6e974b8e76fcc8000000000000000000000000000000e9a1adf4975ef84d5173824f2074d0bd320000000000000000000000000000000000051ab0c87e8eea1fb3768f95b8300b000000000000000000000000000000e34b10496abdb7cff36e7937e19a33b7c300000000000000000000000000000000000d68c7a51c30ea242840534c4e3b5b000000000000000000000000000000860d36ebd6346686113b7dd711451081e90000000000000000000000000000000000105388bef196067e8f463feb9711f8000000000000000000000000000000d6cf951e9a7f361441b3b2d525b5f4153e000000000000000000000000000000000010ff17d5e139d5f82475448de014cd00000000000000000000000000000020f1ef48f21d91ec0ca1e7259b711e722600000000000000000000000000000000000d75cfcd0e58ce621d883792a6eab50000000000000000000000000000009783a67e4caf5fe383f2d68ea8010986e3000000000000000000000000000000000003aeeabbff99c3ddc075161225409f0000000000000000000000000000007c0410e4092274e6241477a6c1e713220600000000000000000000000000000000001b0990ce711d6dabcaa4d6665844200000000000000000000000000000000af2a7a470118d2ecc7b7eeb2ff753c6fe00000000000000000000000000000000001482eac81044a8dfa2ae77df605114000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac02300000000000000000000000000000061e710ef63bac16bab2734c836f3417e1b00000000000000000000000000000000002646aeda8efa5995b48c0377d525fa0000000000000000000000000000007a04410e38e66c9fec6a447ce7f04bb6cb000000000000000000000000000000000006a81d80d45856780f40f69d0604840000000000000000000000000000002e1ee4ceeb8fc7cb141e2da8c1ef10b3cc00000000000000000000000000000000000afcf20b7db1f52337279ac8b428f700000000000000000000000000000047eddf1db6a59cc60f793ffa4a91910f5400000000000000000000000000000000000e1813f03061bd268a7c04182ab773000000000000000000000000000000e69f8c63128437fb436d9984388c2561e100000000000000000000000000000000002173be1656d164a93582e3c7b6300a000000000000000000000000000000cb4188773f5e7fe3b7dcb250ac0a0da59600000000000000000000000000000000002124be7a604561f85269ca7e7bf91400000000000000000000000000000022159c1c165f771aceccb363adf41b425f00000000000000000000000000000000001948b57b11fbaad2a6f2a0f3cc196c000000000000000000000000000000dee2bb634d3c8ef9961e19350622b1e3d700000000000000000000000000000000000d7e45875a67d9031a75d51eb5f4df000000000000000000000000000000be00d6de7a63611c615baf57fd9ebc3ce300000000000000000000000000000000002e9bbdd0239344e4cd50789b7772c10000000000000000000000000000000c46384e52b3253008fa8c90e5e717bc08000000000000000000000000000000000015bb34b566f51949614d5264f0016e000000000000000000000000000000ec76dba9292946f00ae4495b801fa82bad0000000000000000000000000000000000049f23ecb6087d25fb46210dae8b67000000000000000000000000000000be82c0eabef1fde3f3dbc0094a64205b9f00000000000000000000000000000000002a554fbf24ed436eed5de1e08e3e88000000000000000000000000000000c1cf3b43eedc3acf0d0bfd47bca39e28ed000000000000000000000000000000000000f73add3b206dbbe42e2091dc160b0000000000000000000000000000006fe931f980562e6136b787e1ec874a2983000000000000000000000000000000000003654bb6fd2f2e95c4a4ffd4882a2c000000000000000000000000000000119d0ad7425a6b29a1e4480a1fb2c20cb2000000000000000000000000000000000000a12092c92061b1df57e788ed47b800000000000000000000000000000097144ec7d3e718a57d131e38489e3d4d6a000000000000000000000000000000000017f254f30da88bc61dbb6554750648000000000000000000000000000000ca2bd03c6831c8ae5359303377ea676e2600000000000000000000000000000000001d46904d9fda4101015cefda895a5f0000000000000000000000000000001cccd2f9056092404f9c1e802a6c88a924000000000000000000000000000000000022c1692b9171a291f4eab622caaa5a000000000000000000000000000000248512fce5c92ec3e87cf06aab886b0593000000000000000000000000000000000002b4d6a52fb22ce40c219c7884fcc0000000000000000000000000000000730bb46cd4422da1c1235d7dd8621fa3de000000000000000000000000000000000014be7d05b292b98105c878bbfaf734000000000000000000000000000000a6bd0f3cd074f0c0fb16270a1ffad6e4e90000000000000000000000000000000000272ba96b9cb7457e49b4345f7f6a400000000000000000000000000000006fe2f0c29d2d2862e1769e44b371e79546000000000000000000000000000000000002e8c307c192f805b19ce5156944d1000000000000000000000000000000e2e5146699da59cccfdbaae9c5bce9f33d00000000000000000000000000000000000a95498981361ded5322fd7490b365000000000000000000000000000000bd90fad8fa1500eb0e9d4fca70a39642bd00000000000000000000000000000000000fa840b833a253d50d6b2c5519af4b0000000000000000000000000000009f6f7da1f895abcf5b63309c8bb0d34cad0000000000000000000000000000000000149bc658613626c45af66eb5bbd5f900000000000000000000000000000010559f5ff4d974e4877f2af485d36abd8f000000000000000000000000000000000003e5bcf79984360d9ba96d8396e5110000000000000000000000000000000d0960ef66a9bf41a81609c3987cbaf6510000000000000000000000000000000000151d66753453dfd82bdee06d1420840000000000000000000000000000004c23feec2b18946ac57738cec875adcc3500000000000000000000000000000000001501a8ffb800abd3727504ed7735b80000000000000000000000000000006748e7e25f5cb61614d9b8c26c8d842f980000000000000000000000000000000000152ebef453acbf5198348b9c8cf05e000000000000000000000000000000439262672b64d066320839e91c355064140000000000000000000000000000000000063268e958105162d3b65cf91b9cae00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000379736cd36bb05503ef55f156d65cae351000000000000000000000000000000000006f2d1de2004b4eef9897326140110000000000000000000000000000000af7b66994e423b3a971573e205b4fe729800000000000000000000000000000000001db82aec6df745cf2d363150c7d389",
|
|
1301
1301
|
"fields": [
|
|
1302
1302
|
"0x0000000000000000000000000000000000000000000000000000000000000017",
|
|
1303
1303
|
"0x000000000000000000000000000000000000000000000000000000000000001b",
|
|
@@ -1306,10 +1306,10 @@
|
|
|
1306
1306
|
"0x000000000000000000000000000000000015fb1f899d1010a1f1f48b09da0e96",
|
|
1307
1307
|
"0x000000000000000000000000000000f9ff95a633c636c7e2e57901de9e4227e0",
|
|
1308
1308
|
"0x000000000000000000000000000000000007d436e0e7b5e9b88d16de9474ac79",
|
|
1309
|
-
"
|
|
1310
|
-
"
|
|
1311
|
-
"
|
|
1312
|
-
"
|
|
1309
|
+
"0x000000000000000000000000000000f59b3824328425617745be5f6757a3d162",
|
|
1310
|
+
"0x00000000000000000000000000000000001772d84eb010e8f6c10fde2a8c6161",
|
|
1311
|
+
"0x0000000000000000000000000000000004a44ee3096dac0b0723b459b483d8cf",
|
|
1312
|
+
"0x00000000000000000000000000000000001ff00d627b4f6daf6e974b8e76fcc8",
|
|
1313
1313
|
"0x000000000000000000000000000000e9a1adf4975ef84d5173824f2074d0bd32",
|
|
1314
1314
|
"0x0000000000000000000000000000000000051ab0c87e8eea1fb3768f95b8300b",
|
|
1315
1315
|
"0x000000000000000000000000000000e34b10496abdb7cff36e7937e19a33b7c3",
|
|
@@ -1415,6 +1415,6 @@
|
|
|
1415
1415
|
"0x000000000000000000000000000000af7b66994e423b3a971573e205b4fe7298",
|
|
1416
1416
|
"0x00000000000000000000000000000000001db82aec6df745cf2d363150c7d389"
|
|
1417
1417
|
],
|
|
1418
|
-
"hash": "
|
|
1418
|
+
"hash": "19b46c1d9e3019dc291df508f17d0df466732dcbf3e62806a100f71bf2a2bcec"
|
|
1419
1419
|
}
|
|
1420
1420
|
}
|
package/dest/prove_native.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { CHONK_PROOF_LENGTH } from '@aztec/constants';
|
|
2
|
-
import { Fr } from '@aztec/foundation/
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import type { Logger } from '@aztec/foundation/log';
|
|
4
4
|
import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
5
5
|
import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
|
|
@@ -13,4 +13,4 @@ export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDire
|
|
|
13
13
|
proof: Fr[];
|
|
14
14
|
publicInputs: AvmCircuitPublicInputs;
|
|
15
15
|
}>;
|
|
16
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
16
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxFQUNkLDBCQUEwQixHQUFFLE9BQWUsR0FDMUMsT0FBTyxDQUFDO0lBQ1QsRUFBRSxFQUFFLHVCQUF1QixDQUFDO0lBQzVCLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNaLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztDQUN0QyxDQUFDLENBc0VEIn0=
|
|
@@ -1 +1 @@
|
|
|
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,
|
|
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,gCAAgC,CAAC;AACpD,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,6 +1,6 @@
|
|
|
1
1
|
import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, generateAvmProof, generateProof, readProofsFromOutputDirectory, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
|
|
2
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
|
-
import { Fr } from '@aztec/foundation/
|
|
3
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
5
5
|
import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
|
|
6
6
|
import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
|
package/dest/witgen.d.ts
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
|
-
import { Fr } from '@aztec/foundation/
|
|
2
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
3
3
|
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
|
4
4
|
import type { RecursiveProof } from '@aztec/stdlib/proofs';
|
|
5
5
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
|
@@ -83,4 +83,4 @@ export declare function mapVerificationKeyToNoir<N extends number>(vk: Verificat
|
|
|
83
83
|
hash: string;
|
|
84
84
|
};
|
|
85
85
|
export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
|
|
86
|
-
//# sourceMappingURL=data:application/json;base64,
|
|
86
|
+
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsb0NBQW9DLEVBQ3BDLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLG9DQUFvQyxDQUFDLENBS3BIO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==
|
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,
|
|
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,gCAAgC,CAAC;AAGpD,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,EACZ,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
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
|
|
2
2
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
3
|
-
import { Fr } from '@aztec/foundation/
|
|
3
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
4
4
|
import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
5
5
|
import { Noir } from '@aztec/noir-noir_js';
|
|
6
6
|
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
|
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.20251211",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"exports": {
|
|
6
6
|
".": "./dest/index.js",
|
|
@@ -59,14 +59,14 @@
|
|
|
59
59
|
]
|
|
60
60
|
},
|
|
61
61
|
"dependencies": {
|
|
62
|
-
"@aztec/bb.js": "3.0.0-nightly.
|
|
63
|
-
"@aztec/constants": "3.0.0-nightly.
|
|
64
|
-
"@aztec/foundation": "3.0.0-nightly.
|
|
65
|
-
"@aztec/noir-noir_codegen": "3.0.0-nightly.
|
|
66
|
-
"@aztec/noir-noir_js": "3.0.0-nightly.
|
|
67
|
-
"@aztec/noir-noirc_abi": "3.0.0-nightly.
|
|
68
|
-
"@aztec/noir-types": "3.0.0-nightly.
|
|
69
|
-
"@aztec/stdlib": "3.0.0-nightly.
|
|
62
|
+
"@aztec/bb.js": "3.0.0-nightly.20251211",
|
|
63
|
+
"@aztec/constants": "3.0.0-nightly.20251211",
|
|
64
|
+
"@aztec/foundation": "3.0.0-nightly.20251211",
|
|
65
|
+
"@aztec/noir-noir_codegen": "3.0.0-nightly.20251211",
|
|
66
|
+
"@aztec/noir-noir_js": "3.0.0-nightly.20251211",
|
|
67
|
+
"@aztec/noir-noirc_abi": "3.0.0-nightly.20251211",
|
|
68
|
+
"@aztec/noir-types": "3.0.0-nightly.20251211",
|
|
69
|
+
"@aztec/stdlib": "3.0.0-nightly.20251211",
|
|
70
70
|
"change-case": "^5.4.4",
|
|
71
71
|
"pako": "^2.1.0",
|
|
72
72
|
"playwright": "1.49.0",
|
|
@@ -74,13 +74,13 @@
|
|
|
74
74
|
"tslib": "^2.4.0"
|
|
75
75
|
},
|
|
76
76
|
"devDependencies": {
|
|
77
|
-
"@aztec/bb-prover": "3.0.0-nightly.
|
|
78
|
-
"@aztec/kv-store": "3.0.0-nightly.
|
|
79
|
-
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.
|
|
80
|
-
"@aztec/noir-test-contracts.js": "3.0.0-nightly.
|
|
81
|
-
"@aztec/simulator": "3.0.0-nightly.
|
|
82
|
-
"@aztec/telemetry-client": "3.0.0-nightly.
|
|
83
|
-
"@aztec/world-state": "3.0.0-nightly.
|
|
77
|
+
"@aztec/bb-prover": "3.0.0-nightly.20251211",
|
|
78
|
+
"@aztec/kv-store": "3.0.0-nightly.20251211",
|
|
79
|
+
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251211",
|
|
80
|
+
"@aztec/noir-test-contracts.js": "3.0.0-nightly.20251211",
|
|
81
|
+
"@aztec/simulator": "3.0.0-nightly.20251211",
|
|
82
|
+
"@aztec/telemetry-client": "3.0.0-nightly.20251211",
|
|
83
|
+
"@aztec/world-state": "3.0.0-nightly.20251211",
|
|
84
84
|
"@jest/globals": "^30.0.0",
|
|
85
85
|
"@playwright/test": "1.49.0",
|
|
86
86
|
"@types/jest": "^30.0.0",
|
package/src/prove_native.ts
CHANGED
|
@@ -18,7 +18,7 @@ import {
|
|
|
18
18
|
NESTED_RECURSIVE_PROOF_LENGTH,
|
|
19
19
|
RECURSIVE_ROLLUP_HONK_PROOF_LENGTH,
|
|
20
20
|
} from '@aztec/constants';
|
|
21
|
-
import { Fr } from '@aztec/foundation/
|
|
21
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
22
22
|
import type { Logger } from '@aztec/foundation/log';
|
|
23
23
|
import { BufferReader } from '@aztec/foundation/serialize';
|
|
24
24
|
import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|
package/src/witgen.ts
CHANGED
|
@@ -4,7 +4,7 @@ import {
|
|
|
4
4
|
MEGA_VK_LENGTH_IN_FIELDS,
|
|
5
5
|
} from '@aztec/constants';
|
|
6
6
|
import { padArrayEnd } from '@aztec/foundation/collection';
|
|
7
|
-
import { Fr } from '@aztec/foundation/
|
|
7
|
+
import { Fr } from '@aztec/foundation/curves/bn254';
|
|
8
8
|
import { applyStringFormatting, createLogger } from '@aztec/foundation/log';
|
|
9
9
|
import { type ForeignCallInput, type ForeignCallOutput, Noir } from '@aztec/noir-noir_js';
|
|
10
10
|
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
|