@aztec-labs/stdlib 6.0.0-nightly.20261007 → 6.0.0-rc.2

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 (2) hide show
  1. package/dest/avm/avm.d.ts +210 -210
  2. package/package.json +5 -5
package/dest/avm/avm.d.ts CHANGED
@@ -237,28 +237,28 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
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
239
  leaf: z.ZodPipe<z.ZodObject<{
240
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
241
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
242
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
243
- slot: Fr;
244
- value: Fr;
240
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
241
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
242
+ nullifier: Fr;
245
243
  }>>;
246
244
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
247
245
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
248
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
249
- leaf: PublicDataTreeLeaf;
246
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
247
+ leaf: NullifierLeaf;
250
248
  nextKey: Fr;
251
249
  nextIndex: bigint;
252
250
  }>> | z.ZodPipe<z.ZodObject<{
253
251
  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;
252
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
253
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
254
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
255
+ slot: Fr;
256
+ value: Fr;
257
257
  }>>;
258
258
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
259
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;
260
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
261
+ leaf: PublicDataTreeLeaf;
262
262
  nextKey: Fr;
263
263
  nextIndex: bigint;
264
264
  }>>;
@@ -299,28 +299,28 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
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
301
  leaf: z.ZodPipe<z.ZodObject<{
302
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
303
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
304
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
305
- slot: Fr;
306
- value: Fr;
302
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
303
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
304
+ nullifier: Fr;
307
305
  }>>;
308
306
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
309
307
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
310
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
311
- leaf: PublicDataTreeLeaf;
308
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
309
+ leaf: NullifierLeaf;
312
310
  nextKey: Fr;
313
311
  nextIndex: bigint;
314
312
  }>> | z.ZodPipe<z.ZodObject<{
315
313
  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;
314
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
315
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
316
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
317
+ slot: Fr;
318
+ value: Fr;
319
319
  }>>;
320
320
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
321
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;
322
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
323
+ leaf: PublicDataTreeLeaf;
324
324
  nextKey: Fr;
325
325
  nextIndex: bigint;
326
326
  }>>;
@@ -418,18 +418,30 @@ 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<{
421
425
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
422
426
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
423
427
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
424
428
  slot: Fr;
425
429
  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<{
433
445
  leaf: z.ZodPipe<z.ZodObject<{
434
446
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
435
447
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -443,7 +455,12 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
443
455
  leaf: PublicDataTreeLeaf;
444
456
  nextKey: Fr;
445
457
  nextIndex: bigint;
446
- }>> | 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<{
447
464
  leaf: z.ZodPipe<z.ZodObject<{
448
465
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
449
466
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -455,12 +472,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
455
472
  leaf: NullifierLeaf;
456
473
  nextKey: Fr;
457
474
  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<{
475
+ }>> | z.ZodPipe<z.ZodObject<{
464
476
  leaf: z.ZodPipe<z.ZodObject<{
465
477
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
466
478
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -474,18 +486,6 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
474
486
  leaf: PublicDataTreeLeaf;
475
487
  nextKey: Fr;
476
488
  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,18 +574,30 @@ 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<{
577
581
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
578
582
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
579
583
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
580
584
  slot: Fr;
581
585
  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<{
589
601
  leaf: z.ZodPipe<z.ZodObject<{
590
602
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
591
603
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -599,7 +611,12 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
599
611
  leaf: PublicDataTreeLeaf;
600
612
  nextKey: Fr;
601
613
  nextIndex: bigint;
602
- }>> | 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<{
603
620
  leaf: z.ZodPipe<z.ZodObject<{
604
621
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
605
622
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -611,12 +628,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
611
628
  leaf: NullifierLeaf;
612
629
  nextKey: Fr;
613
630
  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<{
631
+ }>> | z.ZodPipe<z.ZodObject<{
620
632
  leaf: z.ZodPipe<z.ZodObject<{
621
633
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
622
634
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -630,18 +642,6 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
630
642
  leaf: PublicDataTreeLeaf;
631
643
  nextKey: Fr;
632
644
  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>>;
@@ -1459,28 +1459,28 @@ export declare class AvmExecutionHints {
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
1461
  leaf: z.ZodPipe<z.ZodObject<{
1462
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1463
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1464
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1465
- slot: Fr;
1466
- value: Fr;
1462
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1463
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1464
+ nullifier: Fr;
1467
1465
  }>>;
1468
1466
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1469
1467
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1470
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
1471
- leaf: PublicDataTreeLeaf;
1468
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1469
+ leaf: NullifierLeaf;
1472
1470
  nextKey: Fr;
1473
1471
  nextIndex: bigint;
1474
1472
  }>> | z.ZodPipe<z.ZodObject<{
1475
1473
  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;
1474
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1475
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1476
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1477
+ slot: Fr;
1478
+ value: Fr;
1479
1479
  }>>;
1480
1480
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1481
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;
1482
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
1483
+ leaf: PublicDataTreeLeaf;
1484
1484
  nextKey: Fr;
1485
1485
  nextIndex: bigint;
1486
1486
  }>>;
@@ -1504,28 +1504,28 @@ export declare class AvmExecutionHints {
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
1506
  leaf: z.ZodPipe<z.ZodObject<{
1507
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1508
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1509
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1510
- slot: Fr;
1511
- value: Fr;
1507
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1508
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
1509
+ nullifier: Fr;
1512
1510
  }>>;
1513
1511
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1514
1512
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
1515
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
1516
- leaf: PublicDataTreeLeaf;
1513
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
1514
+ leaf: NullifierLeaf;
1517
1515
  nextKey: Fr;
1518
1516
  nextIndex: bigint;
1519
1517
  }>> | z.ZodPipe<z.ZodObject<{
1520
1518
  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;
1519
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1520
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1521
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1522
+ slot: Fr;
1523
+ value: Fr;
1524
1524
  }>>;
1525
1525
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1526
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;
1527
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
1528
+ leaf: PublicDataTreeLeaf;
1529
1529
  nextKey: Fr;
1530
1530
  nextIndex: bigint;
1531
1531
  }>>;
@@ -1572,18 +1572,30 @@ 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<{
1575
1579
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1576
1580
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1577
1581
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1578
1582
  slot: Fr;
1579
1583
  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<{
1587
1599
  leaf: z.ZodPipe<z.ZodObject<{
1588
1600
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1589
1601
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1597,7 +1609,12 @@ export declare class AvmExecutionHints {
1597
1609
  leaf: PublicDataTreeLeaf;
1598
1610
  nextKey: Fr;
1599
1611
  nextIndex: bigint;
1600
- }>> | 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<{
1601
1618
  leaf: z.ZodPipe<z.ZodObject<{
1602
1619
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1603
1620
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -1609,12 +1626,7 @@ export declare class AvmExecutionHints {
1609
1626
  leaf: NullifierLeaf;
1610
1627
  nextKey: Fr;
1611
1628
  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<{
1629
+ }>> | z.ZodPipe<z.ZodObject<{
1618
1630
  leaf: z.ZodPipe<z.ZodObject<{
1619
1631
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1620
1632
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1628,18 +1640,6 @@ export declare class AvmExecutionHints {
1628
1640
  leaf: PublicDataTreeLeaf;
1629
1641
  nextKey: Fr;
1630
1642
  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,18 +1692,30 @@ 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<{
1695
1699
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1696
1700
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1697
1701
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
1698
1702
  slot: Fr;
1699
1703
  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<{
1707
1719
  leaf: z.ZodPipe<z.ZodObject<{
1708
1720
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1709
1721
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1717,7 +1729,12 @@ export declare class AvmExecutionHints {
1717
1729
  leaf: PublicDataTreeLeaf;
1718
1730
  nextKey: Fr;
1719
1731
  nextIndex: bigint;
1720
- }>> | 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<{
1721
1738
  leaf: z.ZodPipe<z.ZodObject<{
1722
1739
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1723
1740
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -1729,12 +1746,7 @@ export declare class AvmExecutionHints {
1729
1746
  leaf: NullifierLeaf;
1730
1747
  nextKey: Fr;
1731
1748
  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<{
1749
+ }>> | z.ZodPipe<z.ZodObject<{
1738
1750
  leaf: z.ZodPipe<z.ZodObject<{
1739
1751
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
1740
1752
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -1748,18 +1760,6 @@ export declare class AvmExecutionHints {
1748
1760
  leaf: PublicDataTreeLeaf;
1749
1761
  nextKey: Fr;
1750
1762
  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>>;
@@ -2354,28 +2354,28 @@ export declare class AvmCircuitInputs {
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
2356
  leaf: z.ZodPipe<z.ZodObject<{
2357
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2358
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2359
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2360
- slot: Fr;
2361
- value: Fr;
2357
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2358
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2359
+ nullifier: Fr;
2362
2360
  }>>;
2363
2361
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2364
2362
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2365
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
2366
- leaf: PublicDataTreeLeaf;
2363
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2364
+ leaf: NullifierLeaf;
2367
2365
  nextKey: Fr;
2368
2366
  nextIndex: bigint;
2369
2367
  }>> | z.ZodPipe<z.ZodObject<{
2370
2368
  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;
2369
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2370
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2371
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2372
+ slot: Fr;
2373
+ value: Fr;
2374
2374
  }>>;
2375
2375
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2376
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;
2377
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
2378
+ leaf: PublicDataTreeLeaf;
2379
2379
  nextKey: Fr;
2380
2380
  nextIndex: bigint;
2381
2381
  }>>;
@@ -2399,28 +2399,28 @@ export declare class AvmCircuitInputs {
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
2401
  leaf: z.ZodPipe<z.ZodObject<{
2402
- slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2403
- value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2404
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2405
- slot: Fr;
2406
- value: Fr;
2402
+ nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2403
+ }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
2404
+ nullifier: Fr;
2407
2405
  }>>;
2408
2406
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2409
2407
  nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
2410
- }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
2411
- leaf: PublicDataTreeLeaf;
2408
+ }, z.core.$strip>, z.ZodTransform<NullifierLeafPreimage, {
2409
+ leaf: NullifierLeaf;
2412
2410
  nextKey: Fr;
2413
2411
  nextIndex: bigint;
2414
2412
  }>> | z.ZodPipe<z.ZodObject<{
2415
2413
  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;
2414
+ slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2415
+ value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2416
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2417
+ slot: Fr;
2418
+ value: Fr;
2419
2419
  }>>;
2420
2420
  nextKey: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2421
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;
2422
+ }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeafPreimage, {
2423
+ leaf: PublicDataTreeLeaf;
2424
2424
  nextKey: Fr;
2425
2425
  nextIndex: bigint;
2426
2426
  }>>;
@@ -2467,18 +2467,30 @@ 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<{
2470
2474
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2471
2475
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2472
2476
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2473
2477
  slot: Fr;
2474
2478
  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<{
2482
2494
  leaf: z.ZodPipe<z.ZodObject<{
2483
2495
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2484
2496
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2492,7 +2504,12 @@ export declare class AvmCircuitInputs {
2492
2504
  leaf: PublicDataTreeLeaf;
2493
2505
  nextKey: Fr;
2494
2506
  nextIndex: bigint;
2495
- }>> | 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<{
2496
2513
  leaf: z.ZodPipe<z.ZodObject<{
2497
2514
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2498
2515
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -2504,12 +2521,7 @@ export declare class AvmCircuitInputs {
2504
2521
  leaf: NullifierLeaf;
2505
2522
  nextKey: Fr;
2506
2523
  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<{
2524
+ }>> | z.ZodPipe<z.ZodObject<{
2513
2525
  leaf: z.ZodPipe<z.ZodObject<{
2514
2526
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2515
2527
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2523,18 +2535,6 @@ export declare class AvmCircuitInputs {
2523
2535
  leaf: PublicDataTreeLeaf;
2524
2536
  nextKey: Fr;
2525
2537
  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,18 +2587,30 @@ 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<{
2590
2594
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2591
2595
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2592
2596
  }, z.core.$strip>, z.ZodTransform<PublicDataTreeLeaf, {
2593
2597
  slot: Fr;
2594
2598
  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<{
2602
2614
  leaf: z.ZodPipe<z.ZodObject<{
2603
2615
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2604
2616
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2612,7 +2624,12 @@ export declare class AvmCircuitInputs {
2612
2624
  leaf: PublicDataTreeLeaf;
2613
2625
  nextKey: Fr;
2614
2626
  nextIndex: bigint;
2615
- }>> | 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<{
2616
2633
  leaf: z.ZodPipe<z.ZodObject<{
2617
2634
  nullifier: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2618
2635
  }, z.core.$strip>, z.ZodTransform<NullifierLeaf, {
@@ -2624,12 +2641,7 @@ export declare class AvmCircuitInputs {
2624
2641
  leaf: NullifierLeaf;
2625
2642
  nextKey: Fr;
2626
2643
  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<{
2644
+ }>> | z.ZodPipe<z.ZodObject<{
2633
2645
  leaf: z.ZodPipe<z.ZodObject<{
2634
2646
  slot: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
2635
2647
  value: z.ZodType<Fr, string, z.core.$ZodTypeInternals<Fr, string>>;
@@ -2643,18 +2655,6 @@ export declare class AvmCircuitInputs {
2643
2655
  leaf: PublicDataTreeLeaf;
2644
2656
  nextKey: Fr;
2645
2657
  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>>;
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec-labs/stdlib",
3
- "version": "6.0.0-nightly.20261007",
3
+ "version": "6.0.0-rc.2",
4
4
  "type": "module",
5
5
  "inherits": [
6
6
  "../package.common.json",
@@ -94,10 +94,10 @@
94
94
  "@aws-sdk/client-s3": "^3.892.0",
95
95
  "@aztec-foundation/bb.js": "6.0.0-rc.5",
96
96
  "@aztec-foundation/noir-noirc_abi": "6.0.0-rc.5",
97
- "@aztec-labs/blob-lib": "6.0.0-nightly.20261007",
98
- "@aztec-labs/constants": "6.0.0-nightly.20261007",
99
- "@aztec-labs/ethereum": "6.0.0-nightly.20261007",
100
- "@aztec-labs/foundation": "6.0.0-nightly.20261007",
97
+ "@aztec-labs/blob-lib": "6.0.0-rc.2",
98
+ "@aztec-labs/constants": "6.0.0-rc.2",
99
+ "@aztec-labs/ethereum": "6.0.0-rc.2",
100
+ "@aztec-labs/foundation": "6.0.0-rc.2",
101
101
  "@google-cloud/storage": "^7.15.0",
102
102
  "axios": "^1.15.1",
103
103
  "json-stringify-deterministic": "1.0.12",