@aztec-labs/stdlib 6.1.0-nightly.20261023 → 6.1.0-nightly.20261024

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