@aztec/ivc-integration 3.0.0-nightly.20251208 → 3.0.0-nightly.20251210
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/keys/mock_hiding.ivc.vk +0 -0
- package/artifacts/keys/mock_rollup_root_verifier.sol +17 -17
- package/artifacts/mock_hiding.json +34 -34
- package/artifacts/mock_private_kernel_init.json +34 -34
- package/artifacts/mock_private_kernel_inner.json +34 -34
- package/artifacts/mock_private_kernel_reset.json +34 -34
- package/artifacts/mock_private_kernel_tail.json +34 -34
- package/artifacts/mock_rollup_root.json +19 -19
- package/artifacts/mock_rollup_tx_base_private.json +35 -35
- package/artifacts/mock_rollup_tx_base_public.json +39 -39
- package/artifacts/mock_rollup_tx_merge.json +35 -35
- 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": "6085471572883242891",
|
|
4
4
|
"abi": {
|
|
5
5
|
"parameters": [
|
|
6
6
|
{
|
|
@@ -174,7 +174,7 @@
|
|
|
174
174
|
}
|
|
175
175
|
},
|
|
176
176
|
"verificationKey": {
|
|
177
|
-
"bytes": "
|
|
177
|
+
"bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000b77f24fb23bf7e8d870a51d9f8d5ad54ba00000000000000000000000000000000002840d40d573bdd8981c2a8b03770ce0000000000000000000000000000009457c4e81dfb6d5b8662300f053168e11200000000000000000000000000000000001da8102ff72a5478d3176b793708800000000000000000000000000000006781b5168dd340f1938282731b5587a00300000000000000000000000000000000002f469cddf4eb23635cd26caaf123b80000000000000000000000000000004be53a4a37c34255beddef8fd1dfd92cec000000000000000000000000000000000027f39dcc3deb499447f6f3f52872c2000000000000000000000000000000673aa14cee858a9b4671918eff245e206400000000000000000000000000000000002326f1739771bea5c8ab5d4df6f45b000000000000000000000000000000b7439d1fbce5842f0a3c43ad9ad96597cd000000000000000000000000000000000008fa9173a8f1c4ad7893886de9fd700000000000000000000000000000002e4b2385733ba9559d6916ac3ccbe376bd00000000000000000000000000000000000eefdd51a223ac4f479c3f0be979ba00000000000000000000000000000056c9c3b0a437e2de9be2b7eca0563293d4000000000000000000000000000000000009ffeb6be2bbfe5d3d12f43f0bb799000000000000000000000000000000fe8d8edab4be17ffb8d5ba1acb9671309c000000000000000000000000000000000024239b22e656b45192c0868f996174000000000000000000000000000000c34dccf2bea61621044b2b87ebe72d12ba00000000000000000000000000000000000cd2e78409dab204c838f4caced4830000000000000000000000000000000b176bdc826e3fbc7cad86f2d50b15088b000000000000000000000000000000000000a4a38d56ee24c022b3c50381878800000000000000000000000000000093ae5c35847588b23e2b843f831e158c36000000000000000000000000000000000005c4a94414c648cf655a4cf5b63f03000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000c6d348d5e3a1cab5099d21a479fee918ad00000000000000000000000000000000002615ae5917d736d8177b771d6dad44000000000000000000000000000000cb8cdf0dc425ed1af8f4d2118cbd8d07400000000000000000000000000000000000277292dec03a1c18baedeb3d26a141000000000000000000000000000000afb5d8b2d8546bf7b155de65eec547f62200000000000000000000000000000000000b976ec7780fb768c5a4799e82c530000000000000000000000000000000d8de06c26db5ae08d53950e9fd9510631d00000000000000000000000000000000001a6e4efdf4ea0417ec205a87d91dc2000000000000000000000000000000aef62132d4c557bcd642c3f5c7599be45c00000000000000000000000000000000001ced8c9fc6f73a605aa5ff6bf942540000000000000000000000000000002ab25b7a4bd84f43e496fdac0c55e9649c000000000000000000000000000000000009a8772e337657ab62432f025ab24b000000000000000000000000000000afb1e0cbcbf797d2981ed59022faf8a413000000000000000000000000000000000024bebb90e113c01c829dc2089c5d5e000000000000000000000000000000554d4e858d2d80a422b9d36b5ecacf0218000000000000000000000000000000000026185529e409d87a578b86b9a5c71b000000000000000000000000000000c97a0ddc1c9e0aadeb7202eba4aae372a20000000000000000000000000000000000019c9ddcdb888f400cf8a4d59c7c52000000000000000000000000000000f6e42e82242bad9d188381fcc3a4e5628800000000000000000000000000000000000d98afdb09a0bf8c87ec24164a22df0000000000000000000000000000001a87aa2bc2896acb03bd97482284e54590000000000000000000000000000000000025ec9db01643c318797e2f045691ad000000000000000000000000000000e053357045d9f06887fed000a4872e021e000000000000000000000000000000000010b6b728ee05f887eb5072a0d96efa0000000000000000000000000000002ad027826e33f3cd6f661b4a3a8054a5cf000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e70000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef38400000000000000000000000000000000001003c5c1c014e3564823da1f1990d5000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a00000000000000000000000000000000000802351ab025b6622a7a89f389503f00000000000000000000000000000034ebacff8354deeae58ae787022327032a00000000000000000000000000000000002f828ebfd934af58b1f2166591a119000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d127670000000000000000000000000000000000026482ecd6284aef2632045fad1b48000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc100000000000000000000000000000000002c2acd918620eb7a60e91c933e8a0300000000000000000000000000000066f9daeff9dab0868d6569930d5e164a3800000000000000000000000000000000000f48ccc86e68136b261120839c92b3000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea700000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c200200000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b800000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98000000000000000000000000000000000026406050dc8daa136942f1d65e890b000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf10000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf00000000000000000000000000000079e5404fb35948a456a06644371a0e7a750000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c000000000000000000000000000000132966c049b1da20d29197884304f529ae000000000000000000000000000000000003efc785799abd312be0f99f0718b000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff9673619494000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000069e61f9fa7248fed15af7d41e54155aea900000000000000000000000000000000002101cd91dd232436b8e574dc1953d0000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395",
|
|
178
178
|
"fields": [
|
|
179
179
|
"0x0000000000000000000000000000000000000000000000000000000000000015",
|
|
180
180
|
"0x000000000000000000000000000000000000000000000000000000000000001b",
|
|
@@ -235,38 +235,38 @@
|
|
|
235
235
|
"0x000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e7",
|
|
236
236
|
"0x0000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef384",
|
|
237
237
|
"0x00000000000000000000000000000000001003c5c1c014e3564823da1f1990d5",
|
|
238
|
-
"
|
|
239
|
-
"
|
|
240
|
-
"
|
|
241
|
-
"
|
|
242
|
-
"
|
|
243
|
-
"
|
|
244
|
-
"
|
|
245
|
-
"
|
|
246
|
-
"
|
|
247
|
-
"
|
|
248
|
-
"
|
|
249
|
-
"
|
|
250
|
-
"
|
|
251
|
-
"
|
|
252
|
-
"
|
|
253
|
-
"
|
|
254
|
-
"
|
|
255
|
-
"
|
|
256
|
-
"
|
|
257
|
-
"
|
|
258
|
-
"
|
|
259
|
-
"
|
|
260
|
-
"
|
|
261
|
-
"
|
|
262
|
-
"
|
|
263
|
-
"
|
|
264
|
-
"
|
|
265
|
-
"
|
|
266
|
-
"
|
|
267
|
-
"
|
|
268
|
-
"
|
|
269
|
-
"
|
|
238
|
+
"0x000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb",
|
|
239
|
+
"0x0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558",
|
|
240
|
+
"0x000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db",
|
|
241
|
+
"0x000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b",
|
|
242
|
+
"0x0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a",
|
|
243
|
+
"0x00000000000000000000000000000000000802351ab025b6622a7a89f389503f",
|
|
244
|
+
"0x00000000000000000000000000000034ebacff8354deeae58ae787022327032a",
|
|
245
|
+
"0x00000000000000000000000000000000002f828ebfd934af58b1f2166591a119",
|
|
246
|
+
"0x000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d12767",
|
|
247
|
+
"0x0000000000000000000000000000000000026482ecd6284aef2632045fad1b48",
|
|
248
|
+
"0x000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d",
|
|
249
|
+
"0x00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e",
|
|
250
|
+
"0x000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc1",
|
|
251
|
+
"0x00000000000000000000000000000000002c2acd918620eb7a60e91c933e8a03",
|
|
252
|
+
"0x00000000000000000000000000000066f9daeff9dab0868d6569930d5e164a38",
|
|
253
|
+
"0x00000000000000000000000000000000000f48ccc86e68136b261120839c92b3",
|
|
254
|
+
"0x000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea7",
|
|
255
|
+
"0x00000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be",
|
|
256
|
+
"0x000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c2002",
|
|
257
|
+
"0x00000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb",
|
|
258
|
+
"0x0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da",
|
|
259
|
+
"0x00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b8",
|
|
260
|
+
"0x00000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98",
|
|
261
|
+
"0x000000000000000000000000000000000026406050dc8daa136942f1d65e890b",
|
|
262
|
+
"0x000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a",
|
|
263
|
+
"0x00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf1",
|
|
264
|
+
"0x0000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d",
|
|
265
|
+
"0x00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf",
|
|
266
|
+
"0x00000000000000000000000000000079e5404fb35948a456a06644371a0e7a75",
|
|
267
|
+
"0x0000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c",
|
|
268
|
+
"0x000000000000000000000000000000132966c049b1da20d29197884304f529ae",
|
|
269
|
+
"0x000000000000000000000000000000000003efc785799abd312be0f99f0718b0",
|
|
270
270
|
"0x00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d26",
|
|
271
271
|
"0x0000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b3",
|
|
272
272
|
"0x0000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f",
|
|
@@ -292,6 +292,6 @@
|
|
|
292
292
|
"0x000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e",
|
|
293
293
|
"0x00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395"
|
|
294
294
|
],
|
|
295
|
-
"hash": "
|
|
295
|
+
"hash": "128c563d43103aa0d81abdd3625a05dc5e22ce94270e1e78234fcc2c25333288"
|
|
296
296
|
}
|
|
297
297
|
}
|
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.20251210",
|
|
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.20251210",
|
|
63
|
+
"@aztec/constants": "3.0.0-nightly.20251210",
|
|
64
|
+
"@aztec/foundation": "3.0.0-nightly.20251210",
|
|
65
|
+
"@aztec/noir-noir_codegen": "3.0.0-nightly.20251210",
|
|
66
|
+
"@aztec/noir-noir_js": "3.0.0-nightly.20251210",
|
|
67
|
+
"@aztec/noir-noirc_abi": "3.0.0-nightly.20251210",
|
|
68
|
+
"@aztec/noir-types": "3.0.0-nightly.20251210",
|
|
69
|
+
"@aztec/stdlib": "3.0.0-nightly.20251210",
|
|
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.20251210",
|
|
78
|
+
"@aztec/kv-store": "3.0.0-nightly.20251210",
|
|
79
|
+
"@aztec/noir-protocol-circuits-types": "3.0.0-nightly.20251210",
|
|
80
|
+
"@aztec/noir-test-contracts.js": "3.0.0-nightly.20251210",
|
|
81
|
+
"@aztec/simulator": "3.0.0-nightly.20251210",
|
|
82
|
+
"@aztec/telemetry-client": "3.0.0-nightly.20251210",
|
|
83
|
+
"@aztec/world-state": "3.0.0-nightly.20251210",
|
|
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';
|