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

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 (77) 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 +844 -665
  4. package/dest/avm/avm.d.ts.map +1 -1
  5. package/dest/avm/avm.js +13 -36
  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 +299 -176
  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/interfaces/aztec-node-admin.d.ts +5 -5
  26. package/dest/interfaces/proving-job.d.ts +305 -182
  27. package/dest/interfaces/proving-job.d.ts.map +1 -1
  28. package/dest/interfaces/slasher.d.ts +3 -3
  29. package/dest/interfaces/validator.d.ts +4 -4
  30. package/dest/kernel/private_kernel_prover_output.d.ts +6 -6
  31. package/dest/kernel/private_to_avm_accumulated_data.d.ts +4 -4
  32. package/dest/kernel/public_call_request.d.ts +1 -1
  33. package/dest/keys/public_keys.d.ts +84 -12
  34. package/dest/keys/public_keys.d.ts.map +1 -1
  35. package/dest/logs/contract_class_log.d.ts +2 -2
  36. package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
  37. package/dest/logs/pre_tag.d.ts +1 -1
  38. package/dest/logs/private_log.d.ts +1 -1
  39. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  40. package/dest/messaging/l2_to_l1_message.d.ts +8 -8
  41. package/dest/note/note.d.ts +1 -16
  42. package/dest/note/note.d.ts.map +1 -1
  43. package/dest/p2p/consensus_payload.d.ts +5 -5
  44. package/dest/p2p/gossipable.d.ts +1 -1
  45. package/dest/p2p/gossipable.d.ts.map +1 -1
  46. package/dest/p2p/gossipable.js +1 -1
  47. package/dest/proofs/recursive_proof.d.ts +1 -16
  48. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  49. package/dest/schemas/schemas.d.ts +2 -13
  50. package/dest/schemas/schemas.d.ts.map +1 -1
  51. package/dest/schemas/schemas.js +2 -0
  52. package/dest/snapshots/types.d.ts +2 -2
  53. package/dest/trees/append_only_tree_snapshot.d.ts +1 -1
  54. package/dest/trees/nullifier_leaf.d.ts +4 -4
  55. package/dest/trees/nullifier_membership_witness.d.ts +5 -29
  56. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  57. package/dest/trees/public_data_leaf.d.ts +7 -7
  58. package/dest/trees/public_data_witness.d.ts +6 -30
  59. package/dest/trees/public_data_witness.d.ts.map +1 -1
  60. package/dest/tx/content_commitment.d.ts +3 -3
  61. package/dest/tx/partial_state_reference.d.ts +3 -3
  62. package/dest/tx/private_execution_result.d.ts +3 -24
  63. package/dest/tx/private_execution_result.d.ts.map +1 -1
  64. package/dest/tx/simulated_tx.d.ts +148 -28
  65. package/dest/tx/simulated_tx.d.ts.map +1 -1
  66. package/dest/tx/state_reference.d.ts +4 -4
  67. package/dest/tx/tree_snapshots.d.ts +4 -4
  68. package/dest/tx/tx.d.ts.map +1 -1
  69. package/dest/tx/tx.js +2 -2
  70. package/dest/tx/tx_context.d.ts +2 -2
  71. package/dest/validators/schemas.d.ts +3 -3
  72. package/package.json +8 -8
  73. package/src/avm/avm.ts +11 -28
  74. package/src/aztec-address/index.ts +8 -2
  75. package/src/p2p/gossipable.ts +1 -1
  76. package/src/schemas/schemas.ts +3 -0
  77. 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">;
@@ -794,7 +872,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
794
872
  }>, "many">;
795
873
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
796
874
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
797
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
875
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
798
876
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
799
877
  }, "strip", z.ZodTypeAny, {
800
878
  root: import("@aztec/foundation/schemas").Fr;
@@ -807,7 +885,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
807
885
  nextAvailableLeafIndex: string | number | bigint;
808
886
  }>;
809
887
  noteHashTree: z.ZodEffects<z.ZodObject<{
810
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
888
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
811
889
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
812
890
  }, "strip", z.ZodTypeAny, {
813
891
  root: import("@aztec/foundation/schemas").Fr;
@@ -820,7 +898,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
820
898
  nextAvailableLeafIndex: string | number | bigint;
821
899
  }>;
822
900
  nullifierTree: z.ZodEffects<z.ZodObject<{
823
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
901
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
824
902
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
825
903
  }, "strip", z.ZodTypeAny, {
826
904
  root: import("@aztec/foundation/schemas").Fr;
@@ -833,7 +911,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
833
911
  nextAvailableLeafIndex: string | number | bigint;
834
912
  }>;
835
913
  publicDataTree: z.ZodEffects<z.ZodObject<{
836
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
914
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
837
915
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
838
916
  }, "strip", z.ZodTypeAny, {
839
917
  root: import("@aztec/foundation/schemas").Fr;
@@ -887,7 +965,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
887
965
  }>;
888
966
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
889
967
  hintKey: z.ZodEffects<z.ZodObject<{
890
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
968
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
891
969
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
892
970
  }, "strip", z.ZodTypeAny, {
893
971
  root: import("@aztec/foundation/schemas").Fr;
@@ -926,7 +1004,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
926
1004
  }>, "many">;
927
1005
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
928
1006
  hintKey: z.ZodEffects<z.ZodObject<{
929
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1007
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
930
1008
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
931
1009
  }, "strip", z.ZodTypeAny, {
932
1010
  root: import("@aztec/foundation/schemas").Fr;
@@ -969,7 +1047,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
969
1047
  }>, "many">;
970
1048
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
971
1049
  hintKey: z.ZodEffects<z.ZodObject<{
972
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1050
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
973
1051
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
974
1052
  }, "strip", z.ZodTypeAny, {
975
1053
  root: import("@aztec/foundation/schemas").Fr;
@@ -984,7 +1062,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
984
1062
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
985
1063
  leafPreimage: z.ZodEffects<z.ZodObject<{
986
1064
  leaf: z.ZodEffects<z.ZodObject<{
987
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1065
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
988
1066
  }, "strip", z.ZodTypeAny, {
989
1067
  nullifier: import("@aztec/foundation/schemas").Fr;
990
1068
  }, {
@@ -992,7 +1070,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
992
1070
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
993
1071
  nullifier: string;
994
1072
  }>;
995
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1073
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
996
1074
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
997
1075
  }, "strip", z.ZodTypeAny, {
998
1076
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1012,8 +1090,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1012
1090
  nextIndex: string | number | bigint;
1013
1091
  }> | z.ZodEffects<z.ZodObject<{
1014
1092
  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>;
1093
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1094
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1017
1095
  }, "strip", z.ZodTypeAny, {
1018
1096
  value: import("@aztec/foundation/schemas").Fr;
1019
1097
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1024,7 +1102,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1024
1102
  value: string;
1025
1103
  slot: string;
1026
1104
  }>;
1027
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1105
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1028
1106
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1029
1107
  }, "strip", z.ZodTypeAny, {
1030
1108
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1096,7 +1174,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1096
1174
  }>, "many">;
1097
1175
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1098
1176
  hintKey: z.ZodEffects<z.ZodObject<{
1099
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1177
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1100
1178
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1101
1179
  }, "strip", z.ZodTypeAny, {
1102
1180
  root: import("@aztec/foundation/schemas").Fr;
@@ -1111,7 +1189,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1111
1189
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1112
1190
  leafPreimage: z.ZodEffects<z.ZodObject<{
1113
1191
  leaf: z.ZodEffects<z.ZodObject<{
1114
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1192
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1115
1193
  }, "strip", z.ZodTypeAny, {
1116
1194
  nullifier: import("@aztec/foundation/schemas").Fr;
1117
1195
  }, {
@@ -1119,7 +1197,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1119
1197
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1120
1198
  nullifier: string;
1121
1199
  }>;
1122
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1200
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1123
1201
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1124
1202
  }, "strip", z.ZodTypeAny, {
1125
1203
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1139,8 +1217,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1139
1217
  nextIndex: string | number | bigint;
1140
1218
  }> | z.ZodEffects<z.ZodObject<{
1141
1219
  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>;
1220
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1221
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1144
1222
  }, "strip", z.ZodTypeAny, {
1145
1223
  value: import("@aztec/foundation/schemas").Fr;
1146
1224
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1151,7 +1229,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1151
1229
  value: string;
1152
1230
  slot: string;
1153
1231
  }>;
1154
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1232
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1155
1233
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1156
1234
  }, "strip", z.ZodTypeAny, {
1157
1235
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1223,7 +1301,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1223
1301
  }>, "many">;
1224
1302
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1225
1303
  hintKey: z.ZodEffects<z.ZodObject<{
1226
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1304
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1227
1305
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1228
1306
  }, "strip", z.ZodTypeAny, {
1229
1307
  root: import("@aztec/foundation/schemas").Fr;
@@ -1262,7 +1340,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1262
1340
  }>, "many">;
1263
1341
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1264
1342
  hintKey: z.ZodEffects<z.ZodObject<{
1265
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1343
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1266
1344
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1267
1345
  }, "strip", z.ZodTypeAny, {
1268
1346
  root: import("@aztec/foundation/schemas").Fr;
@@ -1275,7 +1353,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1275
1353
  nextAvailableLeafIndex: string | number | bigint;
1276
1354
  }>;
1277
1355
  stateAfter: z.ZodEffects<z.ZodObject<{
1278
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1356
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1279
1357
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1280
1358
  }, "strip", z.ZodTypeAny, {
1281
1359
  root: import("@aztec/foundation/schemas").Fr;
@@ -1289,7 +1367,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1289
1367
  }>;
1290
1368
  treeId: z.ZodNumber;
1291
1369
  leaf: z.ZodEffects<z.ZodObject<{
1292
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1370
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1293
1371
  }, "strip", z.ZodTypeAny, {
1294
1372
  nullifier: import("@aztec/foundation/schemas").Fr;
1295
1373
  }, {
@@ -1297,8 +1375,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1297
1375
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1298
1376
  nullifier: string;
1299
1377
  }> | 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>;
1378
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1379
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1302
1380
  }, "strip", z.ZodTypeAny, {
1303
1381
  value: import("@aztec/foundation/schemas").Fr;
1304
1382
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1312,7 +1390,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1312
1390
  lowLeavesWitnessData: z.ZodObject<{
1313
1391
  leaf: z.ZodEffects<z.ZodObject<{
1314
1392
  leaf: z.ZodEffects<z.ZodObject<{
1315
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1393
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1316
1394
  }, "strip", z.ZodTypeAny, {
1317
1395
  nullifier: import("@aztec/foundation/schemas").Fr;
1318
1396
  }, {
@@ -1320,7 +1398,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1320
1398
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1321
1399
  nullifier: string;
1322
1400
  }>;
1323
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1401
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1324
1402
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1325
1403
  }, "strip", z.ZodTypeAny, {
1326
1404
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1340,8 +1418,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1340
1418
  nextIndex: string | number | bigint;
1341
1419
  }> | z.ZodEffects<z.ZodObject<{
1342
1420
  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>;
1421
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1422
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1345
1423
  }, "strip", z.ZodTypeAny, {
1346
1424
  value: import("@aztec/foundation/schemas").Fr;
1347
1425
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1352,7 +1430,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1352
1430
  value: string;
1353
1431
  slot: string;
1354
1432
  }>;
1355
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1433
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1356
1434
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1357
1435
  }, "strip", z.ZodTypeAny, {
1358
1436
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1400,7 +1478,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1400
1478
  insertionWitnessData: z.ZodObject<{
1401
1479
  leaf: z.ZodEffects<z.ZodObject<{
1402
1480
  leaf: z.ZodEffects<z.ZodObject<{
1403
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1481
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1404
1482
  }, "strip", z.ZodTypeAny, {
1405
1483
  nullifier: import("@aztec/foundation/schemas").Fr;
1406
1484
  }, {
@@ -1408,7 +1486,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1408
1486
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1409
1487
  nullifier: string;
1410
1488
  }>;
1411
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1489
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1412
1490
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1413
1491
  }, "strip", z.ZodTypeAny, {
1414
1492
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1428,8 +1506,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1428
1506
  nextIndex: string | number | bigint;
1429
1507
  }> | z.ZodEffects<z.ZodObject<{
1430
1508
  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>;
1509
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1510
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1433
1511
  }, "strip", z.ZodTypeAny, {
1434
1512
  value: import("@aztec/foundation/schemas").Fr;
1435
1513
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1440,7 +1518,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1440
1518
  value: string;
1441
1519
  slot: string;
1442
1520
  }>;
1443
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1521
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1444
1522
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1445
1523
  }, "strip", z.ZodTypeAny, {
1446
1524
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1622,7 +1700,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1622
1700
  }>, "many">;
1623
1701
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1624
1702
  hintKey: z.ZodEffects<z.ZodObject<{
1625
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1703
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1626
1704
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1627
1705
  }, "strip", z.ZodTypeAny, {
1628
1706
  root: import("@aztec/foundation/schemas").Fr;
@@ -1635,7 +1713,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1635
1713
  nextAvailableLeafIndex: string | number | bigint;
1636
1714
  }>;
1637
1715
  stateAfter: z.ZodEffects<z.ZodObject<{
1638
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1716
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1639
1717
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1640
1718
  }, "strip", z.ZodTypeAny, {
1641
1719
  root: import("@aztec/foundation/schemas").Fr;
@@ -1649,7 +1727,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1649
1727
  }>;
1650
1728
  treeId: z.ZodNumber;
1651
1729
  leaf: z.ZodEffects<z.ZodObject<{
1652
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1730
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1653
1731
  }, "strip", z.ZodTypeAny, {
1654
1732
  nullifier: import("@aztec/foundation/schemas").Fr;
1655
1733
  }, {
@@ -1657,8 +1735,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1657
1735
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1658
1736
  nullifier: string;
1659
1737
  }> | 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>;
1738
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1739
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1662
1740
  }, "strip", z.ZodTypeAny, {
1663
1741
  value: import("@aztec/foundation/schemas").Fr;
1664
1742
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1672,7 +1750,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1672
1750
  lowLeavesWitnessData: z.ZodObject<{
1673
1751
  leaf: z.ZodEffects<z.ZodObject<{
1674
1752
  leaf: z.ZodEffects<z.ZodObject<{
1675
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1753
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1676
1754
  }, "strip", z.ZodTypeAny, {
1677
1755
  nullifier: import("@aztec/foundation/schemas").Fr;
1678
1756
  }, {
@@ -1680,7 +1758,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1680
1758
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1681
1759
  nullifier: string;
1682
1760
  }>;
1683
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1761
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1684
1762
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1685
1763
  }, "strip", z.ZodTypeAny, {
1686
1764
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1700,8 +1778,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1700
1778
  nextIndex: string | number | bigint;
1701
1779
  }> | z.ZodEffects<z.ZodObject<{
1702
1780
  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>;
1781
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1782
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1705
1783
  }, "strip", z.ZodTypeAny, {
1706
1784
  value: import("@aztec/foundation/schemas").Fr;
1707
1785
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1712,7 +1790,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1712
1790
  value: string;
1713
1791
  slot: string;
1714
1792
  }>;
1715
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1793
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1716
1794
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1717
1795
  }, "strip", z.ZodTypeAny, {
1718
1796
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1760,7 +1838,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1760
1838
  insertionWitnessData: z.ZodObject<{
1761
1839
  leaf: z.ZodEffects<z.ZodObject<{
1762
1840
  leaf: z.ZodEffects<z.ZodObject<{
1763
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1841
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1764
1842
  }, "strip", z.ZodTypeAny, {
1765
1843
  nullifier: import("@aztec/foundation/schemas").Fr;
1766
1844
  }, {
@@ -1768,7 +1846,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1768
1846
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1769
1847
  nullifier: string;
1770
1848
  }>;
1771
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1849
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1772
1850
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1773
1851
  }, "strip", z.ZodTypeAny, {
1774
1852
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1788,8 +1866,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1788
1866
  nextIndex: string | number | bigint;
1789
1867
  }> | z.ZodEffects<z.ZodObject<{
1790
1868
  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>;
1869
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1870
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1793
1871
  }, "strip", z.ZodTypeAny, {
1794
1872
  value: import("@aztec/foundation/schemas").Fr;
1795
1873
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1800,7 +1878,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1800
1878
  value: string;
1801
1879
  slot: string;
1802
1880
  }>;
1803
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1881
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1804
1882
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1805
1883
  }, "strip", z.ZodTypeAny, {
1806
1884
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1982,7 +2060,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1982
2060
  }>, "many">;
1983
2061
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1984
2062
  hintKey: z.ZodEffects<z.ZodObject<{
1985
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2063
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1986
2064
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1987
2065
  }, "strip", z.ZodTypeAny, {
1988
2066
  root: import("@aztec/foundation/schemas").Fr;
@@ -1995,7 +2073,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1995
2073
  nextAvailableLeafIndex: string | number | bigint;
1996
2074
  }>;
1997
2075
  stateAfter: z.ZodEffects<z.ZodObject<{
1998
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2076
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1999
2077
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2000
2078
  }, "strip", z.ZodTypeAny, {
2001
2079
  root: import("@aztec/foundation/schemas").Fr;
@@ -2085,7 +2163,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2085
2163
  newCheckpointId: z.ZodNumber;
2086
2164
  stateBefore: z.ZodEffects<z.ZodObject<{
2087
2165
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2088
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2166
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2089
2167
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2090
2168
  }, "strip", z.ZodTypeAny, {
2091
2169
  root: import("@aztec/foundation/schemas").Fr;
@@ -2098,7 +2176,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2098
2176
  nextAvailableLeafIndex: string | number | bigint;
2099
2177
  }>;
2100
2178
  noteHashTree: z.ZodEffects<z.ZodObject<{
2101
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2179
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2102
2180
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2103
2181
  }, "strip", z.ZodTypeAny, {
2104
2182
  root: import("@aztec/foundation/schemas").Fr;
@@ -2111,7 +2189,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2111
2189
  nextAvailableLeafIndex: string | number | bigint;
2112
2190
  }>;
2113
2191
  nullifierTree: z.ZodEffects<z.ZodObject<{
2114
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2192
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2115
2193
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2116
2194
  }, "strip", z.ZodTypeAny, {
2117
2195
  root: import("@aztec/foundation/schemas").Fr;
@@ -2124,7 +2202,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2124
2202
  nextAvailableLeafIndex: string | number | bigint;
2125
2203
  }>;
2126
2204
  publicDataTree: z.ZodEffects<z.ZodObject<{
2127
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2205
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2128
2206
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2129
2207
  }, "strip", z.ZodTypeAny, {
2130
2208
  root: import("@aztec/foundation/schemas").Fr;
@@ -2178,7 +2256,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2178
2256
  }>;
2179
2257
  stateAfter: z.ZodEffects<z.ZodObject<{
2180
2258
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2181
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2259
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2182
2260
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2183
2261
  }, "strip", z.ZodTypeAny, {
2184
2262
  root: import("@aztec/foundation/schemas").Fr;
@@ -2191,7 +2269,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2191
2269
  nextAvailableLeafIndex: string | number | bigint;
2192
2270
  }>;
2193
2271
  noteHashTree: z.ZodEffects<z.ZodObject<{
2194
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2272
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2195
2273
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2196
2274
  }, "strip", z.ZodTypeAny, {
2197
2275
  root: import("@aztec/foundation/schemas").Fr;
@@ -2204,7 +2282,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2204
2282
  nextAvailableLeafIndex: string | number | bigint;
2205
2283
  }>;
2206
2284
  nullifierTree: z.ZodEffects<z.ZodObject<{
2207
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2285
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2208
2286
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2209
2287
  }, "strip", z.ZodTypeAny, {
2210
2288
  root: import("@aztec/foundation/schemas").Fr;
@@ -2217,7 +2295,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2217
2295
  nextAvailableLeafIndex: string | number | bigint;
2218
2296
  }>;
2219
2297
  publicDataTree: z.ZodEffects<z.ZodObject<{
2220
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2298
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2221
2299
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2222
2300
  }, "strip", z.ZodTypeAny, {
2223
2301
  root: import("@aztec/foundation/schemas").Fr;
@@ -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
  }[];
@@ -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
  }[];
@@ -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
  }[];
@@ -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
  }[];
@@ -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
  }[];
@@ -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;