@aztec/stdlib 3.0.0-nightly.20251104 → 3.0.0-nightly.20251105

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 (48) hide show
  1. package/dest/avm/avm.d.ts +2202 -250
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +93 -14
  4. package/dest/avm/avm_accumulated_data.d.ts +7 -7
  5. package/dest/avm/avm_circuit_public_inputs.d.ts +27 -27
  6. package/dest/avm/avm_proving_request.d.ts +667 -118
  7. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  8. package/dest/contract/contract_deployment_data.d.ts +111 -0
  9. package/dest/contract/contract_deployment_data.d.ts.map +1 -0
  10. package/dest/contract/contract_deployment_data.js +87 -0
  11. package/dest/contract/index.d.ts +1 -0
  12. package/dest/contract/index.d.ts.map +1 -1
  13. package/dest/contract/index.js +1 -0
  14. package/dest/contract/interfaces/contract_class.d.ts +16 -16
  15. package/dest/contract/private_function_membership_proof.d.ts +1 -1
  16. package/dest/contract/private_function_membership_proof.js +1 -1
  17. package/dest/hash/hash.d.ts +9 -1
  18. package/dest/hash/hash.d.ts.map +1 -1
  19. package/dest/hash/hash.js +11 -1
  20. package/dest/interfaces/get_logs_response.d.ts +1 -1
  21. package/dest/interfaces/merkle_tree_operations.d.ts +2 -2
  22. package/dest/interfaces/merkle_tree_operations.d.ts.map +1 -1
  23. package/dest/interfaces/proving-job.d.ts +667 -118
  24. package/dest/interfaces/proving-job.d.ts.map +1 -1
  25. package/dest/kernel/private_to_avm_accumulated_data.d.ts +7 -7
  26. package/dest/logs/extended_public_log.d.ts +1 -1
  27. package/dest/messaging/l2_to_l1_message.d.ts +20 -20
  28. package/dest/slashing/types.d.ts +1 -1
  29. package/dest/snapshots/types.d.ts +4 -4
  30. package/dest/tests/factories.d.ts +11 -2
  31. package/dest/tests/factories.d.ts.map +1 -1
  32. package/dest/tests/factories.js +24 -8
  33. package/dest/world-state/world_state_revision.d.ts +33 -1
  34. package/dest/world-state/world_state_revision.d.ts.map +1 -1
  35. package/dest/world-state/world_state_revision.js +24 -1
  36. package/dest/zkpassport/index.d.ts +1 -3
  37. package/dest/zkpassport/index.d.ts.map +1 -1
  38. package/dest/zkpassport/index.js +5 -10
  39. package/package.json +8 -8
  40. package/src/avm/avm.ts +100 -3
  41. package/src/contract/contract_deployment_data.ts +108 -0
  42. package/src/contract/index.ts +1 -0
  43. package/src/contract/private_function_membership_proof.ts +1 -1
  44. package/src/hash/hash.ts +13 -2
  45. package/src/interfaces/merkle_tree_operations.ts +2 -2
  46. package/src/tests/factories.ts +29 -3
  47. package/src/world-state/world_state_revision.ts +47 -5
  48. package/src/zkpassport/index.ts +0 -8
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -200,6 +200,148 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
200
200
  feePerDaGas: string | number | bigint;
201
201
  feePerL2Gas: string | number | bigint;
202
202
  }>;
203
+ nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
204
+ contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
205
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
206
+ fields: z.ZodEffects<z.ZodObject<{
207
+ fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
208
+ }, "strip", z.ZodTypeAny, {
209
+ fields: import("@aztec/foundation/schemas").Fr[];
210
+ }, {
211
+ fields: string[];
212
+ }>, import("../logs/contract_class_log.js").ContractClassLogFields, {
213
+ fields: string[];
214
+ }>;
215
+ emittedLength: z.ZodNumber;
216
+ }, "strip", z.ZodTypeAny, {
217
+ fields: import("../logs/contract_class_log.js").ContractClassLogFields;
218
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
219
+ emittedLength: number;
220
+ }, {
221
+ fields: {
222
+ fields: string[];
223
+ };
224
+ emittedLength: number;
225
+ contractAddress?: any;
226
+ }>, import("../logs/contract_class_log.js").ContractClassLog, {
227
+ fields: {
228
+ fields: string[];
229
+ };
230
+ emittedLength: number;
231
+ contractAddress?: any;
232
+ }>, "many">;
233
+ privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
234
+ fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
235
+ emittedLength: z.ZodNumber;
236
+ }, "strict", z.ZodTypeAny, {
237
+ fields: import("@aztec/foundation/schemas").Fr[];
238
+ emittedLength: number;
239
+ }, {
240
+ fields: string[];
241
+ emittedLength: number;
242
+ }>, import("../logs/private_log.js").PrivateLog, {
243
+ fields: string[];
244
+ emittedLength: number;
245
+ }>, "many">;
246
+ }, "strip", z.ZodTypeAny, {
247
+ privateLogs: import("../logs/private_log.js").PrivateLog[];
248
+ contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
249
+ }, {
250
+ privateLogs: {
251
+ fields: string[];
252
+ emittedLength: number;
253
+ }[];
254
+ contractClassLogs: {
255
+ fields: {
256
+ fields: string[];
257
+ };
258
+ emittedLength: number;
259
+ contractAddress?: any;
260
+ }[];
261
+ }>, import("../contract/contract_deployment_data.js").ContractDeploymentData, {
262
+ privateLogs: {
263
+ fields: string[];
264
+ emittedLength: number;
265
+ }[];
266
+ contractClassLogs: {
267
+ fields: {
268
+ fields: string[];
269
+ };
270
+ emittedLength: number;
271
+ contractAddress?: any;
272
+ }[];
273
+ }>;
274
+ revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
275
+ contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
276
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
277
+ fields: z.ZodEffects<z.ZodObject<{
278
+ fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
279
+ }, "strip", z.ZodTypeAny, {
280
+ fields: import("@aztec/foundation/schemas").Fr[];
281
+ }, {
282
+ fields: string[];
283
+ }>, import("../logs/contract_class_log.js").ContractClassLogFields, {
284
+ fields: string[];
285
+ }>;
286
+ emittedLength: z.ZodNumber;
287
+ }, "strip", z.ZodTypeAny, {
288
+ fields: import("../logs/contract_class_log.js").ContractClassLogFields;
289
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
290
+ emittedLength: number;
291
+ }, {
292
+ fields: {
293
+ fields: string[];
294
+ };
295
+ emittedLength: number;
296
+ contractAddress?: any;
297
+ }>, import("../logs/contract_class_log.js").ContractClassLog, {
298
+ fields: {
299
+ fields: string[];
300
+ };
301
+ emittedLength: number;
302
+ contractAddress?: any;
303
+ }>, "many">;
304
+ privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
305
+ fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
306
+ emittedLength: z.ZodNumber;
307
+ }, "strict", z.ZodTypeAny, {
308
+ fields: import("@aztec/foundation/schemas").Fr[];
309
+ emittedLength: number;
310
+ }, {
311
+ fields: string[];
312
+ emittedLength: number;
313
+ }>, import("../logs/private_log.js").PrivateLog, {
314
+ fields: string[];
315
+ emittedLength: number;
316
+ }>, "many">;
317
+ }, "strip", z.ZodTypeAny, {
318
+ privateLogs: import("../logs/private_log.js").PrivateLog[];
319
+ contractClassLogs: import("../logs/contract_class_log.js").ContractClassLog[];
320
+ }, {
321
+ privateLogs: {
322
+ fields: string[];
323
+ emittedLength: number;
324
+ }[];
325
+ contractClassLogs: {
326
+ fields: {
327
+ fields: string[];
328
+ };
329
+ emittedLength: number;
330
+ contractAddress?: any;
331
+ }[];
332
+ }>, import("../contract/contract_deployment_data.js").ContractDeploymentData, {
333
+ privateLogs: {
334
+ fields: string[];
335
+ emittedLength: number;
336
+ }[];
337
+ contractClassLogs: {
338
+ fields: {
339
+ fields: string[];
340
+ };
341
+ emittedLength: number;
342
+ contractAddress?: any;
343
+ }[];
344
+ }>;
203
345
  nonRevertibleAccumulatedData: z.ZodObject<{
204
346
  noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
205
347
  nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
@@ -208,14 +350,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
208
350
  recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
209
351
  content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
210
352
  }, "strip", z.ZodTypeAny, {
211
- recipient: import("@aztec/foundation/schemas").EthAddress;
212
353
  content: import("@aztec/foundation/schemas").Fr;
354
+ recipient: import("@aztec/foundation/schemas").EthAddress;
213
355
  }, {
214
- recipient: string;
215
356
  content: string;
216
- }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
217
357
  recipient: string;
358
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
218
359
  content: string;
360
+ recipient: string;
219
361
  }>;
220
362
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
221
363
  }, "strip", z.ZodTypeAny, {
@@ -223,14 +365,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
223
365
  contractAddress: import("../aztec-address/index.js").AztecAddress;
224
366
  }, {
225
367
  message: {
226
- recipient: string;
227
368
  content: string;
369
+ recipient: string;
228
370
  };
229
371
  contractAddress?: any;
230
372
  }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
231
373
  message: {
232
- recipient: string;
233
374
  content: string;
375
+ recipient: string;
234
376
  };
235
377
  contractAddress?: any;
236
378
  }>, "many">;
@@ -243,8 +385,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
243
385
  nullifiers: string[];
244
386
  l2ToL1Messages: {
245
387
  message: {
246
- recipient: string;
247
388
  content: string;
389
+ recipient: string;
248
390
  };
249
391
  contractAddress?: any;
250
392
  }[];
@@ -257,14 +399,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
257
399
  recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
258
400
  content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
259
401
  }, "strip", z.ZodTypeAny, {
260
- recipient: import("@aztec/foundation/schemas").EthAddress;
261
402
  content: import("@aztec/foundation/schemas").Fr;
403
+ recipient: import("@aztec/foundation/schemas").EthAddress;
262
404
  }, {
263
- recipient: string;
264
405
  content: string;
265
- }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
266
406
  recipient: string;
407
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
267
408
  content: string;
409
+ recipient: string;
268
410
  }>;
269
411
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
270
412
  }, "strip", z.ZodTypeAny, {
@@ -272,14 +414,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
272
414
  contractAddress: import("../aztec-address/index.js").AztecAddress;
273
415
  }, {
274
416
  message: {
275
- recipient: string;
276
417
  content: string;
418
+ recipient: string;
277
419
  };
278
420
  contractAddress?: any;
279
421
  }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
280
422
  message: {
281
- recipient: string;
282
423
  content: string;
424
+ recipient: string;
283
425
  };
284
426
  contractAddress?: any;
285
427
  }>, "many">;
@@ -292,8 +434,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
292
434
  nullifiers: string[];
293
435
  l2ToL1Messages: {
294
436
  message: {
295
- recipient: string;
296
437
  content: string;
438
+ recipient: string;
297
439
  };
298
440
  contractAddress?: any;
299
441
  }[];
@@ -330,6 +472,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
330
472
  };
331
473
  feePayer: import("../aztec-address/index.js").AztecAddress;
332
474
  effectiveGasFees: import("../gas/gas_fees.js").GasFees;
475
+ nonRevertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
476
+ revertibleContractDeploymentData: import("../contract/contract_deployment_data.js").ContractDeploymentData;
333
477
  setupEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
334
478
  appLogicEnqueuedCalls: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata[];
335
479
  teardownEnqueuedCall: import("../tx/public_call_request_with_calldata.js").PublicCallRequestWithCalldata | null;
@@ -359,8 +503,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
359
503
  nullifiers: string[];
360
504
  l2ToL1Messages: {
361
505
  message: {
362
- recipient: string;
363
506
  content: string;
507
+ recipient: string;
364
508
  };
365
509
  contractAddress?: any;
366
510
  }[];
@@ -370,8 +514,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
370
514
  nullifiers: string[];
371
515
  l2ToL1Messages: {
372
516
  message: {
373
- recipient: string;
374
517
  content: string;
518
+ recipient: string;
375
519
  };
376
520
  contractAddress?: any;
377
521
  }[];
@@ -380,6 +524,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
380
524
  feePerDaGas: string | number | bigint;
381
525
  feePerL2Gas: string | number | bigint;
382
526
  };
527
+ nonRevertibleContractDeploymentData: {
528
+ privateLogs: {
529
+ fields: string[];
530
+ emittedLength: number;
531
+ }[];
532
+ contractClassLogs: {
533
+ fields: {
534
+ fields: string[];
535
+ };
536
+ emittedLength: number;
537
+ contractAddress?: any;
538
+ }[];
539
+ };
540
+ revertibleContractDeploymentData: {
541
+ privateLogs: {
542
+ fields: string[];
543
+ emittedLength: number;
544
+ }[];
545
+ contractClassLogs: {
546
+ fields: {
547
+ fields: string[];
548
+ };
549
+ emittedLength: number;
550
+ contractAddress?: any;
551
+ }[];
552
+ };
383
553
  setupEnqueuedCalls: any[];
384
554
  appLogicEnqueuedCalls: any[];
385
555
  gasUsedByPrivate: {
@@ -413,8 +583,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
413
583
  nullifiers: string[];
414
584
  l2ToL1Messages: {
415
585
  message: {
416
- recipient: string;
417
586
  content: string;
587
+ recipient: string;
418
588
  };
419
589
  contractAddress?: any;
420
590
  }[];
@@ -424,8 +594,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
424
594
  nullifiers: string[];
425
595
  l2ToL1Messages: {
426
596
  message: {
427
- recipient: string;
428
597
  content: string;
598
+ recipient: string;
429
599
  };
430
600
  contractAddress?: any;
431
601
  }[];
@@ -434,6 +604,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
434
604
  feePerDaGas: string | number | bigint;
435
605
  feePerL2Gas: string | number | bigint;
436
606
  };
607
+ nonRevertibleContractDeploymentData: {
608
+ privateLogs: {
609
+ fields: string[];
610
+ emittedLength: number;
611
+ }[];
612
+ contractClassLogs: {
613
+ fields: {
614
+ fields: string[];
615
+ };
616
+ emittedLength: number;
617
+ contractAddress?: any;
618
+ }[];
619
+ };
620
+ revertibleContractDeploymentData: {
621
+ privateLogs: {
622
+ fields: string[];
623
+ emittedLength: number;
624
+ }[];
625
+ contractClassLogs: {
626
+ fields: {
627
+ fields: string[];
628
+ };
629
+ emittedLength: number;
630
+ contractAddress?: any;
631
+ }[];
632
+ };
437
633
  setupEnqueuedCalls: any[];
438
634
  appLogicEnqueuedCalls: any[];
439
635
  gasUsedByPrivate: {
@@ -453,6 +649,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
453
649
  derivedAddresses: any[];
454
650
  }>;
455
651
  contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
652
+ hintKey: z.ZodNumber;
456
653
  address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
457
654
  salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
458
655
  deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
@@ -488,6 +685,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
488
685
  initializationHash: import("@aztec/foundation/schemas").Fr;
489
686
  publicKeys: import("../keys/public_keys.js").PublicKeys;
490
687
  address: import("../aztec-address/index.js").AztecAddress;
688
+ hintKey: number;
491
689
  }, {
492
690
  salt: string;
493
691
  currentContractClassId: string;
@@ -499,6 +697,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
499
697
  masterOutgoingViewingPublicKey: string;
500
698
  masterTaggingPublicKey: string;
501
699
  };
700
+ hintKey: number;
502
701
  deployer?: any;
503
702
  address?: any;
504
703
  }>, import("../avm/avm.js").AvmContractInstanceHint, {
@@ -512,10 +711,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
512
711
  masterOutgoingViewingPublicKey: string;
513
712
  masterTaggingPublicKey: string;
514
713
  };
714
+ hintKey: number;
515
715
  deployer?: any;
516
716
  address?: any;
517
717
  }>, "many">;
518
718
  contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
719
+ hintKey: z.ZodNumber;
519
720
  classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
520
721
  artifactHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
521
722
  privateFunctionsRoot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -533,40 +734,64 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
533
734
  data: number[];
534
735
  }>]>;
535
736
  }, "strip", z.ZodTypeAny, {
536
- classId: import("@aztec/foundation/schemas").Fr;
537
737
  artifactHash: import("@aztec/foundation/schemas").Fr;
538
- privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
539
738
  packedBytecode: Buffer<ArrayBuffer>;
739
+ privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
740
+ hintKey: number;
741
+ classId: import("@aztec/foundation/schemas").Fr;
540
742
  }, {
541
- classId: string;
542
743
  artifactHash: string;
543
- privateFunctionsRoot: string;
544
744
  packedBytecode: string | {
545
745
  type: "Buffer";
546
746
  data: number[];
547
747
  };
548
- }>, import("../avm/avm.js").AvmContractClassHint, {
748
+ privateFunctionsRoot: string;
749
+ hintKey: number;
549
750
  classId: string;
751
+ }>, import("../avm/avm.js").AvmContractClassHint, {
550
752
  artifactHash: string;
551
- privateFunctionsRoot: string;
552
753
  packedBytecode: string | {
553
754
  type: "Buffer";
554
755
  data: number[];
555
756
  };
757
+ privateFunctionsRoot: string;
758
+ hintKey: number;
759
+ classId: string;
556
760
  }>, "many">;
557
761
  bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
762
+ hintKey: z.ZodNumber;
558
763
  classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
559
764
  commitment: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
560
765
  }, "strip", z.ZodTypeAny, {
766
+ hintKey: number;
561
767
  classId: import("@aztec/foundation/schemas").Fr;
562
768
  commitment: import("@aztec/foundation/schemas").Fr;
563
769
  }, {
770
+ hintKey: number;
564
771
  classId: string;
565
772
  commitment: string;
566
773
  }>, import("../avm/avm.js").AvmBytecodeCommitmentHint, {
774
+ hintKey: number;
567
775
  classId: string;
568
776
  commitment: string;
569
777
  }>, "many">;
778
+ debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
779
+ address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
780
+ selector: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
781
+ name: z.ZodString;
782
+ }, "strip", z.ZodTypeAny, {
783
+ name: string;
784
+ selector: import("@aztec/foundation/schemas").Fr;
785
+ address: import("../aztec-address/index.js").AztecAddress;
786
+ }, {
787
+ name: string;
788
+ selector: string;
789
+ address?: any;
790
+ }>, import("../avm/avm.js").AvmDebugFunctionNameHint, {
791
+ name: string;
792
+ selector: string;
793
+ address?: any;
794
+ }>, "many">;
570
795
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
571
796
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
572
797
  root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -1152,10 +1377,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1152
1377
  path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1153
1378
  }, "strip", z.ZodTypeAny, {
1154
1379
  path: import("@aztec/foundation/schemas").Fr[];
1155
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1156
1380
  index: bigint;
1381
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1157
1382
  }, {
1158
1383
  path: string[];
1384
+ index: string | number | bigint;
1159
1385
  leaf: {
1160
1386
  leaf: {
1161
1387
  nullifier: string;
@@ -1170,7 +1396,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1170
1396
  nextKey: string;
1171
1397
  nextIndex: string | number | bigint;
1172
1398
  };
1173
- index: string | number | bigint;
1174
1399
  }>;
1175
1400
  insertionWitnessData: z.ZodObject<{
1176
1401
  leaf: z.ZodEffects<z.ZodObject<{
@@ -1240,10 +1465,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1240
1465
  path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1241
1466
  }, "strip", z.ZodTypeAny, {
1242
1467
  path: import("@aztec/foundation/schemas").Fr[];
1243
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1244
1468
  index: bigint;
1469
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1245
1470
  }, {
1246
1471
  path: string[];
1472
+ index: string | number | bigint;
1247
1473
  leaf: {
1248
1474
  leaf: {
1249
1475
  nullifier: string;
@@ -1258,7 +1484,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1258
1484
  nextKey: string;
1259
1485
  nextIndex: string | number | bigint;
1260
1486
  };
1261
- index: string | number | bigint;
1262
1487
  }>;
1263
1488
  }, "strip", z.ZodTypeAny, {
1264
1489
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1267,13 +1492,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1267
1492
  stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1268
1493
  lowLeavesWitnessData: {
1269
1494
  path: import("@aztec/foundation/schemas").Fr[];
1270
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1271
1495
  index: bigint;
1496
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1272
1497
  };
1273
1498
  insertionWitnessData: {
1274
1499
  path: import("@aztec/foundation/schemas").Fr[];
1275
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1276
1500
  index: bigint;
1501
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1277
1502
  };
1278
1503
  }, {
1279
1504
  leaf: {
@@ -1293,6 +1518,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1293
1518
  };
1294
1519
  lowLeavesWitnessData: {
1295
1520
  path: string[];
1521
+ index: string | number | bigint;
1296
1522
  leaf: {
1297
1523
  leaf: {
1298
1524
  nullifier: string;
@@ -1307,10 +1533,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1307
1533
  nextKey: string;
1308
1534
  nextIndex: string | number | bigint;
1309
1535
  };
1310
- index: string | number | bigint;
1311
1536
  };
1312
1537
  insertionWitnessData: {
1313
1538
  path: string[];
1539
+ index: string | number | bigint;
1314
1540
  leaf: {
1315
1541
  leaf: {
1316
1542
  nullifier: string;
@@ -1325,7 +1551,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1325
1551
  nextKey: string;
1326
1552
  nextIndex: string | number | bigint;
1327
1553
  };
1328
- index: string | number | bigint;
1329
1554
  };
1330
1555
  }>, {
1331
1556
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -1360,6 +1585,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1360
1585
  };
1361
1586
  lowLeavesWitnessData: {
1362
1587
  path: string[];
1588
+ index: string | number | bigint;
1363
1589
  leaf: {
1364
1590
  leaf: {
1365
1591
  nullifier: string;
@@ -1374,10 +1600,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1374
1600
  nextKey: string;
1375
1601
  nextIndex: string | number | bigint;
1376
1602
  };
1377
- index: string | number | bigint;
1378
1603
  };
1379
1604
  insertionWitnessData: {
1380
1605
  path: string[];
1606
+ index: string | number | bigint;
1381
1607
  leaf: {
1382
1608
  leaf: {
1383
1609
  nullifier: string;
@@ -1392,7 +1618,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1392
1618
  nextKey: string;
1393
1619
  nextIndex: string | number | bigint;
1394
1620
  };
1395
- index: string | number | bigint;
1396
1621
  };
1397
1622
  }>, "many">;
1398
1623
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
@@ -1512,10 +1737,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1512
1737
  path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1513
1738
  }, "strip", z.ZodTypeAny, {
1514
1739
  path: import("@aztec/foundation/schemas").Fr[];
1515
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1516
1740
  index: bigint;
1741
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1517
1742
  }, {
1518
1743
  path: string[];
1744
+ index: string | number | bigint;
1519
1745
  leaf: {
1520
1746
  leaf: {
1521
1747
  nullifier: string;
@@ -1530,7 +1756,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1530
1756
  nextKey: string;
1531
1757
  nextIndex: string | number | bigint;
1532
1758
  };
1533
- index: string | number | bigint;
1534
1759
  }>;
1535
1760
  insertionWitnessData: z.ZodObject<{
1536
1761
  leaf: z.ZodEffects<z.ZodObject<{
@@ -1600,10 +1825,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1600
1825
  path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1601
1826
  }, "strip", z.ZodTypeAny, {
1602
1827
  path: import("@aztec/foundation/schemas").Fr[];
1603
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1604
1828
  index: bigint;
1829
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1605
1830
  }, {
1606
1831
  path: string[];
1832
+ index: string | number | bigint;
1607
1833
  leaf: {
1608
1834
  leaf: {
1609
1835
  nullifier: string;
@@ -1618,7 +1844,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1618
1844
  nextKey: string;
1619
1845
  nextIndex: string | number | bigint;
1620
1846
  };
1621
- index: string | number | bigint;
1622
1847
  }>;
1623
1848
  }, "strip", z.ZodTypeAny, {
1624
1849
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf | import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1627,13 +1852,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1627
1852
  stateAfter: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1628
1853
  lowLeavesWitnessData: {
1629
1854
  path: import("@aztec/foundation/schemas").Fr[];
1630
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1631
1855
  index: bigint;
1856
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1632
1857
  };
1633
1858
  insertionWitnessData: {
1634
1859
  path: import("@aztec/foundation/schemas").Fr[];
1635
- leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1636
1860
  index: bigint;
1861
+ leaf: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
1637
1862
  };
1638
1863
  }, {
1639
1864
  leaf: {
@@ -1653,6 +1878,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1653
1878
  };
1654
1879
  lowLeavesWitnessData: {
1655
1880
  path: string[];
1881
+ index: string | number | bigint;
1656
1882
  leaf: {
1657
1883
  leaf: {
1658
1884
  nullifier: string;
@@ -1667,10 +1893,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1667
1893
  nextKey: string;
1668
1894
  nextIndex: string | number | bigint;
1669
1895
  };
1670
- index: string | number | bigint;
1671
1896
  };
1672
1897
  insertionWitnessData: {
1673
1898
  path: string[];
1899
+ index: string | number | bigint;
1674
1900
  leaf: {
1675
1901
  leaf: {
1676
1902
  nullifier: string;
@@ -1685,7 +1911,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1685
1911
  nextKey: string;
1686
1912
  nextIndex: string | number | bigint;
1687
1913
  };
1688
- index: string | number | bigint;
1689
1914
  };
1690
1915
  }>, {
1691
1916
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
@@ -1720,6 +1945,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1720
1945
  };
1721
1946
  lowLeavesWitnessData: {
1722
1947
  path: string[];
1948
+ index: string | number | bigint;
1723
1949
  leaf: {
1724
1950
  leaf: {
1725
1951
  nullifier: string;
@@ -1734,10 +1960,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1734
1960
  nextKey: string;
1735
1961
  nextIndex: string | number | bigint;
1736
1962
  };
1737
- index: string | number | bigint;
1738
1963
  };
1739
1964
  insertionWitnessData: {
1740
1965
  path: string[];
1966
+ index: string | number | bigint;
1741
1967
  leaf: {
1742
1968
  leaf: {
1743
1969
  nullifier: string;
@@ -1752,7 +1978,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1752
1978
  nextKey: string;
1753
1979
  nextIndex: string | number | bigint;
1754
1980
  };
1755
- index: string | number | bigint;
1756
1981
  };
1757
1982
  }>, "many">;
1758
1983
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
@@ -2131,6 +2356,69 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2131
2356
  };
2132
2357
  };
2133
2358
  }>, "many">;
2359
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2360
+ actionCounter: z.ZodNumber;
2361
+ oldCheckpointId: z.ZodNumber;
2362
+ newCheckpointId: z.ZodNumber;
2363
+ }, "strip", z.ZodTypeAny, {
2364
+ actionCounter: number;
2365
+ oldCheckpointId: number;
2366
+ newCheckpointId: number;
2367
+ }, {
2368
+ actionCounter: number;
2369
+ oldCheckpointId: number;
2370
+ newCheckpointId: number;
2371
+ }>, {
2372
+ readonly actionCounter: number;
2373
+ readonly oldCheckpointId: number;
2374
+ readonly newCheckpointId: number;
2375
+ }, {
2376
+ actionCounter: number;
2377
+ oldCheckpointId: number;
2378
+ newCheckpointId: number;
2379
+ }>, "many">;
2380
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2381
+ actionCounter: z.ZodNumber;
2382
+ oldCheckpointId: z.ZodNumber;
2383
+ newCheckpointId: z.ZodNumber;
2384
+ }, "strip", z.ZodTypeAny, {
2385
+ actionCounter: number;
2386
+ oldCheckpointId: number;
2387
+ newCheckpointId: number;
2388
+ }, {
2389
+ actionCounter: number;
2390
+ oldCheckpointId: number;
2391
+ newCheckpointId: number;
2392
+ }>, {
2393
+ readonly actionCounter: number;
2394
+ readonly oldCheckpointId: number;
2395
+ readonly newCheckpointId: number;
2396
+ }, {
2397
+ actionCounter: number;
2398
+ oldCheckpointId: number;
2399
+ newCheckpointId: number;
2400
+ }>, "many">;
2401
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2402
+ actionCounter: z.ZodNumber;
2403
+ oldCheckpointId: z.ZodNumber;
2404
+ newCheckpointId: z.ZodNumber;
2405
+ }, "strip", z.ZodTypeAny, {
2406
+ actionCounter: number;
2407
+ oldCheckpointId: number;
2408
+ newCheckpointId: number;
2409
+ }, {
2410
+ actionCounter: number;
2411
+ oldCheckpointId: number;
2412
+ newCheckpointId: number;
2413
+ }>, {
2414
+ readonly actionCounter: number;
2415
+ readonly oldCheckpointId: number;
2416
+ readonly newCheckpointId: number;
2417
+ }, {
2418
+ actionCounter: number;
2419
+ oldCheckpointId: number;
2420
+ newCheckpointId: number;
2421
+ }>, "many">;
2134
2422
  }, "strip", z.ZodTypeAny, {
2135
2423
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
2136
2424
  protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
@@ -2138,6 +2426,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2138
2426
  contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
2139
2427
  contractClasses: import("../avm/avm.js").AvmContractClassHint[];
2140
2428
  bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
2429
+ debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
2141
2430
  startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
2142
2431
  getSiblingPathHints: import("../avm/avm.js").AvmGetSiblingPathHint[];
2143
2432
  getPreviousValueIndexHints: import("../avm/avm.js").AvmGetPreviousValueIndexHint[];
@@ -2196,6 +2485,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2196
2485
  readonly newCheckpointId: number;
2197
2486
  }[];
2198
2487
  revertCheckpointHints: import("../avm/avm.js").AvmRevertCheckpointHint[];
2488
+ contractDBCreateCheckpointHints: {
2489
+ readonly actionCounter: number;
2490
+ readonly oldCheckpointId: number;
2491
+ readonly newCheckpointId: number;
2492
+ }[];
2493
+ contractDBCommitCheckpointHints: {
2494
+ readonly actionCounter: number;
2495
+ readonly oldCheckpointId: number;
2496
+ readonly newCheckpointId: number;
2497
+ }[];
2498
+ contractDBRevertCheckpointHints: {
2499
+ readonly actionCounter: number;
2500
+ readonly oldCheckpointId: number;
2501
+ readonly newCheckpointId: number;
2502
+ }[];
2199
2503
  }, {
2200
2504
  globalVariables: {
2201
2505
  blockNumber: string | number | bigint;
@@ -2238,8 +2542,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2238
2542
  nullifiers: string[];
2239
2543
  l2ToL1Messages: {
2240
2544
  message: {
2241
- recipient: string;
2242
2545
  content: string;
2546
+ recipient: string;
2243
2547
  };
2244
2548
  contractAddress?: any;
2245
2549
  }[];
@@ -2249,8 +2553,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2249
2553
  nullifiers: string[];
2250
2554
  l2ToL1Messages: {
2251
2555
  message: {
2252
- recipient: string;
2253
2556
  content: string;
2557
+ recipient: string;
2254
2558
  };
2255
2559
  contractAddress?: any;
2256
2560
  }[];
@@ -2259,6 +2563,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2259
2563
  feePerDaGas: string | number | bigint;
2260
2564
  feePerL2Gas: string | number | bigint;
2261
2565
  };
2566
+ nonRevertibleContractDeploymentData: {
2567
+ privateLogs: {
2568
+ fields: string[];
2569
+ emittedLength: number;
2570
+ }[];
2571
+ contractClassLogs: {
2572
+ fields: {
2573
+ fields: string[];
2574
+ };
2575
+ emittedLength: number;
2576
+ contractAddress?: any;
2577
+ }[];
2578
+ };
2579
+ revertibleContractDeploymentData: {
2580
+ privateLogs: {
2581
+ fields: string[];
2582
+ emittedLength: number;
2583
+ }[];
2584
+ contractClassLogs: {
2585
+ fields: {
2586
+ fields: string[];
2587
+ };
2588
+ emittedLength: number;
2589
+ contractAddress?: any;
2590
+ }[];
2591
+ };
2262
2592
  setupEnqueuedCalls: any[];
2263
2593
  appLogicEnqueuedCalls: any[];
2264
2594
  gasUsedByPrivate: {
@@ -2279,22 +2609,30 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2279
2609
  masterOutgoingViewingPublicKey: string;
2280
2610
  masterTaggingPublicKey: string;
2281
2611
  };
2612
+ hintKey: number;
2282
2613
  deployer?: any;
2283
2614
  address?: any;
2284
2615
  }[];
2285
2616
  contractClasses: {
2286
- classId: string;
2287
2617
  artifactHash: string;
2288
- privateFunctionsRoot: string;
2289
2618
  packedBytecode: string | {
2290
2619
  type: "Buffer";
2291
2620
  data: number[];
2292
2621
  };
2622
+ privateFunctionsRoot: string;
2623
+ hintKey: number;
2624
+ classId: string;
2293
2625
  }[];
2294
2626
  bytecodeCommitments: {
2627
+ hintKey: number;
2295
2628
  classId: string;
2296
2629
  commitment: string;
2297
2630
  }[];
2631
+ debugFunctionNames: {
2632
+ name: string;
2633
+ selector: string;
2634
+ address?: any;
2635
+ }[];
2298
2636
  startingTreeRoots: {
2299
2637
  noteHashTree: {
2300
2638
  root: string;
@@ -2401,6 +2739,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2401
2739
  };
2402
2740
  lowLeavesWitnessData: {
2403
2741
  path: string[];
2742
+ index: string | number | bigint;
2404
2743
  leaf: {
2405
2744
  leaf: {
2406
2745
  nullifier: string;
@@ -2415,10 +2754,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2415
2754
  nextKey: string;
2416
2755
  nextIndex: string | number | bigint;
2417
2756
  };
2418
- index: string | number | bigint;
2419
2757
  };
2420
2758
  insertionWitnessData: {
2421
2759
  path: string[];
2760
+ index: string | number | bigint;
2422
2761
  leaf: {
2423
2762
  leaf: {
2424
2763
  nullifier: string;
@@ -2433,7 +2772,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2433
2772
  nextKey: string;
2434
2773
  nextIndex: string | number | bigint;
2435
2774
  };
2436
- index: string | number | bigint;
2437
2775
  };
2438
2776
  }[];
2439
2777
  sequentialInsertHintsNullifierTree: {
@@ -2454,6 +2792,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2454
2792
  };
2455
2793
  lowLeavesWitnessData: {
2456
2794
  path: string[];
2795
+ index: string | number | bigint;
2457
2796
  leaf: {
2458
2797
  leaf: {
2459
2798
  nullifier: string;
@@ -2468,10 +2807,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2468
2807
  nextKey: string;
2469
2808
  nextIndex: string | number | bigint;
2470
2809
  };
2471
- index: string | number | bigint;
2472
2810
  };
2473
2811
  insertionWitnessData: {
2474
2812
  path: string[];
2813
+ index: string | number | bigint;
2475
2814
  leaf: {
2476
2815
  leaf: {
2477
2816
  nullifier: string;
@@ -2486,7 +2825,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2486
2825
  nextKey: string;
2487
2826
  nextIndex: string | number | bigint;
2488
2827
  };
2489
- index: string | number | bigint;
2490
2828
  };
2491
2829
  }[];
2492
2830
  appendLeavesHints: {
@@ -2552,6 +2890,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2552
2890
  };
2553
2891
  };
2554
2892
  }[];
2893
+ contractDBCreateCheckpointHints: {
2894
+ actionCounter: number;
2895
+ oldCheckpointId: number;
2896
+ newCheckpointId: number;
2897
+ }[];
2898
+ contractDBCommitCheckpointHints: {
2899
+ actionCounter: number;
2900
+ oldCheckpointId: number;
2901
+ newCheckpointId: number;
2902
+ }[];
2903
+ contractDBRevertCheckpointHints: {
2904
+ actionCounter: number;
2905
+ oldCheckpointId: number;
2906
+ newCheckpointId: number;
2907
+ }[];
2555
2908
  }>, import("../avm/avm.js").AvmExecutionHints, {
2556
2909
  globalVariables: {
2557
2910
  blockNumber: string | number | bigint;
@@ -2594,8 +2947,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2594
2947
  nullifiers: string[];
2595
2948
  l2ToL1Messages: {
2596
2949
  message: {
2597
- recipient: string;
2598
2950
  content: string;
2951
+ recipient: string;
2599
2952
  };
2600
2953
  contractAddress?: any;
2601
2954
  }[];
@@ -2605,8 +2958,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2605
2958
  nullifiers: string[];
2606
2959
  l2ToL1Messages: {
2607
2960
  message: {
2608
- recipient: string;
2609
2961
  content: string;
2962
+ recipient: string;
2610
2963
  };
2611
2964
  contractAddress?: any;
2612
2965
  }[];
@@ -2615,6 +2968,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2615
2968
  feePerDaGas: string | number | bigint;
2616
2969
  feePerL2Gas: string | number | bigint;
2617
2970
  };
2971
+ nonRevertibleContractDeploymentData: {
2972
+ privateLogs: {
2973
+ fields: string[];
2974
+ emittedLength: number;
2975
+ }[];
2976
+ contractClassLogs: {
2977
+ fields: {
2978
+ fields: string[];
2979
+ };
2980
+ emittedLength: number;
2981
+ contractAddress?: any;
2982
+ }[];
2983
+ };
2984
+ revertibleContractDeploymentData: {
2985
+ privateLogs: {
2986
+ fields: string[];
2987
+ emittedLength: number;
2988
+ }[];
2989
+ contractClassLogs: {
2990
+ fields: {
2991
+ fields: string[];
2992
+ };
2993
+ emittedLength: number;
2994
+ contractAddress?: any;
2995
+ }[];
2996
+ };
2618
2997
  setupEnqueuedCalls: any[];
2619
2998
  appLogicEnqueuedCalls: any[];
2620
2999
  gasUsedByPrivate: {
@@ -2635,22 +3014,30 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2635
3014
  masterOutgoingViewingPublicKey: string;
2636
3015
  masterTaggingPublicKey: string;
2637
3016
  };
3017
+ hintKey: number;
2638
3018
  deployer?: any;
2639
3019
  address?: any;
2640
3020
  }[];
2641
3021
  contractClasses: {
2642
- classId: string;
2643
3022
  artifactHash: string;
2644
- privateFunctionsRoot: string;
2645
3023
  packedBytecode: string | {
2646
3024
  type: "Buffer";
2647
3025
  data: number[];
2648
3026
  };
3027
+ privateFunctionsRoot: string;
3028
+ hintKey: number;
3029
+ classId: string;
2649
3030
  }[];
2650
3031
  bytecodeCommitments: {
3032
+ hintKey: number;
2651
3033
  classId: string;
2652
3034
  commitment: string;
2653
3035
  }[];
3036
+ debugFunctionNames: {
3037
+ name: string;
3038
+ selector: string;
3039
+ address?: any;
3040
+ }[];
2654
3041
  startingTreeRoots: {
2655
3042
  noteHashTree: {
2656
3043
  root: string;
@@ -2757,6 +3144,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2757
3144
  };
2758
3145
  lowLeavesWitnessData: {
2759
3146
  path: string[];
3147
+ index: string | number | bigint;
2760
3148
  leaf: {
2761
3149
  leaf: {
2762
3150
  nullifier: string;
@@ -2771,10 +3159,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2771
3159
  nextKey: string;
2772
3160
  nextIndex: string | number | bigint;
2773
3161
  };
2774
- index: string | number | bigint;
2775
3162
  };
2776
3163
  insertionWitnessData: {
2777
3164
  path: string[];
3165
+ index: string | number | bigint;
2778
3166
  leaf: {
2779
3167
  leaf: {
2780
3168
  nullifier: string;
@@ -2789,7 +3177,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2789
3177
  nextKey: string;
2790
3178
  nextIndex: string | number | bigint;
2791
3179
  };
2792
- index: string | number | bigint;
2793
3180
  };
2794
3181
  }[];
2795
3182
  sequentialInsertHintsNullifierTree: {
@@ -2810,6 +3197,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2810
3197
  };
2811
3198
  lowLeavesWitnessData: {
2812
3199
  path: string[];
3200
+ index: string | number | bigint;
2813
3201
  leaf: {
2814
3202
  leaf: {
2815
3203
  nullifier: string;
@@ -2824,10 +3212,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2824
3212
  nextKey: string;
2825
3213
  nextIndex: string | number | bigint;
2826
3214
  };
2827
- index: string | number | bigint;
2828
3215
  };
2829
3216
  insertionWitnessData: {
2830
3217
  path: string[];
3218
+ index: string | number | bigint;
2831
3219
  leaf: {
2832
3220
  leaf: {
2833
3221
  nullifier: string;
@@ -2842,7 +3230,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2842
3230
  nextKey: string;
2843
3231
  nextIndex: string | number | bigint;
2844
3232
  };
2845
- index: string | number | bigint;
2846
3233
  };
2847
3234
  }[];
2848
3235
  appendLeavesHints: {
@@ -2908,6 +3295,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2908
3295
  };
2909
3296
  };
2910
3297
  }[];
3298
+ contractDBCreateCheckpointHints: {
3299
+ actionCounter: number;
3300
+ oldCheckpointId: number;
3301
+ newCheckpointId: number;
3302
+ }[];
3303
+ contractDBCommitCheckpointHints: {
3304
+ actionCounter: number;
3305
+ oldCheckpointId: number;
3306
+ newCheckpointId: number;
3307
+ }[];
3308
+ contractDBRevertCheckpointHints: {
3309
+ actionCounter: number;
3310
+ oldCheckpointId: number;
3311
+ newCheckpointId: number;
3312
+ }[];
2911
3313
  }>;
2912
3314
  publicInputs: z.ZodEffects<z.ZodObject<{
2913
3315
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -3310,14 +3712,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3310
3712
  recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3311
3713
  content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3312
3714
  }, "strip", z.ZodTypeAny, {
3313
- recipient: import("@aztec/foundation/schemas").EthAddress;
3314
3715
  content: import("@aztec/foundation/schemas").Fr;
3716
+ recipient: import("@aztec/foundation/schemas").EthAddress;
3315
3717
  }, {
3316
- recipient: string;
3317
3718
  content: string;
3318
- }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3319
3719
  recipient: string;
3720
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3320
3721
  content: string;
3722
+ recipient: string;
3321
3723
  }>;
3322
3724
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3323
3725
  }, "strip", z.ZodTypeAny, {
@@ -3325,14 +3727,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3325
3727
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3326
3728
  }, {
3327
3729
  message: {
3328
- recipient: string;
3329
3730
  content: string;
3731
+ recipient: string;
3330
3732
  };
3331
3733
  contractAddress?: any;
3332
3734
  }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
3333
3735
  message: {
3334
- recipient: string;
3335
3736
  content: string;
3737
+ recipient: string;
3336
3738
  };
3337
3739
  contractAddress?: any;
3338
3740
  }>, "many">;
@@ -3345,8 +3747,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3345
3747
  nullifiers: string[];
3346
3748
  l2ToL1Msgs: {
3347
3749
  message: {
3348
- recipient: string;
3349
3750
  content: string;
3751
+ recipient: string;
3350
3752
  };
3351
3753
  contractAddress?: any;
3352
3754
  }[];
@@ -3355,8 +3757,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3355
3757
  nullifiers: string[];
3356
3758
  l2ToL1Msgs: {
3357
3759
  message: {
3358
- recipient: string;
3359
3760
  content: string;
3761
+ recipient: string;
3360
3762
  };
3361
3763
  contractAddress?: any;
3362
3764
  }[];
@@ -3369,14 +3771,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3369
3771
  recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3370
3772
  content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3371
3773
  }, "strip", z.ZodTypeAny, {
3372
- recipient: import("@aztec/foundation/schemas").EthAddress;
3373
3774
  content: import("@aztec/foundation/schemas").Fr;
3775
+ recipient: import("@aztec/foundation/schemas").EthAddress;
3374
3776
  }, {
3375
- recipient: string;
3376
3777
  content: string;
3377
- }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3378
3778
  recipient: string;
3779
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3379
3780
  content: string;
3781
+ recipient: string;
3380
3782
  }>;
3381
3783
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3382
3784
  }, "strip", z.ZodTypeAny, {
@@ -3384,14 +3786,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3384
3786
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3385
3787
  }, {
3386
3788
  message: {
3387
- recipient: string;
3388
3789
  content: string;
3790
+ recipient: string;
3389
3791
  };
3390
3792
  contractAddress?: any;
3391
3793
  }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
3392
3794
  message: {
3393
- recipient: string;
3394
3795
  content: string;
3796
+ recipient: string;
3395
3797
  };
3396
3798
  contractAddress?: any;
3397
3799
  }>, "many">;
@@ -3404,8 +3806,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3404
3806
  nullifiers: string[];
3405
3807
  l2ToL1Msgs: {
3406
3808
  message: {
3407
- recipient: string;
3408
3809
  content: string;
3810
+ recipient: string;
3409
3811
  };
3410
3812
  contractAddress?: any;
3411
3813
  }[];
@@ -3414,8 +3816,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3414
3816
  nullifiers: string[];
3415
3817
  l2ToL1Msgs: {
3416
3818
  message: {
3417
- recipient: string;
3418
3819
  content: string;
3820
+ recipient: string;
3419
3821
  };
3420
3822
  contractAddress?: any;
3421
3823
  }[];
@@ -3555,14 +3957,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3555
3957
  recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3556
3958
  content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3557
3959
  }, "strip", z.ZodTypeAny, {
3558
- recipient: import("@aztec/foundation/schemas").EthAddress;
3559
3960
  content: import("@aztec/foundation/schemas").Fr;
3961
+ recipient: import("@aztec/foundation/schemas").EthAddress;
3560
3962
  }, {
3561
- recipient: string;
3562
3963
  content: string;
3563
- }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3564
3964
  recipient: string;
3965
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
3565
3966
  content: string;
3967
+ recipient: string;
3566
3968
  }>;
3567
3969
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3568
3970
  }, "strip", z.ZodTypeAny, {
@@ -3570,14 +3972,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3570
3972
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3571
3973
  }, {
3572
3974
  message: {
3573
- recipient: string;
3574
3975
  content: string;
3976
+ recipient: string;
3575
3977
  };
3576
3978
  contractAddress?: any;
3577
3979
  }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
3578
3980
  message: {
3579
- recipient: string;
3580
3981
  content: string;
3982
+ recipient: string;
3581
3983
  };
3582
3984
  contractAddress?: any;
3583
3985
  }>, "many">;
@@ -3606,8 +4008,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3606
4008
  nullifiers: string[];
3607
4009
  l2ToL1Msgs: {
3608
4010
  message: {
3609
- recipient: string;
3610
4011
  content: string;
4012
+ recipient: string;
3611
4013
  };
3612
4014
  contractAddress?: any;
3613
4015
  }[];
@@ -3621,8 +4023,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3621
4023
  nullifiers: string[];
3622
4024
  l2ToL1Msgs: {
3623
4025
  message: {
3624
- recipient: string;
3625
4026
  content: string;
4027
+ recipient: string;
3626
4028
  };
3627
4029
  contractAddress?: any;
3628
4030
  }[];
@@ -3758,8 +4160,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3758
4160
  nullifiers: string[];
3759
4161
  l2ToL1Msgs: {
3760
4162
  message: {
3761
- recipient: string;
3762
4163
  content: string;
4164
+ recipient: string;
3763
4165
  };
3764
4166
  contractAddress?: any;
3765
4167
  }[];
@@ -3769,8 +4171,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3769
4171
  nullifiers: string[];
3770
4172
  l2ToL1Msgs: {
3771
4173
  message: {
3772
- recipient: string;
3773
4174
  content: string;
4175
+ recipient: string;
3774
4176
  };
3775
4177
  contractAddress?: any;
3776
4178
  }[];
@@ -3808,8 +4210,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3808
4210
  nullifiers: string[];
3809
4211
  l2ToL1Msgs: {
3810
4212
  message: {
3811
- recipient: string;
3812
4213
  content: string;
4214
+ recipient: string;
3813
4215
  };
3814
4216
  contractAddress?: any;
3815
4217
  }[];
@@ -3922,8 +4324,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3922
4324
  nullifiers: string[];
3923
4325
  l2ToL1Msgs: {
3924
4326
  message: {
3925
- recipient: string;
3926
4327
  content: string;
4328
+ recipient: string;
3927
4329
  };
3928
4330
  contractAddress?: any;
3929
4331
  }[];
@@ -3933,8 +4335,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3933
4335
  nullifiers: string[];
3934
4336
  l2ToL1Msgs: {
3935
4337
  message: {
3936
- recipient: string;
3937
4338
  content: string;
4339
+ recipient: string;
3938
4340
  };
3939
4341
  contractAddress?: any;
3940
4342
  }[];
@@ -3972,8 +4374,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3972
4374
  nullifiers: string[];
3973
4375
  l2ToL1Msgs: {
3974
4376
  message: {
3975
- recipient: string;
3976
4377
  content: string;
4378
+ recipient: string;
3977
4379
  };
3978
4380
  contractAddress?: any;
3979
4381
  }[];
@@ -4091,8 +4493,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4091
4493
  nullifiers: string[];
4092
4494
  l2ToL1Msgs: {
4093
4495
  message: {
4094
- recipient: string;
4095
4496
  content: string;
4497
+ recipient: string;
4096
4498
  };
4097
4499
  contractAddress?: any;
4098
4500
  }[];
@@ -4102,8 +4504,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4102
4504
  nullifiers: string[];
4103
4505
  l2ToL1Msgs: {
4104
4506
  message: {
4105
- recipient: string;
4106
4507
  content: string;
4508
+ recipient: string;
4107
4509
  };
4108
4510
  contractAddress?: any;
4109
4511
  }[];
@@ -4141,8 +4543,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4141
4543
  nullifiers: string[];
4142
4544
  l2ToL1Msgs: {
4143
4545
  message: {
4144
- recipient: string;
4145
4546
  content: string;
4547
+ recipient: string;
4146
4548
  };
4147
4549
  contractAddress?: any;
4148
4550
  }[];
@@ -4197,8 +4599,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4197
4599
  nullifiers: string[];
4198
4600
  l2ToL1Messages: {
4199
4601
  message: {
4200
- recipient: string;
4201
4602
  content: string;
4603
+ recipient: string;
4202
4604
  };
4203
4605
  contractAddress?: any;
4204
4606
  }[];
@@ -4208,8 +4610,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4208
4610
  nullifiers: string[];
4209
4611
  l2ToL1Messages: {
4210
4612
  message: {
4211
- recipient: string;
4212
4613
  content: string;
4614
+ recipient: string;
4213
4615
  };
4214
4616
  contractAddress?: any;
4215
4617
  }[];
@@ -4218,6 +4620,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4218
4620
  feePerDaGas: string | number | bigint;
4219
4621
  feePerL2Gas: string | number | bigint;
4220
4622
  };
4623
+ nonRevertibleContractDeploymentData: {
4624
+ privateLogs: {
4625
+ fields: string[];
4626
+ emittedLength: number;
4627
+ }[];
4628
+ contractClassLogs: {
4629
+ fields: {
4630
+ fields: string[];
4631
+ };
4632
+ emittedLength: number;
4633
+ contractAddress?: any;
4634
+ }[];
4635
+ };
4636
+ revertibleContractDeploymentData: {
4637
+ privateLogs: {
4638
+ fields: string[];
4639
+ emittedLength: number;
4640
+ }[];
4641
+ contractClassLogs: {
4642
+ fields: {
4643
+ fields: string[];
4644
+ };
4645
+ emittedLength: number;
4646
+ contractAddress?: any;
4647
+ }[];
4648
+ };
4221
4649
  setupEnqueuedCalls: any[];
4222
4650
  appLogicEnqueuedCalls: any[];
4223
4651
  gasUsedByPrivate: {
@@ -4238,22 +4666,30 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4238
4666
  masterOutgoingViewingPublicKey: string;
4239
4667
  masterTaggingPublicKey: string;
4240
4668
  };
4669
+ hintKey: number;
4241
4670
  deployer?: any;
4242
4671
  address?: any;
4243
4672
  }[];
4244
4673
  contractClasses: {
4245
- classId: string;
4246
4674
  artifactHash: string;
4247
- privateFunctionsRoot: string;
4248
4675
  packedBytecode: string | {
4249
4676
  type: "Buffer";
4250
4677
  data: number[];
4251
4678
  };
4679
+ privateFunctionsRoot: string;
4680
+ hintKey: number;
4681
+ classId: string;
4252
4682
  }[];
4253
4683
  bytecodeCommitments: {
4684
+ hintKey: number;
4254
4685
  classId: string;
4255
4686
  commitment: string;
4256
4687
  }[];
4688
+ debugFunctionNames: {
4689
+ name: string;
4690
+ selector: string;
4691
+ address?: any;
4692
+ }[];
4257
4693
  startingTreeRoots: {
4258
4694
  noteHashTree: {
4259
4695
  root: string;
@@ -4360,6 +4796,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4360
4796
  };
4361
4797
  lowLeavesWitnessData: {
4362
4798
  path: string[];
4799
+ index: string | number | bigint;
4363
4800
  leaf: {
4364
4801
  leaf: {
4365
4802
  nullifier: string;
@@ -4374,10 +4811,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4374
4811
  nextKey: string;
4375
4812
  nextIndex: string | number | bigint;
4376
4813
  };
4377
- index: string | number | bigint;
4378
4814
  };
4379
4815
  insertionWitnessData: {
4380
4816
  path: string[];
4817
+ index: string | number | bigint;
4381
4818
  leaf: {
4382
4819
  leaf: {
4383
4820
  nullifier: string;
@@ -4392,7 +4829,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4392
4829
  nextKey: string;
4393
4830
  nextIndex: string | number | bigint;
4394
4831
  };
4395
- index: string | number | bigint;
4396
4832
  };
4397
4833
  }[];
4398
4834
  sequentialInsertHintsNullifierTree: {
@@ -4413,6 +4849,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4413
4849
  };
4414
4850
  lowLeavesWitnessData: {
4415
4851
  path: string[];
4852
+ index: string | number | bigint;
4416
4853
  leaf: {
4417
4854
  leaf: {
4418
4855
  nullifier: string;
@@ -4427,10 +4864,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4427
4864
  nextKey: string;
4428
4865
  nextIndex: string | number | bigint;
4429
4866
  };
4430
- index: string | number | bigint;
4431
4867
  };
4432
4868
  insertionWitnessData: {
4433
4869
  path: string[];
4870
+ index: string | number | bigint;
4434
4871
  leaf: {
4435
4872
  leaf: {
4436
4873
  nullifier: string;
@@ -4445,7 +4882,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4445
4882
  nextKey: string;
4446
4883
  nextIndex: string | number | bigint;
4447
4884
  };
4448
- index: string | number | bigint;
4449
4885
  };
4450
4886
  }[];
4451
4887
  appendLeavesHints: {
@@ -4511,6 +4947,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4511
4947
  };
4512
4948
  };
4513
4949
  }[];
4950
+ contractDBCreateCheckpointHints: {
4951
+ actionCounter: number;
4952
+ oldCheckpointId: number;
4953
+ newCheckpointId: number;
4954
+ }[];
4955
+ contractDBCommitCheckpointHints: {
4956
+ actionCounter: number;
4957
+ oldCheckpointId: number;
4958
+ newCheckpointId: number;
4959
+ }[];
4960
+ contractDBRevertCheckpointHints: {
4961
+ actionCounter: number;
4962
+ oldCheckpointId: number;
4963
+ newCheckpointId: number;
4964
+ }[];
4514
4965
  };
4515
4966
  }>, AvmCircuitInputs, {
4516
4967
  publicInputs: {
@@ -4614,8 +5065,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4614
5065
  nullifiers: string[];
4615
5066
  l2ToL1Msgs: {
4616
5067
  message: {
4617
- recipient: string;
4618
5068
  content: string;
5069
+ recipient: string;
4619
5070
  };
4620
5071
  contractAddress?: any;
4621
5072
  }[];
@@ -4625,8 +5076,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4625
5076
  nullifiers: string[];
4626
5077
  l2ToL1Msgs: {
4627
5078
  message: {
4628
- recipient: string;
4629
5079
  content: string;
5080
+ recipient: string;
4630
5081
  };
4631
5082
  contractAddress?: any;
4632
5083
  }[];
@@ -4664,8 +5115,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4664
5115
  nullifiers: string[];
4665
5116
  l2ToL1Msgs: {
4666
5117
  message: {
4667
- recipient: string;
4668
5118
  content: string;
5119
+ recipient: string;
4669
5120
  };
4670
5121
  contractAddress?: any;
4671
5122
  }[];
@@ -4720,8 +5171,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4720
5171
  nullifiers: string[];
4721
5172
  l2ToL1Messages: {
4722
5173
  message: {
4723
- recipient: string;
4724
5174
  content: string;
5175
+ recipient: string;
4725
5176
  };
4726
5177
  contractAddress?: any;
4727
5178
  }[];
@@ -4731,8 +5182,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4731
5182
  nullifiers: string[];
4732
5183
  l2ToL1Messages: {
4733
5184
  message: {
4734
- recipient: string;
4735
5185
  content: string;
5186
+ recipient: string;
4736
5187
  };
4737
5188
  contractAddress?: any;
4738
5189
  }[];
@@ -4741,6 +5192,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4741
5192
  feePerDaGas: string | number | bigint;
4742
5193
  feePerL2Gas: string | number | bigint;
4743
5194
  };
5195
+ nonRevertibleContractDeploymentData: {
5196
+ privateLogs: {
5197
+ fields: string[];
5198
+ emittedLength: number;
5199
+ }[];
5200
+ contractClassLogs: {
5201
+ fields: {
5202
+ fields: string[];
5203
+ };
5204
+ emittedLength: number;
5205
+ contractAddress?: any;
5206
+ }[];
5207
+ };
5208
+ revertibleContractDeploymentData: {
5209
+ privateLogs: {
5210
+ fields: string[];
5211
+ emittedLength: number;
5212
+ }[];
5213
+ contractClassLogs: {
5214
+ fields: {
5215
+ fields: string[];
5216
+ };
5217
+ emittedLength: number;
5218
+ contractAddress?: any;
5219
+ }[];
5220
+ };
4744
5221
  setupEnqueuedCalls: any[];
4745
5222
  appLogicEnqueuedCalls: any[];
4746
5223
  gasUsedByPrivate: {
@@ -4761,22 +5238,30 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4761
5238
  masterOutgoingViewingPublicKey: string;
4762
5239
  masterTaggingPublicKey: string;
4763
5240
  };
5241
+ hintKey: number;
4764
5242
  deployer?: any;
4765
5243
  address?: any;
4766
5244
  }[];
4767
5245
  contractClasses: {
4768
- classId: string;
4769
5246
  artifactHash: string;
4770
- privateFunctionsRoot: string;
4771
5247
  packedBytecode: string | {
4772
5248
  type: "Buffer";
4773
5249
  data: number[];
4774
5250
  };
5251
+ privateFunctionsRoot: string;
5252
+ hintKey: number;
5253
+ classId: string;
4775
5254
  }[];
4776
5255
  bytecodeCommitments: {
5256
+ hintKey: number;
4777
5257
  classId: string;
4778
5258
  commitment: string;
4779
5259
  }[];
5260
+ debugFunctionNames: {
5261
+ name: string;
5262
+ selector: string;
5263
+ address?: any;
5264
+ }[];
4780
5265
  startingTreeRoots: {
4781
5266
  noteHashTree: {
4782
5267
  root: string;
@@ -4883,6 +5368,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4883
5368
  };
4884
5369
  lowLeavesWitnessData: {
4885
5370
  path: string[];
5371
+ index: string | number | bigint;
4886
5372
  leaf: {
4887
5373
  leaf: {
4888
5374
  nullifier: string;
@@ -4897,10 +5383,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4897
5383
  nextKey: string;
4898
5384
  nextIndex: string | number | bigint;
4899
5385
  };
4900
- index: string | number | bigint;
4901
5386
  };
4902
5387
  insertionWitnessData: {
4903
5388
  path: string[];
5389
+ index: string | number | bigint;
4904
5390
  leaf: {
4905
5391
  leaf: {
4906
5392
  nullifier: string;
@@ -4915,7 +5401,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4915
5401
  nextKey: string;
4916
5402
  nextIndex: string | number | bigint;
4917
5403
  };
4918
- index: string | number | bigint;
4919
5404
  };
4920
5405
  }[];
4921
5406
  sequentialInsertHintsNullifierTree: {
@@ -4936,6 +5421,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4936
5421
  };
4937
5422
  lowLeavesWitnessData: {
4938
5423
  path: string[];
5424
+ index: string | number | bigint;
4939
5425
  leaf: {
4940
5426
  leaf: {
4941
5427
  nullifier: string;
@@ -4950,10 +5436,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4950
5436
  nextKey: string;
4951
5437
  nextIndex: string | number | bigint;
4952
5438
  };
4953
- index: string | number | bigint;
4954
5439
  };
4955
5440
  insertionWitnessData: {
4956
5441
  path: string[];
5442
+ index: string | number | bigint;
4957
5443
  leaf: {
4958
5444
  leaf: {
4959
5445
  nullifier: string;
@@ -4968,7 +5454,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4968
5454
  nextKey: string;
4969
5455
  nextIndex: string | number | bigint;
4970
5456
  };
4971
- index: string | number | bigint;
4972
5457
  };
4973
5458
  }[];
4974
5459
  appendLeavesHints: {
@@ -5034,6 +5519,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5034
5519
  };
5035
5520
  };
5036
5521
  }[];
5522
+ contractDBCreateCheckpointHints: {
5523
+ actionCounter: number;
5524
+ oldCheckpointId: number;
5525
+ newCheckpointId: number;
5526
+ }[];
5527
+ contractDBCommitCheckpointHints: {
5528
+ actionCounter: number;
5529
+ oldCheckpointId: number;
5530
+ newCheckpointId: number;
5531
+ }[];
5532
+ contractDBRevertCheckpointHints: {
5533
+ actionCounter: number;
5534
+ oldCheckpointId: number;
5535
+ newCheckpointId: number;
5536
+ }[];
5037
5537
  };
5038
5538
  }>;
5039
5539
  }, "strip", z.ZodTypeAny, {
@@ -5143,8 +5643,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5143
5643
  nullifiers: string[];
5144
5644
  l2ToL1Msgs: {
5145
5645
  message: {
5146
- recipient: string;
5147
5646
  content: string;
5647
+ recipient: string;
5148
5648
  };
5149
5649
  contractAddress?: any;
5150
5650
  }[];
@@ -5154,8 +5654,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5154
5654
  nullifiers: string[];
5155
5655
  l2ToL1Msgs: {
5156
5656
  message: {
5157
- recipient: string;
5158
5657
  content: string;
5658
+ recipient: string;
5159
5659
  };
5160
5660
  contractAddress?: any;
5161
5661
  }[];
@@ -5193,8 +5693,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5193
5693
  nullifiers: string[];
5194
5694
  l2ToL1Msgs: {
5195
5695
  message: {
5196
- recipient: string;
5197
5696
  content: string;
5697
+ recipient: string;
5198
5698
  };
5199
5699
  contractAddress?: any;
5200
5700
  }[];
@@ -5249,8 +5749,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5249
5749
  nullifiers: string[];
5250
5750
  l2ToL1Messages: {
5251
5751
  message: {
5252
- recipient: string;
5253
5752
  content: string;
5753
+ recipient: string;
5254
5754
  };
5255
5755
  contractAddress?: any;
5256
5756
  }[];
@@ -5260,8 +5760,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5260
5760
  nullifiers: string[];
5261
5761
  l2ToL1Messages: {
5262
5762
  message: {
5263
- recipient: string;
5264
5763
  content: string;
5764
+ recipient: string;
5265
5765
  };
5266
5766
  contractAddress?: any;
5267
5767
  }[];
@@ -5270,6 +5770,32 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5270
5770
  feePerDaGas: string | number | bigint;
5271
5771
  feePerL2Gas: string | number | bigint;
5272
5772
  };
5773
+ nonRevertibleContractDeploymentData: {
5774
+ privateLogs: {
5775
+ fields: string[];
5776
+ emittedLength: number;
5777
+ }[];
5778
+ contractClassLogs: {
5779
+ fields: {
5780
+ fields: string[];
5781
+ };
5782
+ emittedLength: number;
5783
+ contractAddress?: any;
5784
+ }[];
5785
+ };
5786
+ revertibleContractDeploymentData: {
5787
+ privateLogs: {
5788
+ fields: string[];
5789
+ emittedLength: number;
5790
+ }[];
5791
+ contractClassLogs: {
5792
+ fields: {
5793
+ fields: string[];
5794
+ };
5795
+ emittedLength: number;
5796
+ contractAddress?: any;
5797
+ }[];
5798
+ };
5273
5799
  setupEnqueuedCalls: any[];
5274
5800
  appLogicEnqueuedCalls: any[];
5275
5801
  gasUsedByPrivate: {
@@ -5290,22 +5816,30 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5290
5816
  masterOutgoingViewingPublicKey: string;
5291
5817
  masterTaggingPublicKey: string;
5292
5818
  };
5819
+ hintKey: number;
5293
5820
  deployer?: any;
5294
5821
  address?: any;
5295
5822
  }[];
5296
5823
  contractClasses: {
5297
- classId: string;
5298
5824
  artifactHash: string;
5299
- privateFunctionsRoot: string;
5300
5825
  packedBytecode: string | {
5301
5826
  type: "Buffer";
5302
5827
  data: number[];
5303
5828
  };
5829
+ privateFunctionsRoot: string;
5830
+ hintKey: number;
5831
+ classId: string;
5304
5832
  }[];
5305
5833
  bytecodeCommitments: {
5834
+ hintKey: number;
5306
5835
  classId: string;
5307
5836
  commitment: string;
5308
5837
  }[];
5838
+ debugFunctionNames: {
5839
+ name: string;
5840
+ selector: string;
5841
+ address?: any;
5842
+ }[];
5309
5843
  startingTreeRoots: {
5310
5844
  noteHashTree: {
5311
5845
  root: string;
@@ -5412,6 +5946,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5412
5946
  };
5413
5947
  lowLeavesWitnessData: {
5414
5948
  path: string[];
5949
+ index: string | number | bigint;
5415
5950
  leaf: {
5416
5951
  leaf: {
5417
5952
  nullifier: string;
@@ -5426,10 +5961,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5426
5961
  nextKey: string;
5427
5962
  nextIndex: string | number | bigint;
5428
5963
  };
5429
- index: string | number | bigint;
5430
5964
  };
5431
5965
  insertionWitnessData: {
5432
5966
  path: string[];
5967
+ index: string | number | bigint;
5433
5968
  leaf: {
5434
5969
  leaf: {
5435
5970
  nullifier: string;
@@ -5444,7 +5979,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5444
5979
  nextKey: string;
5445
5980
  nextIndex: string | number | bigint;
5446
5981
  };
5447
- index: string | number | bigint;
5448
5982
  };
5449
5983
  }[];
5450
5984
  sequentialInsertHintsNullifierTree: {
@@ -5465,6 +5999,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5465
5999
  };
5466
6000
  lowLeavesWitnessData: {
5467
6001
  path: string[];
6002
+ index: string | number | bigint;
5468
6003
  leaf: {
5469
6004
  leaf: {
5470
6005
  nullifier: string;
@@ -5479,10 +6014,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5479
6014
  nextKey: string;
5480
6015
  nextIndex: string | number | bigint;
5481
6016
  };
5482
- index: string | number | bigint;
5483
6017
  };
5484
6018
  insertionWitnessData: {
5485
6019
  path: string[];
6020
+ index: string | number | bigint;
5486
6021
  leaf: {
5487
6022
  leaf: {
5488
6023
  nullifier: string;
@@ -5497,7 +6032,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5497
6032
  nextKey: string;
5498
6033
  nextIndex: string | number | bigint;
5499
6034
  };
5500
- index: string | number | bigint;
5501
6035
  };
5502
6036
  }[];
5503
6037
  appendLeavesHints: {
@@ -5563,6 +6097,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5563
6097
  };
5564
6098
  };
5565
6099
  }[];
6100
+ contractDBCreateCheckpointHints: {
6101
+ actionCounter: number;
6102
+ oldCheckpointId: number;
6103
+ newCheckpointId: number;
6104
+ }[];
6105
+ contractDBCommitCheckpointHints: {
6106
+ actionCounter: number;
6107
+ oldCheckpointId: number;
6108
+ newCheckpointId: number;
6109
+ }[];
6110
+ contractDBRevertCheckpointHints: {
6111
+ actionCounter: number;
6112
+ oldCheckpointId: number;
6113
+ newCheckpointId: number;
6114
+ }[];
5566
6115
  };
5567
6116
  };
5568
6117
  }>, z.ZodObject<{