@aztec/stdlib 3.0.0-nightly.20251109 → 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 (81) 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/noir/index.d.ts +6 -6
  42. package/dest/noir/index.d.ts.map +1 -1
  43. package/dest/noir/index.js +7 -6
  44. package/dest/note/note.d.ts +1 -16
  45. package/dest/note/note.d.ts.map +1 -1
  46. package/dest/p2p/consensus_payload.d.ts +5 -5
  47. package/dest/p2p/gossipable.d.ts +1 -1
  48. package/dest/p2p/gossipable.d.ts.map +1 -1
  49. package/dest/p2p/gossipable.js +1 -1
  50. package/dest/proofs/recursive_proof.d.ts +1 -16
  51. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  52. package/dest/schemas/schemas.d.ts +2 -13
  53. package/dest/schemas/schemas.d.ts.map +1 -1
  54. package/dest/schemas/schemas.js +2 -0
  55. package/dest/snapshots/types.d.ts +2 -2
  56. package/dest/trees/append_only_tree_snapshot.d.ts +1 -1
  57. package/dest/trees/nullifier_leaf.d.ts +4 -4
  58. package/dest/trees/nullifier_membership_witness.d.ts +5 -29
  59. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  60. package/dest/trees/public_data_leaf.d.ts +7 -7
  61. package/dest/trees/public_data_witness.d.ts +6 -30
  62. package/dest/trees/public_data_witness.d.ts.map +1 -1
  63. package/dest/tx/content_commitment.d.ts +3 -3
  64. package/dest/tx/partial_state_reference.d.ts +3 -3
  65. package/dest/tx/private_execution_result.d.ts +3 -24
  66. package/dest/tx/private_execution_result.d.ts.map +1 -1
  67. package/dest/tx/simulated_tx.d.ts +148 -28
  68. package/dest/tx/simulated_tx.d.ts.map +1 -1
  69. package/dest/tx/state_reference.d.ts +4 -4
  70. package/dest/tx/tree_snapshots.d.ts +4 -4
  71. package/dest/tx/tx.d.ts.map +1 -1
  72. package/dest/tx/tx.js +2 -2
  73. package/dest/tx/tx_context.d.ts +2 -2
  74. package/dest/validators/schemas.d.ts +3 -3
  75. package/package.json +8 -8
  76. package/src/avm/avm.ts +11 -28
  77. package/src/aztec-address/index.ts +8 -2
  78. package/src/noir/index.ts +7 -6
  79. package/src/p2p/gossipable.ts +1 -1
  80. package/src/schemas/schemas.ts +3 -0
  81. package/src/tx/tx.ts +2 -3
package/dest/avm/avm_proving_request.d.ts CHANGED
@@ -173,7 +173,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
173
173
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
174
174
  contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
175
175
  fields: z.ZodEffects<z.ZodObject<{
176
- fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
176
+ 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[]>;
177
177
  }, "strip", z.ZodTypeAny, {
178
178
  fields: import("@aztec/foundation/schemas").Fr[];
179
179
  }, {
@@ -200,7 +200,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
200
200
  contractAddress?: any;
201
201
  }>, "many">;
202
202
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
203
- fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
203
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
204
204
  emittedLength: z.ZodNumber;
205
205
  }, "strict", z.ZodTypeAny, {
206
206
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -244,7 +244,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
244
244
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
245
245
  contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
246
246
  fields: z.ZodEffects<z.ZodObject<{
247
- fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
247
+ 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[]>;
248
248
  }, "strip", z.ZodTypeAny, {
249
249
  fields: import("@aztec/foundation/schemas").Fr[];
250
250
  }, {
@@ -271,7 +271,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
271
271
  contractAddress?: any;
272
272
  }>, "many">;
273
273
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
274
- fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
274
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
275
275
  emittedLength: z.ZodNumber;
276
276
  }, "strict", z.ZodTypeAny, {
277
277
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -316,8 +316,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
316
316
  nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
317
317
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
318
318
  message: z.ZodEffects<z.ZodObject<{
319
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
320
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
319
+ 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>]>;
320
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
321
321
  }, "strip", z.ZodTypeAny, {
322
322
  content: import("@aztec/foundation/schemas").Fr;
323
323
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -365,8 +365,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
365
365
  nullifiers: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
366
366
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
367
367
  message: z.ZodEffects<z.ZodObject<{
368
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
369
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
368
+ 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>]>;
369
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
370
370
  }, "strip", z.ZodTypeAny, {
371
371
  content: import("@aztec/foundation/schemas").Fr;
372
372
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -626,25 +626,97 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
626
626
  originalContractClassId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
627
627
  initializationHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
628
628
  publicKeys: z.ZodEffects<z.ZodObject<{
629
- masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
630
- masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
631
- masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
632
- masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
629
+ masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
630
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
631
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
632
+ }, "strip", z.ZodTypeAny, {
633
+ x: import("@aztec/foundation/schemas").Fr;
634
+ y: import("@aztec/foundation/schemas").Fr;
635
+ }, {
636
+ x: string;
637
+ y: string;
638
+ }>, import("@aztec/foundation/schemas").Point, {
639
+ x: string;
640
+ y: string;
641
+ }>]>;
642
+ masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
643
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
644
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
645
+ }, "strip", z.ZodTypeAny, {
646
+ x: import("@aztec/foundation/schemas").Fr;
647
+ y: import("@aztec/foundation/schemas").Fr;
648
+ }, {
649
+ x: string;
650
+ y: string;
651
+ }>, import("@aztec/foundation/schemas").Point, {
652
+ x: string;
653
+ y: string;
654
+ }>]>;
655
+ masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
656
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
657
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
658
+ }, "strip", z.ZodTypeAny, {
659
+ x: import("@aztec/foundation/schemas").Fr;
660
+ y: import("@aztec/foundation/schemas").Fr;
661
+ }, {
662
+ x: string;
663
+ y: string;
664
+ }>, import("@aztec/foundation/schemas").Point, {
665
+ x: string;
666
+ y: string;
667
+ }>]>;
668
+ masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
669
+ x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
670
+ y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
671
+ }, "strip", z.ZodTypeAny, {
672
+ x: import("@aztec/foundation/schemas").Fr;
673
+ y: import("@aztec/foundation/schemas").Fr;
674
+ }, {
675
+ x: string;
676
+ y: string;
677
+ }>, import("@aztec/foundation/schemas").Point, {
678
+ x: string;
679
+ y: string;
680
+ }>]>;
633
681
  }, "strip", z.ZodTypeAny, {
634
682
  masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
635
683
  masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
636
684
  masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
637
685
  masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
638
686
  }, {
639
- masterNullifierPublicKey: string;
640
- masterIncomingViewingPublicKey: string;
641
- masterOutgoingViewingPublicKey: string;
642
- masterTaggingPublicKey: string;
687
+ masterNullifierPublicKey: string | {
688
+ x: string;
689
+ y: string;
690
+ };
691
+ masterIncomingViewingPublicKey: string | {
692
+ x: string;
693
+ y: string;
694
+ };
695
+ masterOutgoingViewingPublicKey: string | {
696
+ x: string;
697
+ y: string;
698
+ };
699
+ masterTaggingPublicKey: string | {
700
+ x: string;
701
+ y: string;
702
+ };
643
703
  }>, import("../keys/public_keys.js").PublicKeys, {
644
- masterNullifierPublicKey: string;
645
- masterIncomingViewingPublicKey: string;
646
- masterOutgoingViewingPublicKey: string;
647
- masterTaggingPublicKey: string;
704
+ masterNullifierPublicKey: string | {
705
+ x: string;
706
+ y: string;
707
+ };
708
+ masterIncomingViewingPublicKey: string | {
709
+ x: string;
710
+ y: string;
711
+ };
712
+ masterOutgoingViewingPublicKey: string | {
713
+ x: string;
714
+ y: string;
715
+ };
716
+ masterTaggingPublicKey: string | {
717
+ x: string;
718
+ y: string;
719
+ };
648
720
  }>;
649
721
  }, "strip", z.ZodTypeAny, {
650
722
  salt: import("@aztec/foundation/schemas").Fr;
@@ -657,10 +729,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
657
729
  hintKey: number;
658
730
  }, {
659
731
  publicKeys: {
660
- masterNullifierPublicKey: string;
661
- masterIncomingViewingPublicKey: string;
662
- masterOutgoingViewingPublicKey: string;
663
- masterTaggingPublicKey: string;
732
+ masterNullifierPublicKey: string | {
733
+ x: string;
734
+ y: string;
735
+ };
736
+ masterIncomingViewingPublicKey: string | {
737
+ x: string;
738
+ y: string;
739
+ };
740
+ masterOutgoingViewingPublicKey: string | {
741
+ x: string;
742
+ y: string;
743
+ };
744
+ masterTaggingPublicKey: string | {
745
+ x: string;
746
+ y: string;
747
+ };
664
748
  };
665
749
  hintKey: number;
666
750
  salt?: any;
@@ -671,10 +755,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
671
755
  address?: any;
672
756
  }>, import("./avm.js").AvmContractInstanceHint, {
673
757
  publicKeys: {
674
- masterNullifierPublicKey: string;
675
- masterIncomingViewingPublicKey: string;
676
- masterOutgoingViewingPublicKey: string;
677
- masterTaggingPublicKey: string;
758
+ masterNullifierPublicKey: string | {
759
+ x: string;
760
+ y: string;
761
+ };
762
+ masterIncomingViewingPublicKey: string | {
763
+ x: string;
764
+ y: string;
765
+ };
766
+ masterOutgoingViewingPublicKey: string | {
767
+ x: string;
768
+ y: string;
769
+ };
770
+ masterTaggingPublicKey: string | {
771
+ x: string;
772
+ y: string;
773
+ };
678
774
  };
679
775
  hintKey: number;
680
776
  salt?: any;
@@ -689,41 +785,23 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
689
785
  classId: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
690
786
  artifactHash: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
691
787
  privateFunctionsRoot: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>;
692
- packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
693
- type: z.ZodLiteral<"Buffer">;
694
- data: z.ZodArray<z.ZodNumber, "many">;
695
- }, "strip", z.ZodTypeAny, {
696
- type: "Buffer";
697
- data: number[];
698
- }, {
699
- type: "Buffer";
700
- data: number[];
701
- }>, Buffer<ArrayBuffer>, {
702
- type: "Buffer";
703
- data: number[];
704
- }>]>;
788
+ packedBytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
705
789
  }, "strip", z.ZodTypeAny, {
706
790
  artifactHash: import("@aztec/foundation/schemas").Fr;
707
- packedBytecode: Buffer<ArrayBuffer>;
791
+ packedBytecode: Buffer<ArrayBufferLike>;
708
792
  privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
709
793
  hintKey: number;
710
794
  classId: import("@aztec/foundation/schemas").Fr;
711
795
  }, {
712
- packedBytecode: string | {
713
- type: "Buffer";
714
- data: number[];
715
- };
716
796
  hintKey: number;
717
797
  artifactHash?: any;
798
+ packedBytecode?: any;
718
799
  privateFunctionsRoot?: any;
719
800
  classId?: any;
720
801
  }>, import("./avm.js").AvmContractClassHint, {
721
- packedBytecode: string | {
722
- type: "Buffer";
723
- data: number[];
724
- };
725
802
  hintKey: number;
726
803
  artifactHash?: any;
804
+ packedBytecode?: any;
727
805
  privateFunctionsRoot?: any;
728
806
  classId?: any;
729
807
  }>, "many">;
@@ -763,7 +841,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
763
841
  }>, "many">;
764
842
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
765
843
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
766
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
844
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
767
845
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
768
846
  }, "strip", z.ZodTypeAny, {
769
847
  root: import("@aztec/foundation/schemas").Fr;
@@ -776,7 +854,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
776
854
  nextAvailableLeafIndex: string | number | bigint;
777
855
  }>;
778
856
  noteHashTree: z.ZodEffects<z.ZodObject<{
779
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
857
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
780
858
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
781
859
  }, "strip", z.ZodTypeAny, {
782
860
  root: import("@aztec/foundation/schemas").Fr;
@@ -789,7 +867,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
789
867
  nextAvailableLeafIndex: string | number | bigint;
790
868
  }>;
791
869
  nullifierTree: z.ZodEffects<z.ZodObject<{
792
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
870
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
793
871
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
794
872
  }, "strip", z.ZodTypeAny, {
795
873
  root: import("@aztec/foundation/schemas").Fr;
@@ -802,7 +880,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
802
880
  nextAvailableLeafIndex: string | number | bigint;
803
881
  }>;
804
882
  publicDataTree: z.ZodEffects<z.ZodObject<{
805
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
883
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
806
884
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
807
885
  }, "strip", z.ZodTypeAny, {
808
886
  root: import("@aztec/foundation/schemas").Fr;
@@ -856,7 +934,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
856
934
  }>;
857
935
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
858
936
  hintKey: z.ZodEffects<z.ZodObject<{
859
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
937
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
860
938
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
861
939
  }, "strip", z.ZodTypeAny, {
862
940
  root: import("@aztec/foundation/schemas").Fr;
@@ -895,7 +973,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
895
973
  }>, "many">;
896
974
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
897
975
  hintKey: z.ZodEffects<z.ZodObject<{
898
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
976
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
899
977
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
900
978
  }, "strip", z.ZodTypeAny, {
901
979
  root: import("@aztec/foundation/schemas").Fr;
@@ -938,7 +1016,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
938
1016
  }>, "many">;
939
1017
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
940
1018
  hintKey: z.ZodEffects<z.ZodObject<{
941
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1019
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
942
1020
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
943
1021
  }, "strip", z.ZodTypeAny, {
944
1022
  root: import("@aztec/foundation/schemas").Fr;
@@ -953,7 +1031,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
953
1031
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
954
1032
  leafPreimage: z.ZodEffects<z.ZodObject<{
955
1033
  leaf: z.ZodEffects<z.ZodObject<{
956
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1034
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
957
1035
  }, "strip", z.ZodTypeAny, {
958
1036
  nullifier: import("@aztec/foundation/schemas").Fr;
959
1037
  }, {
@@ -961,7 +1039,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
961
1039
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
962
1040
  nullifier: string;
963
1041
  }>;
964
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1042
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
965
1043
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
966
1044
  }, "strip", z.ZodTypeAny, {
967
1045
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -981,8 +1059,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
981
1059
  nextIndex: string | number | bigint;
982
1060
  }> | z.ZodEffects<z.ZodObject<{
983
1061
  leaf: z.ZodEffects<z.ZodObject<{
984
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
985
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1062
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1063
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
986
1064
  }, "strip", z.ZodTypeAny, {
987
1065
  value: import("@aztec/foundation/schemas").Fr;
988
1066
  slot: import("@aztec/foundation/schemas").Fr;
@@ -993,7 +1071,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
993
1071
  value: string;
994
1072
  slot: string;
995
1073
  }>;
996
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1074
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
997
1075
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
998
1076
  }, "strip", z.ZodTypeAny, {
999
1077
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1065,7 +1143,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1065
1143
  }>, "many">;
1066
1144
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1067
1145
  hintKey: z.ZodEffects<z.ZodObject<{
1068
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1146
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1069
1147
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1070
1148
  }, "strip", z.ZodTypeAny, {
1071
1149
  root: import("@aztec/foundation/schemas").Fr;
@@ -1080,7 +1158,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1080
1158
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1081
1159
  leafPreimage: z.ZodEffects<z.ZodObject<{
1082
1160
  leaf: z.ZodEffects<z.ZodObject<{
1083
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1161
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1084
1162
  }, "strip", z.ZodTypeAny, {
1085
1163
  nullifier: import("@aztec/foundation/schemas").Fr;
1086
1164
  }, {
@@ -1088,7 +1166,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1088
1166
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1089
1167
  nullifier: string;
1090
1168
  }>;
1091
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1169
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1092
1170
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1093
1171
  }, "strip", z.ZodTypeAny, {
1094
1172
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1108,8 +1186,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1108
1186
  nextIndex: string | number | bigint;
1109
1187
  }> | z.ZodEffects<z.ZodObject<{
1110
1188
  leaf: z.ZodEffects<z.ZodObject<{
1111
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1112
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1189
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1190
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1113
1191
  }, "strip", z.ZodTypeAny, {
1114
1192
  value: import("@aztec/foundation/schemas").Fr;
1115
1193
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1120,7 +1198,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1120
1198
  value: string;
1121
1199
  slot: string;
1122
1200
  }>;
1123
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1201
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1124
1202
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1125
1203
  }, "strip", z.ZodTypeAny, {
1126
1204
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1192,7 +1270,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1192
1270
  }>, "many">;
1193
1271
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1194
1272
  hintKey: z.ZodEffects<z.ZodObject<{
1195
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1273
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1196
1274
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1197
1275
  }, "strip", z.ZodTypeAny, {
1198
1276
  root: import("@aztec/foundation/schemas").Fr;
@@ -1231,7 +1309,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1231
1309
  }>, "many">;
1232
1310
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1233
1311
  hintKey: z.ZodEffects<z.ZodObject<{
1234
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1312
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1235
1313
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1236
1314
  }, "strip", z.ZodTypeAny, {
1237
1315
  root: import("@aztec/foundation/schemas").Fr;
@@ -1244,7 +1322,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1244
1322
  nextAvailableLeafIndex: string | number | bigint;
1245
1323
  }>;
1246
1324
  stateAfter: z.ZodEffects<z.ZodObject<{
1247
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1325
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1248
1326
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1249
1327
  }, "strip", z.ZodTypeAny, {
1250
1328
  root: import("@aztec/foundation/schemas").Fr;
@@ -1258,7 +1336,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1258
1336
  }>;
1259
1337
  treeId: z.ZodNumber;
1260
1338
  leaf: z.ZodEffects<z.ZodObject<{
1261
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1339
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1262
1340
  }, "strip", z.ZodTypeAny, {
1263
1341
  nullifier: import("@aztec/foundation/schemas").Fr;
1264
1342
  }, {
@@ -1266,8 +1344,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1266
1344
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1267
1345
  nullifier: string;
1268
1346
  }> | z.ZodEffects<z.ZodObject<{
1269
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1270
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1347
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1348
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1271
1349
  }, "strip", z.ZodTypeAny, {
1272
1350
  value: import("@aztec/foundation/schemas").Fr;
1273
1351
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1281,7 +1359,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1281
1359
  lowLeavesWitnessData: z.ZodObject<{
1282
1360
  leaf: z.ZodEffects<z.ZodObject<{
1283
1361
  leaf: z.ZodEffects<z.ZodObject<{
1284
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1362
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1285
1363
  }, "strip", z.ZodTypeAny, {
1286
1364
  nullifier: import("@aztec/foundation/schemas").Fr;
1287
1365
  }, {
@@ -1289,7 +1367,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1289
1367
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1290
1368
  nullifier: string;
1291
1369
  }>;
1292
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1370
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1293
1371
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1294
1372
  }, "strip", z.ZodTypeAny, {
1295
1373
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1309,8 +1387,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1309
1387
  nextIndex: string | number | bigint;
1310
1388
  }> | z.ZodEffects<z.ZodObject<{
1311
1389
  leaf: z.ZodEffects<z.ZodObject<{
1312
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1313
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1390
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1391
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1314
1392
  }, "strip", z.ZodTypeAny, {
1315
1393
  value: import("@aztec/foundation/schemas").Fr;
1316
1394
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1321,7 +1399,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1321
1399
  value: string;
1322
1400
  slot: string;
1323
1401
  }>;
1324
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1402
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1325
1403
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1326
1404
  }, "strip", z.ZodTypeAny, {
1327
1405
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1369,7 +1447,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1369
1447
  insertionWitnessData: z.ZodObject<{
1370
1448
  leaf: z.ZodEffects<z.ZodObject<{
1371
1449
  leaf: z.ZodEffects<z.ZodObject<{
1372
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1450
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1373
1451
  }, "strip", z.ZodTypeAny, {
1374
1452
  nullifier: import("@aztec/foundation/schemas").Fr;
1375
1453
  }, {
@@ -1377,7 +1455,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1377
1455
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1378
1456
  nullifier: string;
1379
1457
  }>;
1380
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1458
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1381
1459
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1382
1460
  }, "strip", z.ZodTypeAny, {
1383
1461
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1397,8 +1475,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1397
1475
  nextIndex: string | number | bigint;
1398
1476
  }> | z.ZodEffects<z.ZodObject<{
1399
1477
  leaf: z.ZodEffects<z.ZodObject<{
1400
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1401
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1478
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1479
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1402
1480
  }, "strip", z.ZodTypeAny, {
1403
1481
  value: import("@aztec/foundation/schemas").Fr;
1404
1482
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1409,7 +1487,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1409
1487
  value: string;
1410
1488
  slot: string;
1411
1489
  }>;
1412
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1490
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1413
1491
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1414
1492
  }, "strip", z.ZodTypeAny, {
1415
1493
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1591,7 +1669,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1591
1669
  }>, "many">;
1592
1670
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1593
1671
  hintKey: z.ZodEffects<z.ZodObject<{
1594
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1672
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1595
1673
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1596
1674
  }, "strip", z.ZodTypeAny, {
1597
1675
  root: import("@aztec/foundation/schemas").Fr;
@@ -1604,7 +1682,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1604
1682
  nextAvailableLeafIndex: string | number | bigint;
1605
1683
  }>;
1606
1684
  stateAfter: z.ZodEffects<z.ZodObject<{
1607
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1685
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1608
1686
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1609
1687
  }, "strip", z.ZodTypeAny, {
1610
1688
  root: import("@aztec/foundation/schemas").Fr;
@@ -1618,7 +1696,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1618
1696
  }>;
1619
1697
  treeId: z.ZodNumber;
1620
1698
  leaf: z.ZodEffects<z.ZodObject<{
1621
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1699
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1622
1700
  }, "strip", z.ZodTypeAny, {
1623
1701
  nullifier: import("@aztec/foundation/schemas").Fr;
1624
1702
  }, {
@@ -1626,8 +1704,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1626
1704
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1627
1705
  nullifier: string;
1628
1706
  }> | z.ZodEffects<z.ZodObject<{
1629
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1630
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1707
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1708
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1631
1709
  }, "strip", z.ZodTypeAny, {
1632
1710
  value: import("@aztec/foundation/schemas").Fr;
1633
1711
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1641,7 +1719,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1641
1719
  lowLeavesWitnessData: z.ZodObject<{
1642
1720
  leaf: z.ZodEffects<z.ZodObject<{
1643
1721
  leaf: z.ZodEffects<z.ZodObject<{
1644
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1722
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1645
1723
  }, "strip", z.ZodTypeAny, {
1646
1724
  nullifier: import("@aztec/foundation/schemas").Fr;
1647
1725
  }, {
@@ -1649,7 +1727,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1649
1727
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1650
1728
  nullifier: string;
1651
1729
  }>;
1652
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1730
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1653
1731
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1654
1732
  }, "strip", z.ZodTypeAny, {
1655
1733
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1669,8 +1747,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1669
1747
  nextIndex: string | number | bigint;
1670
1748
  }> | z.ZodEffects<z.ZodObject<{
1671
1749
  leaf: z.ZodEffects<z.ZodObject<{
1672
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1673
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1750
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1751
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1674
1752
  }, "strip", z.ZodTypeAny, {
1675
1753
  value: import("@aztec/foundation/schemas").Fr;
1676
1754
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1681,7 +1759,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1681
1759
  value: string;
1682
1760
  slot: string;
1683
1761
  }>;
1684
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1762
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1685
1763
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1686
1764
  }, "strip", z.ZodTypeAny, {
1687
1765
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1729,7 +1807,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1729
1807
  insertionWitnessData: z.ZodObject<{
1730
1808
  leaf: z.ZodEffects<z.ZodObject<{
1731
1809
  leaf: z.ZodEffects<z.ZodObject<{
1732
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1810
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1733
1811
  }, "strip", z.ZodTypeAny, {
1734
1812
  nullifier: import("@aztec/foundation/schemas").Fr;
1735
1813
  }, {
@@ -1737,7 +1815,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1737
1815
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1738
1816
  nullifier: string;
1739
1817
  }>;
1740
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1818
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1741
1819
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1742
1820
  }, "strip", z.ZodTypeAny, {
1743
1821
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1757,8 +1835,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1757
1835
  nextIndex: string | number | bigint;
1758
1836
  }> | z.ZodEffects<z.ZodObject<{
1759
1837
  leaf: z.ZodEffects<z.ZodObject<{
1760
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1761
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1838
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1839
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1762
1840
  }, "strip", z.ZodTypeAny, {
1763
1841
  value: import("@aztec/foundation/schemas").Fr;
1764
1842
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1769,7 +1847,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1769
1847
  value: string;
1770
1848
  slot: string;
1771
1849
  }>;
1772
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1850
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1773
1851
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1774
1852
  }, "strip", z.ZodTypeAny, {
1775
1853
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1951,7 +2029,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1951
2029
  }>, "many">;
1952
2030
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1953
2031
  hintKey: z.ZodEffects<z.ZodObject<{
1954
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2032
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1955
2033
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1956
2034
  }, "strip", z.ZodTypeAny, {
1957
2035
  root: import("@aztec/foundation/schemas").Fr;
@@ -1964,7 +2042,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1964
2042
  nextAvailableLeafIndex: string | number | bigint;
1965
2043
  }>;
1966
2044
  stateAfter: z.ZodEffects<z.ZodObject<{
1967
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2045
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1968
2046
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1969
2047
  }, "strip", z.ZodTypeAny, {
1970
2048
  root: import("@aztec/foundation/schemas").Fr;
@@ -2054,7 +2132,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2054
2132
  newCheckpointId: z.ZodNumber;
2055
2133
  stateBefore: z.ZodEffects<z.ZodObject<{
2056
2134
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2057
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2135
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2058
2136
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2059
2137
  }, "strip", z.ZodTypeAny, {
2060
2138
  root: import("@aztec/foundation/schemas").Fr;
@@ -2067,7 +2145,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2067
2145
  nextAvailableLeafIndex: string | number | bigint;
2068
2146
  }>;
2069
2147
  noteHashTree: z.ZodEffects<z.ZodObject<{
2070
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2148
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2071
2149
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2072
2150
  }, "strip", z.ZodTypeAny, {
2073
2151
  root: import("@aztec/foundation/schemas").Fr;
@@ -2080,7 +2158,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2080
2158
  nextAvailableLeafIndex: string | number | bigint;
2081
2159
  }>;
2082
2160
  nullifierTree: z.ZodEffects<z.ZodObject<{
2083
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2161
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2084
2162
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2085
2163
  }, "strip", z.ZodTypeAny, {
2086
2164
  root: import("@aztec/foundation/schemas").Fr;
@@ -2093,7 +2171,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2093
2171
  nextAvailableLeafIndex: string | number | bigint;
2094
2172
  }>;
2095
2173
  publicDataTree: z.ZodEffects<z.ZodObject<{
2096
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2174
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2097
2175
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2098
2176
  }, "strip", z.ZodTypeAny, {
2099
2177
  root: import("@aztec/foundation/schemas").Fr;
@@ -2147,7 +2225,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2147
2225
  }>;
2148
2226
  stateAfter: z.ZodEffects<z.ZodObject<{
2149
2227
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2150
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2228
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2151
2229
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2152
2230
  }, "strip", z.ZodTypeAny, {
2153
2231
  root: import("@aztec/foundation/schemas").Fr;
@@ -2160,7 +2238,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2160
2238
  nextAvailableLeafIndex: string | number | bigint;
2161
2239
  }>;
2162
2240
  noteHashTree: z.ZodEffects<z.ZodObject<{
2163
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2241
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2164
2242
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2165
2243
  }, "strip", z.ZodTypeAny, {
2166
2244
  root: import("@aztec/foundation/schemas").Fr;
@@ -2173,7 +2251,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2173
2251
  nextAvailableLeafIndex: string | number | bigint;
2174
2252
  }>;
2175
2253
  nullifierTree: z.ZodEffects<z.ZodObject<{
2176
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2254
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2177
2255
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2178
2256
  }, "strip", z.ZodTypeAny, {
2179
2257
  root: import("@aztec/foundation/schemas").Fr;
@@ -2186,7 +2264,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2186
2264
  nextAvailableLeafIndex: string | number | bigint;
2187
2265
  }>;
2188
2266
  publicDataTree: z.ZodEffects<z.ZodObject<{
2189
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2267
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2190
2268
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2191
2269
  }, "strip", z.ZodTypeAny, {
2192
2270
  root: import("@aztec/foundation/schemas").Fr;
@@ -2569,10 +2647,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2569
2647
  };
2570
2648
  contractInstances: {
2571
2649
  publicKeys: {
2572
- masterNullifierPublicKey: string;
2573
- masterIncomingViewingPublicKey: string;
2574
- masterOutgoingViewingPublicKey: string;
2575
- masterTaggingPublicKey: string;
2650
+ masterNullifierPublicKey: string | {
2651
+ x: string;
2652
+ y: string;
2653
+ };
2654
+ masterIncomingViewingPublicKey: string | {
2655
+ x: string;
2656
+ y: string;
2657
+ };
2658
+ masterOutgoingViewingPublicKey: string | {
2659
+ x: string;
2660
+ y: string;
2661
+ };
2662
+ masterTaggingPublicKey: string | {
2663
+ x: string;
2664
+ y: string;
2665
+ };
2576
2666
  };
2577
2667
  hintKey: number;
2578
2668
  salt?: any;
@@ -2583,12 +2673,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2583
2673
  address?: any;
2584
2674
  }[];
2585
2675
  contractClasses: {
2586
- packedBytecode: string | {
2587
- type: "Buffer";
2588
- data: number[];
2589
- };
2590
2676
  hintKey: number;
2591
2677
  artifactHash?: any;
2678
+ packedBytecode?: any;
2592
2679
  privateFunctionsRoot?: any;
2593
2680
  classId?: any;
2594
2681
  }[];
@@ -2974,10 +3061,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2974
3061
  };
2975
3062
  contractInstances: {
2976
3063
  publicKeys: {
2977
- masterNullifierPublicKey: string;
2978
- masterIncomingViewingPublicKey: string;
2979
- masterOutgoingViewingPublicKey: string;
2980
- masterTaggingPublicKey: string;
3064
+ masterNullifierPublicKey: string | {
3065
+ x: string;
3066
+ y: string;
3067
+ };
3068
+ masterIncomingViewingPublicKey: string | {
3069
+ x: string;
3070
+ y: string;
3071
+ };
3072
+ masterOutgoingViewingPublicKey: string | {
3073
+ x: string;
3074
+ y: string;
3075
+ };
3076
+ masterTaggingPublicKey: string | {
3077
+ x: string;
3078
+ y: string;
3079
+ };
2981
3080
  };
2982
3081
  hintKey: number;
2983
3082
  salt?: any;
@@ -2988,12 +3087,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2988
3087
  address?: any;
2989
3088
  }[];
2990
3089
  contractClasses: {
2991
- packedBytecode: string | {
2992
- type: "Buffer";
2993
- data: number[];
2994
- };
2995
3090
  hintKey: number;
2996
3091
  artifactHash?: any;
3092
+ packedBytecode?: any;
2997
3093
  privateFunctionsRoot?: any;
2998
3094
  classId?: any;
2999
3095
  }[];
@@ -3347,7 +3443,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3347
3443
  }>;
3348
3444
  startTreeSnapshots: z.ZodEffects<z.ZodObject<{
3349
3445
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3350
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3446
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3351
3447
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3352
3448
  }, "strip", z.ZodTypeAny, {
3353
3449
  root: import("@aztec/foundation/schemas").Fr;
@@ -3360,7 +3456,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3360
3456
  nextAvailableLeafIndex: string | number | bigint;
3361
3457
  }>;
3362
3458
  noteHashTree: z.ZodEffects<z.ZodObject<{
3363
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3459
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3364
3460
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3365
3461
  }, "strip", z.ZodTypeAny, {
3366
3462
  root: import("@aztec/foundation/schemas").Fr;
@@ -3373,7 +3469,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3373
3469
  nextAvailableLeafIndex: string | number | bigint;
3374
3470
  }>;
3375
3471
  nullifierTree: z.ZodEffects<z.ZodObject<{
3376
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3472
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3377
3473
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3378
3474
  }, "strip", z.ZodTypeAny, {
3379
3475
  root: import("@aztec/foundation/schemas").Fr;
@@ -3386,7 +3482,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3386
3482
  nextAvailableLeafIndex: string | number | bigint;
3387
3483
  }>;
3388
3484
  publicDataTree: z.ZodEffects<z.ZodObject<{
3389
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3485
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3390
3486
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3391
3487
  }, "strip", z.ZodTypeAny, {
3392
3488
  root: import("@aztec/foundation/schemas").Fr;
@@ -3558,7 +3654,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3558
3654
  feePerL2Gas: string | number | bigint;
3559
3655
  }>;
3560
3656
  feePayer: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3561
- proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3657
+ proverId: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3562
3658
  publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
3563
3659
  setupCalls: z.ZodNumber;
3564
3660
  appLogicCalls: z.ZodNumber;
@@ -3580,7 +3676,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3580
3676
  msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3581
3677
  contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3582
3678
  isStaticCall: z.ZodBoolean;
3583
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3679
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3584
3680
  }, "strip", z.ZodTypeAny, {
3585
3681
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3586
3682
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3601,7 +3697,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3601
3697
  msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3602
3698
  contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3603
3699
  isStaticCall: z.ZodBoolean;
3604
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3700
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3605
3701
  }, "strip", z.ZodTypeAny, {
3606
3702
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3607
3703
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3622,7 +3718,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3622
3718
  msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3623
3719
  contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
3624
3720
  isStaticCall: z.ZodBoolean;
3625
- calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3721
+ calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3626
3722
  }, "strip", z.ZodTypeAny, {
3627
3723
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3628
3724
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3674,12 +3770,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3674
3770
  l2ToL1Msgs: string | number | bigint;
3675
3771
  }>;
3676
3772
  previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3677
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3678
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3773
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3774
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3679
3775
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3680
3776
  message: z.ZodEffects<z.ZodObject<{
3681
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3682
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3777
+ 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>]>;
3778
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3683
3779
  }, "strip", z.ZodTypeAny, {
3684
3780
  content: import("@aztec/foundation/schemas").Fr;
3685
3781
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3733,12 +3829,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3733
3829
  }[];
3734
3830
  }>;
3735
3831
  previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3736
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3737
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3832
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3833
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3738
3834
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3739
3835
  message: z.ZodEffects<z.ZodObject<{
3740
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3741
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3836
+ 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>]>;
3837
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3742
3838
  }, "strip", z.ZodTypeAny, {
3743
3839
  content: import("@aztec/foundation/schemas").Fr;
3744
3840
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3793,7 +3889,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3793
3889
  }>;
3794
3890
  endTreeSnapshots: z.ZodEffects<z.ZodObject<{
3795
3891
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3796
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3892
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3797
3893
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3798
3894
  }, "strip", z.ZodTypeAny, {
3799
3895
  root: import("@aztec/foundation/schemas").Fr;
@@ -3806,7 +3902,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3806
3902
  nextAvailableLeafIndex: string | number | bigint;
3807
3903
  }>;
3808
3904
  noteHashTree: z.ZodEffects<z.ZodObject<{
3809
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3905
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3810
3906
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3811
3907
  }, "strip", z.ZodTypeAny, {
3812
3908
  root: import("@aztec/foundation/schemas").Fr;
@@ -3819,7 +3915,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3819
3915
  nextAvailableLeafIndex: string | number | bigint;
3820
3916
  }>;
3821
3917
  nullifierTree: z.ZodEffects<z.ZodObject<{
3822
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3918
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3823
3919
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3824
3920
  }, "strip", z.ZodTypeAny, {
3825
3921
  root: import("@aztec/foundation/schemas").Fr;
@@ -3832,7 +3928,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3832
3928
  nextAvailableLeafIndex: string | number | bigint;
3833
3929
  }>;
3834
3930
  publicDataTree: z.ZodEffects<z.ZodObject<{
3835
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3931
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3836
3932
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3837
3933
  }, "strip", z.ZodTypeAny, {
3838
3934
  root: import("@aztec/foundation/schemas").Fr;
@@ -3919,12 +4015,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3919
4015
  publicDataWrites: number;
3920
4016
  }>;
3921
4017
  accumulatedData: z.ZodEffects<z.ZodObject<{
3922
- noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3923
- nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
4018
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
4019
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3924
4020
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3925
4021
  message: z.ZodEffects<z.ZodObject<{
3926
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3927
- content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4022
+ 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>]>;
4023
+ content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3928
4024
  }, "strip", z.ZodTypeAny, {
3929
4025
  content: import("@aztec/foundation/schemas").Fr;
3930
4026
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3954,8 +4050,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3954
4050
  }>, "many">;
3955
4051
  publicLogs: import("@aztec/foundation/schemas").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
3956
4052
  publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
3957
- leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3958
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4053
+ leafSlot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4054
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3959
4055
  }, "strip", z.ZodTypeAny, {
3960
4056
  value: import("@aztec/foundation/schemas").Fr;
3961
4057
  leafSlot: import("@aztec/foundation/schemas").Fr;
@@ -4003,7 +4099,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4003
4099
  }[];
4004
4100
  publicLogs?: any;
4005
4101
  }>;
4006
- transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4102
+ transactionFee: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4007
4103
  reverted: z.ZodBoolean;
4008
4104
  }, "strip", z.ZodTypeAny, {
4009
4105
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
@@ -4626,10 +4722,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4626
4722
  };
4627
4723
  contractInstances: {
4628
4724
  publicKeys: {
4629
- masterNullifierPublicKey: string;
4630
- masterIncomingViewingPublicKey: string;
4631
- masterOutgoingViewingPublicKey: string;
4632
- masterTaggingPublicKey: string;
4725
+ masterNullifierPublicKey: string | {
4726
+ x: string;
4727
+ y: string;
4728
+ };
4729
+ masterIncomingViewingPublicKey: string | {
4730
+ x: string;
4731
+ y: string;
4732
+ };
4733
+ masterOutgoingViewingPublicKey: string | {
4734
+ x: string;
4735
+ y: string;
4736
+ };
4737
+ masterTaggingPublicKey: string | {
4738
+ x: string;
4739
+ y: string;
4740
+ };
4633
4741
  };
4634
4742
  hintKey: number;
4635
4743
  salt?: any;
@@ -4640,12 +4748,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4640
4748
  address?: any;
4641
4749
  }[];
4642
4750
  contractClasses: {
4643
- packedBytecode: string | {
4644
- type: "Buffer";
4645
- data: number[];
4646
- };
4647
4751
  hintKey: number;
4648
4752
  artifactHash?: any;
4753
+ packedBytecode?: any;
4649
4754
  privateFunctionsRoot?: any;
4650
4755
  classId?: any;
4651
4756
  }[];
@@ -5198,10 +5303,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5198
5303
  };
5199
5304
  contractInstances: {
5200
5305
  publicKeys: {
5201
- masterNullifierPublicKey: string;
5202
- masterIncomingViewingPublicKey: string;
5203
- masterOutgoingViewingPublicKey: string;
5204
- masterTaggingPublicKey: string;
5306
+ masterNullifierPublicKey: string | {
5307
+ x: string;
5308
+ y: string;
5309
+ };
5310
+ masterIncomingViewingPublicKey: string | {
5311
+ x: string;
5312
+ y: string;
5313
+ };
5314
+ masterOutgoingViewingPublicKey: string | {
5315
+ x: string;
5316
+ y: string;
5317
+ };
5318
+ masterTaggingPublicKey: string | {
5319
+ x: string;
5320
+ y: string;
5321
+ };
5205
5322
  };
5206
5323
  hintKey: number;
5207
5324
  salt?: any;
@@ -5212,12 +5329,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5212
5329
  address?: any;
5213
5330
  }[];
5214
5331
  contractClasses: {
5215
- packedBytecode: string | {
5216
- type: "Buffer";
5217
- data: number[];
5218
- };
5219
5332
  hintKey: number;
5220
5333
  artifactHash?: any;
5334
+ packedBytecode?: any;
5221
5335
  privateFunctionsRoot?: any;
5222
5336
  classId?: any;
5223
5337
  }[];
@@ -5776,10 +5890,22 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5776
5890
  };
5777
5891
  contractInstances: {
5778
5892
  publicKeys: {
5779
- masterNullifierPublicKey: string;
5780
- masterIncomingViewingPublicKey: string;
5781
- masterOutgoingViewingPublicKey: string;
5782
- masterTaggingPublicKey: string;
5893
+ masterNullifierPublicKey: string | {
5894
+ x: string;
5895
+ y: string;
5896
+ };
5897
+ masterIncomingViewingPublicKey: string | {
5898
+ x: string;
5899
+ y: string;
5900
+ };
5901
+ masterOutgoingViewingPublicKey: string | {
5902
+ x: string;
5903
+ y: string;
5904
+ };
5905
+ masterTaggingPublicKey: string | {
5906
+ x: string;
5907
+ y: string;
5908
+ };
5783
5909
  };
5784
5910
  hintKey: number;
5785
5911
  salt?: any;
@@ -5790,12 +5916,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5790
5916
  address?: any;
5791
5917
  }[];
5792
5918
  contractClasses: {
5793
- packedBytecode: string | {
5794
- type: "Buffer";
5795
- data: number[];
5796
- };
5797
5919
  hintKey: number;
5798
5920
  artifactHash?: any;
5921
+ packedBytecode?: any;
5799
5922
  privateFunctionsRoot?: any;
5800
5923
  classId?: any;
5801
5924
  }[];