@aztec/stdlib 0.82.3 → 0.83.1-alpha-testnet.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/avm/avm_proving_request.d.ts CHANGED
@@ -243,39 +243,117 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
243
243
  nextAvailableLeafIndex: string | number | bigint;
244
244
  }>;
245
245
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
246
- leaf: z.ZodType<any, z.ZodTypeDef, any>;
247
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
248
- nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
246
+ leafPreimage: z.ZodEffects<z.ZodObject<{
247
+ leaf: z.ZodEffects<z.ZodObject<{
248
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
249
+ }, "strip", z.ZodTypeAny, {
250
+ nullifier: import("@aztec/foundation/schemas").Fr;
251
+ }, {
252
+ nullifier: string;
253
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
254
+ nullifier: string;
255
+ }>;
256
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
257
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
258
+ }, "strip", z.ZodTypeAny, {
259
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
260
+ nextKey: import("@aztec/foundation/schemas").Fr;
261
+ nextIndex: bigint;
262
+ }, {
263
+ leaf: {
264
+ nullifier: string;
265
+ };
266
+ nextKey: string;
267
+ nextIndex: string | number | bigint;
268
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
269
+ leaf: {
270
+ nullifier: string;
271
+ };
272
+ nextKey: string;
273
+ nextIndex: string | number | bigint;
274
+ }> | z.ZodEffects<z.ZodObject<{
275
+ leaf: z.ZodEffects<z.ZodObject<{
276
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
277
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
278
+ }, "strip", z.ZodTypeAny, {
279
+ value: import("@aztec/foundation/schemas").Fr;
280
+ slot: import("@aztec/foundation/schemas").Fr;
281
+ }, {
282
+ value: string;
283
+ slot: string;
284
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
285
+ value: string;
286
+ slot: string;
287
+ }>;
288
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
289
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
290
+ }, "strip", z.ZodTypeAny, {
291
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
292
+ nextKey: import("@aztec/foundation/schemas").Fr;
293
+ nextIndex: bigint;
294
+ }, {
295
+ leaf: {
296
+ value: string;
297
+ slot: string;
298
+ };
299
+ nextKey: string;
300
+ nextIndex: string | number | bigint;
301
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
302
+ leaf: {
303
+ value: string;
304
+ slot: string;
305
+ };
306
+ nextKey: string;
307
+ nextIndex: string | number | bigint;
308
+ }>;
249
309
  }, "strip", z.ZodTypeAny, {
250
310
  index: bigint;
251
- nextIndex: bigint;
252
311
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
253
- nextValue: import("@aztec/foundation/schemas").Fr;
254
- leaf?: any;
312
+ leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
255
313
  }, {
256
314
  index: string | number | bigint;
257
- nextIndex: string | number | bigint;
258
315
  hintKey: {
259
316
  root: string;
260
317
  nextAvailableLeafIndex: string | number | bigint;
261
318
  };
262
- nextValue: string;
263
- leaf?: any;
319
+ leafPreimage: {
320
+ leaf: {
321
+ nullifier: string;
322
+ };
323
+ nextKey: string;
324
+ nextIndex: string | number | bigint;
325
+ } | {
326
+ leaf: {
327
+ value: string;
328
+ slot: string;
329
+ };
330
+ nextKey: string;
331
+ nextIndex: string | number | bigint;
332
+ };
264
333
  }>, {
265
334
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
266
335
  readonly index: bigint;
267
- readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
268
- readonly nextIndex: bigint;
269
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
336
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
270
337
  }, {
271
338
  index: string | number | bigint;
272
- nextIndex: string | number | bigint;
273
339
  hintKey: {
274
340
  root: string;
275
341
  nextAvailableLeafIndex: string | number | bigint;
276
342
  };
277
- nextValue: string;
278
- leaf?: any;
343
+ leafPreimage: {
344
+ leaf: {
345
+ nullifier: string;
346
+ };
347
+ nextKey: string;
348
+ nextIndex: string | number | bigint;
349
+ } | {
350
+ leaf: {
351
+ value: string;
352
+ slot: string;
353
+ };
354
+ nextKey: string;
355
+ nextIndex: string | number | bigint;
356
+ };
279
357
  }>, "many">;
280
358
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
281
359
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -292,39 +370,117 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
292
370
  nextAvailableLeafIndex: string | number | bigint;
293
371
  }>;
294
372
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
295
- leaf: z.ZodType<any, z.ZodTypeDef, any>;
296
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
297
- nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
373
+ leafPreimage: z.ZodEffects<z.ZodObject<{
374
+ leaf: z.ZodEffects<z.ZodObject<{
375
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
376
+ }, "strip", z.ZodTypeAny, {
377
+ nullifier: import("@aztec/foundation/schemas").Fr;
378
+ }, {
379
+ nullifier: string;
380
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
381
+ nullifier: string;
382
+ }>;
383
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
384
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
385
+ }, "strip", z.ZodTypeAny, {
386
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
387
+ nextKey: import("@aztec/foundation/schemas").Fr;
388
+ nextIndex: bigint;
389
+ }, {
390
+ leaf: {
391
+ nullifier: string;
392
+ };
393
+ nextKey: string;
394
+ nextIndex: string | number | bigint;
395
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
396
+ leaf: {
397
+ nullifier: string;
398
+ };
399
+ nextKey: string;
400
+ nextIndex: string | number | bigint;
401
+ }> | z.ZodEffects<z.ZodObject<{
402
+ leaf: z.ZodEffects<z.ZodObject<{
403
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
404
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
405
+ }, "strip", z.ZodTypeAny, {
406
+ value: import("@aztec/foundation/schemas").Fr;
407
+ slot: import("@aztec/foundation/schemas").Fr;
408
+ }, {
409
+ value: string;
410
+ slot: string;
411
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
412
+ value: string;
413
+ slot: string;
414
+ }>;
415
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
416
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
417
+ }, "strip", z.ZodTypeAny, {
418
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
419
+ nextKey: import("@aztec/foundation/schemas").Fr;
420
+ nextIndex: bigint;
421
+ }, {
422
+ leaf: {
423
+ value: string;
424
+ slot: string;
425
+ };
426
+ nextKey: string;
427
+ nextIndex: string | number | bigint;
428
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
429
+ leaf: {
430
+ value: string;
431
+ slot: string;
432
+ };
433
+ nextKey: string;
434
+ nextIndex: string | number | bigint;
435
+ }>;
298
436
  }, "strip", z.ZodTypeAny, {
299
437
  index: bigint;
300
- nextIndex: bigint;
301
438
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
302
- nextValue: import("@aztec/foundation/schemas").Fr;
303
- leaf?: any;
439
+ leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
304
440
  }, {
305
441
  index: string | number | bigint;
306
- nextIndex: string | number | bigint;
307
442
  hintKey: {
308
443
  root: string;
309
444
  nextAvailableLeafIndex: string | number | bigint;
310
445
  };
311
- nextValue: string;
312
- leaf?: any;
446
+ leafPreimage: {
447
+ leaf: {
448
+ nullifier: string;
449
+ };
450
+ nextKey: string;
451
+ nextIndex: string | number | bigint;
452
+ } | {
453
+ leaf: {
454
+ value: string;
455
+ slot: string;
456
+ };
457
+ nextKey: string;
458
+ nextIndex: string | number | bigint;
459
+ };
313
460
  }>, {
314
461
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
315
462
  readonly index: bigint;
316
- readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
317
- readonly nextIndex: bigint;
318
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
463
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
319
464
  }, {
320
465
  index: string | number | bigint;
321
- nextIndex: string | number | bigint;
322
466
  hintKey: {
323
467
  root: string;
324
468
  nextAvailableLeafIndex: string | number | bigint;
325
469
  };
326
- nextValue: string;
327
- leaf?: any;
470
+ leafPreimage: {
471
+ leaf: {
472
+ nullifier: string;
473
+ };
474
+ nextKey: string;
475
+ nextIndex: string | number | bigint;
476
+ } | {
477
+ leaf: {
478
+ value: string;
479
+ slot: string;
480
+ };
481
+ nextKey: string;
482
+ nextIndex: string | number | bigint;
483
+ };
328
484
  }>, "many">;
329
485
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
330
486
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -365,6 +521,726 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
365
521
  };
366
522
  treeId: number;
367
523
  }>, "many">;
524
+ sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
525
+ hintKey: z.ZodEffects<z.ZodObject<{
526
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
527
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
528
+ }, "strip", z.ZodTypeAny, {
529
+ root: import("@aztec/foundation/schemas").Fr;
530
+ nextAvailableLeafIndex: number;
531
+ }, {
532
+ root: string;
533
+ nextAvailableLeafIndex: string | number | bigint;
534
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
535
+ root: string;
536
+ nextAvailableLeafIndex: string | number | bigint;
537
+ }>;
538
+ stateAfter: z.ZodEffects<z.ZodObject<{
539
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
540
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
541
+ }, "strip", z.ZodTypeAny, {
542
+ root: import("@aztec/foundation/schemas").Fr;
543
+ nextAvailableLeafIndex: number;
544
+ }, {
545
+ root: string;
546
+ nextAvailableLeafIndex: string | number | bigint;
547
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
548
+ root: string;
549
+ nextAvailableLeafIndex: string | number | bigint;
550
+ }>;
551
+ treeId: z.ZodNumber;
552
+ leaf: z.ZodEffects<z.ZodObject<{
553
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
554
+ }, "strip", z.ZodTypeAny, {
555
+ nullifier: import("@aztec/foundation/schemas").Fr;
556
+ }, {
557
+ nullifier: string;
558
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
559
+ nullifier: string;
560
+ }> | z.ZodEffects<z.ZodObject<{
561
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
562
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
563
+ }, "strip", z.ZodTypeAny, {
564
+ value: import("@aztec/foundation/schemas").Fr;
565
+ slot: import("@aztec/foundation/schemas").Fr;
566
+ }, {
567
+ value: string;
568
+ slot: string;
569
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
570
+ value: string;
571
+ slot: string;
572
+ }>;
573
+ lowLeavesWitnessData: z.ZodObject<{
574
+ leaf: z.ZodEffects<z.ZodObject<{
575
+ leaf: z.ZodEffects<z.ZodObject<{
576
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
577
+ }, "strip", z.ZodTypeAny, {
578
+ nullifier: import("@aztec/foundation/schemas").Fr;
579
+ }, {
580
+ nullifier: string;
581
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
582
+ nullifier: string;
583
+ }>;
584
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
585
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
586
+ }, "strip", z.ZodTypeAny, {
587
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
588
+ nextKey: import("@aztec/foundation/schemas").Fr;
589
+ nextIndex: bigint;
590
+ }, {
591
+ leaf: {
592
+ nullifier: string;
593
+ };
594
+ nextKey: string;
595
+ nextIndex: string | number | bigint;
596
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
597
+ leaf: {
598
+ nullifier: string;
599
+ };
600
+ nextKey: string;
601
+ nextIndex: string | number | bigint;
602
+ }> | z.ZodEffects<z.ZodObject<{
603
+ leaf: z.ZodEffects<z.ZodObject<{
604
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
605
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
606
+ }, "strip", z.ZodTypeAny, {
607
+ value: import("@aztec/foundation/schemas").Fr;
608
+ slot: import("@aztec/foundation/schemas").Fr;
609
+ }, {
610
+ value: string;
611
+ slot: string;
612
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
613
+ value: string;
614
+ slot: string;
615
+ }>;
616
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
617
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
618
+ }, "strip", z.ZodTypeAny, {
619
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
620
+ nextKey: import("@aztec/foundation/schemas").Fr;
621
+ nextIndex: bigint;
622
+ }, {
623
+ leaf: {
624
+ value: string;
625
+ slot: string;
626
+ };
627
+ nextKey: string;
628
+ nextIndex: string | number | bigint;
629
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
630
+ leaf: {
631
+ value: string;
632
+ slot: string;
633
+ };
634
+ nextKey: string;
635
+ nextIndex: string | number | bigint;
636
+ }>;
637
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
638
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
639
+ }, "strip", z.ZodTypeAny, {
640
+ path: import("@aztec/foundation/schemas").Fr[];
641
+ index: bigint;
642
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
643
+ }, {
644
+ path: string[];
645
+ index: string | number | bigint;
646
+ leaf: {
647
+ leaf: {
648
+ nullifier: string;
649
+ };
650
+ nextKey: string;
651
+ nextIndex: string | number | bigint;
652
+ } | {
653
+ leaf: {
654
+ value: string;
655
+ slot: string;
656
+ };
657
+ nextKey: string;
658
+ nextIndex: string | number | bigint;
659
+ };
660
+ }>;
661
+ insertionWitnessData: z.ZodObject<{
662
+ leaf: z.ZodEffects<z.ZodObject<{
663
+ leaf: z.ZodEffects<z.ZodObject<{
664
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
665
+ }, "strip", z.ZodTypeAny, {
666
+ nullifier: import("@aztec/foundation/schemas").Fr;
667
+ }, {
668
+ nullifier: string;
669
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
670
+ nullifier: string;
671
+ }>;
672
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
673
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
674
+ }, "strip", z.ZodTypeAny, {
675
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
676
+ nextKey: import("@aztec/foundation/schemas").Fr;
677
+ nextIndex: bigint;
678
+ }, {
679
+ leaf: {
680
+ nullifier: string;
681
+ };
682
+ nextKey: string;
683
+ nextIndex: string | number | bigint;
684
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
685
+ leaf: {
686
+ nullifier: string;
687
+ };
688
+ nextKey: string;
689
+ nextIndex: string | number | bigint;
690
+ }> | z.ZodEffects<z.ZodObject<{
691
+ leaf: z.ZodEffects<z.ZodObject<{
692
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
693
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
694
+ }, "strip", z.ZodTypeAny, {
695
+ value: import("@aztec/foundation/schemas").Fr;
696
+ slot: import("@aztec/foundation/schemas").Fr;
697
+ }, {
698
+ value: string;
699
+ slot: string;
700
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
701
+ value: string;
702
+ slot: string;
703
+ }>;
704
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
705
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
706
+ }, "strip", z.ZodTypeAny, {
707
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
708
+ nextKey: import("@aztec/foundation/schemas").Fr;
709
+ nextIndex: bigint;
710
+ }, {
711
+ leaf: {
712
+ value: string;
713
+ slot: string;
714
+ };
715
+ nextKey: string;
716
+ nextIndex: string | number | bigint;
717
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
718
+ leaf: {
719
+ value: string;
720
+ slot: string;
721
+ };
722
+ nextKey: string;
723
+ nextIndex: string | number | bigint;
724
+ }>;
725
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
726
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
727
+ }, "strip", z.ZodTypeAny, {
728
+ path: import("@aztec/foundation/schemas").Fr[];
729
+ index: bigint;
730
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
731
+ }, {
732
+ path: string[];
733
+ index: string | number | bigint;
734
+ leaf: {
735
+ leaf: {
736
+ nullifier: string;
737
+ };
738
+ nextKey: string;
739
+ nextIndex: string | number | bigint;
740
+ } | {
741
+ leaf: {
742
+ value: string;
743
+ slot: string;
744
+ };
745
+ nextKey: string;
746
+ nextIndex: string | number | bigint;
747
+ };
748
+ }>;
749
+ }, "strip", z.ZodTypeAny, {
750
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
751
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
752
+ treeId: number;
753
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
754
+ lowLeavesWitnessData: {
755
+ path: import("@aztec/foundation/schemas").Fr[];
756
+ index: bigint;
757
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
758
+ };
759
+ insertionWitnessData: {
760
+ path: import("@aztec/foundation/schemas").Fr[];
761
+ index: bigint;
762
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
763
+ };
764
+ }, {
765
+ leaf: {
766
+ nullifier: string;
767
+ } | {
768
+ value: string;
769
+ slot: string;
770
+ };
771
+ hintKey: {
772
+ root: string;
773
+ nextAvailableLeafIndex: string | number | bigint;
774
+ };
775
+ treeId: number;
776
+ stateAfter: {
777
+ root: string;
778
+ nextAvailableLeafIndex: string | number | bigint;
779
+ };
780
+ lowLeavesWitnessData: {
781
+ path: string[];
782
+ index: string | number | bigint;
783
+ leaf: {
784
+ leaf: {
785
+ nullifier: string;
786
+ };
787
+ nextKey: string;
788
+ nextIndex: string | number | bigint;
789
+ } | {
790
+ leaf: {
791
+ value: string;
792
+ slot: string;
793
+ };
794
+ nextKey: string;
795
+ nextIndex: string | number | bigint;
796
+ };
797
+ };
798
+ insertionWitnessData: {
799
+ path: string[];
800
+ index: string | number | bigint;
801
+ leaf: {
802
+ leaf: {
803
+ nullifier: string;
804
+ };
805
+ nextKey: string;
806
+ nextIndex: string | number | bigint;
807
+ } | {
808
+ leaf: {
809
+ value: string;
810
+ slot: string;
811
+ };
812
+ nextKey: string;
813
+ nextIndex: string | number | bigint;
814
+ };
815
+ };
816
+ }>, {
817
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
818
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
819
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
820
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
821
+ readonly lowLeavesWitnessData: {
822
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
823
+ index: bigint;
824
+ path: import("@aztec/foundation/schemas").Fr[];
825
+ };
826
+ readonly insertionWitnessData: {
827
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
828
+ index: bigint;
829
+ path: import("@aztec/foundation/schemas").Fr[];
830
+ };
831
+ }, {
832
+ leaf: {
833
+ nullifier: string;
834
+ } | {
835
+ value: string;
836
+ slot: string;
837
+ };
838
+ hintKey: {
839
+ root: string;
840
+ nextAvailableLeafIndex: string | number | bigint;
841
+ };
842
+ treeId: number;
843
+ stateAfter: {
844
+ root: string;
845
+ nextAvailableLeafIndex: string | number | bigint;
846
+ };
847
+ lowLeavesWitnessData: {
848
+ path: string[];
849
+ index: string | number | bigint;
850
+ leaf: {
851
+ leaf: {
852
+ nullifier: string;
853
+ };
854
+ nextKey: string;
855
+ nextIndex: string | number | bigint;
856
+ } | {
857
+ leaf: {
858
+ value: string;
859
+ slot: string;
860
+ };
861
+ nextKey: string;
862
+ nextIndex: string | number | bigint;
863
+ };
864
+ };
865
+ insertionWitnessData: {
866
+ path: string[];
867
+ index: string | number | bigint;
868
+ leaf: {
869
+ leaf: {
870
+ nullifier: string;
871
+ };
872
+ nextKey: string;
873
+ nextIndex: string | number | bigint;
874
+ } | {
875
+ leaf: {
876
+ value: string;
877
+ slot: string;
878
+ };
879
+ nextKey: string;
880
+ nextIndex: string | number | bigint;
881
+ };
882
+ };
883
+ }>, "many">;
884
+ sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
885
+ hintKey: z.ZodEffects<z.ZodObject<{
886
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
887
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
888
+ }, "strip", z.ZodTypeAny, {
889
+ root: import("@aztec/foundation/schemas").Fr;
890
+ nextAvailableLeafIndex: number;
891
+ }, {
892
+ root: string;
893
+ nextAvailableLeafIndex: string | number | bigint;
894
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
895
+ root: string;
896
+ nextAvailableLeafIndex: string | number | bigint;
897
+ }>;
898
+ stateAfter: z.ZodEffects<z.ZodObject<{
899
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
900
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
901
+ }, "strip", z.ZodTypeAny, {
902
+ root: import("@aztec/foundation/schemas").Fr;
903
+ nextAvailableLeafIndex: number;
904
+ }, {
905
+ root: string;
906
+ nextAvailableLeafIndex: string | number | bigint;
907
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
908
+ root: string;
909
+ nextAvailableLeafIndex: string | number | bigint;
910
+ }>;
911
+ treeId: z.ZodNumber;
912
+ leaf: z.ZodEffects<z.ZodObject<{
913
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
914
+ }, "strip", z.ZodTypeAny, {
915
+ nullifier: import("@aztec/foundation/schemas").Fr;
916
+ }, {
917
+ nullifier: string;
918
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
919
+ nullifier: string;
920
+ }> | z.ZodEffects<z.ZodObject<{
921
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
922
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
923
+ }, "strip", z.ZodTypeAny, {
924
+ value: import("@aztec/foundation/schemas").Fr;
925
+ slot: import("@aztec/foundation/schemas").Fr;
926
+ }, {
927
+ value: string;
928
+ slot: string;
929
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
930
+ value: string;
931
+ slot: string;
932
+ }>;
933
+ lowLeavesWitnessData: z.ZodObject<{
934
+ leaf: z.ZodEffects<z.ZodObject<{
935
+ leaf: z.ZodEffects<z.ZodObject<{
936
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
937
+ }, "strip", z.ZodTypeAny, {
938
+ nullifier: import("@aztec/foundation/schemas").Fr;
939
+ }, {
940
+ nullifier: string;
941
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
942
+ nullifier: string;
943
+ }>;
944
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
945
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
946
+ }, "strip", z.ZodTypeAny, {
947
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
948
+ nextKey: import("@aztec/foundation/schemas").Fr;
949
+ nextIndex: bigint;
950
+ }, {
951
+ leaf: {
952
+ nullifier: string;
953
+ };
954
+ nextKey: string;
955
+ nextIndex: string | number | bigint;
956
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
957
+ leaf: {
958
+ nullifier: string;
959
+ };
960
+ nextKey: string;
961
+ nextIndex: string | number | bigint;
962
+ }> | z.ZodEffects<z.ZodObject<{
963
+ leaf: z.ZodEffects<z.ZodObject<{
964
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
965
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
966
+ }, "strip", z.ZodTypeAny, {
967
+ value: import("@aztec/foundation/schemas").Fr;
968
+ slot: import("@aztec/foundation/schemas").Fr;
969
+ }, {
970
+ value: string;
971
+ slot: string;
972
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
973
+ value: string;
974
+ slot: string;
975
+ }>;
976
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
977
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
978
+ }, "strip", z.ZodTypeAny, {
979
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
980
+ nextKey: import("@aztec/foundation/schemas").Fr;
981
+ nextIndex: bigint;
982
+ }, {
983
+ leaf: {
984
+ value: string;
985
+ slot: string;
986
+ };
987
+ nextKey: string;
988
+ nextIndex: string | number | bigint;
989
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
990
+ leaf: {
991
+ value: string;
992
+ slot: string;
993
+ };
994
+ nextKey: string;
995
+ nextIndex: string | number | bigint;
996
+ }>;
997
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
998
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
999
+ }, "strip", z.ZodTypeAny, {
1000
+ path: import("@aztec/foundation/schemas").Fr[];
1001
+ index: bigint;
1002
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1003
+ }, {
1004
+ path: string[];
1005
+ index: string | number | bigint;
1006
+ leaf: {
1007
+ leaf: {
1008
+ nullifier: string;
1009
+ };
1010
+ nextKey: string;
1011
+ nextIndex: string | number | bigint;
1012
+ } | {
1013
+ leaf: {
1014
+ value: string;
1015
+ slot: string;
1016
+ };
1017
+ nextKey: string;
1018
+ nextIndex: string | number | bigint;
1019
+ };
1020
+ }>;
1021
+ insertionWitnessData: z.ZodObject<{
1022
+ leaf: z.ZodEffects<z.ZodObject<{
1023
+ leaf: z.ZodEffects<z.ZodObject<{
1024
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1025
+ }, "strip", z.ZodTypeAny, {
1026
+ nullifier: import("@aztec/foundation/schemas").Fr;
1027
+ }, {
1028
+ nullifier: string;
1029
+ }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1030
+ nullifier: string;
1031
+ }>;
1032
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1033
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1034
+ }, "strip", z.ZodTypeAny, {
1035
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
1036
+ nextKey: import("@aztec/foundation/schemas").Fr;
1037
+ nextIndex: bigint;
1038
+ }, {
1039
+ leaf: {
1040
+ nullifier: string;
1041
+ };
1042
+ nextKey: string;
1043
+ nextIndex: string | number | bigint;
1044
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
1045
+ leaf: {
1046
+ nullifier: string;
1047
+ };
1048
+ nextKey: string;
1049
+ nextIndex: string | number | bigint;
1050
+ }> | z.ZodEffects<z.ZodObject<{
1051
+ leaf: z.ZodEffects<z.ZodObject<{
1052
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1053
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1054
+ }, "strip", z.ZodTypeAny, {
1055
+ value: import("@aztec/foundation/schemas").Fr;
1056
+ slot: import("@aztec/foundation/schemas").Fr;
1057
+ }, {
1058
+ value: string;
1059
+ slot: string;
1060
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
1061
+ value: string;
1062
+ slot: string;
1063
+ }>;
1064
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1065
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1066
+ }, "strip", z.ZodTypeAny, {
1067
+ leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1068
+ nextKey: import("@aztec/foundation/schemas").Fr;
1069
+ nextIndex: bigint;
1070
+ }, {
1071
+ leaf: {
1072
+ value: string;
1073
+ slot: string;
1074
+ };
1075
+ nextKey: string;
1076
+ nextIndex: string | number | bigint;
1077
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
1078
+ leaf: {
1079
+ value: string;
1080
+ slot: string;
1081
+ };
1082
+ nextKey: string;
1083
+ nextIndex: string | number | bigint;
1084
+ }>;
1085
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1086
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1087
+ }, "strip", z.ZodTypeAny, {
1088
+ path: import("@aztec/foundation/schemas").Fr[];
1089
+ index: bigint;
1090
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1091
+ }, {
1092
+ path: string[];
1093
+ index: string | number | bigint;
1094
+ leaf: {
1095
+ leaf: {
1096
+ nullifier: string;
1097
+ };
1098
+ nextKey: string;
1099
+ nextIndex: string | number | bigint;
1100
+ } | {
1101
+ leaf: {
1102
+ value: string;
1103
+ slot: string;
1104
+ };
1105
+ nextKey: string;
1106
+ nextIndex: string | number | bigint;
1107
+ };
1108
+ }>;
1109
+ }, "strip", z.ZodTypeAny, {
1110
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1111
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1112
+ treeId: number;
1113
+ stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1114
+ lowLeavesWitnessData: {
1115
+ path: import("@aztec/foundation/schemas").Fr[];
1116
+ index: bigint;
1117
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1118
+ };
1119
+ insertionWitnessData: {
1120
+ path: import("@aztec/foundation/schemas").Fr[];
1121
+ index: bigint;
1122
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1123
+ };
1124
+ }, {
1125
+ leaf: {
1126
+ nullifier: string;
1127
+ } | {
1128
+ value: string;
1129
+ slot: string;
1130
+ };
1131
+ hintKey: {
1132
+ root: string;
1133
+ nextAvailableLeafIndex: string | number | bigint;
1134
+ };
1135
+ treeId: number;
1136
+ stateAfter: {
1137
+ root: string;
1138
+ nextAvailableLeafIndex: string | number | bigint;
1139
+ };
1140
+ lowLeavesWitnessData: {
1141
+ path: string[];
1142
+ index: string | number | bigint;
1143
+ leaf: {
1144
+ leaf: {
1145
+ nullifier: string;
1146
+ };
1147
+ nextKey: string;
1148
+ nextIndex: string | number | bigint;
1149
+ } | {
1150
+ leaf: {
1151
+ value: string;
1152
+ slot: string;
1153
+ };
1154
+ nextKey: string;
1155
+ nextIndex: string | number | bigint;
1156
+ };
1157
+ };
1158
+ insertionWitnessData: {
1159
+ path: string[];
1160
+ index: string | number | bigint;
1161
+ leaf: {
1162
+ leaf: {
1163
+ nullifier: string;
1164
+ };
1165
+ nextKey: string;
1166
+ nextIndex: string | number | bigint;
1167
+ } | {
1168
+ leaf: {
1169
+ value: string;
1170
+ slot: string;
1171
+ };
1172
+ nextKey: string;
1173
+ nextIndex: string | number | bigint;
1174
+ };
1175
+ };
1176
+ }>, {
1177
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1178
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1179
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1180
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1181
+ readonly lowLeavesWitnessData: {
1182
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1183
+ index: bigint;
1184
+ path: import("@aztec/foundation/schemas").Fr[];
1185
+ };
1186
+ readonly insertionWitnessData: {
1187
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1188
+ index: bigint;
1189
+ path: import("@aztec/foundation/schemas").Fr[];
1190
+ };
1191
+ }, {
1192
+ leaf: {
1193
+ nullifier: string;
1194
+ } | {
1195
+ value: string;
1196
+ slot: string;
1197
+ };
1198
+ hintKey: {
1199
+ root: string;
1200
+ nextAvailableLeafIndex: string | number | bigint;
1201
+ };
1202
+ treeId: number;
1203
+ stateAfter: {
1204
+ root: string;
1205
+ nextAvailableLeafIndex: string | number | bigint;
1206
+ };
1207
+ lowLeavesWitnessData: {
1208
+ path: string[];
1209
+ index: string | number | bigint;
1210
+ leaf: {
1211
+ leaf: {
1212
+ nullifier: string;
1213
+ };
1214
+ nextKey: string;
1215
+ nextIndex: string | number | bigint;
1216
+ } | {
1217
+ leaf: {
1218
+ value: string;
1219
+ slot: string;
1220
+ };
1221
+ nextKey: string;
1222
+ nextIndex: string | number | bigint;
1223
+ };
1224
+ };
1225
+ insertionWitnessData: {
1226
+ path: string[];
1227
+ index: string | number | bigint;
1228
+ leaf: {
1229
+ leaf: {
1230
+ nullifier: string;
1231
+ };
1232
+ nextKey: string;
1233
+ nextIndex: string | number | bigint;
1234
+ } | {
1235
+ leaf: {
1236
+ value: string;
1237
+ slot: string;
1238
+ };
1239
+ nextKey: string;
1240
+ nextIndex: string | number | bigint;
1241
+ };
1242
+ };
1243
+ }>, "many">;
368
1244
  }, "strip", z.ZodTypeAny, {
369
1245
  enqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
370
1246
  contractInstances: import("./avm.js").AvmContractInstanceHint[];
@@ -375,18 +1251,46 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
375
1251
  getLeafPreimageHintsPublicDataTree: {
376
1252
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
377
1253
  readonly index: bigint;
378
- readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
379
- readonly nextIndex: bigint;
380
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
1254
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
381
1255
  }[];
382
1256
  getLeafPreimageHintsNullifierTree: {
383
1257
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
384
1258
  readonly index: bigint;
385
- readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
386
- readonly nextIndex: bigint;
387
- readonly nextValue: import("@aztec/foundation/schemas").Fr;
1259
+ readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
388
1260
  }[];
389
1261
  getLeafValueHints: import("./avm.js").AvmGetLeafValueHint[];
1262
+ sequentialInsertHintsPublicDataTree: {
1263
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1264
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1265
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1266
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1267
+ readonly lowLeavesWitnessData: {
1268
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1269
+ index: bigint;
1270
+ path: import("@aztec/foundation/schemas").Fr[];
1271
+ };
1272
+ readonly insertionWitnessData: {
1273
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1274
+ index: bigint;
1275
+ path: import("@aztec/foundation/schemas").Fr[];
1276
+ };
1277
+ }[];
1278
+ sequentialInsertHintsNullifierTree: {
1279
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1280
+ readonly stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1281
+ readonly treeId: import("../trees/merkle_tree_id.js").MerkleTreeId;
1282
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
1283
+ readonly lowLeavesWitnessData: {
1284
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1285
+ index: bigint;
1286
+ path: import("@aztec/foundation/schemas").Fr[];
1287
+ };
1288
+ readonly insertionWitnessData: {
1289
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1290
+ index: bigint;
1291
+ path: import("@aztec/foundation/schemas").Fr[];
1292
+ };
1293
+ }[];
390
1294
  }, {
391
1295
  enqueuedCalls: {
392
1296
  isStaticCall: boolean;
@@ -442,23 +1346,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
442
1346
  }[];
443
1347
  getLeafPreimageHintsPublicDataTree: {
444
1348
  index: string | number | bigint;
445
- nextIndex: string | number | bigint;
446
1349
  hintKey: {
447
1350
  root: string;
448
1351
  nextAvailableLeafIndex: string | number | bigint;
449
1352
  };
450
- nextValue: string;
451
- leaf?: any;
1353
+ leafPreimage: {
1354
+ leaf: {
1355
+ nullifier: string;
1356
+ };
1357
+ nextKey: string;
1358
+ nextIndex: string | number | bigint;
1359
+ } | {
1360
+ leaf: {
1361
+ value: string;
1362
+ slot: string;
1363
+ };
1364
+ nextKey: string;
1365
+ nextIndex: string | number | bigint;
1366
+ };
452
1367
  }[];
453
1368
  getLeafPreimageHintsNullifierTree: {
454
1369
  index: string | number | bigint;
455
- nextIndex: string | number | bigint;
456
1370
  hintKey: {
457
1371
  root: string;
458
1372
  nextAvailableLeafIndex: string | number | bigint;
459
1373
  };
460
- nextValue: string;
461
- leaf?: any;
1374
+ leafPreimage: {
1375
+ leaf: {
1376
+ nullifier: string;
1377
+ };
1378
+ nextKey: string;
1379
+ nextIndex: string | number | bigint;
1380
+ } | {
1381
+ leaf: {
1382
+ value: string;
1383
+ slot: string;
1384
+ };
1385
+ nextKey: string;
1386
+ nextIndex: string | number | bigint;
1387
+ };
462
1388
  }[];
463
1389
  getLeafValueHints: {
464
1390
  value: string;
@@ -469,6 +1395,112 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
469
1395
  };
470
1396
  treeId: number;
471
1397
  }[];
1398
+ sequentialInsertHintsPublicDataTree: {
1399
+ leaf: {
1400
+ nullifier: string;
1401
+ } | {
1402
+ value: string;
1403
+ slot: string;
1404
+ };
1405
+ hintKey: {
1406
+ root: string;
1407
+ nextAvailableLeafIndex: string | number | bigint;
1408
+ };
1409
+ treeId: number;
1410
+ stateAfter: {
1411
+ root: string;
1412
+ nextAvailableLeafIndex: string | number | bigint;
1413
+ };
1414
+ lowLeavesWitnessData: {
1415
+ path: string[];
1416
+ index: string | number | bigint;
1417
+ leaf: {
1418
+ leaf: {
1419
+ nullifier: string;
1420
+ };
1421
+ nextKey: string;
1422
+ nextIndex: string | number | bigint;
1423
+ } | {
1424
+ leaf: {
1425
+ value: string;
1426
+ slot: string;
1427
+ };
1428
+ nextKey: string;
1429
+ nextIndex: string | number | bigint;
1430
+ };
1431
+ };
1432
+ insertionWitnessData: {
1433
+ path: string[];
1434
+ index: string | number | bigint;
1435
+ leaf: {
1436
+ leaf: {
1437
+ nullifier: string;
1438
+ };
1439
+ nextKey: string;
1440
+ nextIndex: string | number | bigint;
1441
+ } | {
1442
+ leaf: {
1443
+ value: string;
1444
+ slot: string;
1445
+ };
1446
+ nextKey: string;
1447
+ nextIndex: string | number | bigint;
1448
+ };
1449
+ };
1450
+ }[];
1451
+ sequentialInsertHintsNullifierTree: {
1452
+ leaf: {
1453
+ nullifier: string;
1454
+ } | {
1455
+ value: string;
1456
+ slot: string;
1457
+ };
1458
+ hintKey: {
1459
+ root: string;
1460
+ nextAvailableLeafIndex: string | number | bigint;
1461
+ };
1462
+ treeId: number;
1463
+ stateAfter: {
1464
+ root: string;
1465
+ nextAvailableLeafIndex: string | number | bigint;
1466
+ };
1467
+ lowLeavesWitnessData: {
1468
+ path: string[];
1469
+ index: string | number | bigint;
1470
+ leaf: {
1471
+ leaf: {
1472
+ nullifier: string;
1473
+ };
1474
+ nextKey: string;
1475
+ nextIndex: string | number | bigint;
1476
+ } | {
1477
+ leaf: {
1478
+ value: string;
1479
+ slot: string;
1480
+ };
1481
+ nextKey: string;
1482
+ nextIndex: string | number | bigint;
1483
+ };
1484
+ };
1485
+ insertionWitnessData: {
1486
+ path: string[];
1487
+ index: string | number | bigint;
1488
+ leaf: {
1489
+ leaf: {
1490
+ nullifier: string;
1491
+ };
1492
+ nextKey: string;
1493
+ nextIndex: string | number | bigint;
1494
+ } | {
1495
+ leaf: {
1496
+ value: string;
1497
+ slot: string;
1498
+ };
1499
+ nextKey: string;
1500
+ nextIndex: string | number | bigint;
1501
+ };
1502
+ };
1503
+ }[];
472
1504
  }>, import("./avm.js").AvmExecutionHints, {
473
1505
  enqueuedCalls: {
474
1506
  isStaticCall: boolean;
@@ -524,23 +1556,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
524
1556
  }[];
525
1557
  getLeafPreimageHintsPublicDataTree: {
526
1558
  index: string | number | bigint;
527
- nextIndex: string | number | bigint;
528
1559
  hintKey: {
529
1560
  root: string;
530
1561
  nextAvailableLeafIndex: string | number | bigint;
531
1562
  };
532
- nextValue: string;
533
- leaf?: any;
1563
+ leafPreimage: {
1564
+ leaf: {
1565
+ nullifier: string;
1566
+ };
1567
+ nextKey: string;
1568
+ nextIndex: string | number | bigint;
1569
+ } | {
1570
+ leaf: {
1571
+ value: string;
1572
+ slot: string;
1573
+ };
1574
+ nextKey: string;
1575
+ nextIndex: string | number | bigint;
1576
+ };
534
1577
  }[];
535
1578
  getLeafPreimageHintsNullifierTree: {
536
1579
  index: string | number | bigint;
537
- nextIndex: string | number | bigint;
538
1580
  hintKey: {
539
1581
  root: string;
540
1582
  nextAvailableLeafIndex: string | number | bigint;
541
1583
  };
542
- nextValue: string;
543
- leaf?: any;
1584
+ leafPreimage: {
1585
+ leaf: {
1586
+ nullifier: string;
1587
+ };
1588
+ nextKey: string;
1589
+ nextIndex: string | number | bigint;
1590
+ } | {
1591
+ leaf: {
1592
+ value: string;
1593
+ slot: string;
1594
+ };
1595
+ nextKey: string;
1596
+ nextIndex: string | number | bigint;
1597
+ };
544
1598
  }[];
545
1599
  getLeafValueHints: {
546
1600
  value: string;
@@ -551,6 +1605,112 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
551
1605
  };
552
1606
  treeId: number;
553
1607
  }[];
1608
+ sequentialInsertHintsPublicDataTree: {
1609
+ leaf: {
1610
+ nullifier: string;
1611
+ } | {
1612
+ value: string;
1613
+ slot: string;
1614
+ };
1615
+ hintKey: {
1616
+ root: string;
1617
+ nextAvailableLeafIndex: string | number | bigint;
1618
+ };
1619
+ treeId: number;
1620
+ stateAfter: {
1621
+ root: string;
1622
+ nextAvailableLeafIndex: string | number | bigint;
1623
+ };
1624
+ lowLeavesWitnessData: {
1625
+ path: string[];
1626
+ index: string | number | bigint;
1627
+ leaf: {
1628
+ leaf: {
1629
+ nullifier: string;
1630
+ };
1631
+ nextKey: string;
1632
+ nextIndex: string | number | bigint;
1633
+ } | {
1634
+ leaf: {
1635
+ value: string;
1636
+ slot: string;
1637
+ };
1638
+ nextKey: string;
1639
+ nextIndex: string | number | bigint;
1640
+ };
1641
+ };
1642
+ insertionWitnessData: {
1643
+ path: string[];
1644
+ index: string | number | bigint;
1645
+ leaf: {
1646
+ leaf: {
1647
+ nullifier: string;
1648
+ };
1649
+ nextKey: string;
1650
+ nextIndex: string | number | bigint;
1651
+ } | {
1652
+ leaf: {
1653
+ value: string;
1654
+ slot: string;
1655
+ };
1656
+ nextKey: string;
1657
+ nextIndex: string | number | bigint;
1658
+ };
1659
+ };
1660
+ }[];
1661
+ sequentialInsertHintsNullifierTree: {
1662
+ leaf: {
1663
+ nullifier: string;
1664
+ } | {
1665
+ value: string;
1666
+ slot: string;
1667
+ };
1668
+ hintKey: {
1669
+ root: string;
1670
+ nextAvailableLeafIndex: string | number | bigint;
1671
+ };
1672
+ treeId: number;
1673
+ stateAfter: {
1674
+ root: string;
1675
+ nextAvailableLeafIndex: string | number | bigint;
1676
+ };
1677
+ lowLeavesWitnessData: {
1678
+ path: string[];
1679
+ index: string | number | bigint;
1680
+ leaf: {
1681
+ leaf: {
1682
+ nullifier: string;
1683
+ };
1684
+ nextKey: string;
1685
+ nextIndex: string | number | bigint;
1686
+ } | {
1687
+ leaf: {
1688
+ value: string;
1689
+ slot: string;
1690
+ };
1691
+ nextKey: string;
1692
+ nextIndex: string | number | bigint;
1693
+ };
1694
+ };
1695
+ insertionWitnessData: {
1696
+ path: string[];
1697
+ index: string | number | bigint;
1698
+ leaf: {
1699
+ leaf: {
1700
+ nullifier: string;
1701
+ };
1702
+ nextKey: string;
1703
+ nextIndex: string | number | bigint;
1704
+ } | {
1705
+ leaf: {
1706
+ value: string;
1707
+ slot: string;
1708
+ };
1709
+ nextKey: string;
1710
+ nextIndex: string | number | bigint;
1711
+ };
1712
+ };
1713
+ }[];
554
1714
  }>;
555
1715
  publicInputs: z.ZodEffects<z.ZodObject<{
556
1716
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -1618,23 +2778,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1618
2778
  }[];
1619
2779
  getLeafPreimageHintsPublicDataTree: {
1620
2780
  index: string | number | bigint;
1621
- nextIndex: string | number | bigint;
1622
2781
  hintKey: {
1623
2782
  root: string;
1624
2783
  nextAvailableLeafIndex: string | number | bigint;
1625
2784
  };
1626
- nextValue: string;
1627
- leaf?: any;
2785
+ leafPreimage: {
2786
+ leaf: {
2787
+ nullifier: string;
2788
+ };
2789
+ nextKey: string;
2790
+ nextIndex: string | number | bigint;
2791
+ } | {
2792
+ leaf: {
2793
+ value: string;
2794
+ slot: string;
2795
+ };
2796
+ nextKey: string;
2797
+ nextIndex: string | number | bigint;
2798
+ };
1628
2799
  }[];
1629
2800
  getLeafPreimageHintsNullifierTree: {
1630
2801
  index: string | number | bigint;
1631
- nextIndex: string | number | bigint;
1632
2802
  hintKey: {
1633
2803
  root: string;
1634
2804
  nextAvailableLeafIndex: string | number | bigint;
1635
2805
  };
1636
- nextValue: string;
1637
- leaf?: any;
2806
+ leafPreimage: {
2807
+ leaf: {
2808
+ nullifier: string;
2809
+ };
2810
+ nextKey: string;
2811
+ nextIndex: string | number | bigint;
2812
+ } | {
2813
+ leaf: {
2814
+ value: string;
2815
+ slot: string;
2816
+ };
2817
+ nextKey: string;
2818
+ nextIndex: string | number | bigint;
2819
+ };
1638
2820
  }[];
1639
2821
  getLeafValueHints: {
1640
2822
  value: string;
@@ -1645,6 +2827,112 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1645
2827
  };
1646
2828
  treeId: number;
1647
2829
  }[];
2830
+ sequentialInsertHintsPublicDataTree: {
2831
+ leaf: {
2832
+ nullifier: string;
2833
+ } | {
2834
+ value: string;
2835
+ slot: string;
2836
+ };
2837
+ hintKey: {
2838
+ root: string;
2839
+ nextAvailableLeafIndex: string | number | bigint;
2840
+ };
2841
+ treeId: number;
2842
+ stateAfter: {
2843
+ root: string;
2844
+ nextAvailableLeafIndex: string | number | bigint;
2845
+ };
2846
+ lowLeavesWitnessData: {
2847
+ path: string[];
2848
+ index: string | number | bigint;
2849
+ leaf: {
2850
+ leaf: {
2851
+ nullifier: string;
2852
+ };
2853
+ nextKey: string;
2854
+ nextIndex: string | number | bigint;
2855
+ } | {
2856
+ leaf: {
2857
+ value: string;
2858
+ slot: string;
2859
+ };
2860
+ nextKey: string;
2861
+ nextIndex: string | number | bigint;
2862
+ };
2863
+ };
2864
+ insertionWitnessData: {
2865
+ path: string[];
2866
+ index: string | number | bigint;
2867
+ leaf: {
2868
+ leaf: {
2869
+ nullifier: string;
2870
+ };
2871
+ nextKey: string;
2872
+ nextIndex: string | number | bigint;
2873
+ } | {
2874
+ leaf: {
2875
+ value: string;
2876
+ slot: string;
2877
+ };
2878
+ nextKey: string;
2879
+ nextIndex: string | number | bigint;
2880
+ };
2881
+ };
2882
+ }[];
2883
+ sequentialInsertHintsNullifierTree: {
2884
+ leaf: {
2885
+ nullifier: string;
2886
+ } | {
2887
+ value: string;
2888
+ slot: string;
2889
+ };
2890
+ hintKey: {
2891
+ root: string;
2892
+ nextAvailableLeafIndex: string | number | bigint;
2893
+ };
2894
+ treeId: number;
2895
+ stateAfter: {
2896
+ root: string;
2897
+ nextAvailableLeafIndex: string | number | bigint;
2898
+ };
2899
+ lowLeavesWitnessData: {
2900
+ path: string[];
2901
+ index: string | number | bigint;
2902
+ leaf: {
2903
+ leaf: {
2904
+ nullifier: string;
2905
+ };
2906
+ nextKey: string;
2907
+ nextIndex: string | number | bigint;
2908
+ } | {
2909
+ leaf: {
2910
+ value: string;
2911
+ slot: string;
2912
+ };
2913
+ nextKey: string;
2914
+ nextIndex: string | number | bigint;
2915
+ };
2916
+ };
2917
+ insertionWitnessData: {
2918
+ path: string[];
2919
+ index: string | number | bigint;
2920
+ leaf: {
2921
+ leaf: {
2922
+ nullifier: string;
2923
+ };
2924
+ nextKey: string;
2925
+ nextIndex: string | number | bigint;
2926
+ } | {
2927
+ leaf: {
2928
+ value: string;
2929
+ slot: string;
2930
+ };
2931
+ nextKey: string;
2932
+ nextIndex: string | number | bigint;
2933
+ };
2934
+ };
2935
+ }[];
1648
2936
  };
1649
2937
  publicInputs: {
1650
2938
  globalVariables: {
@@ -1853,23 +3141,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1853
3141
  }[];
1854
3142
  getLeafPreimageHintsPublicDataTree: {
1855
3143
  index: string | number | bigint;
1856
- nextIndex: string | number | bigint;
1857
3144
  hintKey: {
1858
3145
  root: string;
1859
3146
  nextAvailableLeafIndex: string | number | bigint;
1860
3147
  };
1861
- nextValue: string;
1862
- leaf?: any;
3148
+ leafPreimage: {
3149
+ leaf: {
3150
+ nullifier: string;
3151
+ };
3152
+ nextKey: string;
3153
+ nextIndex: string | number | bigint;
3154
+ } | {
3155
+ leaf: {
3156
+ value: string;
3157
+ slot: string;
3158
+ };
3159
+ nextKey: string;
3160
+ nextIndex: string | number | bigint;
3161
+ };
1863
3162
  }[];
1864
3163
  getLeafPreimageHintsNullifierTree: {
1865
3164
  index: string | number | bigint;
1866
- nextIndex: string | number | bigint;
1867
3165
  hintKey: {
1868
3166
  root: string;
1869
3167
  nextAvailableLeafIndex: string | number | bigint;
1870
3168
  };
1871
- nextValue: string;
1872
- leaf?: any;
3169
+ leafPreimage: {
3170
+ leaf: {
3171
+ nullifier: string;
3172
+ };
3173
+ nextKey: string;
3174
+ nextIndex: string | number | bigint;
3175
+ } | {
3176
+ leaf: {
3177
+ value: string;
3178
+ slot: string;
3179
+ };
3180
+ nextKey: string;
3181
+ nextIndex: string | number | bigint;
3182
+ };
1873
3183
  }[];
1874
3184
  getLeafValueHints: {
1875
3185
  value: string;
@@ -1880,6 +3190,112 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1880
3190
  };
1881
3191
  treeId: number;
1882
3192
  }[];
3193
+ sequentialInsertHintsPublicDataTree: {
3194
+ leaf: {
3195
+ nullifier: string;
3196
+ } | {
3197
+ value: string;
3198
+ slot: string;
3199
+ };
3200
+ hintKey: {
3201
+ root: string;
3202
+ nextAvailableLeafIndex: string | number | bigint;
3203
+ };
3204
+ treeId: number;
3205
+ stateAfter: {
3206
+ root: string;
3207
+ nextAvailableLeafIndex: string | number | bigint;
3208
+ };
3209
+ lowLeavesWitnessData: {
3210
+ path: string[];
3211
+ index: string | number | bigint;
3212
+ leaf: {
3213
+ leaf: {
3214
+ nullifier: string;
3215
+ };
3216
+ nextKey: string;
3217
+ nextIndex: string | number | bigint;
3218
+ } | {
3219
+ leaf: {
3220
+ value: string;
3221
+ slot: string;
3222
+ };
3223
+ nextKey: string;
3224
+ nextIndex: string | number | bigint;
3225
+ };
3226
+ };
3227
+ insertionWitnessData: {
3228
+ path: string[];
3229
+ index: string | number | bigint;
3230
+ leaf: {
3231
+ leaf: {
3232
+ nullifier: string;
3233
+ };
3234
+ nextKey: string;
3235
+ nextIndex: string | number | bigint;
3236
+ } | {
3237
+ leaf: {
3238
+ value: string;
3239
+ slot: string;
3240
+ };
3241
+ nextKey: string;
3242
+ nextIndex: string | number | bigint;
3243
+ };
3244
+ };
3245
+ }[];
3246
+ sequentialInsertHintsNullifierTree: {
3247
+ leaf: {
3248
+ nullifier: string;
3249
+ } | {
3250
+ value: string;
3251
+ slot: string;
3252
+ };
3253
+ hintKey: {
3254
+ root: string;
3255
+ nextAvailableLeafIndex: string | number | bigint;
3256
+ };
3257
+ treeId: number;
3258
+ stateAfter: {
3259
+ root: string;
3260
+ nextAvailableLeafIndex: string | number | bigint;
3261
+ };
3262
+ lowLeavesWitnessData: {
3263
+ path: string[];
3264
+ index: string | number | bigint;
3265
+ leaf: {
3266
+ leaf: {
3267
+ nullifier: string;
3268
+ };
3269
+ nextKey: string;
3270
+ nextIndex: string | number | bigint;
3271
+ } | {
3272
+ leaf: {
3273
+ value: string;
3274
+ slot: string;
3275
+ };
3276
+ nextKey: string;
3277
+ nextIndex: string | number | bigint;
3278
+ };
3279
+ };
3280
+ insertionWitnessData: {
3281
+ path: string[];
3282
+ index: string | number | bigint;
3283
+ leaf: {
3284
+ leaf: {
3285
+ nullifier: string;
3286
+ };
3287
+ nextKey: string;
3288
+ nextIndex: string | number | bigint;
3289
+ } | {
3290
+ leaf: {
3291
+ value: string;
3292
+ slot: string;
3293
+ };
3294
+ nextKey: string;
3295
+ nextIndex: string | number | bigint;
3296
+ };
3297
+ };
3298
+ }[];
1883
3299
  };
1884
3300
  publicInputs: {
1885
3301
  globalVariables: {
@@ -2094,23 +3510,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2094
3510
  }[];
2095
3511
  getLeafPreimageHintsPublicDataTree: {
2096
3512
  index: string | number | bigint;
2097
- nextIndex: string | number | bigint;
2098
3513
  hintKey: {
2099
3514
  root: string;
2100
3515
  nextAvailableLeafIndex: string | number | bigint;
2101
3516
  };
2102
- nextValue: string;
2103
- leaf?: any;
3517
+ leafPreimage: {
3518
+ leaf: {
3519
+ nullifier: string;
3520
+ };
3521
+ nextKey: string;
3522
+ nextIndex: string | number | bigint;
3523
+ } | {
3524
+ leaf: {
3525
+ value: string;
3526
+ slot: string;
3527
+ };
3528
+ nextKey: string;
3529
+ nextIndex: string | number | bigint;
3530
+ };
2104
3531
  }[];
2105
3532
  getLeafPreimageHintsNullifierTree: {
2106
3533
  index: string | number | bigint;
2107
- nextIndex: string | number | bigint;
2108
3534
  hintKey: {
2109
3535
  root: string;
2110
3536
  nextAvailableLeafIndex: string | number | bigint;
2111
3537
  };
2112
- nextValue: string;
2113
- leaf?: any;
3538
+ leafPreimage: {
3539
+ leaf: {
3540
+ nullifier: string;
3541
+ };
3542
+ nextKey: string;
3543
+ nextIndex: string | number | bigint;
3544
+ } | {
3545
+ leaf: {
3546
+ value: string;
3547
+ slot: string;
3548
+ };
3549
+ nextKey: string;
3550
+ nextIndex: string | number | bigint;
3551
+ };
2114
3552
  }[];
2115
3553
  getLeafValueHints: {
2116
3554
  value: string;
@@ -2121,6 +3559,112 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2121
3559
  };
2122
3560
  treeId: number;
2123
3561
  }[];
3562
+ sequentialInsertHintsPublicDataTree: {
3563
+ leaf: {
3564
+ nullifier: string;
3565
+ } | {
3566
+ value: string;
3567
+ slot: string;
3568
+ };
3569
+ hintKey: {
3570
+ root: string;
3571
+ nextAvailableLeafIndex: string | number | bigint;
3572
+ };
3573
+ treeId: number;
3574
+ stateAfter: {
3575
+ root: string;
3576
+ nextAvailableLeafIndex: string | number | bigint;
3577
+ };
3578
+ lowLeavesWitnessData: {
3579
+ path: string[];
3580
+ index: string | number | bigint;
3581
+ leaf: {
3582
+ leaf: {
3583
+ nullifier: string;
3584
+ };
3585
+ nextKey: string;
3586
+ nextIndex: string | number | bigint;
3587
+ } | {
3588
+ leaf: {
3589
+ value: string;
3590
+ slot: string;
3591
+ };
3592
+ nextKey: string;
3593
+ nextIndex: string | number | bigint;
3594
+ };
3595
+ };
3596
+ insertionWitnessData: {
3597
+ path: string[];
3598
+ index: string | number | bigint;
3599
+ leaf: {
3600
+ leaf: {
3601
+ nullifier: string;
3602
+ };
3603
+ nextKey: string;
3604
+ nextIndex: string | number | bigint;
3605
+ } | {
3606
+ leaf: {
3607
+ value: string;
3608
+ slot: string;
3609
+ };
3610
+ nextKey: string;
3611
+ nextIndex: string | number | bigint;
3612
+ };
3613
+ };
3614
+ }[];
3615
+ sequentialInsertHintsNullifierTree: {
3616
+ leaf: {
3617
+ nullifier: string;
3618
+ } | {
3619
+ value: string;
3620
+ slot: string;
3621
+ };
3622
+ hintKey: {
3623
+ root: string;
3624
+ nextAvailableLeafIndex: string | number | bigint;
3625
+ };
3626
+ treeId: number;
3627
+ stateAfter: {
3628
+ root: string;
3629
+ nextAvailableLeafIndex: string | number | bigint;
3630
+ };
3631
+ lowLeavesWitnessData: {
3632
+ path: string[];
3633
+ index: string | number | bigint;
3634
+ leaf: {
3635
+ leaf: {
3636
+ nullifier: string;
3637
+ };
3638
+ nextKey: string;
3639
+ nextIndex: string | number | bigint;
3640
+ } | {
3641
+ leaf: {
3642
+ value: string;
3643
+ slot: string;
3644
+ };
3645
+ nextKey: string;
3646
+ nextIndex: string | number | bigint;
3647
+ };
3648
+ };
3649
+ insertionWitnessData: {
3650
+ path: string[];
3651
+ index: string | number | bigint;
3652
+ leaf: {
3653
+ leaf: {
3654
+ nullifier: string;
3655
+ };
3656
+ nextKey: string;
3657
+ nextIndex: string | number | bigint;
3658
+ } | {
3659
+ leaf: {
3660
+ value: string;
3661
+ slot: string;
3662
+ };
3663
+ nextKey: string;
3664
+ nextIndex: string | number | bigint;
3665
+ };
3666
+ };
3667
+ }[];
2124
3668
  };
2125
3669
  publicInputs: {
2126
3670
  globalVariables: {