@aztec/stdlib 0.82.3 → 0.83.0

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 (129) hide show
  1. package/dest/avm/avm.d.ts +3889 -382
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +64 -18
  4. package/dest/avm/avm_proving_request.d.ts +1610 -66
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/block/l2_block_downloader/l2_block_stream.d.ts +9 -12
  7. package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +1 -1
  8. package/dest/block/l2_block_downloader/l2_block_stream.js +39 -11
  9. package/dest/config/config.d.ts +2 -2
  10. package/dest/config/config.d.ts.map +1 -1
  11. package/dest/config/config.js +4 -5
  12. package/dest/contract/interfaces/node-info.d.ts +2 -2
  13. package/dest/contract/interfaces/node-info.d.ts.map +1 -1
  14. package/dest/contract/interfaces/node-info.js +1 -1
  15. package/dest/interfaces/prover-client.d.ts +3 -3
  16. package/dest/interfaces/prover-client.d.ts.map +1 -1
  17. package/dest/interfaces/prover-client.js +6 -4
  18. package/dest/interfaces/proving-job.d.ts +1610 -66
  19. package/dest/interfaces/proving-job.d.ts.map +1 -1
  20. package/dest/interfaces/pxe.d.ts +7 -6
  21. package/dest/interfaces/pxe.d.ts.map +1 -1
  22. package/dest/interfaces/pxe.js +1 -1
  23. package/dest/keys/derivation.d.ts +1 -1
  24. package/dest/keys/derivation.d.ts.map +1 -1
  25. package/dest/keys/derivation.js +10 -2
  26. package/dest/logs/index.d.ts +2 -1
  27. package/dest/logs/index.d.ts.map +1 -1
  28. package/dest/logs/index.js +2 -1
  29. package/dest/logs/pending_tagged_log.d.ts +17 -0
  30. package/dest/logs/pending_tagged_log.d.ts.map +1 -0
  31. package/dest/logs/pending_tagged_log.js +45 -0
  32. package/dest/logs/{l1_payload/shared_secret_derivation.d.ts → shared_secret_derivation.d.ts} +4 -3
  33. package/dest/logs/shared_secret_derivation.d.ts.map +1 -0
  34. package/dest/logs/{l1_payload/shared_secret_derivation.js → shared_secret_derivation.js} +3 -5
  35. package/dest/logs/tx_scoped_l2_log.d.ts +6 -1
  36. package/dest/logs/tx_scoped_l2_log.d.ts.map +1 -1
  37. package/dest/logs/tx_scoped_l2_log.js +12 -4
  38. package/dest/note/note.d.ts +45 -4
  39. package/dest/note/note.d.ts.map +1 -1
  40. package/dest/note/note.js +51 -4
  41. package/dest/proofs/proof.d.ts.map +1 -1
  42. package/dest/proofs/proof.js +33 -7
  43. package/dest/snapshots/download.js +1 -1
  44. package/dest/snapshots/types.d.ts +4 -4
  45. package/dest/snapshots/types.d.ts.map +1 -1
  46. package/dest/snapshots/types.js +1 -1
  47. package/dest/snapshots/upload.d.ts +1 -1
  48. package/dest/snapshots/upload.d.ts.map +1 -1
  49. package/dest/snapshots/upload.js +1 -1
  50. package/dest/tests/factories.d.ts +10 -2
  51. package/dest/tests/factories.d.ts.map +1 -1
  52. package/dest/tests/factories.js +42 -6
  53. package/dest/tests/mocks.d.ts +2 -1
  54. package/dest/tests/mocks.d.ts.map +1 -1
  55. package/dest/tests/mocks.js +5 -1
  56. package/dest/trees/nullifier_leaf.d.ts +46 -21
  57. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  58. package/dest/trees/nullifier_leaf.js +48 -30
  59. package/dest/trees/nullifier_membership_witness.d.ts +28 -12
  60. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  61. package/dest/trees/protocol_contract_leaf.d.ts +0 -1
  62. package/dest/trees/protocol_contract_leaf.d.ts.map +1 -1
  63. package/dest/trees/protocol_contract_leaf.js +0 -3
  64. package/dest/trees/public_data_leaf.d.ts +46 -25
  65. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  66. package/dest/trees/public_data_leaf.js +35 -30
  67. package/dest/trees/public_data_witness.d.ts +36 -18
  68. package/dest/trees/public_data_witness.d.ts.map +1 -1
  69. package/dest/trees/public_data_witness.js +6 -6
  70. package/dest/versioning/versioning.d.ts +1 -1
  71. package/dest/versioning/versioning.d.ts.map +1 -1
  72. package/dest/versioning/versioning.js +6 -6
  73. package/package.json +6 -7
  74. package/src/avm/avm.ts +74 -20
  75. package/src/block/l2_block_downloader/l2_block_stream.ts +58 -29
  76. package/src/config/config.ts +6 -6
  77. package/src/contract/interfaces/node-info.ts +3 -3
  78. package/src/interfaces/prover-client.ts +9 -7
  79. package/src/interfaces/pxe.ts +14 -7
  80. package/src/keys/derivation.ts +12 -6
  81. package/src/logs/index.ts +2 -1
  82. package/src/logs/pending_tagged_log.ts +43 -0
  83. package/src/logs/{l1_payload/shared_secret_derivation.ts → shared_secret_derivation.ts} +4 -11
  84. package/src/logs/tx_scoped_l2_log.ts +13 -4
  85. package/src/note/note.ts +61 -5
  86. package/src/proofs/proof.ts +39 -5
  87. package/src/snapshots/download.ts +1 -1
  88. package/src/snapshots/types.ts +2 -2
  89. package/src/snapshots/upload.ts +5 -3
  90. package/src/tests/factories.ts +72 -8
  91. package/src/tests/mocks.ts +7 -0
  92. package/src/trees/nullifier_leaf.ts +49 -26
  93. package/src/trees/protocol_contract_leaf.ts +0 -4
  94. package/src/trees/public_data_leaf.ts +31 -29
  95. package/src/trees/public_data_witness.ts +6 -6
  96. package/src/versioning/versioning.ts +8 -14
  97. package/dest/event/event.d.ts +0 -24
  98. package/dest/event/event.d.ts.map +0 -1
  99. package/dest/event/event.js +0 -13
  100. package/dest/event/event_metadata.d.ts +0 -38
  101. package/dest/event/event_metadata.d.ts.map +0 -1
  102. package/dest/event/event_metadata.js +0 -45
  103. package/dest/event/index.d.ts +0 -4
  104. package/dest/event/index.d.ts.map +0 -1
  105. package/dest/event/index.js +0 -3
  106. package/dest/event/l1_event_payload.d.ts +0 -52
  107. package/dest/event/l1_event_payload.d.ts.map +0 -1
  108. package/dest/event/l1_event_payload.js +0 -64
  109. package/dest/logs/l1_payload/encrypted_log_payload.d.ts +0 -50
  110. package/dest/logs/l1_payload/encrypted_log_payload.d.ts.map +0 -1
  111. package/dest/logs/l1_payload/encrypted_log_payload.js +0 -140
  112. package/dest/logs/l1_payload/encryption_util.d.ts +0 -24
  113. package/dest/logs/l1_payload/encryption_util.d.ts.map +0 -1
  114. package/dest/logs/l1_payload/encryption_util.js +0 -46
  115. package/dest/logs/l1_payload/index.d.ts +0 -3
  116. package/dest/logs/l1_payload/index.d.ts.map +0 -1
  117. package/dest/logs/l1_payload/index.js +0 -2
  118. package/dest/logs/l1_payload/payload.d.ts +0 -60
  119. package/dest/logs/l1_payload/payload.d.ts.map +0 -1
  120. package/dest/logs/l1_payload/payload.js +0 -61
  121. package/dest/logs/l1_payload/shared_secret_derivation.d.ts.map +0 -1
  122. package/src/event/event.ts +0 -16
  123. package/src/event/event_metadata.ts +0 -56
  124. package/src/event/index.ts +0 -3
  125. package/src/event/l1_event_payload.ts +0 -87
  126. package/src/logs/l1_payload/encrypted_log_payload.ts +0 -202
  127. package/src/logs/l1_payload/encryption_util.ts +0 -54
  128. package/src/logs/l1_payload/index.ts +0 -2
  129. package/src/logs/l1_payload/payload.ts +0 -73
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -272,39 +272,117 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
272
272
  nextAvailableLeafIndex: string | number | bigint;
273
273
  }>;
274
274
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
275
- leaf: z.ZodType<any, z.ZodTypeDef, any>;
276
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
277
- nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
275
+ leafPreimage: z.ZodEffects<z.ZodObject<{
276
+ leaf: z.ZodEffects<z.ZodObject<{
277
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
278
+ }, "strip", z.ZodTypeAny, {
279
+ nullifier: import("@aztec/foundation/schemas").Fr;
280
+ }, {
281
+ nullifier: string;
282
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
283
+ nullifier: string;
284
+ }>;
285
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
286
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
287
+ }, "strip", z.ZodTypeAny, {
288
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
289
+ nextKey: import("@aztec/foundation/schemas").Fr;
290
+ nextIndex: bigint;
291
+ }, {
292
+ leaf: {
293
+ nullifier: string;
294
+ };
295
+ nextKey: string;
296
+ nextIndex: string | number | bigint;
297
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
298
+ leaf: {
299
+ nullifier: string;
300
+ };
301
+ nextKey: string;
302
+ nextIndex: string | number | bigint;
303
+ }> | z.ZodEffects<z.ZodObject<{
304
+ leaf: z.ZodEffects<z.ZodObject<{
305
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
306
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
307
+ }, "strip", z.ZodTypeAny, {
308
+ value: import("@aztec/foundation/schemas").Fr;
309
+ slot: import("@aztec/foundation/schemas").Fr;
310
+ }, {
311
+ value: string;
312
+ slot: string;
313
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
314
+ value: string;
315
+ slot: string;
316
+ }>;
317
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
318
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
319
+ }, "strip", z.ZodTypeAny, {
320
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
321
+ nextKey: import("@aztec/foundation/schemas").Fr;
322
+ nextIndex: bigint;
323
+ }, {
324
+ leaf: {
325
+ value: string;
326
+ slot: string;
327
+ };
328
+ nextKey: string;
329
+ nextIndex: string | number | bigint;
330
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
331
+ leaf: {
332
+ value: string;
333
+ slot: string;
334
+ };
335
+ nextKey: string;
336
+ nextIndex: string | number | bigint;
337
+ }>;
278
338
  }, "strip", z.ZodTypeAny, {
279
339
  index: bigint;
280
- nextIndex: bigint;
281
340
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
282
- nextValue: import("@aztec/foundation/schemas").Fr;
283
- leaf?: any;
341
+ leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
284
342
  }, {
285
343
  index: string | number | bigint;
286
- nextIndex: string | number | bigint;
287
344
  hintKey: {
288
345
  root: string;
289
346
  nextAvailableLeafIndex: string | number | bigint;
290
347
  };
291
- nextValue: string;
292
- leaf?: any;
348
+ leafPreimage: {
349
+ leaf: {
350
+ nullifier: string;
351
+ };
352
+ nextKey: string;
353
+ nextIndex: string | number | bigint;
354
+ } | {
355
+ leaf: {
356
+ value: string;
357
+ slot: string;
358
+ };
359
+ nextKey: string;
360
+ nextIndex: string | number | bigint;
361
+ };
293
362
  }>, {
294
363
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
295
364
  readonly index: bigint;
296
- readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
297
- readonly nextIndex: bigint;
298
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
365
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
299
366
  }, {
300
367
  index: string | number | bigint;
301
- nextIndex: string | number | bigint;
302
368
  hintKey: {
303
369
  root: string;
304
370
  nextAvailableLeafIndex: string | number | bigint;
305
371
  };
306
- nextValue: string;
307
- leaf?: any;
372
+ leafPreimage: {
373
+ leaf: {
374
+ nullifier: string;
375
+ };
376
+ nextKey: string;
377
+ nextIndex: string | number | bigint;
378
+ } | {
379
+ leaf: {
380
+ value: string;
381
+ slot: string;
382
+ };
383
+ nextKey: string;
384
+ nextIndex: string | number | bigint;
385
+ };
308
386
  }>, "many">;
309
387
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
310
388
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -321,39 +399,117 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
321
399
  nextAvailableLeafIndex: string | number | bigint;
322
400
  }>;
323
401
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
324
- leaf: z.ZodType<any, z.ZodTypeDef, any>;
325
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
326
- nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
402
+ leafPreimage: z.ZodEffects<z.ZodObject<{
403
+ leaf: z.ZodEffects<z.ZodObject<{
404
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
405
+ }, "strip", z.ZodTypeAny, {
406
+ nullifier: import("@aztec/foundation/schemas").Fr;
407
+ }, {
408
+ nullifier: string;
409
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
410
+ nullifier: string;
411
+ }>;
412
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
413
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
414
+ }, "strip", z.ZodTypeAny, {
415
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
416
+ nextKey: import("@aztec/foundation/schemas").Fr;
417
+ nextIndex: bigint;
418
+ }, {
419
+ leaf: {
420
+ nullifier: string;
421
+ };
422
+ nextKey: string;
423
+ nextIndex: string | number | bigint;
424
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
425
+ leaf: {
426
+ nullifier: string;
427
+ };
428
+ nextKey: string;
429
+ nextIndex: string | number | bigint;
430
+ }> | z.ZodEffects<z.ZodObject<{
431
+ leaf: z.ZodEffects<z.ZodObject<{
432
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
433
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
434
+ }, "strip", z.ZodTypeAny, {
435
+ value: import("@aztec/foundation/schemas").Fr;
436
+ slot: import("@aztec/foundation/schemas").Fr;
437
+ }, {
438
+ value: string;
439
+ slot: string;
440
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
441
+ value: string;
442
+ slot: string;
443
+ }>;
444
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
445
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
446
+ }, "strip", z.ZodTypeAny, {
447
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
448
+ nextKey: import("@aztec/foundation/schemas").Fr;
449
+ nextIndex: bigint;
450
+ }, {
451
+ leaf: {
452
+ value: string;
453
+ slot: string;
454
+ };
455
+ nextKey: string;
456
+ nextIndex: string | number | bigint;
457
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
458
+ leaf: {
459
+ value: string;
460
+ slot: string;
461
+ };
462
+ nextKey: string;
463
+ nextIndex: string | number | bigint;
464
+ }>;
327
465
  }, "strip", z.ZodTypeAny, {
328
466
  index: bigint;
329
- nextIndex: bigint;
330
467
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
331
- nextValue: import("@aztec/foundation/schemas").Fr;
332
- leaf?: any;
468
+ leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
333
469
  }, {
334
470
  index: string | number | bigint;
335
- nextIndex: string | number | bigint;
336
471
  hintKey: {
337
472
  root: string;
338
473
  nextAvailableLeafIndex: string | number | bigint;
339
474
  };
340
- nextValue: string;
341
- leaf?: any;
475
+ leafPreimage: {
476
+ leaf: {
477
+ nullifier: string;
478
+ };
479
+ nextKey: string;
480
+ nextIndex: string | number | bigint;
481
+ } | {
482
+ leaf: {
483
+ value: string;
484
+ slot: string;
485
+ };
486
+ nextKey: string;
487
+ nextIndex: string | number | bigint;
488
+ };
342
489
  }>, {
343
490
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
344
491
  readonly index: bigint;
345
- readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
346
- readonly nextIndex: bigint;
347
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
492
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
348
493
  }, {
349
494
  index: string | number | bigint;
350
- nextIndex: string | number | bigint;
351
495
  hintKey: {
352
496
  root: string;
353
497
  nextAvailableLeafIndex: string | number | bigint;
354
498
  };
355
- nextValue: string;
356
- leaf?: any;
499
+ leafPreimage: {
500
+ leaf: {
501
+ nullifier: string;
502
+ };
503
+ nextKey: string;
504
+ nextIndex: string | number | bigint;
505
+ } | {
506
+ leaf: {
507
+ value: string;
508
+ slot: string;
509
+ };
510
+ nextKey: string;
511
+ nextIndex: string | number | bigint;
512
+ };
357
513
  }>, "many">;
358
514
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
359
515
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -394,6 +550,726 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
394
550
  };
395
551
  treeId: number;
396
552
  }>, "many">;
553
+ sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
554
+ hintKey: z.ZodEffects<z.ZodObject<{
555
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
556
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
557
+ }, "strip", z.ZodTypeAny, {
558
+ root: import("@aztec/foundation/schemas").Fr;
559
+ nextAvailableLeafIndex: number;
560
+ }, {
561
+ root: string;
562
+ nextAvailableLeafIndex: string | number | bigint;
563
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
564
+ root: string;
565
+ nextAvailableLeafIndex: string | number | bigint;
566
+ }>;
567
+ stateAfter: z.ZodEffects<z.ZodObject<{
568
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
569
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
570
+ }, "strip", z.ZodTypeAny, {
571
+ root: import("@aztec/foundation/schemas").Fr;
572
+ nextAvailableLeafIndex: number;
573
+ }, {
574
+ root: string;
575
+ nextAvailableLeafIndex: string | number | bigint;
576
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
577
+ root: string;
578
+ nextAvailableLeafIndex: string | number | bigint;
579
+ }>;
580
+ treeId: z.ZodNumber;
581
+ leaf: z.ZodEffects<z.ZodObject<{
582
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
583
+ }, "strip", z.ZodTypeAny, {
584
+ nullifier: import("@aztec/foundation/schemas").Fr;
585
+ }, {
586
+ nullifier: string;
587
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
588
+ nullifier: string;
589
+ }> | z.ZodEffects<z.ZodObject<{
590
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
591
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
592
+ }, "strip", z.ZodTypeAny, {
593
+ value: import("@aztec/foundation/schemas").Fr;
594
+ slot: import("@aztec/foundation/schemas").Fr;
595
+ }, {
596
+ value: string;
597
+ slot: string;
598
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
599
+ value: string;
600
+ slot: string;
601
+ }>;
602
+ lowLeavesWitnessData: z.ZodObject<{
603
+ leaf: z.ZodEffects<z.ZodObject<{
604
+ leaf: z.ZodEffects<z.ZodObject<{
605
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
606
+ }, "strip", z.ZodTypeAny, {
607
+ nullifier: import("@aztec/foundation/schemas").Fr;
608
+ }, {
609
+ nullifier: string;
610
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
611
+ nullifier: string;
612
+ }>;
613
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
614
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
615
+ }, "strip", z.ZodTypeAny, {
616
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
617
+ nextKey: import("@aztec/foundation/schemas").Fr;
618
+ nextIndex: bigint;
619
+ }, {
620
+ leaf: {
621
+ nullifier: string;
622
+ };
623
+ nextKey: string;
624
+ nextIndex: string | number | bigint;
625
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
626
+ leaf: {
627
+ nullifier: string;
628
+ };
629
+ nextKey: string;
630
+ nextIndex: string | number | bigint;
631
+ }> | z.ZodEffects<z.ZodObject<{
632
+ leaf: z.ZodEffects<z.ZodObject<{
633
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
634
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
635
+ }, "strip", z.ZodTypeAny, {
636
+ value: import("@aztec/foundation/schemas").Fr;
637
+ slot: import("@aztec/foundation/schemas").Fr;
638
+ }, {
639
+ value: string;
640
+ slot: string;
641
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
642
+ value: string;
643
+ slot: string;
644
+ }>;
645
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
646
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
647
+ }, "strip", z.ZodTypeAny, {
648
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
649
+ nextKey: import("@aztec/foundation/schemas").Fr;
650
+ nextIndex: bigint;
651
+ }, {
652
+ leaf: {
653
+ value: string;
654
+ slot: string;
655
+ };
656
+ nextKey: string;
657
+ nextIndex: string | number | bigint;
658
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
659
+ leaf: {
660
+ value: string;
661
+ slot: string;
662
+ };
663
+ nextKey: string;
664
+ nextIndex: string | number | bigint;
665
+ }>;
666
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
667
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
668
+ }, "strip", z.ZodTypeAny, {
669
+ path: import("@aztec/foundation/schemas").Fr[];
670
+ index: bigint;
671
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
672
+ }, {
673
+ path: string[];
674
+ index: string | number | bigint;
675
+ leaf: {
676
+ leaf: {
677
+ nullifier: string;
678
+ };
679
+ nextKey: string;
680
+ nextIndex: string | number | bigint;
681
+ } | {
682
+ leaf: {
683
+ value: string;
684
+ slot: string;
685
+ };
686
+ nextKey: string;
687
+ nextIndex: string | number | bigint;
688
+ };
689
+ }>;
690
+ insertionWitnessData: z.ZodObject<{
691
+ leaf: z.ZodEffects<z.ZodObject<{
692
+ leaf: z.ZodEffects<z.ZodObject<{
693
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
694
+ }, "strip", z.ZodTypeAny, {
695
+ nullifier: import("@aztec/foundation/schemas").Fr;
696
+ }, {
697
+ nullifier: string;
698
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
699
+ nullifier: string;
700
+ }>;
701
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
702
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
703
+ }, "strip", z.ZodTypeAny, {
704
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
705
+ nextKey: import("@aztec/foundation/schemas").Fr;
706
+ nextIndex: bigint;
707
+ }, {
708
+ leaf: {
709
+ nullifier: string;
710
+ };
711
+ nextKey: string;
712
+ nextIndex: string | number | bigint;
713
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
714
+ leaf: {
715
+ nullifier: string;
716
+ };
717
+ nextKey: string;
718
+ nextIndex: string | number | bigint;
719
+ }> | z.ZodEffects<z.ZodObject<{
720
+ leaf: z.ZodEffects<z.ZodObject<{
721
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
722
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
723
+ }, "strip", z.ZodTypeAny, {
724
+ value: import("@aztec/foundation/schemas").Fr;
725
+ slot: import("@aztec/foundation/schemas").Fr;
726
+ }, {
727
+ value: string;
728
+ slot: string;
729
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
730
+ value: string;
731
+ slot: string;
732
+ }>;
733
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
734
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
735
+ }, "strip", z.ZodTypeAny, {
736
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
737
+ nextKey: import("@aztec/foundation/schemas").Fr;
738
+ nextIndex: bigint;
739
+ }, {
740
+ leaf: {
741
+ value: string;
742
+ slot: string;
743
+ };
744
+ nextKey: string;
745
+ nextIndex: string | number | bigint;
746
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
747
+ leaf: {
748
+ value: string;
749
+ slot: string;
750
+ };
751
+ nextKey: string;
752
+ nextIndex: string | number | bigint;
753
+ }>;
754
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
755
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
756
+ }, "strip", z.ZodTypeAny, {
757
+ path: import("@aztec/foundation/schemas").Fr[];
758
+ index: bigint;
759
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
760
+ }, {
761
+ path: string[];
762
+ index: string | number | bigint;
763
+ leaf: {
764
+ leaf: {
765
+ nullifier: string;
766
+ };
767
+ nextKey: string;
768
+ nextIndex: string | number | bigint;
769
+ } | {
770
+ leaf: {
771
+ value: string;
772
+ slot: string;
773
+ };
774
+ nextKey: string;
775
+ nextIndex: string | number | bigint;
776
+ };
777
+ }>;
778
+ }, "strip", z.ZodTypeAny, {
779
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
780
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
781
+ treeId: number;
782
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
783
+ lowLeavesWitnessData: {
784
+ path: import("@aztec/foundation/schemas").Fr[];
785
+ index: bigint;
786
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
787
+ };
788
+ insertionWitnessData: {
789
+ path: import("@aztec/foundation/schemas").Fr[];
790
+ index: bigint;
791
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
792
+ };
793
+ }, {
794
+ leaf: {
795
+ nullifier: string;
796
+ } | {
797
+ value: string;
798
+ slot: string;
799
+ };
800
+ hintKey: {
801
+ root: string;
802
+ nextAvailableLeafIndex: string | number | bigint;
803
+ };
804
+ treeId: number;
805
+ stateAfter: {
806
+ root: string;
807
+ nextAvailableLeafIndex: string | number | bigint;
808
+ };
809
+ lowLeavesWitnessData: {
810
+ path: string[];
811
+ index: string | number | bigint;
812
+ leaf: {
813
+ leaf: {
814
+ nullifier: string;
815
+ };
816
+ nextKey: string;
817
+ nextIndex: string | number | bigint;
818
+ } | {
819
+ leaf: {
820
+ value: string;
821
+ slot: string;
822
+ };
823
+ nextKey: string;
824
+ nextIndex: string | number | bigint;
825
+ };
826
+ };
827
+ insertionWitnessData: {
828
+ path: string[];
829
+ index: string | number | bigint;
830
+ leaf: {
831
+ leaf: {
832
+ nullifier: string;
833
+ };
834
+ nextKey: string;
835
+ nextIndex: string | number | bigint;
836
+ } | {
837
+ leaf: {
838
+ value: string;
839
+ slot: string;
840
+ };
841
+ nextKey: string;
842
+ nextIndex: string | number | bigint;
843
+ };
844
+ };
845
+ }>, {
846
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
847
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
848
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
849
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
850
+ readonly lowLeavesWitnessData: {
851
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
852
+ index: bigint;
853
+ path: import("@aztec/foundation/schemas").Fr[];
854
+ };
855
+ readonly insertionWitnessData: {
856
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
857
+ index: bigint;
858
+ path: import("@aztec/foundation/schemas").Fr[];
859
+ };
860
+ }, {
861
+ leaf: {
862
+ nullifier: string;
863
+ } | {
864
+ value: string;
865
+ slot: string;
866
+ };
867
+ hintKey: {
868
+ root: string;
869
+ nextAvailableLeafIndex: string | number | bigint;
870
+ };
871
+ treeId: number;
872
+ stateAfter: {
873
+ root: string;
874
+ nextAvailableLeafIndex: string | number | bigint;
875
+ };
876
+ lowLeavesWitnessData: {
877
+ path: string[];
878
+ index: string | number | bigint;
879
+ leaf: {
880
+ leaf: {
881
+ nullifier: string;
882
+ };
883
+ nextKey: string;
884
+ nextIndex: string | number | bigint;
885
+ } | {
886
+ leaf: {
887
+ value: string;
888
+ slot: string;
889
+ };
890
+ nextKey: string;
891
+ nextIndex: string | number | bigint;
892
+ };
893
+ };
894
+ insertionWitnessData: {
895
+ path: string[];
896
+ index: string | number | bigint;
897
+ leaf: {
898
+ leaf: {
899
+ nullifier: string;
900
+ };
901
+ nextKey: string;
902
+ nextIndex: string | number | bigint;
903
+ } | {
904
+ leaf: {
905
+ value: string;
906
+ slot: string;
907
+ };
908
+ nextKey: string;
909
+ nextIndex: string | number | bigint;
910
+ };
911
+ };
912
+ }>, "many">;
913
+ sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
914
+ hintKey: z.ZodEffects<z.ZodObject<{
915
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
916
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
917
+ }, "strip", z.ZodTypeAny, {
918
+ root: import("@aztec/foundation/schemas").Fr;
919
+ nextAvailableLeafIndex: number;
920
+ }, {
921
+ root: string;
922
+ nextAvailableLeafIndex: string | number | bigint;
923
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
924
+ root: string;
925
+ nextAvailableLeafIndex: string | number | bigint;
926
+ }>;
927
+ stateAfter: z.ZodEffects<z.ZodObject<{
928
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
929
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
930
+ }, "strip", z.ZodTypeAny, {
931
+ root: import("@aztec/foundation/schemas").Fr;
932
+ nextAvailableLeafIndex: number;
933
+ }, {
934
+ root: string;
935
+ nextAvailableLeafIndex: string | number | bigint;
936
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
937
+ root: string;
938
+ nextAvailableLeafIndex: string | number | bigint;
939
+ }>;
940
+ treeId: z.ZodNumber;
941
+ leaf: z.ZodEffects<z.ZodObject<{
942
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
943
+ }, "strip", z.ZodTypeAny, {
944
+ nullifier: import("@aztec/foundation/schemas").Fr;
945
+ }, {
946
+ nullifier: string;
947
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
948
+ nullifier: string;
949
+ }> | z.ZodEffects<z.ZodObject<{
950
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
951
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
952
+ }, "strip", z.ZodTypeAny, {
953
+ value: import("@aztec/foundation/schemas").Fr;
954
+ slot: import("@aztec/foundation/schemas").Fr;
955
+ }, {
956
+ value: string;
957
+ slot: string;
958
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
959
+ value: string;
960
+ slot: string;
961
+ }>;
962
+ lowLeavesWitnessData: z.ZodObject<{
963
+ leaf: z.ZodEffects<z.ZodObject<{
964
+ leaf: z.ZodEffects<z.ZodObject<{
965
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
966
+ }, "strip", z.ZodTypeAny, {
967
+ nullifier: import("@aztec/foundation/schemas").Fr;
968
+ }, {
969
+ nullifier: string;
970
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
971
+ nullifier: string;
972
+ }>;
973
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
974
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
975
+ }, "strip", z.ZodTypeAny, {
976
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
977
+ nextKey: import("@aztec/foundation/schemas").Fr;
978
+ nextIndex: bigint;
979
+ }, {
980
+ leaf: {
981
+ nullifier: string;
982
+ };
983
+ nextKey: string;
984
+ nextIndex: string | number | bigint;
985
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
986
+ leaf: {
987
+ nullifier: string;
988
+ };
989
+ nextKey: string;
990
+ nextIndex: string | number | bigint;
991
+ }> | z.ZodEffects<z.ZodObject<{
992
+ leaf: z.ZodEffects<z.ZodObject<{
993
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
994
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
995
+ }, "strip", z.ZodTypeAny, {
996
+ value: import("@aztec/foundation/schemas").Fr;
997
+ slot: import("@aztec/foundation/schemas").Fr;
998
+ }, {
999
+ value: string;
1000
+ slot: string;
1001
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
1002
+ value: string;
1003
+ slot: string;
1004
+ }>;
1005
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1006
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1007
+ }, "strip", z.ZodTypeAny, {
1008
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1009
+ nextKey: import("@aztec/foundation/schemas").Fr;
1010
+ nextIndex: bigint;
1011
+ }, {
1012
+ leaf: {
1013
+ value: string;
1014
+ slot: string;
1015
+ };
1016
+ nextKey: string;
1017
+ nextIndex: string | number | bigint;
1018
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
1019
+ leaf: {
1020
+ value: string;
1021
+ slot: string;
1022
+ };
1023
+ nextKey: string;
1024
+ nextIndex: string | number | bigint;
1025
+ }>;
1026
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1027
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1028
+ }, "strip", z.ZodTypeAny, {
1029
+ path: import("@aztec/foundation/schemas").Fr[];
1030
+ index: bigint;
1031
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1032
+ }, {
1033
+ path: string[];
1034
+ index: string | number | bigint;
1035
+ leaf: {
1036
+ leaf: {
1037
+ nullifier: string;
1038
+ };
1039
+ nextKey: string;
1040
+ nextIndex: string | number | bigint;
1041
+ } | {
1042
+ leaf: {
1043
+ value: string;
1044
+ slot: string;
1045
+ };
1046
+ nextKey: string;
1047
+ nextIndex: string | number | bigint;
1048
+ };
1049
+ }>;
1050
+ insertionWitnessData: z.ZodObject<{
1051
+ leaf: z.ZodEffects<z.ZodObject<{
1052
+ leaf: z.ZodEffects<z.ZodObject<{
1053
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1054
+ }, "strip", z.ZodTypeAny, {
1055
+ nullifier: import("@aztec/foundation/schemas").Fr;
1056
+ }, {
1057
+ nullifier: string;
1058
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1059
+ nullifier: string;
1060
+ }>;
1061
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1062
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1063
+ }, "strip", z.ZodTypeAny, {
1064
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
1065
+ nextKey: import("@aztec/foundation/schemas").Fr;
1066
+ nextIndex: bigint;
1067
+ }, {
1068
+ leaf: {
1069
+ nullifier: string;
1070
+ };
1071
+ nextKey: string;
1072
+ nextIndex: string | number | bigint;
1073
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
1074
+ leaf: {
1075
+ nullifier: string;
1076
+ };
1077
+ nextKey: string;
1078
+ nextIndex: string | number | bigint;
1079
+ }> | z.ZodEffects<z.ZodObject<{
1080
+ leaf: z.ZodEffects<z.ZodObject<{
1081
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1082
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1083
+ }, "strip", z.ZodTypeAny, {
1084
+ value: import("@aztec/foundation/schemas").Fr;
1085
+ slot: import("@aztec/foundation/schemas").Fr;
1086
+ }, {
1087
+ value: string;
1088
+ slot: string;
1089
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
1090
+ value: string;
1091
+ slot: string;
1092
+ }>;
1093
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1094
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1095
+ }, "strip", z.ZodTypeAny, {
1096
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1097
+ nextKey: import("@aztec/foundation/schemas").Fr;
1098
+ nextIndex: bigint;
1099
+ }, {
1100
+ leaf: {
1101
+ value: string;
1102
+ slot: string;
1103
+ };
1104
+ nextKey: string;
1105
+ nextIndex: string | number | bigint;
1106
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
1107
+ leaf: {
1108
+ value: string;
1109
+ slot: string;
1110
+ };
1111
+ nextKey: string;
1112
+ nextIndex: string | number | bigint;
1113
+ }>;
1114
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1115
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1116
+ }, "strip", z.ZodTypeAny, {
1117
+ path: import("@aztec/foundation/schemas").Fr[];
1118
+ index: bigint;
1119
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1120
+ }, {
1121
+ path: string[];
1122
+ index: string | number | bigint;
1123
+ leaf: {
1124
+ leaf: {
1125
+ nullifier: string;
1126
+ };
1127
+ nextKey: string;
1128
+ nextIndex: string | number | bigint;
1129
+ } | {
1130
+ leaf: {
1131
+ value: string;
1132
+ slot: string;
1133
+ };
1134
+ nextKey: string;
1135
+ nextIndex: string | number | bigint;
1136
+ };
1137
+ }>;
1138
+ }, "strip", z.ZodTypeAny, {
1139
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1140
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1141
+ treeId: number;
1142
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1143
+ lowLeavesWitnessData: {
1144
+ path: import("@aztec/foundation/schemas").Fr[];
1145
+ index: bigint;
1146
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1147
+ };
1148
+ insertionWitnessData: {
1149
+ path: import("@aztec/foundation/schemas").Fr[];
1150
+ index: bigint;
1151
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1152
+ };
1153
+ }, {
1154
+ leaf: {
1155
+ nullifier: string;
1156
+ } | {
1157
+ value: string;
1158
+ slot: string;
1159
+ };
1160
+ hintKey: {
1161
+ root: string;
1162
+ nextAvailableLeafIndex: string | number | bigint;
1163
+ };
1164
+ treeId: number;
1165
+ stateAfter: {
1166
+ root: string;
1167
+ nextAvailableLeafIndex: string | number | bigint;
1168
+ };
1169
+ lowLeavesWitnessData: {
1170
+ path: string[];
1171
+ index: string | number | bigint;
1172
+ leaf: {
1173
+ leaf: {
1174
+ nullifier: string;
1175
+ };
1176
+ nextKey: string;
1177
+ nextIndex: string | number | bigint;
1178
+ } | {
1179
+ leaf: {
1180
+ value: string;
1181
+ slot: string;
1182
+ };
1183
+ nextKey: string;
1184
+ nextIndex: string | number | bigint;
1185
+ };
1186
+ };
1187
+ insertionWitnessData: {
1188
+ path: string[];
1189
+ index: string | number | bigint;
1190
+ leaf: {
1191
+ leaf: {
1192
+ nullifier: string;
1193
+ };
1194
+ nextKey: string;
1195
+ nextIndex: string | number | bigint;
1196
+ } | {
1197
+ leaf: {
1198
+ value: string;
1199
+ slot: string;
1200
+ };
1201
+ nextKey: string;
1202
+ nextIndex: string | number | bigint;
1203
+ };
1204
+ };
1205
+ }>, {
1206
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1207
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1208
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1209
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1210
+ readonly lowLeavesWitnessData: {
1211
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1212
+ index: bigint;
1213
+ path: import("@aztec/foundation/schemas").Fr[];
1214
+ };
1215
+ readonly insertionWitnessData: {
1216
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1217
+ index: bigint;
1218
+ path: import("@aztec/foundation/schemas").Fr[];
1219
+ };
1220
+ }, {
1221
+ leaf: {
1222
+ nullifier: string;
1223
+ } | {
1224
+ value: string;
1225
+ slot: string;
1226
+ };
1227
+ hintKey: {
1228
+ root: string;
1229
+ nextAvailableLeafIndex: string | number | bigint;
1230
+ };
1231
+ treeId: number;
1232
+ stateAfter: {
1233
+ root: string;
1234
+ nextAvailableLeafIndex: string | number | bigint;
1235
+ };
1236
+ lowLeavesWitnessData: {
1237
+ path: string[];
1238
+ index: string | number | bigint;
1239
+ leaf: {
1240
+ leaf: {
1241
+ nullifier: string;
1242
+ };
1243
+ nextKey: string;
1244
+ nextIndex: string | number | bigint;
1245
+ } | {
1246
+ leaf: {
1247
+ value: string;
1248
+ slot: string;
1249
+ };
1250
+ nextKey: string;
1251
+ nextIndex: string | number | bigint;
1252
+ };
1253
+ };
1254
+ insertionWitnessData: {
1255
+ path: string[];
1256
+ index: string | number | bigint;
1257
+ leaf: {
1258
+ leaf: {
1259
+ nullifier: string;
1260
+ };
1261
+ nextKey: string;
1262
+ nextIndex: string | number | bigint;
1263
+ } | {
1264
+ leaf: {
1265
+ value: string;
1266
+ slot: string;
1267
+ };
1268
+ nextKey: string;
1269
+ nextIndex: string | number | bigint;
1270
+ };
1271
+ };
1272
+ }>, "many">;
397
1273
  }, "strip", z.ZodTypeAny, {
398
1274
  enqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
399
1275
  contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
@@ -404,18 +1280,46 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
404
1280
  getLeafPreimageHintsPublicDataTree: {
405
1281
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
406
1282
  readonly index: bigint;
407
- readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
408
- readonly nextIndex: bigint;
409
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
1283
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
410
1284
  }[];
411
1285
  getLeafPreimageHintsNullifierTree: {
412
1286
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
413
1287
  readonly index: bigint;
414
- readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
415
- readonly nextIndex: bigint;
416
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
1288
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
417
1289
  }[];
418
1290
  getLeafValueHints: import("../avm/avm.js").AvmGetLeafValueHint[];
1291
+ sequentialInsertHintsPublicDataTree: {
1292
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1293
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1294
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1295
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1296
+ readonly lowLeavesWitnessData: {
1297
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1298
+ index: bigint;
1299
+ path: import("@aztec/foundation/schemas").Fr[];
1300
+ };
1301
+ readonly insertionWitnessData: {
1302
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1303
+ index: bigint;
1304
+ path: import("@aztec/foundation/schemas").Fr[];
1305
+ };
1306
+ }[];
1307
+ sequentialInsertHintsNullifierTree: {
1308
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1309
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1310
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1311
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1312
+ readonly lowLeavesWitnessData: {
1313
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1314
+ index: bigint;
1315
+ path: import("@aztec/foundation/schemas").Fr[];
1316
+ };
1317
+ readonly insertionWitnessData: {
1318
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1319
+ index: bigint;
1320
+ path: import("@aztec/foundation/schemas").Fr[];
1321
+ };
1322
+ }[];
419
1323
  }, {
420
1324
  enqueuedCalls: {
421
1325
  isStaticCall: boolean;
@@ -471,23 +1375,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
471
1375
  }[];
472
1376
  getLeafPreimageHintsPublicDataTree: {
473
1377
  index: string | number | bigint;
474
- nextIndex: string | number | bigint;
475
1378
  hintKey: {
476
1379
  root: string;
477
1380
  nextAvailableLeafIndex: string | number | bigint;
478
1381
  };
479
- nextValue: string;
480
- leaf?: any;
1382
+ leafPreimage: {
1383
+ leaf: {
1384
+ nullifier: string;
1385
+ };
1386
+ nextKey: string;
1387
+ nextIndex: string | number | bigint;
1388
+ } | {
1389
+ leaf: {
1390
+ value: string;
1391
+ slot: string;
1392
+ };
1393
+ nextKey: string;
1394
+ nextIndex: string | number | bigint;
1395
+ };
481
1396
  }[];
482
1397
  getLeafPreimageHintsNullifierTree: {
483
1398
  index: string | number | bigint;
484
- nextIndex: string | number | bigint;
485
1399
  hintKey: {
486
1400
  root: string;
487
1401
  nextAvailableLeafIndex: string | number | bigint;
488
1402
  };
489
- nextValue: string;
490
- leaf?: any;
1403
+ leafPreimage: {
1404
+ leaf: {
1405
+ nullifier: string;
1406
+ };
1407
+ nextKey: string;
1408
+ nextIndex: string | number | bigint;
1409
+ } | {
1410
+ leaf: {
1411
+ value: string;
1412
+ slot: string;
1413
+ };
1414
+ nextKey: string;
1415
+ nextIndex: string | number | bigint;
1416
+ };
491
1417
  }[];
492
1418
  getLeafValueHints: {
493
1419
  value: string;
@@ -498,6 +1424,112 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
498
1424
  };
499
1425
  treeId: number;
500
1426
  }[];
1427
+ sequentialInsertHintsPublicDataTree: {
1428
+ leaf: {
1429
+ nullifier: string;
1430
+ } | {
1431
+ value: string;
1432
+ slot: string;
1433
+ };
1434
+ hintKey: {
1435
+ root: string;
1436
+ nextAvailableLeafIndex: string | number | bigint;
1437
+ };
1438
+ treeId: number;
1439
+ stateAfter: {
1440
+ root: string;
1441
+ nextAvailableLeafIndex: string | number | bigint;
1442
+ };
1443
+ lowLeavesWitnessData: {
1444
+ path: string[];
1445
+ index: string | number | bigint;
1446
+ leaf: {
1447
+ leaf: {
1448
+ nullifier: string;
1449
+ };
1450
+ nextKey: string;
1451
+ nextIndex: string | number | bigint;
1452
+ } | {
1453
+ leaf: {
1454
+ value: string;
1455
+ slot: string;
1456
+ };
1457
+ nextKey: string;
1458
+ nextIndex: string | number | bigint;
1459
+ };
1460
+ };
1461
+ insertionWitnessData: {
1462
+ path: string[];
1463
+ index: string | number | bigint;
1464
+ leaf: {
1465
+ leaf: {
1466
+ nullifier: string;
1467
+ };
1468
+ nextKey: string;
1469
+ nextIndex: string | number | bigint;
1470
+ } | {
1471
+ leaf: {
1472
+ value: string;
1473
+ slot: string;
1474
+ };
1475
+ nextKey: string;
1476
+ nextIndex: string | number | bigint;
1477
+ };
1478
+ };
1479
+ }[];
1480
+ sequentialInsertHintsNullifierTree: {
1481
+ leaf: {
1482
+ nullifier: string;
1483
+ } | {
1484
+ value: string;
1485
+ slot: string;
1486
+ };
1487
+ hintKey: {
1488
+ root: string;
1489
+ nextAvailableLeafIndex: string | number | bigint;
1490
+ };
1491
+ treeId: number;
1492
+ stateAfter: {
1493
+ root: string;
1494
+ nextAvailableLeafIndex: string | number | bigint;
1495
+ };
1496
+ lowLeavesWitnessData: {
1497
+ path: string[];
1498
+ index: string | number | bigint;
1499
+ leaf: {
1500
+ leaf: {
1501
+ nullifier: string;
1502
+ };
1503
+ nextKey: string;
1504
+ nextIndex: string | number | bigint;
1505
+ } | {
1506
+ leaf: {
1507
+ value: string;
1508
+ slot: string;
1509
+ };
1510
+ nextKey: string;
1511
+ nextIndex: string | number | bigint;
1512
+ };
1513
+ };
1514
+ insertionWitnessData: {
1515
+ path: string[];
1516
+ index: string | number | bigint;
1517
+ leaf: {
1518
+ leaf: {
1519
+ nullifier: string;
1520
+ };
1521
+ nextKey: string;
1522
+ nextIndex: string | number | bigint;
1523
+ } | {
1524
+ leaf: {
1525
+ value: string;
1526
+ slot: string;
1527
+ };
1528
+ nextKey: string;
1529
+ nextIndex: string | number | bigint;
1530
+ };
1531
+ };
1532
+ }[];
501
1533
  }>, import("../avm/avm.js").AvmExecutionHints, {
502
1534
  enqueuedCalls: {
503
1535
  isStaticCall: boolean;
@@ -553,23 +1585,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
553
1585
  }[];
554
1586
  getLeafPreimageHintsPublicDataTree: {
555
1587
  index: string | number | bigint;
556
- nextIndex: string | number | bigint;
557
1588
  hintKey: {
558
1589
  root: string;
559
1590
  nextAvailableLeafIndex: string | number | bigint;
560
1591
  };
561
- nextValue: string;
562
- leaf?: any;
1592
+ leafPreimage: {
1593
+ leaf: {
1594
+ nullifier: string;
1595
+ };
1596
+ nextKey: string;
1597
+ nextIndex: string | number | bigint;
1598
+ } | {
1599
+ leaf: {
1600
+ value: string;
1601
+ slot: string;
1602
+ };
1603
+ nextKey: string;
1604
+ nextIndex: string | number | bigint;
1605
+ };
563
1606
  }[];
564
1607
  getLeafPreimageHintsNullifierTree: {
565
1608
  index: string | number | bigint;
566
- nextIndex: string | number | bigint;
567
1609
  hintKey: {
568
1610
  root: string;
569
1611
  nextAvailableLeafIndex: string | number | bigint;
570
1612
  };
571
- nextValue: string;
572
- leaf?: any;
1613
+ leafPreimage: {
1614
+ leaf: {
1615
+ nullifier: string;
1616
+ };
1617
+ nextKey: string;
1618
+ nextIndex: string | number | bigint;
1619
+ } | {
1620
+ leaf: {
1621
+ value: string;
1622
+ slot: string;
1623
+ };
1624
+ nextKey: string;
1625
+ nextIndex: string | number | bigint;
1626
+ };
573
1627
  }[];
574
1628
  getLeafValueHints: {
575
1629
  value: string;
@@ -580,6 +1634,112 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
580
1634
  };
581
1635
  treeId: number;
582
1636
  }[];
1637
+ sequentialInsertHintsPublicDataTree: {
1638
+ leaf: {
1639
+ nullifier: string;
1640
+ } | {
1641
+ value: string;
1642
+ slot: string;
1643
+ };
1644
+ hintKey: {
1645
+ root: string;
1646
+ nextAvailableLeafIndex: string | number | bigint;
1647
+ };
1648
+ treeId: number;
1649
+ stateAfter: {
1650
+ root: string;
1651
+ nextAvailableLeafIndex: string | number | bigint;
1652
+ };
1653
+ lowLeavesWitnessData: {
1654
+ path: string[];
1655
+ index: string | number | bigint;
1656
+ leaf: {
1657
+ leaf: {
1658
+ nullifier: string;
1659
+ };
1660
+ nextKey: string;
1661
+ nextIndex: string | number | bigint;
1662
+ } | {
1663
+ leaf: {
1664
+ value: string;
1665
+ slot: string;
1666
+ };
1667
+ nextKey: string;
1668
+ nextIndex: string | number | bigint;
1669
+ };
1670
+ };
1671
+ insertionWitnessData: {
1672
+ path: string[];
1673
+ index: string | number | bigint;
1674
+ leaf: {
1675
+ leaf: {
1676
+ nullifier: string;
1677
+ };
1678
+ nextKey: string;
1679
+ nextIndex: string | number | bigint;
1680
+ } | {
1681
+ leaf: {
1682
+ value: string;
1683
+ slot: string;
1684
+ };
1685
+ nextKey: string;
1686
+ nextIndex: string | number | bigint;
1687
+ };
1688
+ };
1689
+ }[];
1690
+ sequentialInsertHintsNullifierTree: {
1691
+ leaf: {
1692
+ nullifier: string;
1693
+ } | {
1694
+ value: string;
1695
+ slot: string;
1696
+ };
1697
+ hintKey: {
1698
+ root: string;
1699
+ nextAvailableLeafIndex: string | number | bigint;
1700
+ };
1701
+ treeId: number;
1702
+ stateAfter: {
1703
+ root: string;
1704
+ nextAvailableLeafIndex: string | number | bigint;
1705
+ };
1706
+ lowLeavesWitnessData: {
1707
+ path: string[];
1708
+ index: string | number | bigint;
1709
+ leaf: {
1710
+ leaf: {
1711
+ nullifier: string;
1712
+ };
1713
+ nextKey: string;
1714
+ nextIndex: string | number | bigint;
1715
+ } | {
1716
+ leaf: {
1717
+ value: string;
1718
+ slot: string;
1719
+ };
1720
+ nextKey: string;
1721
+ nextIndex: string | number | bigint;
1722
+ };
1723
+ };
1724
+ insertionWitnessData: {
1725
+ path: string[];
1726
+ index: string | number | bigint;
1727
+ leaf: {
1728
+ leaf: {
1729
+ nullifier: string;
1730
+ };
1731
+ nextKey: string;
1732
+ nextIndex: string | number | bigint;
1733
+ } | {
1734
+ leaf: {
1735
+ value: string;
1736
+ slot: string;
1737
+ };
1738
+ nextKey: string;
1739
+ nextIndex: string | number | bigint;
1740
+ };
1741
+ };
1742
+ }[];
583
1743
  }>;
584
1744
  publicInputs: z.ZodEffects<z.ZodObject<{
585
1745
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -1647,23 +2807,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1647
2807
  }[];
1648
2808
  getLeafPreimageHintsPublicDataTree: {
1649
2809
  index: string | number | bigint;
1650
- nextIndex: string | number | bigint;
1651
2810
  hintKey: {
1652
2811
  root: string;
1653
2812
  nextAvailableLeafIndex: string | number | bigint;
1654
2813
  };
1655
- nextValue: string;
1656
- leaf?: any;
2814
+ leafPreimage: {
2815
+ leaf: {
2816
+ nullifier: string;
2817
+ };
2818
+ nextKey: string;
2819
+ nextIndex: string | number | bigint;
2820
+ } | {
2821
+ leaf: {
2822
+ value: string;
2823
+ slot: string;
2824
+ };
2825
+ nextKey: string;
2826
+ nextIndex: string | number | bigint;
2827
+ };
1657
2828
  }[];
1658
2829
  getLeafPreimageHintsNullifierTree: {
1659
2830
  index: string | number | bigint;
1660
- nextIndex: string | number | bigint;
1661
2831
  hintKey: {
1662
2832
  root: string;
1663
2833
  nextAvailableLeafIndex: string | number | bigint;
1664
2834
  };
1665
- nextValue: string;
1666
- leaf?: any;
2835
+ leafPreimage: {
2836
+ leaf: {
2837
+ nullifier: string;
2838
+ };
2839
+ nextKey: string;
2840
+ nextIndex: string | number | bigint;
2841
+ } | {
2842
+ leaf: {
2843
+ value: string;
2844
+ slot: string;
2845
+ };
2846
+ nextKey: string;
2847
+ nextIndex: string | number | bigint;
2848
+ };
1667
2849
  }[];
1668
2850
  getLeafValueHints: {
1669
2851
  value: string;
@@ -1674,6 +2856,112 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1674
2856
  };
1675
2857
  treeId: number;
1676
2858
  }[];
2859
+ sequentialInsertHintsPublicDataTree: {
2860
+ leaf: {
2861
+ nullifier: string;
2862
+ } | {
2863
+ value: string;
2864
+ slot: string;
2865
+ };
2866
+ hintKey: {
2867
+ root: string;
2868
+ nextAvailableLeafIndex: string | number | bigint;
2869
+ };
2870
+ treeId: number;
2871
+ stateAfter: {
2872
+ root: string;
2873
+ nextAvailableLeafIndex: string | number | bigint;
2874
+ };
2875
+ lowLeavesWitnessData: {
2876
+ path: string[];
2877
+ index: string | number | bigint;
2878
+ leaf: {
2879
+ leaf: {
2880
+ nullifier: string;
2881
+ };
2882
+ nextKey: string;
2883
+ nextIndex: string | number | bigint;
2884
+ } | {
2885
+ leaf: {
2886
+ value: string;
2887
+ slot: string;
2888
+ };
2889
+ nextKey: string;
2890
+ nextIndex: string | number | bigint;
2891
+ };
2892
+ };
2893
+ insertionWitnessData: {
2894
+ path: string[];
2895
+ index: string | number | bigint;
2896
+ leaf: {
2897
+ leaf: {
2898
+ nullifier: string;
2899
+ };
2900
+ nextKey: string;
2901
+ nextIndex: string | number | bigint;
2902
+ } | {
2903
+ leaf: {
2904
+ value: string;
2905
+ slot: string;
2906
+ };
2907
+ nextKey: string;
2908
+ nextIndex: string | number | bigint;
2909
+ };
2910
+ };
2911
+ }[];
2912
+ sequentialInsertHintsNullifierTree: {
2913
+ leaf: {
2914
+ nullifier: string;
2915
+ } | {
2916
+ value: string;
2917
+ slot: string;
2918
+ };
2919
+ hintKey: {
2920
+ root: string;
2921
+ nextAvailableLeafIndex: string | number | bigint;
2922
+ };
2923
+ treeId: number;
2924
+ stateAfter: {
2925
+ root: string;
2926
+ nextAvailableLeafIndex: string | number | bigint;
2927
+ };
2928
+ lowLeavesWitnessData: {
2929
+ path: string[];
2930
+ index: string | number | bigint;
2931
+ leaf: {
2932
+ leaf: {
2933
+ nullifier: string;
2934
+ };
2935
+ nextKey: string;
2936
+ nextIndex: string | number | bigint;
2937
+ } | {
2938
+ leaf: {
2939
+ value: string;
2940
+ slot: string;
2941
+ };
2942
+ nextKey: string;
2943
+ nextIndex: string | number | bigint;
2944
+ };
2945
+ };
2946
+ insertionWitnessData: {
2947
+ path: string[];
2948
+ index: string | number | bigint;
2949
+ leaf: {
2950
+ leaf: {
2951
+ nullifier: string;
2952
+ };
2953
+ nextKey: string;
2954
+ nextIndex: string | number | bigint;
2955
+ } | {
2956
+ leaf: {
2957
+ value: string;
2958
+ slot: string;
2959
+ };
2960
+ nextKey: string;
2961
+ nextIndex: string | number | bigint;
2962
+ };
2963
+ };
2964
+ }[];
1677
2965
  };
1678
2966
  publicInputs: {
1679
2967
  globalVariables: {
@@ -1882,23 +3170,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1882
3170
  }[];
1883
3171
  getLeafPreimageHintsPublicDataTree: {
1884
3172
  index: string | number | bigint;
1885
- nextIndex: string | number | bigint;
1886
3173
  hintKey: {
1887
3174
  root: string;
1888
3175
  nextAvailableLeafIndex: string | number | bigint;
1889
3176
  };
1890
- nextValue: string;
1891
- leaf?: any;
3177
+ leafPreimage: {
3178
+ leaf: {
3179
+ nullifier: string;
3180
+ };
3181
+ nextKey: string;
3182
+ nextIndex: string | number | bigint;
3183
+ } | {
3184
+ leaf: {
3185
+ value: string;
3186
+ slot: string;
3187
+ };
3188
+ nextKey: string;
3189
+ nextIndex: string | number | bigint;
3190
+ };
1892
3191
  }[];
1893
3192
  getLeafPreimageHintsNullifierTree: {
1894
3193
  index: string | number | bigint;
1895
- nextIndex: string | number | bigint;
1896
3194
  hintKey: {
1897
3195
  root: string;
1898
3196
  nextAvailableLeafIndex: string | number | bigint;
1899
3197
  };
1900
- nextValue: string;
1901
- leaf?: any;
3198
+ leafPreimage: {
3199
+ leaf: {
3200
+ nullifier: string;
3201
+ };
3202
+ nextKey: string;
3203
+ nextIndex: string | number | bigint;
3204
+ } | {
3205
+ leaf: {
3206
+ value: string;
3207
+ slot: string;
3208
+ };
3209
+ nextKey: string;
3210
+ nextIndex: string | number | bigint;
3211
+ };
1902
3212
  }[];
1903
3213
  getLeafValueHints: {
1904
3214
  value: string;
@@ -1909,6 +3219,112 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1909
3219
  };
1910
3220
  treeId: number;
1911
3221
  }[];
3222
+ sequentialInsertHintsPublicDataTree: {
3223
+ leaf: {
3224
+ nullifier: string;
3225
+ } | {
3226
+ value: string;
3227
+ slot: string;
3228
+ };
3229
+ hintKey: {
3230
+ root: string;
3231
+ nextAvailableLeafIndex: string | number | bigint;
3232
+ };
3233
+ treeId: number;
3234
+ stateAfter: {
3235
+ root: string;
3236
+ nextAvailableLeafIndex: string | number | bigint;
3237
+ };
3238
+ lowLeavesWitnessData: {
3239
+ path: string[];
3240
+ index: string | number | bigint;
3241
+ leaf: {
3242
+ leaf: {
3243
+ nullifier: string;
3244
+ };
3245
+ nextKey: string;
3246
+ nextIndex: string | number | bigint;
3247
+ } | {
3248
+ leaf: {
3249
+ value: string;
3250
+ slot: string;
3251
+ };
3252
+ nextKey: string;
3253
+ nextIndex: string | number | bigint;
3254
+ };
3255
+ };
3256
+ insertionWitnessData: {
3257
+ path: string[];
3258
+ index: string | number | bigint;
3259
+ leaf: {
3260
+ leaf: {
3261
+ nullifier: string;
3262
+ };
3263
+ nextKey: string;
3264
+ nextIndex: string | number | bigint;
3265
+ } | {
3266
+ leaf: {
3267
+ value: string;
3268
+ slot: string;
3269
+ };
3270
+ nextKey: string;
3271
+ nextIndex: string | number | bigint;
3272
+ };
3273
+ };
3274
+ }[];
3275
+ sequentialInsertHintsNullifierTree: {
3276
+ leaf: {
3277
+ nullifier: string;
3278
+ } | {
3279
+ value: string;
3280
+ slot: string;
3281
+ };
3282
+ hintKey: {
3283
+ root: string;
3284
+ nextAvailableLeafIndex: string | number | bigint;
3285
+ };
3286
+ treeId: number;
3287
+ stateAfter: {
3288
+ root: string;
3289
+ nextAvailableLeafIndex: string | number | bigint;
3290
+ };
3291
+ lowLeavesWitnessData: {
3292
+ path: string[];
3293
+ index: string | number | bigint;
3294
+ leaf: {
3295
+ leaf: {
3296
+ nullifier: string;
3297
+ };
3298
+ nextKey: string;
3299
+ nextIndex: string | number | bigint;
3300
+ } | {
3301
+ leaf: {
3302
+ value: string;
3303
+ slot: string;
3304
+ };
3305
+ nextKey: string;
3306
+ nextIndex: string | number | bigint;
3307
+ };
3308
+ };
3309
+ insertionWitnessData: {
3310
+ path: string[];
3311
+ index: string | number | bigint;
3312
+ leaf: {
3313
+ leaf: {
3314
+ nullifier: string;
3315
+ };
3316
+ nextKey: string;
3317
+ nextIndex: string | number | bigint;
3318
+ } | {
3319
+ leaf: {
3320
+ value: string;
3321
+ slot: string;
3322
+ };
3323
+ nextKey: string;
3324
+ nextIndex: string | number | bigint;
3325
+ };
3326
+ };
3327
+ }[];
1912
3328
  };
1913
3329
  publicInputs: {
1914
3330
  globalVariables: {
@@ -2123,23 +3539,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2123
3539
  }[];
2124
3540
  getLeafPreimageHintsPublicDataTree: {
2125
3541
  index: string | number | bigint;
2126
- nextIndex: string | number | bigint;
2127
3542
  hintKey: {
2128
3543
  root: string;
2129
3544
  nextAvailableLeafIndex: string | number | bigint;
2130
3545
  };
2131
- nextValue: string;
2132
- leaf?: any;
3546
+ leafPreimage: {
3547
+ leaf: {
3548
+ nullifier: string;
3549
+ };
3550
+ nextKey: string;
3551
+ nextIndex: string | number | bigint;
3552
+ } | {
3553
+ leaf: {
3554
+ value: string;
3555
+ slot: string;
3556
+ };
3557
+ nextKey: string;
3558
+ nextIndex: string | number | bigint;
3559
+ };
2133
3560
  }[];
2134
3561
  getLeafPreimageHintsNullifierTree: {
2135
3562
  index: string | number | bigint;
2136
- nextIndex: string | number | bigint;
2137
3563
  hintKey: {
2138
3564
  root: string;
2139
3565
  nextAvailableLeafIndex: string | number | bigint;
2140
3566
  };
2141
- nextValue: string;
2142
- leaf?: any;
3567
+ leafPreimage: {
3568
+ leaf: {
3569
+ nullifier: string;
3570
+ };
3571
+ nextKey: string;
3572
+ nextIndex: string | number | bigint;
3573
+ } | {
3574
+ leaf: {
3575
+ value: string;
3576
+ slot: string;
3577
+ };
3578
+ nextKey: string;
3579
+ nextIndex: string | number | bigint;
3580
+ };
2143
3581
  }[];
2144
3582
  getLeafValueHints: {
2145
3583
  value: string;
@@ -2150,6 +3588,112 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2150
3588
  };
2151
3589
  treeId: number;
2152
3590
  }[];
3591
+ sequentialInsertHintsPublicDataTree: {
3592
+ leaf: {
3593
+ nullifier: string;
3594
+ } | {
3595
+ value: string;
3596
+ slot: string;
3597
+ };
3598
+ hintKey: {
3599
+ root: string;
3600
+ nextAvailableLeafIndex: string | number | bigint;
3601
+ };
3602
+ treeId: number;
3603
+ stateAfter: {
3604
+ root: string;
3605
+ nextAvailableLeafIndex: string | number | bigint;
3606
+ };
3607
+ lowLeavesWitnessData: {
3608
+ path: string[];
3609
+ index: string | number | bigint;
3610
+ leaf: {
3611
+ leaf: {
3612
+ nullifier: string;
3613
+ };
3614
+ nextKey: string;
3615
+ nextIndex: string | number | bigint;
3616
+ } | {
3617
+ leaf: {
3618
+ value: string;
3619
+ slot: string;
3620
+ };
3621
+ nextKey: string;
3622
+ nextIndex: string | number | bigint;
3623
+ };
3624
+ };
3625
+ insertionWitnessData: {
3626
+ path: string[];
3627
+ index: string | number | bigint;
3628
+ leaf: {
3629
+ leaf: {
3630
+ nullifier: string;
3631
+ };
3632
+ nextKey: string;
3633
+ nextIndex: string | number | bigint;
3634
+ } | {
3635
+ leaf: {
3636
+ value: string;
3637
+ slot: string;
3638
+ };
3639
+ nextKey: string;
3640
+ nextIndex: string | number | bigint;
3641
+ };
3642
+ };
3643
+ }[];
3644
+ sequentialInsertHintsNullifierTree: {
3645
+ leaf: {
3646
+ nullifier: string;
3647
+ } | {
3648
+ value: string;
3649
+ slot: string;
3650
+ };
3651
+ hintKey: {
3652
+ root: string;
3653
+ nextAvailableLeafIndex: string | number | bigint;
3654
+ };
3655
+ treeId: number;
3656
+ stateAfter: {
3657
+ root: string;
3658
+ nextAvailableLeafIndex: string | number | bigint;
3659
+ };
3660
+ lowLeavesWitnessData: {
3661
+ path: string[];
3662
+ index: string | number | bigint;
3663
+ leaf: {
3664
+ leaf: {
3665
+ nullifier: string;
3666
+ };
3667
+ nextKey: string;
3668
+ nextIndex: string | number | bigint;
3669
+ } | {
3670
+ leaf: {
3671
+ value: string;
3672
+ slot: string;
3673
+ };
3674
+ nextKey: string;
3675
+ nextIndex: string | number | bigint;
3676
+ };
3677
+ };
3678
+ insertionWitnessData: {
3679
+ path: string[];
3680
+ index: string | number | bigint;
3681
+ leaf: {
3682
+ leaf: {
3683
+ nullifier: string;
3684
+ };
3685
+ nextKey: string;
3686
+ nextIndex: string | number | bigint;
3687
+ } | {
3688
+ leaf: {
3689
+ value: string;
3690
+ slot: string;
3691
+ };
3692
+ nextKey: string;
3693
+ nextIndex: string | number | bigint;
3694
+ };
3695
+ };
3696
+ }[];
2153
3697
  };
2154
3698
  publicInputs: {
2155
3699
  globalVariables: {