@aztec/stdlib 3.0.0-nightly.20251110 → 3.0.0-nightly.20251112

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 (87) hide show
  1. package/dest/abi/abi.d.ts +3 -18
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/avm/avm.d.ts +1088 -909
  4. package/dest/avm/avm.d.ts.map +1 -1
  5. package/dest/avm/avm.js +26 -49
  6. package/dest/avm/avm_accumulated_data.d.ts +6 -6
  7. package/dest/avm/avm_circuit_public_inputs.d.ts +27 -27
  8. package/dest/avm/avm_proving_request.d.ts +473 -350
  9. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  10. package/dest/avm/public_data_write.d.ts +2 -2
  11. package/dest/aztec-address/index.d.ts.map +1 -1
  12. package/dest/aztec-address/index.js +8 -2
  13. package/dest/block/l2_block.d.ts +1 -1
  14. package/dest/block/l2_block_info.d.ts +3 -3
  15. package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
  16. package/dest/block/proposal/committee_attestation.d.ts +1 -1
  17. package/dest/block/published_l2_block.d.ts +2 -2
  18. package/dest/block/validate_block_result.d.ts +12 -12
  19. package/dest/contract/contract_deployment_data.d.ts +2 -2
  20. package/dest/contract/interfaces/contract_class.d.ts +38 -119
  21. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  22. package/dest/contract/interfaces/contract_instance.d.ts +200 -32
  23. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  24. package/dest/database-version/version_manager.d.ts +1 -1
  25. package/dest/file-store/http.d.ts.map +1 -1
  26. package/dest/file-store/http.js +8 -3
  27. package/dest/file-store/s3.d.ts.map +1 -1
  28. package/dest/file-store/s3.js +3 -7
  29. package/dest/interfaces/aztec-node-admin.d.ts +5 -5
  30. package/dest/interfaces/proving-job.d.ts +479 -356
  31. package/dest/interfaces/proving-job.d.ts.map +1 -1
  32. package/dest/interfaces/slasher.d.ts +3 -3
  33. package/dest/interfaces/validator.d.ts +4 -4
  34. package/dest/kernel/private_kernel_prover_output.d.ts +6 -6
  35. package/dest/kernel/private_to_avm_accumulated_data.d.ts +4 -4
  36. package/dest/kernel/public_call_request.d.ts +1 -1
  37. package/dest/keys/public_keys.d.ts +84 -12
  38. package/dest/keys/public_keys.d.ts.map +1 -1
  39. package/dest/logs/contract_class_log.d.ts +2 -2
  40. package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
  41. package/dest/logs/pre_tag.d.ts +1 -1
  42. package/dest/logs/private_log.d.ts +1 -1
  43. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  44. package/dest/messaging/l2_to_l1_message.d.ts +8 -8
  45. package/dest/note/note.d.ts +1 -16
  46. package/dest/note/note.d.ts.map +1 -1
  47. package/dest/p2p/consensus_payload.d.ts +5 -5
  48. package/dest/p2p/gossipable.d.ts +1 -1
  49. package/dest/p2p/gossipable.d.ts.map +1 -1
  50. package/dest/p2p/gossipable.js +1 -1
  51. package/dest/proofs/recursive_proof.d.ts +1 -16
  52. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  53. package/dest/schemas/schemas.d.ts +2 -13
  54. package/dest/schemas/schemas.d.ts.map +1 -1
  55. package/dest/schemas/schemas.js +2 -0
  56. package/dest/snapshots/types.d.ts +2 -2
  57. package/dest/tests/factories.d.ts +4 -1
  58. package/dest/tests/factories.d.ts.map +1 -1
  59. package/dest/tests/factories.js +14 -2
  60. package/dest/trees/append_only_tree_snapshot.d.ts +1 -1
  61. package/dest/trees/nullifier_leaf.d.ts +4 -4
  62. package/dest/trees/nullifier_membership_witness.d.ts +5 -29
  63. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  64. package/dest/trees/public_data_leaf.d.ts +7 -7
  65. package/dest/trees/public_data_witness.d.ts +6 -30
  66. package/dest/trees/public_data_witness.d.ts.map +1 -1
  67. package/dest/tx/content_commitment.d.ts +3 -3
  68. package/dest/tx/partial_state_reference.d.ts +3 -3
  69. package/dest/tx/private_execution_result.d.ts +3 -24
  70. package/dest/tx/private_execution_result.d.ts.map +1 -1
  71. package/dest/tx/simulated_tx.d.ts +148 -28
  72. package/dest/tx/simulated_tx.d.ts.map +1 -1
  73. package/dest/tx/state_reference.d.ts +4 -4
  74. package/dest/tx/tree_snapshots.d.ts +4 -4
  75. package/dest/tx/tx.d.ts.map +1 -1
  76. package/dest/tx/tx.js +2 -2
  77. package/dest/tx/tx_context.d.ts +2 -2
  78. package/dest/validators/schemas.d.ts +3 -3
  79. package/package.json +8 -8
  80. package/src/avm/avm.ts +23 -40
  81. package/src/aztec-address/index.ts +8 -2
  82. package/src/file-store/http.ts +6 -3
  83. package/src/file-store/s3.ts +3 -7
  84. package/src/p2p/gossipable.ts +1 -1
  85. package/src/schemas/schemas.ts +3 -0
  86. package/src/tests/factories.ts +45 -0
  87. package/src/tx/tx.ts +2 -3
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -204,7 +204,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
204
204
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
205
205
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
206
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[]>;
207
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
208
208
  }, "strip", z.ZodTypeAny, {
209
209
  fields: import("@aztec/foundation/schemas").Fr[];
210
210
  }, {
@@ -231,7 +231,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
231
231
  contractAddress?: any;
232
232
  }>, "many">;
233
233
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
234
- fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
234
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
235
235
  emittedLength: z.ZodNumber;
236
236
  }, "strict", z.ZodTypeAny, {
237
237
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -275,7 +275,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
275
275
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
276
276
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
277
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[]>;
278
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
279
279
  }, "strip", z.ZodTypeAny, {
280
280
  fields: import("@aztec/foundation/schemas").Fr[];
281
281
  }, {
@@ -302,7 +302,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
302
302
  contractAddress?: any;
303
303
  }>, "many">;
304
304
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
305
- fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
305
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
306
306
  emittedLength: z.ZodNumber;
307
307
  }, "strict", z.ZodTypeAny, {
308
308
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -347,8 +347,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
347
347
  nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
348
348
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
349
349
  message: z.ZodEffects<z.ZodObject<{
350
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
351
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
350
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
351
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
352
352
  }, "strip", z.ZodTypeAny, {
353
353
  content: import("@aztec/foundation/schemas").Fr;
354
354
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -396,8 +396,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
396
396
  nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
397
397
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
398
398
  message: z.ZodEffects<z.ZodObject<{
399
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
400
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
399
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
400
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
401
401
  }, "strip", z.ZodTypeAny, {
402
402
  content: import("@aztec/foundation/schemas").Fr;
403
403
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -657,25 +657,97 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
657
657
  originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
658
658
  initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
659
659
  publicKeys: z.ZodEffects<z.ZodObject<{
660
- masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
661
- masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
662
- masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
663
- masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
660
+ masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
661
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
662
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
663
+ }, "strip", z.ZodTypeAny, {
664
+ x: import("@aztec/foundation/schemas").Fr;
665
+ y: import("@aztec/foundation/schemas").Fr;
666
+ }, {
667
+ x: string;
668
+ y: string;
669
+ }>, import("@aztec/foundation/schemas").Point, {
670
+ x: string;
671
+ y: string;
672
+ }>]>;
673
+ masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
674
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
675
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
676
+ }, "strip", z.ZodTypeAny, {
677
+ x: import("@aztec/foundation/schemas").Fr;
678
+ y: import("@aztec/foundation/schemas").Fr;
679
+ }, {
680
+ x: string;
681
+ y: string;
682
+ }>, import("@aztec/foundation/schemas").Point, {
683
+ x: string;
684
+ y: string;
685
+ }>]>;
686
+ masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
687
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
688
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
689
+ }, "strip", z.ZodTypeAny, {
690
+ x: import("@aztec/foundation/schemas").Fr;
691
+ y: import("@aztec/foundation/schemas").Fr;
692
+ }, {
693
+ x: string;
694
+ y: string;
695
+ }>, import("@aztec/foundation/schemas").Point, {
696
+ x: string;
697
+ y: string;
698
+ }>]>;
699
+ masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
700
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
701
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
702
+ }, "strip", z.ZodTypeAny, {
703
+ x: import("@aztec/foundation/schemas").Fr;
704
+ y: import("@aztec/foundation/schemas").Fr;
705
+ }, {
706
+ x: string;
707
+ y: string;
708
+ }>, import("@aztec/foundation/schemas").Point, {
709
+ x: string;
710
+ y: string;
711
+ }>]>;
664
712
  }, "strip", z.ZodTypeAny, {
665
713
  masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
666
714
  masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
667
715
  masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
668
716
  masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
669
717
  }, {
670
- masterNullifierPublicKey: string;
671
- masterIncomingViewingPublicKey: string;
672
- masterOutgoingViewingPublicKey: string;
673
- masterTaggingPublicKey: string;
718
+ masterNullifierPublicKey: string | {
719
+ x: string;
720
+ y: string;
721
+ };
722
+ masterIncomingViewingPublicKey: string | {
723
+ x: string;
724
+ y: string;
725
+ };
726
+ masterOutgoingViewingPublicKey: string | {
727
+ x: string;
728
+ y: string;
729
+ };
730
+ masterTaggingPublicKey: string | {
731
+ x: string;
732
+ y: string;
733
+ };
674
734
  }>, import("../keys/public_keys.js").PublicKeys, {
675
- masterNullifierPublicKey: string;
676
- masterIncomingViewingPublicKey: string;
677
- masterOutgoingViewingPublicKey: string;
678
- masterTaggingPublicKey: string;
735
+ masterNullifierPublicKey: string | {
736
+ x: string;
737
+ y: string;
738
+ };
739
+ masterIncomingViewingPublicKey: string | {
740
+ x: string;
741
+ y: string;
742
+ };
743
+ masterOutgoingViewingPublicKey: string | {
744
+ x: string;
745
+ y: string;
746
+ };
747
+ masterTaggingPublicKey: string | {
748
+ x: string;
749
+ y: string;
750
+ };
679
751
  }>;
680
752
  }, "strip", z.ZodTypeAny, {
681
753
  salt: import("@aztec/foundation/schemas").Fr;
@@ -688,10 +760,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
688
760
  hintKey: number;
689
761
  }, {
690
762
  publicKeys: {
691
- masterNullifierPublicKey: string;
692
- masterIncomingViewingPublicKey: string;
693
- masterOutgoingViewingPublicKey: string;
694
- masterTaggingPublicKey: string;
763
+ masterNullifierPublicKey: string | {
764
+ x: string;
765
+ y: string;
766
+ };
767
+ masterIncomingViewingPublicKey: string | {
768
+ x: string;
769
+ y: string;
770
+ };
771
+ masterOutgoingViewingPublicKey: string | {
772
+ x: string;
773
+ y: string;
774
+ };
775
+ masterTaggingPublicKey: string | {
776
+ x: string;
777
+ y: string;
778
+ };
695
779
  };
696
780
  hintKey: number;
697
781
  salt?: any;
@@ -702,10 +786,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
702
786
  address?: any;
703
787
  }>, import("../avm/avm.js").AvmContractInstanceHint, {
704
788
  publicKeys: {
705
- masterNullifierPublicKey: string;
706
- masterIncomingViewingPublicKey: string;
707
- masterOutgoingViewingPublicKey: string;
708
- masterTaggingPublicKey: string;
789
+ masterNullifierPublicKey: string | {
790
+ x: string;
791
+ y: string;
792
+ };
793
+ masterIncomingViewingPublicKey: string | {
794
+ x: string;
795
+ y: string;
796
+ };
797
+ masterOutgoingViewingPublicKey: string | {
798
+ x: string;
799
+ y: string;
800
+ };
801
+ masterTaggingPublicKey: string | {
802
+ x: string;
803
+ y: string;
804
+ };
709
805
  };
710
806
  hintKey: number;
711
807
  salt?: any;
@@ -720,41 +816,23 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
720
816
  classId: ZodFor<import("@aztec/foundation/schemas").Fr>;
721
817
  artifactHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
722
818
  privateFunctionsRoot: ZodFor<import("@aztec/foundation/schemas").Fr>;
723
- packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
724
- type: z.ZodLiteral<"Buffer">;
725
- data: z.ZodArray<z.ZodNumber, "many">;
726
- }, "strip", z.ZodTypeAny, {
727
- type: "Buffer";
728
- data: number[];
729
- }, {
730
- type: "Buffer";
731
- data: number[];
732
- }>, Buffer<ArrayBuffer>, {
733
- type: "Buffer";
734
- data: number[];
735
- }>]>;
819
+ packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
736
820
  }, "strip", z.ZodTypeAny, {
737
821
  artifactHash: import("@aztec/foundation/schemas").Fr;
738
- packedBytecode: Buffer<ArrayBuffer>;
822
+ packedBytecode: Buffer<ArrayBufferLike>;
739
823
  privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
740
824
  hintKey: number;
741
825
  classId: import("@aztec/foundation/schemas").Fr;
742
826
  }, {
743
- packedBytecode: string | {
744
- type: "Buffer";
745
- data: number[];
746
- };
747
827
  hintKey: number;
748
828
  artifactHash?: any;
829
+ packedBytecode?: any;
749
830
  privateFunctionsRoot?: any;
750
831
  classId?: any;
751
832
  }>, import("../avm/avm.js").AvmContractClassHint, {
752
- packedBytecode: string | {
753
- type: "Buffer";
754
- data: number[];
755
- };
756
833
  hintKey: number;
757
834
  artifactHash?: any;
835
+ packedBytecode?: any;
758
836
  privateFunctionsRoot?: any;
759
837
  classId?: any;
760
838
  }>, "many">;
@@ -792,9 +870,72 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
792
870
  selector?: any;
793
871
  address?: any;
794
872
  }>, "many">;
873
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
874
+ actionCounter: z.ZodNumber;
875
+ oldCheckpointId: z.ZodNumber;
876
+ newCheckpointId: z.ZodNumber;
877
+ }, "strip", z.ZodTypeAny, {
878
+ actionCounter: number;
879
+ oldCheckpointId: number;
880
+ newCheckpointId: number;
881
+ }, {
882
+ actionCounter: number;
883
+ oldCheckpointId: number;
884
+ newCheckpointId: number;
885
+ }>, {
886
+ readonly actionCounter: number;
887
+ readonly oldCheckpointId: number;
888
+ readonly newCheckpointId: number;
889
+ }, {
890
+ actionCounter: number;
891
+ oldCheckpointId: number;
892
+ newCheckpointId: number;
893
+ }>, "many">;
894
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
895
+ actionCounter: z.ZodNumber;
896
+ oldCheckpointId: z.ZodNumber;
897
+ newCheckpointId: z.ZodNumber;
898
+ }, "strip", z.ZodTypeAny, {
899
+ actionCounter: number;
900
+ oldCheckpointId: number;
901
+ newCheckpointId: number;
902
+ }, {
903
+ actionCounter: number;
904
+ oldCheckpointId: number;
905
+ newCheckpointId: number;
906
+ }>, {
907
+ readonly actionCounter: number;
908
+ readonly oldCheckpointId: number;
909
+ readonly newCheckpointId: number;
910
+ }, {
911
+ actionCounter: number;
912
+ oldCheckpointId: number;
913
+ newCheckpointId: number;
914
+ }>, "many">;
915
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
916
+ actionCounter: z.ZodNumber;
917
+ oldCheckpointId: z.ZodNumber;
918
+ newCheckpointId: z.ZodNumber;
919
+ }, "strip", z.ZodTypeAny, {
920
+ actionCounter: number;
921
+ oldCheckpointId: number;
922
+ newCheckpointId: number;
923
+ }, {
924
+ actionCounter: number;
925
+ oldCheckpointId: number;
926
+ newCheckpointId: number;
927
+ }>, {
928
+ readonly actionCounter: number;
929
+ readonly oldCheckpointId: number;
930
+ readonly newCheckpointId: number;
931
+ }, {
932
+ actionCounter: number;
933
+ oldCheckpointId: number;
934
+ newCheckpointId: number;
935
+ }>, "many">;
795
936
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
796
937
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
797
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
938
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
798
939
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
799
940
  }, "strip", z.ZodTypeAny, {
800
941
  root: import("@aztec/foundation/schemas").Fr;
@@ -807,7 +948,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
807
948
  nextAvailableLeafIndex: string | number | bigint;
808
949
  }>;
809
950
  noteHashTree: z.ZodEffects<z.ZodObject<{
810
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
951
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
811
952
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
812
953
  }, "strip", z.ZodTypeAny, {
813
954
  root: import("@aztec/foundation/schemas").Fr;
@@ -820,7 +961,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
820
961
  nextAvailableLeafIndex: string | number | bigint;
821
962
  }>;
822
963
  nullifierTree: z.ZodEffects<z.ZodObject<{
823
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
964
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
824
965
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
825
966
  }, "strip", z.ZodTypeAny, {
826
967
  root: import("@aztec/foundation/schemas").Fr;
@@ -833,7 +974,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
833
974
  nextAvailableLeafIndex: string | number | bigint;
834
975
  }>;
835
976
  publicDataTree: z.ZodEffects<z.ZodObject<{
836
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
977
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
837
978
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
838
979
  }, "strip", z.ZodTypeAny, {
839
980
  root: import("@aztec/foundation/schemas").Fr;
@@ -887,7 +1028,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
887
1028
  }>;
888
1029
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
889
1030
  hintKey: z.ZodEffects<z.ZodObject<{
890
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1031
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
891
1032
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
892
1033
  }, "strip", z.ZodTypeAny, {
893
1034
  root: import("@aztec/foundation/schemas").Fr;
@@ -926,7 +1067,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
926
1067
  }>, "many">;
927
1068
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
928
1069
  hintKey: z.ZodEffects<z.ZodObject<{
929
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1070
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
930
1071
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
931
1072
  }, "strip", z.ZodTypeAny, {
932
1073
  root: import("@aztec/foundation/schemas").Fr;
@@ -969,7 +1110,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
969
1110
  }>, "many">;
970
1111
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
971
1112
  hintKey: z.ZodEffects<z.ZodObject<{
972
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1113
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
973
1114
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
974
1115
  }, "strip", z.ZodTypeAny, {
975
1116
  root: import("@aztec/foundation/schemas").Fr;
@@ -984,7 +1125,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
984
1125
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
985
1126
  leafPreimage: z.ZodEffects<z.ZodObject<{
986
1127
  leaf: z.ZodEffects<z.ZodObject<{
987
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1128
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
988
1129
  }, "strip", z.ZodTypeAny, {
989
1130
  nullifier: import("@aztec/foundation/schemas").Fr;
990
1131
  }, {
@@ -992,7 +1133,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
992
1133
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
993
1134
  nullifier: string;
994
1135
  }>;
995
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1136
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
996
1137
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
997
1138
  }, "strip", z.ZodTypeAny, {
998
1139
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1012,8 +1153,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1012
1153
  nextIndex: string | number | bigint;
1013
1154
  }> | z.ZodEffects<z.ZodObject<{
1014
1155
  leaf: z.ZodEffects<z.ZodObject<{
1015
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1016
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1156
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1157
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1017
1158
  }, "strip", z.ZodTypeAny, {
1018
1159
  value: import("@aztec/foundation/schemas").Fr;
1019
1160
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1024,7 +1165,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1024
1165
  value: string;
1025
1166
  slot: string;
1026
1167
  }>;
1027
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1168
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1028
1169
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1029
1170
  }, "strip", z.ZodTypeAny, {
1030
1171
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1096,7 +1237,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1096
1237
  }>, "many">;
1097
1238
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1098
1239
  hintKey: z.ZodEffects<z.ZodObject<{
1099
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1240
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1100
1241
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1101
1242
  }, "strip", z.ZodTypeAny, {
1102
1243
  root: import("@aztec/foundation/schemas").Fr;
@@ -1111,7 +1252,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1111
1252
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1112
1253
  leafPreimage: z.ZodEffects<z.ZodObject<{
1113
1254
  leaf: z.ZodEffects<z.ZodObject<{
1114
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1255
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1115
1256
  }, "strip", z.ZodTypeAny, {
1116
1257
  nullifier: import("@aztec/foundation/schemas").Fr;
1117
1258
  }, {
@@ -1119,7 +1260,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1119
1260
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1120
1261
  nullifier: string;
1121
1262
  }>;
1122
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1263
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1123
1264
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1124
1265
  }, "strip", z.ZodTypeAny, {
1125
1266
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1139,8 +1280,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1139
1280
  nextIndex: string | number | bigint;
1140
1281
  }> | z.ZodEffects<z.ZodObject<{
1141
1282
  leaf: z.ZodEffects<z.ZodObject<{
1142
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1143
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1283
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1284
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1144
1285
  }, "strip", z.ZodTypeAny, {
1145
1286
  value: import("@aztec/foundation/schemas").Fr;
1146
1287
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1151,7 +1292,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1151
1292
  value: string;
1152
1293
  slot: string;
1153
1294
  }>;
1154
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1295
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1155
1296
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1156
1297
  }, "strip", z.ZodTypeAny, {
1157
1298
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1223,7 +1364,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1223
1364
  }>, "many">;
1224
1365
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1225
1366
  hintKey: z.ZodEffects<z.ZodObject<{
1226
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1367
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1227
1368
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1228
1369
  }, "strip", z.ZodTypeAny, {
1229
1370
  root: import("@aztec/foundation/schemas").Fr;
@@ -1262,7 +1403,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1262
1403
  }>, "many">;
1263
1404
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1264
1405
  hintKey: z.ZodEffects<z.ZodObject<{
1265
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1406
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1266
1407
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1267
1408
  }, "strip", z.ZodTypeAny, {
1268
1409
  root: import("@aztec/foundation/schemas").Fr;
@@ -1275,7 +1416,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1275
1416
  nextAvailableLeafIndex: string | number | bigint;
1276
1417
  }>;
1277
1418
  stateAfter: z.ZodEffects<z.ZodObject<{
1278
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1419
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1279
1420
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1280
1421
  }, "strip", z.ZodTypeAny, {
1281
1422
  root: import("@aztec/foundation/schemas").Fr;
@@ -1289,7 +1430,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1289
1430
  }>;
1290
1431
  treeId: z.ZodNumber;
1291
1432
  leaf: z.ZodEffects<z.ZodObject<{
1292
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1433
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1293
1434
  }, "strip", z.ZodTypeAny, {
1294
1435
  nullifier: import("@aztec/foundation/schemas").Fr;
1295
1436
  }, {
@@ -1297,8 +1438,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1297
1438
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1298
1439
  nullifier: string;
1299
1440
  }> | z.ZodEffects<z.ZodObject<{
1300
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1301
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1441
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1442
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1302
1443
  }, "strip", z.ZodTypeAny, {
1303
1444
  value: import("@aztec/foundation/schemas").Fr;
1304
1445
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1312,7 +1453,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1312
1453
  lowLeavesWitnessData: z.ZodObject<{
1313
1454
  leaf: z.ZodEffects<z.ZodObject<{
1314
1455
  leaf: z.ZodEffects<z.ZodObject<{
1315
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1456
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1316
1457
  }, "strip", z.ZodTypeAny, {
1317
1458
  nullifier: import("@aztec/foundation/schemas").Fr;
1318
1459
  }, {
@@ -1320,7 +1461,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1320
1461
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1321
1462
  nullifier: string;
1322
1463
  }>;
1323
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1464
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1324
1465
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1325
1466
  }, "strip", z.ZodTypeAny, {
1326
1467
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1340,8 +1481,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1340
1481
  nextIndex: string | number | bigint;
1341
1482
  }> | z.ZodEffects<z.ZodObject<{
1342
1483
  leaf: z.ZodEffects<z.ZodObject<{
1343
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1344
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1484
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1485
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1345
1486
  }, "strip", z.ZodTypeAny, {
1346
1487
  value: import("@aztec/foundation/schemas").Fr;
1347
1488
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1352,7 +1493,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1352
1493
  value: string;
1353
1494
  slot: string;
1354
1495
  }>;
1355
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1496
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1356
1497
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1357
1498
  }, "strip", z.ZodTypeAny, {
1358
1499
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1400,7 +1541,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1400
1541
  insertionWitnessData: z.ZodObject<{
1401
1542
  leaf: z.ZodEffects<z.ZodObject<{
1402
1543
  leaf: z.ZodEffects<z.ZodObject<{
1403
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1544
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1404
1545
  }, "strip", z.ZodTypeAny, {
1405
1546
  nullifier: import("@aztec/foundation/schemas").Fr;
1406
1547
  }, {
@@ -1408,7 +1549,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1408
1549
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1409
1550
  nullifier: string;
1410
1551
  }>;
1411
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1552
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1412
1553
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1413
1554
  }, "strip", z.ZodTypeAny, {
1414
1555
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1428,8 +1569,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1428
1569
  nextIndex: string | number | bigint;
1429
1570
  }> | z.ZodEffects<z.ZodObject<{
1430
1571
  leaf: z.ZodEffects<z.ZodObject<{
1431
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1432
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1572
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1573
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1433
1574
  }, "strip", z.ZodTypeAny, {
1434
1575
  value: import("@aztec/foundation/schemas").Fr;
1435
1576
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1440,7 +1581,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1440
1581
  value: string;
1441
1582
  slot: string;
1442
1583
  }>;
1443
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1584
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1444
1585
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1445
1586
  }, "strip", z.ZodTypeAny, {
1446
1587
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1622,7 +1763,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1622
1763
  }>, "many">;
1623
1764
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1624
1765
  hintKey: z.ZodEffects<z.ZodObject<{
1625
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1766
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1626
1767
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1627
1768
  }, "strip", z.ZodTypeAny, {
1628
1769
  root: import("@aztec/foundation/schemas").Fr;
@@ -1635,7 +1776,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1635
1776
  nextAvailableLeafIndex: string | number | bigint;
1636
1777
  }>;
1637
1778
  stateAfter: z.ZodEffects<z.ZodObject<{
1638
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1779
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1639
1780
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1640
1781
  }, "strip", z.ZodTypeAny, {
1641
1782
  root: import("@aztec/foundation/schemas").Fr;
@@ -1649,7 +1790,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1649
1790
  }>;
1650
1791
  treeId: z.ZodNumber;
1651
1792
  leaf: z.ZodEffects<z.ZodObject<{
1652
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1793
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1653
1794
  }, "strip", z.ZodTypeAny, {
1654
1795
  nullifier: import("@aztec/foundation/schemas").Fr;
1655
1796
  }, {
@@ -1657,8 +1798,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1657
1798
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1658
1799
  nullifier: string;
1659
1800
  }> | z.ZodEffects<z.ZodObject<{
1660
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1661
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1801
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1802
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1662
1803
  }, "strip", z.ZodTypeAny, {
1663
1804
  value: import("@aztec/foundation/schemas").Fr;
1664
1805
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1672,7 +1813,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1672
1813
  lowLeavesWitnessData: z.ZodObject<{
1673
1814
  leaf: z.ZodEffects<z.ZodObject<{
1674
1815
  leaf: z.ZodEffects<z.ZodObject<{
1675
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1816
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1676
1817
  }, "strip", z.ZodTypeAny, {
1677
1818
  nullifier: import("@aztec/foundation/schemas").Fr;
1678
1819
  }, {
@@ -1680,7 +1821,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1680
1821
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1681
1822
  nullifier: string;
1682
1823
  }>;
1683
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1824
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1684
1825
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1685
1826
  }, "strip", z.ZodTypeAny, {
1686
1827
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1700,8 +1841,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1700
1841
  nextIndex: string | number | bigint;
1701
1842
  }> | z.ZodEffects<z.ZodObject<{
1702
1843
  leaf: z.ZodEffects<z.ZodObject<{
1703
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1704
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1844
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1845
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1705
1846
  }, "strip", z.ZodTypeAny, {
1706
1847
  value: import("@aztec/foundation/schemas").Fr;
1707
1848
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1712,7 +1853,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1712
1853
  value: string;
1713
1854
  slot: string;
1714
1855
  }>;
1715
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1856
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1716
1857
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1717
1858
  }, "strip", z.ZodTypeAny, {
1718
1859
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1760,7 +1901,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1760
1901
  insertionWitnessData: z.ZodObject<{
1761
1902
  leaf: z.ZodEffects<z.ZodObject<{
1762
1903
  leaf: z.ZodEffects<z.ZodObject<{
1763
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1904
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1764
1905
  }, "strip", z.ZodTypeAny, {
1765
1906
  nullifier: import("@aztec/foundation/schemas").Fr;
1766
1907
  }, {
@@ -1768,7 +1909,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1768
1909
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1769
1910
  nullifier: string;
1770
1911
  }>;
1771
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1912
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1772
1913
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1773
1914
  }, "strip", z.ZodTypeAny, {
1774
1915
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1788,8 +1929,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1788
1929
  nextIndex: string | number | bigint;
1789
1930
  }> | z.ZodEffects<z.ZodObject<{
1790
1931
  leaf: z.ZodEffects<z.ZodObject<{
1791
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1792
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1932
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1933
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1793
1934
  }, "strip", z.ZodTypeAny, {
1794
1935
  value: import("@aztec/foundation/schemas").Fr;
1795
1936
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1800,7 +1941,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1800
1941
  value: string;
1801
1942
  slot: string;
1802
1943
  }>;
1803
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1944
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1804
1945
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1805
1946
  }, "strip", z.ZodTypeAny, {
1806
1947
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1982,7 +2123,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1982
2123
  }>, "many">;
1983
2124
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1984
2125
  hintKey: z.ZodEffects<z.ZodObject<{
1985
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2126
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1986
2127
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1987
2128
  }, "strip", z.ZodTypeAny, {
1988
2129
  root: import("@aztec/foundation/schemas").Fr;
@@ -1995,7 +2136,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1995
2136
  nextAvailableLeafIndex: string | number | bigint;
1996
2137
  }>;
1997
2138
  stateAfter: z.ZodEffects<z.ZodObject<{
1998
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2139
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1999
2140
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2000
2141
  }, "strip", z.ZodTypeAny, {
2001
2142
  root: import("@aztec/foundation/schemas").Fr;
@@ -2085,7 +2226,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2085
2226
  newCheckpointId: z.ZodNumber;
2086
2227
  stateBefore: z.ZodEffects<z.ZodObject<{
2087
2228
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2088
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2229
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2089
2230
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2090
2231
  }, "strip", z.ZodTypeAny, {
2091
2232
  root: import("@aztec/foundation/schemas").Fr;
@@ -2098,7 +2239,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2098
2239
  nextAvailableLeafIndex: string | number | bigint;
2099
2240
  }>;
2100
2241
  noteHashTree: z.ZodEffects<z.ZodObject<{
2101
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2242
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2102
2243
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2103
2244
  }, "strip", z.ZodTypeAny, {
2104
2245
  root: import("@aztec/foundation/schemas").Fr;
@@ -2111,7 +2252,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2111
2252
  nextAvailableLeafIndex: string | number | bigint;
2112
2253
  }>;
2113
2254
  nullifierTree: z.ZodEffects<z.ZodObject<{
2114
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2255
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2115
2256
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2116
2257
  }, "strip", z.ZodTypeAny, {
2117
2258
  root: import("@aztec/foundation/schemas").Fr;
@@ -2124,7 +2265,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2124
2265
  nextAvailableLeafIndex: string | number | bigint;
2125
2266
  }>;
2126
2267
  publicDataTree: z.ZodEffects<z.ZodObject<{
2127
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2268
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2128
2269
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2129
2270
  }, "strip", z.ZodTypeAny, {
2130
2271
  root: import("@aztec/foundation/schemas").Fr;
@@ -2178,7 +2319,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2178
2319
  }>;
2179
2320
  stateAfter: z.ZodEffects<z.ZodObject<{
2180
2321
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2181
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2322
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2182
2323
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2183
2324
  }, "strip", z.ZodTypeAny, {
2184
2325
  root: import("@aztec/foundation/schemas").Fr;
@@ -2191,7 +2332,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2191
2332
  nextAvailableLeafIndex: string | number | bigint;
2192
2333
  }>;
2193
2334
  noteHashTree: z.ZodEffects<z.ZodObject<{
2194
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2335
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2195
2336
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2196
2337
  }, "strip", z.ZodTypeAny, {
2197
2338
  root: import("@aztec/foundation/schemas").Fr;
@@ -2204,7 +2345,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2204
2345
  nextAvailableLeafIndex: string | number | bigint;
2205
2346
  }>;
2206
2347
  nullifierTree: z.ZodEffects<z.ZodObject<{
2207
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2348
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2208
2349
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2209
2350
  }, "strip", z.ZodTypeAny, {
2210
2351
  root: import("@aztec/foundation/schemas").Fr;
@@ -2217,7 +2358,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2217
2358
  nextAvailableLeafIndex: string | number | bigint;
2218
2359
  }>;
2219
2360
  publicDataTree: z.ZodEffects<z.ZodObject<{
2220
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2361
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2221
2362
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2222
2363
  }, "strip", z.ZodTypeAny, {
2223
2364
  root: import("@aztec/foundation/schemas").Fr;
@@ -2270,12 +2411,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2270
2411
  };
2271
2412
  }>;
2272
2413
  }, "strip", z.ZodTypeAny, {
2273
- stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
2274
2414
  actionCounter: number;
2275
2415
  oldCheckpointId: number;
2276
2416
  newCheckpointId: number;
2417
+ stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
2277
2418
  stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
2278
2419
  }, {
2420
+ actionCounter: number;
2421
+ oldCheckpointId: number;
2422
+ newCheckpointId: number;
2279
2423
  stateAfter: {
2280
2424
  noteHashTree: {
2281
2425
  root: string;
@@ -2294,9 +2438,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2294
2438
  nextAvailableLeafIndex: string | number | bigint;
2295
2439
  };
2296
2440
  };
2297
- actionCounter: number;
2298
- oldCheckpointId: number;
2299
- newCheckpointId: number;
2300
2441
  stateBefore: {
2301
2442
  noteHashTree: {
2302
2443
  root: string;
@@ -2316,6 +2457,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2316
2457
  };
2317
2458
  };
2318
2459
  }>, import("../avm/avm.js").AvmRevertCheckpointHint, {
2460
+ actionCounter: number;
2461
+ oldCheckpointId: number;
2462
+ newCheckpointId: number;
2319
2463
  stateAfter: {
2320
2464
  noteHashTree: {
2321
2465
  root: string;
@@ -2334,9 +2478,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2334
2478
  nextAvailableLeafIndex: string | number | bigint;
2335
2479
  };
2336
2480
  };
2337
- actionCounter: number;
2338
- oldCheckpointId: number;
2339
- newCheckpointId: number;
2340
2481
  stateBefore: {
2341
2482
  noteHashTree: {
2342
2483
  root: string;
@@ -2356,77 +2497,29 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2356
2497
  };
2357
2498
  };
2358
2499
  }>, "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
- }>, {
2500
+ }, "strip", z.ZodTypeAny, {
2501
+ globalVariables: import("../tx/global_variables.js").GlobalVariables;
2502
+ protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
2503
+ tx: import("../avm/avm.js").AvmTxHint;
2504
+ contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
2505
+ contractClasses: import("../avm/avm.js").AvmContractClassHint[];
2506
+ bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
2507
+ debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
2508
+ contractDBCreateCheckpointHints: {
2372
2509
  readonly actionCounter: number;
2373
2510
  readonly oldCheckpointId: number;
2374
2511
  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
- }>, {
2512
+ }[];
2513
+ contractDBCommitCheckpointHints: {
2393
2514
  readonly actionCounter: number;
2394
2515
  readonly oldCheckpointId: number;
2395
2516
  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
- }>, {
2517
+ }[];
2518
+ contractDBRevertCheckpointHints: {
2414
2519
  readonly actionCounter: number;
2415
2520
  readonly oldCheckpointId: number;
2416
2521
  readonly newCheckpointId: number;
2417
- }, {
2418
- actionCounter: number;
2419
- oldCheckpointId: number;
2420
- newCheckpointId: number;
2421
- }>, "many">;
2422
- }, "strip", z.ZodTypeAny, {
2423
- globalVariables: import("../tx/global_variables.js").GlobalVariables;
2424
- protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
2425
- tx: import("../avm/avm.js").AvmTxHint;
2426
- contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
2427
- contractClasses: import("../avm/avm.js").AvmContractClassHint[];
2428
- bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
2429
- debugFunctionNames: import("../avm/avm.js").AvmDebugFunctionNameHint[];
2522
+ }[];
2430
2523
  startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
2431
2524
  getSiblingPathHints: import("../avm/avm.js").AvmGetSiblingPathHint[];
2432
2525
  getPreviousValueIndexHints: import("../avm/avm.js").AvmGetPreviousValueIndexHint[];
@@ -2485,21 +2578,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2485
2578
  readonly newCheckpointId: number;
2486
2579
  }[];
2487
2580
  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
- }[];
2503
2581
  }, {
2504
2582
  globalVariables: {
2505
2583
  blockNumber: string | number | bigint;
@@ -2600,10 +2678,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2600
2678
  };
2601
2679
  contractInstances: {
2602
2680
  publicKeys: {
2603
- masterNullifierPublicKey: string;
2604
- masterIncomingViewingPublicKey: string;
2605
- masterOutgoingViewingPublicKey: string;
2606
- masterTaggingPublicKey: string;
2681
+ masterNullifierPublicKey: string | {
2682
+ x: string;
2683
+ y: string;
2684
+ };
2685
+ masterIncomingViewingPublicKey: string | {
2686
+ x: string;
2687
+ y: string;
2688
+ };
2689
+ masterOutgoingViewingPublicKey: string | {
2690
+ x: string;
2691
+ y: string;
2692
+ };
2693
+ masterTaggingPublicKey: string | {
2694
+ x: string;
2695
+ y: string;
2696
+ };
2607
2697
  };
2608
2698
  hintKey: number;
2609
2699
  salt?: any;
@@ -2614,12 +2704,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2614
2704
  address?: any;
2615
2705
  }[];
2616
2706
  contractClasses: {
2617
- packedBytecode: string | {
2618
- type: "Buffer";
2619
- data: number[];
2620
- };
2621
2707
  hintKey: number;
2622
2708
  artifactHash?: any;
2709
+ packedBytecode?: any;
2623
2710
  privateFunctionsRoot?: any;
2624
2711
  classId?: any;
2625
2712
  }[];
@@ -2633,6 +2720,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2633
2720
  selector?: any;
2634
2721
  address?: any;
2635
2722
  }[];
2723
+ contractDBCreateCheckpointHints: {
2724
+ actionCounter: number;
2725
+ oldCheckpointId: number;
2726
+ newCheckpointId: number;
2727
+ }[];
2728
+ contractDBCommitCheckpointHints: {
2729
+ actionCounter: number;
2730
+ oldCheckpointId: number;
2731
+ newCheckpointId: number;
2732
+ }[];
2733
+ contractDBRevertCheckpointHints: {
2734
+ actionCounter: number;
2735
+ oldCheckpointId: number;
2736
+ newCheckpointId: number;
2737
+ }[];
2636
2738
  startingTreeRoots: {
2637
2739
  noteHashTree: {
2638
2740
  root: string;
@@ -2850,6 +2952,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2850
2952
  newCheckpointId: number;
2851
2953
  }[];
2852
2954
  revertCheckpointHints: {
2955
+ actionCounter: number;
2956
+ oldCheckpointId: number;
2957
+ newCheckpointId: number;
2853
2958
  stateAfter: {
2854
2959
  noteHashTree: {
2855
2960
  root: string;
@@ -2868,9 +2973,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2868
2973
  nextAvailableLeafIndex: string | number | bigint;
2869
2974
  };
2870
2975
  };
2871
- actionCounter: number;
2872
- oldCheckpointId: number;
2873
- newCheckpointId: number;
2874
2976
  stateBefore: {
2875
2977
  noteHashTree: {
2876
2978
  root: string;
@@ -2890,21 +2992,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2890
2992
  };
2891
2993
  };
2892
2994
  }[];
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
- }[];
2908
2995
  }>, import("../avm/avm.js").AvmExecutionHints, {
2909
2996
  globalVariables: {
2910
2997
  blockNumber: string | number | bigint;
@@ -3005,10 +3092,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3005
3092
  };
3006
3093
  contractInstances: {
3007
3094
  publicKeys: {
3008
- masterNullifierPublicKey: string;
3009
- masterIncomingViewingPublicKey: string;
3010
- masterOutgoingViewingPublicKey: string;
3011
- masterTaggingPublicKey: string;
3095
+ masterNullifierPublicKey: string | {
3096
+ x: string;
3097
+ y: string;
3098
+ };
3099
+ masterIncomingViewingPublicKey: string | {
3100
+ x: string;
3101
+ y: string;
3102
+ };
3103
+ masterOutgoingViewingPublicKey: string | {
3104
+ x: string;
3105
+ y: string;
3106
+ };
3107
+ masterTaggingPublicKey: string | {
3108
+ x: string;
3109
+ y: string;
3110
+ };
3012
3111
  };
3013
3112
  hintKey: number;
3014
3113
  salt?: any;
@@ -3019,12 +3118,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3019
3118
  address?: any;
3020
3119
  }[];
3021
3120
  contractClasses: {
3022
- packedBytecode: string | {
3023
- type: "Buffer";
3024
- data: number[];
3025
- };
3026
3121
  hintKey: number;
3027
3122
  artifactHash?: any;
3123
+ packedBytecode?: any;
3028
3124
  privateFunctionsRoot?: any;
3029
3125
  classId?: any;
3030
3126
  }[];
@@ -3038,6 +3134,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3038
3134
  selector?: any;
3039
3135
  address?: any;
3040
3136
  }[];
3137
+ contractDBCreateCheckpointHints: {
3138
+ actionCounter: number;
3139
+ oldCheckpointId: number;
3140
+ newCheckpointId: number;
3141
+ }[];
3142
+ contractDBCommitCheckpointHints: {
3143
+ actionCounter: number;
3144
+ oldCheckpointId: number;
3145
+ newCheckpointId: number;
3146
+ }[];
3147
+ contractDBRevertCheckpointHints: {
3148
+ actionCounter: number;
3149
+ oldCheckpointId: number;
3150
+ newCheckpointId: number;
3151
+ }[];
3041
3152
  startingTreeRoots: {
3042
3153
  noteHashTree: {
3043
3154
  root: string;
@@ -3255,6 +3366,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3255
3366
  newCheckpointId: number;
3256
3367
  }[];
3257
3368
  revertCheckpointHints: {
3369
+ actionCounter: number;
3370
+ oldCheckpointId: number;
3371
+ newCheckpointId: number;
3258
3372
  stateAfter: {
3259
3373
  noteHashTree: {
3260
3374
  root: string;
@@ -3273,9 +3387,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3273
3387
  nextAvailableLeafIndex: string | number | bigint;
3274
3388
  };
3275
3389
  };
3276
- actionCounter: number;
3277
- oldCheckpointId: number;
3278
- newCheckpointId: number;
3279
3390
  stateBefore: {
3280
3391
  noteHashTree: {
3281
3392
  root: string;
@@ -3295,21 +3406,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3295
3406
  };
3296
3407
  };
3297
3408
  }[];
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
- }[];
3313
3409
  }>;
3314
3410
  publicInputs: z.ZodEffects<z.ZodObject<{
3315
3411
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -3378,7 +3474,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3378
3474
  }>;
3379
3475
  startTreeSnapshots: z.ZodEffects<z.ZodObject<{
3380
3476
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3381
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3477
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3382
3478
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3383
3479
  }, "strip", z.ZodTypeAny, {
3384
3480
  root: import("@aztec/foundation/schemas").Fr;
@@ -3391,7 +3487,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3391
3487
  nextAvailableLeafIndex: string | number | bigint;
3392
3488
  }>;
3393
3489
  noteHashTree: z.ZodEffects<z.ZodObject<{
3394
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3490
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3395
3491
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3396
3492
  }, "strip", z.ZodTypeAny, {
3397
3493
  root: import("@aztec/foundation/schemas").Fr;
@@ -3404,7 +3500,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3404
3500
  nextAvailableLeafIndex: string | number | bigint;
3405
3501
  }>;
3406
3502
  nullifierTree: z.ZodEffects<z.ZodObject<{
3407
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3503
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3408
3504
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3409
3505
  }, "strip", z.ZodTypeAny, {
3410
3506
  root: import("@aztec/foundation/schemas").Fr;
@@ -3417,7 +3513,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3417
3513
  nextAvailableLeafIndex: string | number | bigint;
3418
3514
  }>;
3419
3515
  publicDataTree: z.ZodEffects<z.ZodObject<{
3420
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3516
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3421
3517
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3422
3518
  }, "strip", z.ZodTypeAny, {
3423
3519
  root: import("@aztec/foundation/schemas").Fr;
@@ -3589,7 +3685,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3589
3685
  feePerL2Gas: string | number | bigint;
3590
3686
  }>;
3591
3687
  feePayer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3592
- proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3688
+ proverId: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3593
3689
  publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
3594
3690
  setupCalls: z.ZodNumber;
3595
3691
  appLogicCalls: z.ZodNumber;
@@ -3611,7 +3707,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3611
3707
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3612
3708
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3613
3709
  isStaticCall: z.ZodBoolean;
3614
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3710
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3615
3711
  }, "strip", z.ZodTypeAny, {
3616
3712
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3617
3713
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3632,7 +3728,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3632
3728
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3633
3729
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3634
3730
  isStaticCall: z.ZodBoolean;
3635
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3731
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3636
3732
  }, "strip", z.ZodTypeAny, {
3637
3733
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3638
3734
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3653,7 +3749,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3653
3749
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3654
3750
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3655
3751
  isStaticCall: z.ZodBoolean;
3656
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3752
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3657
3753
  }, "strip", z.ZodTypeAny, {
3658
3754
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3659
3755
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3705,12 +3801,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3705
3801
  l2ToL1Msgs: string | number | bigint;
3706
3802
  }>;
3707
3803
  previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3708
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3709
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3804
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3805
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3710
3806
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3711
3807
  message: z.ZodEffects<z.ZodObject<{
3712
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3713
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3808
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
3809
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3714
3810
  }, "strip", z.ZodTypeAny, {
3715
3811
  content: import("@aztec/foundation/schemas").Fr;
3716
3812
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3764,12 +3860,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3764
3860
  }[];
3765
3861
  }>;
3766
3862
  previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3767
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3768
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3863
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3864
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3769
3865
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3770
3866
  message: z.ZodEffects<z.ZodObject<{
3771
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3772
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3867
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
3868
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3773
3869
  }, "strip", z.ZodTypeAny, {
3774
3870
  content: import("@aztec/foundation/schemas").Fr;
3775
3871
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3824,7 +3920,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3824
3920
  }>;
3825
3921
  endTreeSnapshots: z.ZodEffects<z.ZodObject<{
3826
3922
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3827
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3923
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3828
3924
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3829
3925
  }, "strip", z.ZodTypeAny, {
3830
3926
  root: import("@aztec/foundation/schemas").Fr;
@@ -3837,7 +3933,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3837
3933
  nextAvailableLeafIndex: string | number | bigint;
3838
3934
  }>;
3839
3935
  noteHashTree: z.ZodEffects<z.ZodObject<{
3840
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3936
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3841
3937
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3842
3938
  }, "strip", z.ZodTypeAny, {
3843
3939
  root: import("@aztec/foundation/schemas").Fr;
@@ -3850,7 +3946,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3850
3946
  nextAvailableLeafIndex: string | number | bigint;
3851
3947
  }>;
3852
3948
  nullifierTree: z.ZodEffects<z.ZodObject<{
3853
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3949
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3854
3950
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3855
3951
  }, "strip", z.ZodTypeAny, {
3856
3952
  root: import("@aztec/foundation/schemas").Fr;
@@ -3863,7 +3959,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3863
3959
  nextAvailableLeafIndex: string | number | bigint;
3864
3960
  }>;
3865
3961
  publicDataTree: z.ZodEffects<z.ZodObject<{
3866
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3962
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3867
3963
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3868
3964
  }, "strip", z.ZodTypeAny, {
3869
3965
  root: import("@aztec/foundation/schemas").Fr;
@@ -3950,12 +4046,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3950
4046
  publicDataWrites: number;
3951
4047
  }>;
3952
4048
  accumulatedData: z.ZodEffects<z.ZodObject<{
3953
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3954
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
4049
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
4050
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3955
4051
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3956
4052
  message: z.ZodEffects<z.ZodObject<{
3957
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3958
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4053
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
4054
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3959
4055
  }, "strip", z.ZodTypeAny, {
3960
4056
  content: import("@aztec/foundation/schemas").Fr;
3961
4057
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3985,8 +4081,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3985
4081
  }>, "many">;
3986
4082
  publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
3987
4083
  publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
3988
- leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3989
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4084
+ leafSlot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4085
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3990
4086
  }, "strip", z.ZodTypeAny, {
3991
4087
  value: import("@aztec/foundation/schemas").Fr;
3992
4088
  leafSlot: import("@aztec/foundation/schemas").Fr;
@@ -4034,7 +4130,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4034
4130
  }[];
4035
4131
  publicLogs?: any;
4036
4132
  }>;
4037
- transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4133
+ transactionFee: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4038
4134
  reverted: z.ZodBoolean;
4039
4135
  }, "strip", z.ZodTypeAny, {
4040
4136
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
@@ -4657,10 +4753,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4657
4753
  };
4658
4754
  contractInstances: {
4659
4755
  publicKeys: {
4660
- masterNullifierPublicKey: string;
4661
- masterIncomingViewingPublicKey: string;
4662
- masterOutgoingViewingPublicKey: string;
4663
- masterTaggingPublicKey: string;
4756
+ masterNullifierPublicKey: string | {
4757
+ x: string;
4758
+ y: string;
4759
+ };
4760
+ masterIncomingViewingPublicKey: string | {
4761
+ x: string;
4762
+ y: string;
4763
+ };
4764
+ masterOutgoingViewingPublicKey: string | {
4765
+ x: string;
4766
+ y: string;
4767
+ };
4768
+ masterTaggingPublicKey: string | {
4769
+ x: string;
4770
+ y: string;
4771
+ };
4664
4772
  };
4665
4773
  hintKey: number;
4666
4774
  salt?: any;
@@ -4671,12 +4779,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4671
4779
  address?: any;
4672
4780
  }[];
4673
4781
  contractClasses: {
4674
- packedBytecode: string | {
4675
- type: "Buffer";
4676
- data: number[];
4677
- };
4678
4782
  hintKey: number;
4679
4783
  artifactHash?: any;
4784
+ packedBytecode?: any;
4680
4785
  privateFunctionsRoot?: any;
4681
4786
  classId?: any;
4682
4787
  }[];
@@ -4690,6 +4795,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4690
4795
  selector?: any;
4691
4796
  address?: any;
4692
4797
  }[];
4798
+ contractDBCreateCheckpointHints: {
4799
+ actionCounter: number;
4800
+ oldCheckpointId: number;
4801
+ newCheckpointId: number;
4802
+ }[];
4803
+ contractDBCommitCheckpointHints: {
4804
+ actionCounter: number;
4805
+ oldCheckpointId: number;
4806
+ newCheckpointId: number;
4807
+ }[];
4808
+ contractDBRevertCheckpointHints: {
4809
+ actionCounter: number;
4810
+ oldCheckpointId: number;
4811
+ newCheckpointId: number;
4812
+ }[];
4693
4813
  startingTreeRoots: {
4694
4814
  noteHashTree: {
4695
4815
  root: string;
@@ -4907,6 +5027,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4907
5027
  newCheckpointId: number;
4908
5028
  }[];
4909
5029
  revertCheckpointHints: {
5030
+ actionCounter: number;
5031
+ oldCheckpointId: number;
5032
+ newCheckpointId: number;
4910
5033
  stateAfter: {
4911
5034
  noteHashTree: {
4912
5035
  root: string;
@@ -4925,9 +5048,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4925
5048
  nextAvailableLeafIndex: string | number | bigint;
4926
5049
  };
4927
5050
  };
4928
- actionCounter: number;
4929
- oldCheckpointId: number;
4930
- newCheckpointId: number;
4931
5051
  stateBefore: {
4932
5052
  noteHashTree: {
4933
5053
  root: string;
@@ -4947,21 +5067,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4947
5067
  };
4948
5068
  };
4949
5069
  }[];
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
- }[];
4965
5070
  };
4966
5071
  }>, AvmCircuitInputs, {
4967
5072
  publicInputs: {
@@ -5229,10 +5334,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5229
5334
  };
5230
5335
  contractInstances: {
5231
5336
  publicKeys: {
5232
- masterNullifierPublicKey: string;
5233
- masterIncomingViewingPublicKey: string;
5234
- masterOutgoingViewingPublicKey: string;
5235
- masterTaggingPublicKey: string;
5337
+ masterNullifierPublicKey: string | {
5338
+ x: string;
5339
+ y: string;
5340
+ };
5341
+ masterIncomingViewingPublicKey: string | {
5342
+ x: string;
5343
+ y: string;
5344
+ };
5345
+ masterOutgoingViewingPublicKey: string | {
5346
+ x: string;
5347
+ y: string;
5348
+ };
5349
+ masterTaggingPublicKey: string | {
5350
+ x: string;
5351
+ y: string;
5352
+ };
5236
5353
  };
5237
5354
  hintKey: number;
5238
5355
  salt?: any;
@@ -5243,12 +5360,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5243
5360
  address?: any;
5244
5361
  }[];
5245
5362
  contractClasses: {
5246
- packedBytecode: string | {
5247
- type: "Buffer";
5248
- data: number[];
5249
- };
5250
5363
  hintKey: number;
5251
5364
  artifactHash?: any;
5365
+ packedBytecode?: any;
5252
5366
  privateFunctionsRoot?: any;
5253
5367
  classId?: any;
5254
5368
  }[];
@@ -5262,6 +5376,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5262
5376
  selector?: any;
5263
5377
  address?: any;
5264
5378
  }[];
5379
+ contractDBCreateCheckpointHints: {
5380
+ actionCounter: number;
5381
+ oldCheckpointId: number;
5382
+ newCheckpointId: number;
5383
+ }[];
5384
+ contractDBCommitCheckpointHints: {
5385
+ actionCounter: number;
5386
+ oldCheckpointId: number;
5387
+ newCheckpointId: number;
5388
+ }[];
5389
+ contractDBRevertCheckpointHints: {
5390
+ actionCounter: number;
5391
+ oldCheckpointId: number;
5392
+ newCheckpointId: number;
5393
+ }[];
5265
5394
  startingTreeRoots: {
5266
5395
  noteHashTree: {
5267
5396
  root: string;
@@ -5479,6 +5608,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5479
5608
  newCheckpointId: number;
5480
5609
  }[];
5481
5610
  revertCheckpointHints: {
5611
+ actionCounter: number;
5612
+ oldCheckpointId: number;
5613
+ newCheckpointId: number;
5482
5614
  stateAfter: {
5483
5615
  noteHashTree: {
5484
5616
  root: string;
@@ -5497,9 +5629,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5497
5629
  nextAvailableLeafIndex: string | number | bigint;
5498
5630
  };
5499
5631
  };
5500
- actionCounter: number;
5501
- oldCheckpointId: number;
5502
- newCheckpointId: number;
5503
5632
  stateBefore: {
5504
5633
  noteHashTree: {
5505
5634
  root: string;
@@ -5519,21 +5648,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5519
5648
  };
5520
5649
  };
5521
5650
  }[];
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
- }[];
5537
5651
  };
5538
5652
  }>;
5539
5653
  }, "strip", z.ZodTypeAny, {
@@ -5807,10 +5921,22 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5807
5921
  };
5808
5922
  contractInstances: {
5809
5923
  publicKeys: {
5810
- masterNullifierPublicKey: string;
5811
- masterIncomingViewingPublicKey: string;
5812
- masterOutgoingViewingPublicKey: string;
5813
- masterTaggingPublicKey: string;
5924
+ masterNullifierPublicKey: string | {
5925
+ x: string;
5926
+ y: string;
5927
+ };
5928
+ masterIncomingViewingPublicKey: string | {
5929
+ x: string;
5930
+ y: string;
5931
+ };
5932
+ masterOutgoingViewingPublicKey: string | {
5933
+ x: string;
5934
+ y: string;
5935
+ };
5936
+ masterTaggingPublicKey: string | {
5937
+ x: string;
5938
+ y: string;
5939
+ };
5814
5940
  };
5815
5941
  hintKey: number;
5816
5942
  salt?: any;
@@ -5821,12 +5947,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5821
5947
  address?: any;
5822
5948
  }[];
5823
5949
  contractClasses: {
5824
- packedBytecode: string | {
5825
- type: "Buffer";
5826
- data: number[];
5827
- };
5828
5950
  hintKey: number;
5829
5951
  artifactHash?: any;
5952
+ packedBytecode?: any;
5830
5953
  privateFunctionsRoot?: any;
5831
5954
  classId?: any;
5832
5955
  }[];
@@ -5840,6 +5963,21 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5840
5963
  selector?: any;
5841
5964
  address?: any;
5842
5965
  }[];
5966
+ contractDBCreateCheckpointHints: {
5967
+ actionCounter: number;
5968
+ oldCheckpointId: number;
5969
+ newCheckpointId: number;
5970
+ }[];
5971
+ contractDBCommitCheckpointHints: {
5972
+ actionCounter: number;
5973
+ oldCheckpointId: number;
5974
+ newCheckpointId: number;
5975
+ }[];
5976
+ contractDBRevertCheckpointHints: {
5977
+ actionCounter: number;
5978
+ oldCheckpointId: number;
5979
+ newCheckpointId: number;
5980
+ }[];
5843
5981
  startingTreeRoots: {
5844
5982
  noteHashTree: {
5845
5983
  root: string;
@@ -6057,6 +6195,9 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
6057
6195
  newCheckpointId: number;
6058
6196
  }[];
6059
6197
  revertCheckpointHints: {
6198
+ actionCounter: number;
6199
+ oldCheckpointId: number;
6200
+ newCheckpointId: number;
6060
6201
  stateAfter: {
6061
6202
  noteHashTree: {
6062
6203
  root: string;
@@ -6075,9 +6216,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
6075
6216
  nextAvailableLeafIndex: string | number | bigint;
6076
6217
  };
6077
6218
  };
6078
- actionCounter: number;
6079
- oldCheckpointId: number;
6080
- newCheckpointId: number;
6081
6219
  stateBefore: {
6082
6220
  noteHashTree: {
6083
6221
  root: string;
@@ -6097,21 +6235,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
6097
6235
  };
6098
6236
  };
6099
6237
  }[];
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
- }[];
6115
6238
  };
6116
6239
  };
6117
6240
  }>, z.ZodObject<{
@@ -6506,11 +6629,11 @@ export declare const ProvingJobFulfilledResult: z.ZodObject<{
6506
6629
  status: z.ZodLiteral<"fulfilled">;
6507
6630
  value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
6508
6631
  }, "strip", z.ZodTypeAny, {
6509
- value: string & z.BRAND<"ProvingJobUri">;
6510
6632
  status: "fulfilled";
6633
+ value: string & z.BRAND<"ProvingJobUri">;
6511
6634
  }, {
6512
- value: string;
6513
6635
  status: "fulfilled";
6636
+ value: string;
6514
6637
  }>;
6515
6638
  export type ProvingJobFulfilledResult = z.infer<typeof ProvingJobFulfilledResult>;
6516
6639
  export declare const ProvingJobRejectedResult: z.ZodObject<{
@@ -6528,11 +6651,11 @@ export declare const ProvingJobSettledResult: z.ZodDiscriminatedUnion<"status",
6528
6651
  status: z.ZodLiteral<"fulfilled">;
6529
6652
  value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
6530
6653
  }, "strip", z.ZodTypeAny, {
6531
- value: string & z.BRAND<"ProvingJobUri">;
6532
6654
  status: "fulfilled";
6655
+ value: string & z.BRAND<"ProvingJobUri">;
6533
6656
  }, {
6534
- value: string;
6535
6657
  status: "fulfilled";
6658
+ value: string;
6536
6659
  }>, z.ZodObject<{
6537
6660
  status: z.ZodLiteral<"rejected">;
6538
6661
  reason: z.ZodString;
@@ -6566,11 +6689,11 @@ export declare const ProvingJobStatus: z.ZodDiscriminatedUnion<"status", [z.ZodO
6566
6689
  status: z.ZodLiteral<"fulfilled">;
6567
6690
  value: z.ZodBranded<z.ZodString, "ProvingJobUri">;
6568
6691
  }, "strip", z.ZodTypeAny, {
6569
- value: string & z.BRAND<"ProvingJobUri">;
6570
6692
  status: "fulfilled";
6693
+ value: string & z.BRAND<"ProvingJobUri">;
6571
6694
  }, {
6572
- value: string;
6573
6695
  status: "fulfilled";
6696
+ value: string;
6574
6697
  }>, z.ZodObject<{
6575
6698
  status: z.ZodLiteral<"rejected">;
6576
6699
  reason: z.ZodString;