@aztec-labs/stdlib 6.0.0-nightly.20260909 → 6.0.0-nightly.20260910

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.
Files changed (55) hide show
  1. package/dest/avm/avm.d.ts +210 -210
  2. package/dest/block/body.d.ts +18 -1
  3. package/dest/block/body.d.ts.map +1 -1
  4. package/dest/block/body.js +25 -0
  5. package/dest/block/l2_block_source.d.ts +8 -1
  6. package/dest/block/l2_block_source.d.ts.map +1 -1
  7. package/dest/interfaces/archiver.d.ts +1 -1
  8. package/dest/interfaces/archiver.d.ts.map +1 -1
  9. package/dest/interfaces/archiver.js +7 -0
  10. package/dest/interfaces/aztec-node-admin.d.ts +2 -2
  11. package/dest/interfaces/aztec-node.d.ts +12 -2
  12. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  13. package/dest/interfaces/aztec-node.js +7 -1
  14. package/dest/interfaces/configs.d.ts +7 -7
  15. package/dest/interfaces/configs.d.ts.map +1 -1
  16. package/dest/interfaces/configs.js +2 -2
  17. package/dest/p2p/block_proposal.d.ts +2 -1
  18. package/dest/p2p/block_proposal.d.ts.map +1 -1
  19. package/dest/p2p/checkpoint_proposal.d.ts +2 -1
  20. package/dest/p2p/checkpoint_proposal.d.ts.map +1 -1
  21. package/dest/p2p/wire_compat_fixtures.d.ts +4 -4
  22. package/dest/p2p/wire_compat_fixtures.d.ts.map +1 -1
  23. package/dest/p2p/wire_compat_fixtures.js +5 -4
  24. package/dest/rollup/checkpoint_rollup_public_inputs.d.ts +1 -1
  25. package/dest/rollup/tx_rollup_public_inputs.d.ts +21 -1
  26. package/dest/rollup/tx_rollup_public_inputs.d.ts.map +1 -1
  27. package/dest/rollup/tx_rollup_public_inputs.js +13 -3
  28. package/dest/tests/factories.d.ts +1 -1
  29. package/dest/tests/factories.d.ts.map +1 -1
  30. package/dest/tests/factories.js +2 -1
  31. package/dest/tx/block_header.d.ts +7 -2
  32. package/dest/tx/block_header.d.ts.map +1 -1
  33. package/dest/tx/block_header.js +14 -6
  34. package/dest/tx/index.d.ts +2 -1
  35. package/dest/tx/index.d.ts.map +1 -1
  36. package/dest/tx/index.js +1 -0
  37. package/dest/tx/tx_effect.d.ts +21 -1
  38. package/dest/tx/tx_effect.d.ts.map +1 -1
  39. package/dest/tx/tx_effect.js +62 -2
  40. package/dest/tx/tx_effect_membership.d.ts +94 -0
  41. package/dest/tx/tx_effect_membership.d.ts.map +1 -0
  42. package/dest/tx/tx_effect_membership.js +105 -0
  43. package/package.json +7 -7
  44. package/src/block/body.ts +31 -0
  45. package/src/block/l2_block_source.ts +8 -0
  46. package/src/interfaces/archiver.ts +5 -0
  47. package/src/interfaces/aztec-node.ts +18 -0
  48. package/src/interfaces/configs.ts +7 -7
  49. package/src/p2p/wire_compat_fixtures.ts +5 -4
  50. package/src/rollup/tx_rollup_public_inputs.ts +13 -0
  51. package/src/tests/factories.ts +2 -0
  52. package/src/tx/block_header.ts +13 -0
  53. package/src/tx/index.ts +1 -0
  54. package/src/tx/tx_effect.ts +77 -0
  55. package/src/tx/tx_effect_membership.ts +171 -0
package/dest/avm/avm.d.ts CHANGED
@@ -236,18 +236,6 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
236
236
  }>>;
237
237
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
238
238
  leafPreimage: z.ZodPipe<z.ZodObject<{
239
- leaf: z.ZodPipe<z.ZodObject<{
240
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
241
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
242
- nullifier: Fr;
243
- }>>;
244
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
245
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
246
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
247
- leaf: NullifierLeaf;
248
- nextKey: Fr;
249
- nextIndex: bigint;
250
- }>> | z.ZodPipe<z.ZodObject<{
251
239
  leaf: z.ZodPipe<z.ZodObject<{
252
240
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
253
241
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -261,6 +249,18 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
261
249
  leaf: PublicDataTreeLeaf;
262
250
  nextKey: Fr;
263
251
  nextIndex: bigint;
252
+ }>> | z.ZodPipe<z.ZodObject<{
253
+ leaf: z.ZodPipe<z.ZodObject<{
254
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
255
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
256
+ nullifier: Fr;
257
+ }>>;
258
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
259
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
260
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
261
+ leaf: NullifierLeaf;
262
+ nextKey: Fr;
263
+ nextIndex: bigint;
264
264
  }>>;
265
265
  }, z.core.$strip>, z.ZodTransform<{
266
266
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -298,18 +298,6 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
298
298
  }>>;
299
299
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
300
300
  leafPreimage: z.ZodPipe<z.ZodObject<{
301
- leaf: z.ZodPipe<z.ZodObject<{
302
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
303
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
304
- nullifier: Fr;
305
- }>>;
306
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
307
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
308
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
309
- leaf: NullifierLeaf;
310
- nextKey: Fr;
311
- nextIndex: bigint;
312
- }>> | z.ZodPipe<z.ZodObject<{
313
301
  leaf: z.ZodPipe<z.ZodObject<{
314
302
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
315
303
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -323,6 +311,18 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
323
311
  leaf: PublicDataTreeLeaf;
324
312
  nextKey: Fr;
325
313
  nextIndex: bigint;
314
+ }>> | z.ZodPipe<z.ZodObject<{
315
+ leaf: z.ZodPipe<z.ZodObject<{
316
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
317
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
318
+ nullifier: Fr;
319
+ }>>;
320
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
321
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
322
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
323
+ leaf: NullifierLeaf;
324
+ nextKey: Fr;
325
+ nextIndex: bigint;
326
326
  }>>;
327
327
  }, z.core.$strip>, z.ZodTransform<{
328
328
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -418,30 +418,18 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
418
418
  }>>;
419
419
  treeId: z.ZodNumber;
420
420
  leaf: z.ZodPipe<z.ZodObject<{
421
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
422
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
423
- nullifier: Fr;
424
- }>> | z.ZodPipe<z.ZodObject<{
425
421
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
426
422
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
427
423
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
428
424
  slot: Fr;
429
425
  value: Fr;
426
+ }>> | z.ZodPipe<z.ZodObject<{
427
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
428
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
429
+ nullifier: Fr;
430
430
  }>>;
431
431
  lowLeavesWitnessData: z.ZodObject<{
432
432
  leaf: z.ZodPipe<z.ZodObject<{
433
- leaf: z.ZodPipe<z.ZodObject<{
434
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
435
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
436
- nullifier: Fr;
437
- }>>;
438
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
439
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
440
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
441
- leaf: NullifierLeaf;
442
- nextKey: Fr;
443
- nextIndex: bigint;
444
- }>> | z.ZodPipe<z.ZodObject<{
445
433
  leaf: z.ZodPipe<z.ZodObject<{
446
434
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
447
435
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -455,12 +443,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
455
443
  leaf: PublicDataTreeLeaf;
456
444
  nextKey: Fr;
457
445
  nextIndex: bigint;
458
- }>>;
459
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
460
- path: z.ZodArray<ZodFor<Fr>>;
461
- }, z.core.$strip>;
462
- insertionWitnessData: z.ZodObject<{
463
- leaf: z.ZodPipe<z.ZodObject<{
446
+ }>> | z.ZodPipe<z.ZodObject<{
464
447
  leaf: z.ZodPipe<z.ZodObject<{
465
448
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
466
449
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -472,7 +455,12 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
472
455
  leaf: NullifierLeaf;
473
456
  nextKey: Fr;
474
457
  nextIndex: bigint;
475
- }>> | z.ZodPipe<z.ZodObject<{
458
+ }>>;
459
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
460
+ path: z.ZodArray<ZodFor<Fr>>;
461
+ }, z.core.$strip>;
462
+ insertionWitnessData: z.ZodObject<{
463
+ leaf: z.ZodPipe<z.ZodObject<{
476
464
  leaf: z.ZodPipe<z.ZodObject<{
477
465
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
478
466
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -486,6 +474,18 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
486
474
  leaf: PublicDataTreeLeaf;
487
475
  nextKey: Fr;
488
476
  nextIndex: bigint;
477
+ }>> | z.ZodPipe<z.ZodObject<{
478
+ leaf: z.ZodPipe<z.ZodObject<{
479
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
480
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
481
+ nullifier: Fr;
482
+ }>>;
483
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
484
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
485
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
486
+ leaf: NullifierLeaf;
487
+ nextKey: Fr;
488
+ nextIndex: bigint;
489
489
  }>>;
490
490
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
491
491
  path: z.ZodArray<ZodFor<Fr>>;
@@ -574,30 +574,18 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
574
574
  }>>;
575
575
  treeId: z.ZodNumber;
576
576
  leaf: z.ZodPipe<z.ZodObject<{
577
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
578
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
579
- nullifier: Fr;
580
- }>> | z.ZodPipe<z.ZodObject<{
581
577
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
582
578
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
583
579
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
584
580
  slot: Fr;
585
581
  value: Fr;
582
+ }>> | z.ZodPipe<z.ZodObject<{
583
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
584
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
585
+ nullifier: Fr;
586
586
  }>>;
587
587
  lowLeavesWitnessData: z.ZodObject<{
588
588
  leaf: z.ZodPipe<z.ZodObject<{
589
- leaf: z.ZodPipe<z.ZodObject<{
590
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
591
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
592
- nullifier: Fr;
593
- }>>;
594
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
595
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
596
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
597
- leaf: NullifierLeaf;
598
- nextKey: Fr;
599
- nextIndex: bigint;
600
- }>> | z.ZodPipe<z.ZodObject<{
601
589
  leaf: z.ZodPipe<z.ZodObject<{
602
590
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
603
591
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -611,12 +599,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
611
599
  leaf: PublicDataTreeLeaf;
612
600
  nextKey: Fr;
613
601
  nextIndex: bigint;
614
- }>>;
615
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
616
- path: z.ZodArray<ZodFor<Fr>>;
617
- }, z.core.$strip>;
618
- insertionWitnessData: z.ZodObject<{
619
- leaf: z.ZodPipe<z.ZodObject<{
602
+ }>> | z.ZodPipe<z.ZodObject<{
620
603
  leaf: z.ZodPipe<z.ZodObject<{
621
604
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
622
605
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -628,7 +611,12 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
628
611
  leaf: NullifierLeaf;
629
612
  nextKey: Fr;
630
613
  nextIndex: bigint;
631
- }>> | z.ZodPipe<z.ZodObject<{
614
+ }>>;
615
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
616
+ path: z.ZodArray<ZodFor<Fr>>;
617
+ }, z.core.$strip>;
618
+ insertionWitnessData: z.ZodObject<{
619
+ leaf: z.ZodPipe<z.ZodObject<{
632
620
  leaf: z.ZodPipe<z.ZodObject<{
633
621
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
634
622
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -642,6 +630,18 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
642
630
  leaf: PublicDataTreeLeaf;
643
631
  nextKey: Fr;
644
632
  nextIndex: bigint;
633
+ }>> | z.ZodPipe<z.ZodObject<{
634
+ leaf: z.ZodPipe<z.ZodObject<{
635
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
636
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
637
+ nullifier: Fr;
638
+ }>>;
639
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
640
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
641
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
642
+ leaf: NullifierLeaf;
643
+ nextKey: Fr;
644
+ nextIndex: bigint;
645
645
  }>>;
646
646
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
647
647
  path: z.ZodArray<ZodFor<Fr>>;
@@ -1458,18 +1458,6 @@ export declare class AvmExecutionHints {
1458
1458
  }>>;
1459
1459
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1460
1460
  leafPreimage: z.ZodPipe<z.ZodObject<{
1461
- leaf: z.ZodPipe<z.ZodObject<{
1462
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1463
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1464
- nullifier: Fr;
1465
- }>>;
1466
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1467
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1468
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1469
- leaf: NullifierLeaf;
1470
- nextKey: Fr;
1471
- nextIndex: bigint;
1472
- }>> | z.ZodPipe<z.ZodObject<{
1473
1461
  leaf: z.ZodPipe<z.ZodObject<{
1474
1462
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1475
1463
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1483,6 +1471,18 @@ export declare class AvmExecutionHints {
1483
1471
  leaf: PublicDataTreeLeaf;
1484
1472
  nextKey: Fr;
1485
1473
  nextIndex: bigint;
1474
+ }>> | z.ZodPipe<z.ZodObject<{
1475
+ leaf: z.ZodPipe<z.ZodObject<{
1476
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1477
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1478
+ nullifier: Fr;
1479
+ }>>;
1480
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1481
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1482
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1483
+ leaf: NullifierLeaf;
1484
+ nextKey: Fr;
1485
+ nextIndex: bigint;
1486
1486
  }>>;
1487
1487
  }, z.core.$strip>, z.ZodTransform<{
1488
1488
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -1503,18 +1503,6 @@ export declare class AvmExecutionHints {
1503
1503
  }>>;
1504
1504
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1505
1505
  leafPreimage: z.ZodPipe<z.ZodObject<{
1506
- leaf: z.ZodPipe<z.ZodObject<{
1507
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1508
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1509
- nullifier: Fr;
1510
- }>>;
1511
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1512
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1513
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1514
- leaf: NullifierLeaf;
1515
- nextKey: Fr;
1516
- nextIndex: bigint;
1517
- }>> | z.ZodPipe<z.ZodObject<{
1518
1506
  leaf: z.ZodPipe<z.ZodObject<{
1519
1507
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1520
1508
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1528,6 +1516,18 @@ export declare class AvmExecutionHints {
1528
1516
  leaf: PublicDataTreeLeaf;
1529
1517
  nextKey: Fr;
1530
1518
  nextIndex: bigint;
1519
+ }>> | z.ZodPipe<z.ZodObject<{
1520
+ leaf: z.ZodPipe<z.ZodObject<{
1521
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1522
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1523
+ nullifier: Fr;
1524
+ }>>;
1525
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1526
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1527
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1528
+ leaf: NullifierLeaf;
1529
+ nextKey: Fr;
1530
+ nextIndex: bigint;
1531
1531
  }>>;
1532
1532
  }, z.core.$strip>, z.ZodTransform<{
1533
1533
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -1572,30 +1572,18 @@ export declare class AvmExecutionHints {
1572
1572
  }>>;
1573
1573
  treeId: z.ZodNumber;
1574
1574
  leaf: z.ZodPipe<z.ZodObject<{
1575
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1576
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1577
- nullifier: Fr;
1578
- }>> | z.ZodPipe<z.ZodObject<{
1579
1575
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1580
1576
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1581
1577
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1582
1578
  slot: Fr;
1583
1579
  value: Fr;
1580
+ }>> | z.ZodPipe<z.ZodObject<{
1581
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1582
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1583
+ nullifier: Fr;
1584
1584
  }>>;
1585
1585
  lowLeavesWitnessData: z.ZodObject<{
1586
1586
  leaf: z.ZodPipe<z.ZodObject<{
1587
- leaf: z.ZodPipe<z.ZodObject<{
1588
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1589
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1590
- nullifier: Fr;
1591
- }>>;
1592
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1593
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1594
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1595
- leaf: NullifierLeaf;
1596
- nextKey: Fr;
1597
- nextIndex: bigint;
1598
- }>> | z.ZodPipe<z.ZodObject<{
1599
1587
  leaf: z.ZodPipe<z.ZodObject<{
1600
1588
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1601
1589
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1609,12 +1597,7 @@ export declare class AvmExecutionHints {
1609
1597
  leaf: PublicDataTreeLeaf;
1610
1598
  nextKey: Fr;
1611
1599
  nextIndex: bigint;
1612
- }>>;
1613
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1614
- path: z.ZodArray<ZodFor<Fr>>;
1615
- }, z.core.$strip>;
1616
- insertionWitnessData: z.ZodObject<{
1617
- leaf: z.ZodPipe<z.ZodObject<{
1600
+ }>> | z.ZodPipe<z.ZodObject<{
1618
1601
  leaf: z.ZodPipe<z.ZodObject<{
1619
1602
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1620
1603
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -1626,7 +1609,12 @@ export declare class AvmExecutionHints {
1626
1609
  leaf: NullifierLeaf;
1627
1610
  nextKey: Fr;
1628
1611
  nextIndex: bigint;
1629
- }>> | z.ZodPipe<z.ZodObject<{
1612
+ }>>;
1613
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1614
+ path: z.ZodArray<ZodFor<Fr>>;
1615
+ }, z.core.$strip>;
1616
+ insertionWitnessData: z.ZodObject<{
1617
+ leaf: z.ZodPipe<z.ZodObject<{
1630
1618
  leaf: z.ZodPipe<z.ZodObject<{
1631
1619
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1632
1620
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1640,6 +1628,18 @@ export declare class AvmExecutionHints {
1640
1628
  leaf: PublicDataTreeLeaf;
1641
1629
  nextKey: Fr;
1642
1630
  nextIndex: bigint;
1631
+ }>> | z.ZodPipe<z.ZodObject<{
1632
+ leaf: z.ZodPipe<z.ZodObject<{
1633
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1634
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1635
+ nullifier: Fr;
1636
+ }>>;
1637
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1638
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1639
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1640
+ leaf: NullifierLeaf;
1641
+ nextKey: Fr;
1642
+ nextIndex: bigint;
1643
1643
  }>>;
1644
1644
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1645
1645
  path: z.ZodArray<ZodFor<Fr>>;
@@ -1692,30 +1692,18 @@ export declare class AvmExecutionHints {
1692
1692
  }>>;
1693
1693
  treeId: z.ZodNumber;
1694
1694
  leaf: z.ZodPipe<z.ZodObject<{
1695
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1696
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1697
- nullifier: Fr;
1698
- }>> | z.ZodPipe<z.ZodObject<{
1699
1695
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1700
1696
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1701
1697
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1702
1698
  slot: Fr;
1703
1699
  value: Fr;
1700
+ }>> | z.ZodPipe<z.ZodObject<{
1701
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1702
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1703
+ nullifier: Fr;
1704
1704
  }>>;
1705
1705
  lowLeavesWitnessData: z.ZodObject<{
1706
1706
  leaf: z.ZodPipe<z.ZodObject<{
1707
- leaf: z.ZodPipe<z.ZodObject<{
1708
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1709
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1710
- nullifier: Fr;
1711
- }>>;
1712
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1713
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1714
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1715
- leaf: NullifierLeaf;
1716
- nextKey: Fr;
1717
- nextIndex: bigint;
1718
- }>> | z.ZodPipe<z.ZodObject<{
1719
1707
  leaf: z.ZodPipe<z.ZodObject<{
1720
1708
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1721
1709
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1729,12 +1717,7 @@ export declare class AvmExecutionHints {
1729
1717
  leaf: PublicDataTreeLeaf;
1730
1718
  nextKey: Fr;
1731
1719
  nextIndex: bigint;
1732
- }>>;
1733
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1734
- path: z.ZodArray<ZodFor<Fr>>;
1735
- }, z.core.$strip>;
1736
- insertionWitnessData: z.ZodObject<{
1737
- leaf: z.ZodPipe<z.ZodObject<{
1720
+ }>> | z.ZodPipe<z.ZodObject<{
1738
1721
  leaf: z.ZodPipe<z.ZodObject<{
1739
1722
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1740
1723
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -1746,7 +1729,12 @@ export declare class AvmExecutionHints {
1746
1729
  leaf: NullifierLeaf;
1747
1730
  nextKey: Fr;
1748
1731
  nextIndex: bigint;
1749
- }>> | z.ZodPipe<z.ZodObject<{
1732
+ }>>;
1733
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1734
+ path: z.ZodArray<ZodFor<Fr>>;
1735
+ }, z.core.$strip>;
1736
+ insertionWitnessData: z.ZodObject<{
1737
+ leaf: z.ZodPipe<z.ZodObject<{
1750
1738
  leaf: z.ZodPipe<z.ZodObject<{
1751
1739
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1752
1740
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1760,6 +1748,18 @@ export declare class AvmExecutionHints {
1760
1748
  leaf: PublicDataTreeLeaf;
1761
1749
  nextKey: Fr;
1762
1750
  nextIndex: bigint;
1751
+ }>> | z.ZodPipe<z.ZodObject<{
1752
+ leaf: z.ZodPipe<z.ZodObject<{
1753
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1754
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1755
+ nullifier: Fr;
1756
+ }>>;
1757
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1758
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1759
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1760
+ leaf: NullifierLeaf;
1761
+ nextKey: Fr;
1762
+ nextIndex: bigint;
1763
1763
  }>>;
1764
1764
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1765
1765
  path: z.ZodArray<ZodFor<Fr>>;
@@ -2353,18 +2353,6 @@ export declare class AvmCircuitInputs {
2353
2353
  }>>;
2354
2354
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2355
2355
  leafPreimage: z.ZodPipe<z.ZodObject<{
2356
- leaf: z.ZodPipe<z.ZodObject<{
2357
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2358
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2359
- nullifier: Fr;
2360
- }>>;
2361
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2362
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2363
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2364
- leaf: NullifierLeaf;
2365
- nextKey: Fr;
2366
- nextIndex: bigint;
2367
- }>> | z.ZodPipe<z.ZodObject<{
2368
2356
  leaf: z.ZodPipe<z.ZodObject<{
2369
2357
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2370
2358
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2378,6 +2366,18 @@ export declare class AvmCircuitInputs {
2378
2366
  leaf: PublicDataTreeLeaf;
2379
2367
  nextKey: Fr;
2380
2368
  nextIndex: bigint;
2369
+ }>> | z.ZodPipe<z.ZodObject<{
2370
+ leaf: z.ZodPipe<z.ZodObject<{
2371
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2372
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2373
+ nullifier: Fr;
2374
+ }>>;
2375
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2376
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2377
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2378
+ leaf: NullifierLeaf;
2379
+ nextKey: Fr;
2380
+ nextIndex: bigint;
2381
2381
  }>>;
2382
2382
  }, z.core.$strip>, z.ZodTransform<{
2383
2383
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -2398,18 +2398,6 @@ export declare class AvmCircuitInputs {
2398
2398
  }>>;
2399
2399
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2400
2400
  leafPreimage: z.ZodPipe<z.ZodObject<{
2401
- leaf: z.ZodPipe<z.ZodObject<{
2402
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2403
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2404
- nullifier: Fr;
2405
- }>>;
2406
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2407
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2408
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2409
- leaf: NullifierLeaf;
2410
- nextKey: Fr;
2411
- nextIndex: bigint;
2412
- }>> | z.ZodPipe<z.ZodObject<{
2413
2401
  leaf: z.ZodPipe<z.ZodObject<{
2414
2402
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2415
2403
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2423,6 +2411,18 @@ export declare class AvmCircuitInputs {
2423
2411
  leaf: PublicDataTreeLeaf;
2424
2412
  nextKey: Fr;
2425
2413
  nextIndex: bigint;
2414
+ }>> | z.ZodPipe<z.ZodObject<{
2415
+ leaf: z.ZodPipe<z.ZodObject<{
2416
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2417
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2418
+ nullifier: Fr;
2419
+ }>>;
2420
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2421
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2422
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2423
+ leaf: NullifierLeaf;
2424
+ nextKey: Fr;
2425
+ nextIndex: bigint;
2426
2426
  }>>;
2427
2427
  }, z.core.$strip>, z.ZodTransform<{
2428
2428
  readonly hintKey: AppendOnlyTreeSnapshot;
@@ -2467,30 +2467,18 @@ export declare class AvmCircuitInputs {
2467
2467
  }>>;
2468
2468
  treeId: z.ZodNumber;
2469
2469
  leaf: z.ZodPipe<z.ZodObject<{
2470
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2471
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2472
- nullifier: Fr;
2473
- }>> | z.ZodPipe<z.ZodObject<{
2474
2470
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2475
2471
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2476
2472
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2477
2473
  slot: Fr;
2478
2474
  value: Fr;
2475
+ }>> | z.ZodPipe<z.ZodObject<{
2476
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2477
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2478
+ nullifier: Fr;
2479
2479
  }>>;
2480
2480
  lowLeavesWitnessData: z.ZodObject<{
2481
2481
  leaf: z.ZodPipe<z.ZodObject<{
2482
- leaf: z.ZodPipe<z.ZodObject<{
2483
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2484
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2485
- nullifier: Fr;
2486
- }>>;
2487
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2488
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2489
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2490
- leaf: NullifierLeaf;
2491
- nextKey: Fr;
2492
- nextIndex: bigint;
2493
- }>> | z.ZodPipe<z.ZodObject<{
2494
2482
  leaf: z.ZodPipe<z.ZodObject<{
2495
2483
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2496
2484
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2504,12 +2492,7 @@ export declare class AvmCircuitInputs {
2504
2492
  leaf: PublicDataTreeLeaf;
2505
2493
  nextKey: Fr;
2506
2494
  nextIndex: bigint;
2507
- }>>;
2508
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2509
- path: z.ZodArray<ZodFor<Fr>>;
2510
- }, z.core.$strip>;
2511
- insertionWitnessData: z.ZodObject<{
2512
- leaf: z.ZodPipe<z.ZodObject<{
2495
+ }>> | z.ZodPipe<z.ZodObject<{
2513
2496
  leaf: z.ZodPipe<z.ZodObject<{
2514
2497
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2515
2498
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -2521,7 +2504,12 @@ export declare class AvmCircuitInputs {
2521
2504
  leaf: NullifierLeaf;
2522
2505
  nextKey: Fr;
2523
2506
  nextIndex: bigint;
2524
- }>> | z.ZodPipe<z.ZodObject<{
2507
+ }>>;
2508
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2509
+ path: z.ZodArray<ZodFor<Fr>>;
2510
+ }, z.core.$strip>;
2511
+ insertionWitnessData: z.ZodObject<{
2512
+ leaf: z.ZodPipe<z.ZodObject<{
2525
2513
  leaf: z.ZodPipe<z.ZodObject<{
2526
2514
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2527
2515
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2535,6 +2523,18 @@ export declare class AvmCircuitInputs {
2535
2523
  leaf: PublicDataTreeLeaf;
2536
2524
  nextKey: Fr;
2537
2525
  nextIndex: bigint;
2526
+ }>> | z.ZodPipe<z.ZodObject<{
2527
+ leaf: z.ZodPipe<z.ZodObject<{
2528
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2529
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2530
+ nullifier: Fr;
2531
+ }>>;
2532
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2533
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2534
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2535
+ leaf: NullifierLeaf;
2536
+ nextKey: Fr;
2537
+ nextIndex: bigint;
2538
2538
  }>>;
2539
2539
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2540
2540
  path: z.ZodArray<ZodFor<Fr>>;
@@ -2587,30 +2587,18 @@ export declare class AvmCircuitInputs {
2587
2587
  }>>;
2588
2588
  treeId: z.ZodNumber;
2589
2589
  leaf: z.ZodPipe<z.ZodObject<{
2590
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2591
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2592
- nullifier: Fr;
2593
- }>> | z.ZodPipe<z.ZodObject<{
2594
2590
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2595
2591
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2596
2592
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2597
2593
  slot: Fr;
2598
2594
  value: Fr;
2595
+ }>> | z.ZodPipe<z.ZodObject<{
2596
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2597
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2598
+ nullifier: Fr;
2599
2599
  }>>;
2600
2600
  lowLeavesWitnessData: z.ZodObject<{
2601
2601
  leaf: z.ZodPipe<z.ZodObject<{
2602
- leaf: z.ZodPipe<z.ZodObject<{
2603
- nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2604
- }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2605
- nullifier: Fr;
2606
- }>>;
2607
- nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2608
- nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2609
- }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2610
- leaf: NullifierLeaf;
2611
- nextKey: Fr;
2612
- nextIndex: bigint;
2613
- }>> | z.ZodPipe<z.ZodObject<{
2614
2602
  leaf: z.ZodPipe<z.ZodObject<{
2615
2603
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2616
2604
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2624,12 +2612,7 @@ export declare class AvmCircuitInputs {
2624
2612
  leaf: PublicDataTreeLeaf;
2625
2613
  nextKey: Fr;
2626
2614
  nextIndex: bigint;
2627
- }>>;
2628
- index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2629
- path: z.ZodArray<ZodFor<Fr>>;
2630
- }, z.core.$strip>;
2631
- insertionWitnessData: z.ZodObject<{
2632
- leaf: z.ZodPipe<z.ZodObject<{
2615
+ }>> | z.ZodPipe<z.ZodObject<{
2633
2616
  leaf: z.ZodPipe<z.ZodObject<{
2634
2617
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2635
2618
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -2641,7 +2624,12 @@ export declare class AvmCircuitInputs {
2641
2624
  leaf: NullifierLeaf;
2642
2625
  nextKey: Fr;
2643
2626
  nextIndex: bigint;
2644
- }>> | z.ZodPipe<z.ZodObject<{
2627
+ }>>;
2628
+ index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2629
+ path: z.ZodArray<ZodFor<Fr>>;
2630
+ }, z.core.$strip>;
2631
+ insertionWitnessData: z.ZodObject<{
2632
+ leaf: z.ZodPipe<z.ZodObject<{
2645
2633
  leaf: z.ZodPipe<z.ZodObject<{
2646
2634
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2647
2635
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2655,6 +2643,18 @@ export declare class AvmCircuitInputs {
2655
2643
  leaf: PublicDataTreeLeaf;
2656
2644
  nextKey: Fr;
2657
2645
  nextIndex: bigint;
2646
+ }>> | z.ZodPipe<z.ZodObject<{
2647
+ leaf: z.ZodPipe<z.ZodObject<{
2648
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2649
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2650
+ nullifier: Fr;
2651
+ }>>;
2652
+ nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2653
+ nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2654
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2655
+ leaf: NullifierLeaf;
2656
+ nextKey: Fr;
2657
+ nextIndex: bigint;
2658
2658
  }>>;
2659
2659
  index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2660
2660
  path: z.ZodArray<ZodFor<Fr>>;