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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (87) hide show
  1. package/dest/abi/abi.d.ts +3 -18
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/avm/avm.d.ts +1088 -909
  4. package/dest/avm/avm.d.ts.map +1 -1
  5. package/dest/avm/avm.js +26 -49
  6. package/dest/avm/avm_accumulated_data.d.ts +6 -6
  7. package/dest/avm/avm_circuit_public_inputs.d.ts +27 -27
  8. package/dest/avm/avm_proving_request.d.ts +473 -350
  9. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  10. package/dest/avm/public_data_write.d.ts +2 -2
  11. package/dest/aztec-address/index.d.ts.map +1 -1
  12. package/dest/aztec-address/index.js +8 -2
  13. package/dest/block/l2_block.d.ts +1 -1
  14. package/dest/block/l2_block_info.d.ts +3 -3
  15. package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
  16. package/dest/block/proposal/committee_attestation.d.ts +1 -1
  17. package/dest/block/published_l2_block.d.ts +2 -2
  18. package/dest/block/validate_block_result.d.ts +12 -12
  19. package/dest/contract/contract_deployment_data.d.ts +2 -2
  20. package/dest/contract/interfaces/contract_class.d.ts +38 -119
  21. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  22. package/dest/contract/interfaces/contract_instance.d.ts +200 -32
  23. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  24. package/dest/database-version/version_manager.d.ts +1 -1
  25. package/dest/file-store/http.d.ts.map +1 -1
  26. package/dest/file-store/http.js +8 -3
  27. package/dest/file-store/s3.d.ts.map +1 -1
  28. package/dest/file-store/s3.js +3 -7
  29. package/dest/interfaces/aztec-node-admin.d.ts +5 -5
  30. package/dest/interfaces/proving-job.d.ts +479 -356
  31. package/dest/interfaces/proving-job.d.ts.map +1 -1
  32. package/dest/interfaces/slasher.d.ts +3 -3
  33. package/dest/interfaces/validator.d.ts +4 -4
  34. package/dest/kernel/private_kernel_prover_output.d.ts +6 -6
  35. package/dest/kernel/private_to_avm_accumulated_data.d.ts +4 -4
  36. package/dest/kernel/public_call_request.d.ts +1 -1
  37. package/dest/keys/public_keys.d.ts +84 -12
  38. package/dest/keys/public_keys.d.ts.map +1 -1
  39. package/dest/logs/contract_class_log.d.ts +2 -2
  40. package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
  41. package/dest/logs/pre_tag.d.ts +1 -1
  42. package/dest/logs/private_log.d.ts +1 -1
  43. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  44. package/dest/messaging/l2_to_l1_message.d.ts +8 -8
  45. package/dest/note/note.d.ts +1 -16
  46. package/dest/note/note.d.ts.map +1 -1
  47. package/dest/p2p/consensus_payload.d.ts +5 -5
  48. package/dest/p2p/gossipable.d.ts +1 -1
  49. package/dest/p2p/gossipable.d.ts.map +1 -1
  50. package/dest/p2p/gossipable.js +1 -1
  51. package/dest/proofs/recursive_proof.d.ts +1 -16
  52. package/dest/proofs/recursive_proof.d.ts.map +1 -1
  53. package/dest/schemas/schemas.d.ts +2 -13
  54. package/dest/schemas/schemas.d.ts.map +1 -1
  55. package/dest/schemas/schemas.js +2 -0
  56. package/dest/snapshots/types.d.ts +2 -2
  57. package/dest/tests/factories.d.ts +4 -1
  58. package/dest/tests/factories.d.ts.map +1 -1
  59. package/dest/tests/factories.js +14 -2
  60. package/dest/trees/append_only_tree_snapshot.d.ts +1 -1
  61. package/dest/trees/nullifier_leaf.d.ts +4 -4
  62. package/dest/trees/nullifier_membership_witness.d.ts +5 -29
  63. package/dest/trees/nullifier_membership_witness.d.ts.map +1 -1
  64. package/dest/trees/public_data_leaf.d.ts +7 -7
  65. package/dest/trees/public_data_witness.d.ts +6 -30
  66. package/dest/trees/public_data_witness.d.ts.map +1 -1
  67. package/dest/tx/content_commitment.d.ts +3 -3
  68. package/dest/tx/partial_state_reference.d.ts +3 -3
  69. package/dest/tx/private_execution_result.d.ts +3 -24
  70. package/dest/tx/private_execution_result.d.ts.map +1 -1
  71. package/dest/tx/simulated_tx.d.ts +148 -28
  72. package/dest/tx/simulated_tx.d.ts.map +1 -1
  73. package/dest/tx/state_reference.d.ts +4 -4
  74. package/dest/tx/tree_snapshots.d.ts +4 -4
  75. package/dest/tx/tx.d.ts.map +1 -1
  76. package/dest/tx/tx.js +2 -2
  77. package/dest/tx/tx_context.d.ts +2 -2
  78. package/dest/validators/schemas.d.ts +3 -3
  79. package/package.json +8 -8
  80. package/src/avm/avm.ts +23 -40
  81. package/src/aztec-address/index.ts +8 -2
  82. package/src/file-store/http.ts +6 -3
  83. package/src/file-store/s3.ts +3 -7
  84. package/src/p2p/gossipable.ts +1 -1
  85. package/src/schemas/schemas.ts +3 -0
  86. package/src/tests/factories.ts +45 -0
  87. package/src/tx/tx.ts +2 -3
package/dest/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">;
@@ -761,9 +839,72 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
761
839
  selector?: any;
762
840
  address?: any;
763
841
  }>, "many">;
842
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
843
+ actionCounter: z.ZodNumber;
844
+ oldCheckpointId: z.ZodNumber;
845
+ newCheckpointId: z.ZodNumber;
846
+ }, "strip", z.ZodTypeAny, {
847
+ actionCounter: number;
848
+ oldCheckpointId: number;
849
+ newCheckpointId: number;
850
+ }, {
851
+ actionCounter: number;
852
+ oldCheckpointId: number;
853
+ newCheckpointId: number;
854
+ }>, {
855
+ readonly actionCounter: number;
856
+ readonly oldCheckpointId: number;
857
+ readonly newCheckpointId: number;
858
+ }, {
859
+ actionCounter: number;
860
+ oldCheckpointId: number;
861
+ newCheckpointId: number;
862
+ }>, "many">;
863
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
864
+ actionCounter: z.ZodNumber;
865
+ oldCheckpointId: z.ZodNumber;
866
+ newCheckpointId: z.ZodNumber;
867
+ }, "strip", z.ZodTypeAny, {
868
+ actionCounter: number;
869
+ oldCheckpointId: number;
870
+ newCheckpointId: number;
871
+ }, {
872
+ actionCounter: number;
873
+ oldCheckpointId: number;
874
+ newCheckpointId: number;
875
+ }>, {
876
+ readonly actionCounter: number;
877
+ readonly oldCheckpointId: number;
878
+ readonly newCheckpointId: number;
879
+ }, {
880
+ actionCounter: number;
881
+ oldCheckpointId: number;
882
+ newCheckpointId: number;
883
+ }>, "many">;
884
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
885
+ actionCounter: z.ZodNumber;
886
+ oldCheckpointId: z.ZodNumber;
887
+ newCheckpointId: z.ZodNumber;
888
+ }, "strip", z.ZodTypeAny, {
889
+ actionCounter: number;
890
+ oldCheckpointId: number;
891
+ newCheckpointId: number;
892
+ }, {
893
+ actionCounter: number;
894
+ oldCheckpointId: number;
895
+ newCheckpointId: number;
896
+ }>, {
897
+ readonly actionCounter: number;
898
+ readonly oldCheckpointId: number;
899
+ readonly newCheckpointId: number;
900
+ }, {
901
+ actionCounter: number;
902
+ oldCheckpointId: number;
903
+ newCheckpointId: number;
904
+ }>, "many">;
764
905
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
765
906
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
766
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
907
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
767
908
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
768
909
  }, "strip", z.ZodTypeAny, {
769
910
  root: import("@aztec/foundation/schemas").Fr;
@@ -776,7 +917,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
776
917
  nextAvailableLeafIndex: string | number | bigint;
777
918
  }>;
778
919
  noteHashTree: z.ZodEffects<z.ZodObject<{
779
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
920
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
780
921
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
781
922
  }, "strip", z.ZodTypeAny, {
782
923
  root: import("@aztec/foundation/schemas").Fr;
@@ -789,7 +930,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
789
930
  nextAvailableLeafIndex: string | number | bigint;
790
931
  }>;
791
932
  nullifierTree: z.ZodEffects<z.ZodObject<{
792
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
933
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
793
934
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
794
935
  }, "strip", z.ZodTypeAny, {
795
936
  root: import("@aztec/foundation/schemas").Fr;
@@ -802,7 +943,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
802
943
  nextAvailableLeafIndex: string | number | bigint;
803
944
  }>;
804
945
  publicDataTree: z.ZodEffects<z.ZodObject<{
805
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
946
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
806
947
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
807
948
  }, "strip", z.ZodTypeAny, {
808
949
  root: import("@aztec/foundation/schemas").Fr;
@@ -856,7 +997,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
856
997
  }>;
857
998
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
858
999
  hintKey: z.ZodEffects<z.ZodObject<{
859
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1000
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
860
1001
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
861
1002
  }, "strip", z.ZodTypeAny, {
862
1003
  root: import("@aztec/foundation/schemas").Fr;
@@ -895,7 +1036,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
895
1036
  }>, "many">;
896
1037
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
897
1038
  hintKey: z.ZodEffects<z.ZodObject<{
898
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1039
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
899
1040
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
900
1041
  }, "strip", z.ZodTypeAny, {
901
1042
  root: import("@aztec/foundation/schemas").Fr;
@@ -938,7 +1079,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
938
1079
  }>, "many">;
939
1080
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
940
1081
  hintKey: z.ZodEffects<z.ZodObject<{
941
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1082
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
942
1083
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
943
1084
  }, "strip", z.ZodTypeAny, {
944
1085
  root: import("@aztec/foundation/schemas").Fr;
@@ -953,7 +1094,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
953
1094
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
954
1095
  leafPreimage: z.ZodEffects<z.ZodObject<{
955
1096
  leaf: z.ZodEffects<z.ZodObject<{
956
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1097
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
957
1098
  }, "strip", z.ZodTypeAny, {
958
1099
  nullifier: import("@aztec/foundation/schemas").Fr;
959
1100
  }, {
@@ -961,7 +1102,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
961
1102
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
962
1103
  nullifier: string;
963
1104
  }>;
964
- 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>]>;
965
1106
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
966
1107
  }, "strip", z.ZodTypeAny, {
967
1108
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -981,8 +1122,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
981
1122
  nextIndex: string | number | bigint;
982
1123
  }> | z.ZodEffects<z.ZodObject<{
983
1124
  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>;
1125
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1126
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
986
1127
  }, "strip", z.ZodTypeAny, {
987
1128
  value: import("@aztec/foundation/schemas").Fr;
988
1129
  slot: import("@aztec/foundation/schemas").Fr;
@@ -993,7 +1134,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
993
1134
  value: string;
994
1135
  slot: string;
995
1136
  }>;
996
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1137
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
997
1138
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
998
1139
  }, "strip", z.ZodTypeAny, {
999
1140
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1065,7 +1206,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1065
1206
  }>, "many">;
1066
1207
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1067
1208
  hintKey: z.ZodEffects<z.ZodObject<{
1068
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1209
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1069
1210
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1070
1211
  }, "strip", z.ZodTypeAny, {
1071
1212
  root: import("@aztec/foundation/schemas").Fr;
@@ -1080,7 +1221,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1080
1221
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1081
1222
  leafPreimage: z.ZodEffects<z.ZodObject<{
1082
1223
  leaf: z.ZodEffects<z.ZodObject<{
1083
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1224
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1084
1225
  }, "strip", z.ZodTypeAny, {
1085
1226
  nullifier: import("@aztec/foundation/schemas").Fr;
1086
1227
  }, {
@@ -1088,7 +1229,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1088
1229
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1089
1230
  nullifier: string;
1090
1231
  }>;
1091
- 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>]>;
1092
1233
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1093
1234
  }, "strip", z.ZodTypeAny, {
1094
1235
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1108,8 +1249,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1108
1249
  nextIndex: string | number | bigint;
1109
1250
  }> | z.ZodEffects<z.ZodObject<{
1110
1251
  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>;
1252
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1253
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1113
1254
  }, "strip", z.ZodTypeAny, {
1114
1255
  value: import("@aztec/foundation/schemas").Fr;
1115
1256
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1120,7 +1261,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1120
1261
  value: string;
1121
1262
  slot: string;
1122
1263
  }>;
1123
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1264
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1124
1265
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1125
1266
  }, "strip", z.ZodTypeAny, {
1126
1267
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1192,7 +1333,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1192
1333
  }>, "many">;
1193
1334
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1194
1335
  hintKey: z.ZodEffects<z.ZodObject<{
1195
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1336
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1196
1337
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1197
1338
  }, "strip", z.ZodTypeAny, {
1198
1339
  root: import("@aztec/foundation/schemas").Fr;
@@ -1231,7 +1372,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1231
1372
  }>, "many">;
1232
1373
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1233
1374
  hintKey: z.ZodEffects<z.ZodObject<{
1234
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1375
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1235
1376
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1236
1377
  }, "strip", z.ZodTypeAny, {
1237
1378
  root: import("@aztec/foundation/schemas").Fr;
@@ -1244,7 +1385,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1244
1385
  nextAvailableLeafIndex: string | number | bigint;
1245
1386
  }>;
1246
1387
  stateAfter: z.ZodEffects<z.ZodObject<{
1247
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1388
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1248
1389
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1249
1390
  }, "strip", z.ZodTypeAny, {
1250
1391
  root: import("@aztec/foundation/schemas").Fr;
@@ -1258,7 +1399,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1258
1399
  }>;
1259
1400
  treeId: z.ZodNumber;
1260
1401
  leaf: z.ZodEffects<z.ZodObject<{
1261
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1402
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1262
1403
  }, "strip", z.ZodTypeAny, {
1263
1404
  nullifier: import("@aztec/foundation/schemas").Fr;
1264
1405
  }, {
@@ -1266,8 +1407,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1266
1407
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1267
1408
  nullifier: string;
1268
1409
  }> | 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>;
1410
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1411
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1271
1412
  }, "strip", z.ZodTypeAny, {
1272
1413
  value: import("@aztec/foundation/schemas").Fr;
1273
1414
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1281,7 +1422,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1281
1422
  lowLeavesWitnessData: z.ZodObject<{
1282
1423
  leaf: z.ZodEffects<z.ZodObject<{
1283
1424
  leaf: z.ZodEffects<z.ZodObject<{
1284
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1425
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1285
1426
  }, "strip", z.ZodTypeAny, {
1286
1427
  nullifier: import("@aztec/foundation/schemas").Fr;
1287
1428
  }, {
@@ -1289,7 +1430,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1289
1430
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1290
1431
  nullifier: string;
1291
1432
  }>;
1292
- 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>]>;
1293
1434
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1294
1435
  }, "strip", z.ZodTypeAny, {
1295
1436
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1309,8 +1450,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1309
1450
  nextIndex: string | number | bigint;
1310
1451
  }> | z.ZodEffects<z.ZodObject<{
1311
1452
  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>;
1453
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1454
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1314
1455
  }, "strip", z.ZodTypeAny, {
1315
1456
  value: import("@aztec/foundation/schemas").Fr;
1316
1457
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1321,7 +1462,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1321
1462
  value: string;
1322
1463
  slot: string;
1323
1464
  }>;
1324
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1465
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1325
1466
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1326
1467
  }, "strip", z.ZodTypeAny, {
1327
1468
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1369,7 +1510,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1369
1510
  insertionWitnessData: z.ZodObject<{
1370
1511
  leaf: z.ZodEffects<z.ZodObject<{
1371
1512
  leaf: z.ZodEffects<z.ZodObject<{
1372
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1513
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1373
1514
  }, "strip", z.ZodTypeAny, {
1374
1515
  nullifier: import("@aztec/foundation/schemas").Fr;
1375
1516
  }, {
@@ -1377,7 +1518,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1377
1518
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1378
1519
  nullifier: string;
1379
1520
  }>;
1380
- 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>]>;
1381
1522
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1382
1523
  }, "strip", z.ZodTypeAny, {
1383
1524
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1397,8 +1538,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1397
1538
  nextIndex: string | number | bigint;
1398
1539
  }> | z.ZodEffects<z.ZodObject<{
1399
1540
  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>;
1541
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1542
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1402
1543
  }, "strip", z.ZodTypeAny, {
1403
1544
  value: import("@aztec/foundation/schemas").Fr;
1404
1545
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1409,7 +1550,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1409
1550
  value: string;
1410
1551
  slot: string;
1411
1552
  }>;
1412
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1553
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1413
1554
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1414
1555
  }, "strip", z.ZodTypeAny, {
1415
1556
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1591,7 +1732,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1591
1732
  }>, "many">;
1592
1733
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1593
1734
  hintKey: z.ZodEffects<z.ZodObject<{
1594
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1735
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1595
1736
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1596
1737
  }, "strip", z.ZodTypeAny, {
1597
1738
  root: import("@aztec/foundation/schemas").Fr;
@@ -1604,7 +1745,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1604
1745
  nextAvailableLeafIndex: string | number | bigint;
1605
1746
  }>;
1606
1747
  stateAfter: z.ZodEffects<z.ZodObject<{
1607
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1748
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1608
1749
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1609
1750
  }, "strip", z.ZodTypeAny, {
1610
1751
  root: import("@aztec/foundation/schemas").Fr;
@@ -1618,7 +1759,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1618
1759
  }>;
1619
1760
  treeId: z.ZodNumber;
1620
1761
  leaf: z.ZodEffects<z.ZodObject<{
1621
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1762
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1622
1763
  }, "strip", z.ZodTypeAny, {
1623
1764
  nullifier: import("@aztec/foundation/schemas").Fr;
1624
1765
  }, {
@@ -1626,8 +1767,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1626
1767
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1627
1768
  nullifier: string;
1628
1769
  }> | 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>;
1770
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1771
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1631
1772
  }, "strip", z.ZodTypeAny, {
1632
1773
  value: import("@aztec/foundation/schemas").Fr;
1633
1774
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1641,7 +1782,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1641
1782
  lowLeavesWitnessData: z.ZodObject<{
1642
1783
  leaf: z.ZodEffects<z.ZodObject<{
1643
1784
  leaf: z.ZodEffects<z.ZodObject<{
1644
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1785
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1645
1786
  }, "strip", z.ZodTypeAny, {
1646
1787
  nullifier: import("@aztec/foundation/schemas").Fr;
1647
1788
  }, {
@@ -1649,7 +1790,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1649
1790
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1650
1791
  nullifier: string;
1651
1792
  }>;
1652
- 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>]>;
1653
1794
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1654
1795
  }, "strip", z.ZodTypeAny, {
1655
1796
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1669,8 +1810,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1669
1810
  nextIndex: string | number | bigint;
1670
1811
  }> | z.ZodEffects<z.ZodObject<{
1671
1812
  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>;
1813
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1814
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1674
1815
  }, "strip", z.ZodTypeAny, {
1675
1816
  value: import("@aztec/foundation/schemas").Fr;
1676
1817
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1681,7 +1822,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1681
1822
  value: string;
1682
1823
  slot: string;
1683
1824
  }>;
1684
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1825
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1685
1826
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1686
1827
  }, "strip", z.ZodTypeAny, {
1687
1828
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1729,7 +1870,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1729
1870
  insertionWitnessData: z.ZodObject<{
1730
1871
  leaf: z.ZodEffects<z.ZodObject<{
1731
1872
  leaf: z.ZodEffects<z.ZodObject<{
1732
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1873
+ nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1733
1874
  }, "strip", z.ZodTypeAny, {
1734
1875
  nullifier: import("@aztec/foundation/schemas").Fr;
1735
1876
  }, {
@@ -1737,7 +1878,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1737
1878
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1738
1879
  nullifier: string;
1739
1880
  }>;
1740
- 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>]>;
1741
1882
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1742
1883
  }, "strip", z.ZodTypeAny, {
1743
1884
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1757,8 +1898,8 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1757
1898
  nextIndex: string | number | bigint;
1758
1899
  }> | z.ZodEffects<z.ZodObject<{
1759
1900
  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>;
1901
+ slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1902
+ value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1762
1903
  }, "strip", z.ZodTypeAny, {
1763
1904
  value: import("@aztec/foundation/schemas").Fr;
1764
1905
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1769,7 +1910,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1769
1910
  value: string;
1770
1911
  slot: string;
1771
1912
  }>;
1772
- nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1913
+ nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1773
1914
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1774
1915
  }, "strip", z.ZodTypeAny, {
1775
1916
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1951,7 +2092,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1951
2092
  }>, "many">;
1952
2093
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1953
2094
  hintKey: z.ZodEffects<z.ZodObject<{
1954
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2095
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1955
2096
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1956
2097
  }, "strip", z.ZodTypeAny, {
1957
2098
  root: import("@aztec/foundation/schemas").Fr;
@@ -1964,7 +2105,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1964
2105
  nextAvailableLeafIndex: string | number | bigint;
1965
2106
  }>;
1966
2107
  stateAfter: z.ZodEffects<z.ZodObject<{
1967
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2108
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1968
2109
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1969
2110
  }, "strip", z.ZodTypeAny, {
1970
2111
  root: import("@aztec/foundation/schemas").Fr;
@@ -2054,7 +2195,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2054
2195
  newCheckpointId: z.ZodNumber;
2055
2196
  stateBefore: z.ZodEffects<z.ZodObject<{
2056
2197
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2057
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2198
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2058
2199
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2059
2200
  }, "strip", z.ZodTypeAny, {
2060
2201
  root: import("@aztec/foundation/schemas").Fr;
@@ -2067,7 +2208,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2067
2208
  nextAvailableLeafIndex: string | number | bigint;
2068
2209
  }>;
2069
2210
  noteHashTree: z.ZodEffects<z.ZodObject<{
2070
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2211
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2071
2212
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2072
2213
  }, "strip", z.ZodTypeAny, {
2073
2214
  root: import("@aztec/foundation/schemas").Fr;
@@ -2080,7 +2221,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2080
2221
  nextAvailableLeafIndex: string | number | bigint;
2081
2222
  }>;
2082
2223
  nullifierTree: z.ZodEffects<z.ZodObject<{
2083
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2224
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2084
2225
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2085
2226
  }, "strip", z.ZodTypeAny, {
2086
2227
  root: import("@aztec/foundation/schemas").Fr;
@@ -2093,7 +2234,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2093
2234
  nextAvailableLeafIndex: string | number | bigint;
2094
2235
  }>;
2095
2236
  publicDataTree: z.ZodEffects<z.ZodObject<{
2096
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2237
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2097
2238
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2098
2239
  }, "strip", z.ZodTypeAny, {
2099
2240
  root: import("@aztec/foundation/schemas").Fr;
@@ -2147,7 +2288,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2147
2288
  }>;
2148
2289
  stateAfter: z.ZodEffects<z.ZodObject<{
2149
2290
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2150
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2291
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2151
2292
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2152
2293
  }, "strip", z.ZodTypeAny, {
2153
2294
  root: import("@aztec/foundation/schemas").Fr;
@@ -2160,7 +2301,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2160
2301
  nextAvailableLeafIndex: string | number | bigint;
2161
2302
  }>;
2162
2303
  noteHashTree: z.ZodEffects<z.ZodObject<{
2163
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2304
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2164
2305
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2165
2306
  }, "strip", z.ZodTypeAny, {
2166
2307
  root: import("@aztec/foundation/schemas").Fr;
@@ -2173,7 +2314,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2173
2314
  nextAvailableLeafIndex: string | number | bigint;
2174
2315
  }>;
2175
2316
  nullifierTree: z.ZodEffects<z.ZodObject<{
2176
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2317
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2177
2318
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2178
2319
  }, "strip", z.ZodTypeAny, {
2179
2320
  root: import("@aztec/foundation/schemas").Fr;
@@ -2186,7 +2327,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2186
2327
  nextAvailableLeafIndex: string | number | bigint;
2187
2328
  }>;
2188
2329
  publicDataTree: z.ZodEffects<z.ZodObject<{
2189
- root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2330
+ root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2190
2331
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2191
2332
  }, "strip", z.ZodTypeAny, {
2192
2333
  root: import("@aztec/foundation/schemas").Fr;
@@ -2239,12 +2380,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2239
2380
  };
2240
2381
  }>;
2241
2382
  }, "strip", z.ZodTypeAny, {
2242
- stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
2243
2383
  actionCounter: number;
2244
2384
  oldCheckpointId: number;
2245
2385
  newCheckpointId: number;
2386
+ stateAfter: import("../tx/tree_snapshots.js").TreeSnapshots;
2246
2387
  stateBefore: import("../tx/tree_snapshots.js").TreeSnapshots;
2247
2388
  }, {
2389
+ actionCounter: number;
2390
+ oldCheckpointId: number;
2391
+ newCheckpointId: number;
2248
2392
  stateAfter: {
2249
2393
  noteHashTree: {
2250
2394
  root: string;
@@ -2263,9 +2407,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2263
2407
  nextAvailableLeafIndex: string | number | bigint;
2264
2408
  };
2265
2409
  };
2266
- actionCounter: number;
2267
- oldCheckpointId: number;
2268
- newCheckpointId: number;
2269
2410
  stateBefore: {
2270
2411
  noteHashTree: {
2271
2412
  root: string;
@@ -2285,6 +2426,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2285
2426
  };
2286
2427
  };
2287
2428
  }>, import("./avm.js").AvmRevertCheckpointHint, {
2429
+ actionCounter: number;
2430
+ oldCheckpointId: number;
2431
+ newCheckpointId: number;
2288
2432
  stateAfter: {
2289
2433
  noteHashTree: {
2290
2434
  root: string;
@@ -2303,9 +2447,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2303
2447
  nextAvailableLeafIndex: string | number | bigint;
2304
2448
  };
2305
2449
  };
2306
- actionCounter: number;
2307
- oldCheckpointId: number;
2308
- newCheckpointId: number;
2309
2450
  stateBefore: {
2310
2451
  noteHashTree: {
2311
2452
  root: string;
@@ -2325,77 +2466,29 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2325
2466
  };
2326
2467
  };
2327
2468
  }>, "many">;
2328
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2329
- actionCounter: z.ZodNumber;
2330
- oldCheckpointId: z.ZodNumber;
2331
- newCheckpointId: z.ZodNumber;
2332
- }, "strip", z.ZodTypeAny, {
2333
- actionCounter: number;
2334
- oldCheckpointId: number;
2335
- newCheckpointId: number;
2336
- }, {
2337
- actionCounter: number;
2338
- oldCheckpointId: number;
2339
- newCheckpointId: number;
2340
- }>, {
2469
+ }, "strip", z.ZodTypeAny, {
2470
+ globalVariables: import("../tx/global_variables.js").GlobalVariables;
2471
+ protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
2472
+ tx: import("./avm.js").AvmTxHint;
2473
+ contractInstances: import("./avm.js").AvmContractInstanceHint[];
2474
+ contractClasses: import("./avm.js").AvmContractClassHint[];
2475
+ bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
2476
+ debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
2477
+ contractDBCreateCheckpointHints: {
2341
2478
  readonly actionCounter: number;
2342
2479
  readonly oldCheckpointId: number;
2343
2480
  readonly newCheckpointId: number;
2344
- }, {
2345
- actionCounter: number;
2346
- oldCheckpointId: number;
2347
- newCheckpointId: number;
2348
- }>, "many">;
2349
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2350
- actionCounter: z.ZodNumber;
2351
- oldCheckpointId: z.ZodNumber;
2352
- newCheckpointId: z.ZodNumber;
2353
- }, "strip", z.ZodTypeAny, {
2354
- actionCounter: number;
2355
- oldCheckpointId: number;
2356
- newCheckpointId: number;
2357
- }, {
2358
- actionCounter: number;
2359
- oldCheckpointId: number;
2360
- newCheckpointId: number;
2361
- }>, {
2481
+ }[];
2482
+ contractDBCommitCheckpointHints: {
2362
2483
  readonly actionCounter: number;
2363
2484
  readonly oldCheckpointId: number;
2364
2485
  readonly newCheckpointId: number;
2365
- }, {
2366
- actionCounter: number;
2367
- oldCheckpointId: number;
2368
- newCheckpointId: number;
2369
- }>, "many">;
2370
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2371
- actionCounter: z.ZodNumber;
2372
- oldCheckpointId: z.ZodNumber;
2373
- newCheckpointId: z.ZodNumber;
2374
- }, "strip", z.ZodTypeAny, {
2375
- actionCounter: number;
2376
- oldCheckpointId: number;
2377
- newCheckpointId: number;
2378
- }, {
2379
- actionCounter: number;
2380
- oldCheckpointId: number;
2381
- newCheckpointId: number;
2382
- }>, {
2486
+ }[];
2487
+ contractDBRevertCheckpointHints: {
2383
2488
  readonly actionCounter: number;
2384
2489
  readonly oldCheckpointId: number;
2385
2490
  readonly newCheckpointId: number;
2386
- }, {
2387
- actionCounter: number;
2388
- oldCheckpointId: number;
2389
- newCheckpointId: number;
2390
- }>, "many">;
2391
- }, "strip", z.ZodTypeAny, {
2392
- globalVariables: import("../tx/global_variables.js").GlobalVariables;
2393
- protocolContracts: import("../tx/protocol_contracts.js").ProtocolContracts;
2394
- tx: import("./avm.js").AvmTxHint;
2395
- contractInstances: import("./avm.js").AvmContractInstanceHint[];
2396
- contractClasses: import("./avm.js").AvmContractClassHint[];
2397
- bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
2398
- debugFunctionNames: import("./avm.js").AvmDebugFunctionNameHint[];
2491
+ }[];
2399
2492
  startingTreeRoots: import("../tx/tree_snapshots.js").TreeSnapshots;
2400
2493
  getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
2401
2494
  getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
@@ -2454,21 +2547,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2454
2547
  readonly newCheckpointId: number;
2455
2548
  }[];
2456
2549
  revertCheckpointHints: import("./avm.js").AvmRevertCheckpointHint[];
2457
- contractDBCreateCheckpointHints: {
2458
- readonly actionCounter: number;
2459
- readonly oldCheckpointId: number;
2460
- readonly newCheckpointId: number;
2461
- }[];
2462
- contractDBCommitCheckpointHints: {
2463
- readonly actionCounter: number;
2464
- readonly oldCheckpointId: number;
2465
- readonly newCheckpointId: number;
2466
- }[];
2467
- contractDBRevertCheckpointHints: {
2468
- readonly actionCounter: number;
2469
- readonly oldCheckpointId: number;
2470
- readonly newCheckpointId: number;
2471
- }[];
2472
2550
  }, {
2473
2551
  globalVariables: {
2474
2552
  blockNumber: string | number | bigint;
@@ -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
  }[];
@@ -2602,6 +2689,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2602
2689
  selector?: any;
2603
2690
  address?: any;
2604
2691
  }[];
2692
+ contractDBCreateCheckpointHints: {
2693
+ actionCounter: number;
2694
+ oldCheckpointId: number;
2695
+ newCheckpointId: number;
2696
+ }[];
2697
+ contractDBCommitCheckpointHints: {
2698
+ actionCounter: number;
2699
+ oldCheckpointId: number;
2700
+ newCheckpointId: number;
2701
+ }[];
2702
+ contractDBRevertCheckpointHints: {
2703
+ actionCounter: number;
2704
+ oldCheckpointId: number;
2705
+ newCheckpointId: number;
2706
+ }[];
2605
2707
  startingTreeRoots: {
2606
2708
  noteHashTree: {
2607
2709
  root: string;
@@ -2819,6 +2921,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2819
2921
  newCheckpointId: number;
2820
2922
  }[];
2821
2923
  revertCheckpointHints: {
2924
+ actionCounter: number;
2925
+ oldCheckpointId: number;
2926
+ newCheckpointId: number;
2822
2927
  stateAfter: {
2823
2928
  noteHashTree: {
2824
2929
  root: string;
@@ -2837,9 +2942,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2837
2942
  nextAvailableLeafIndex: string | number | bigint;
2838
2943
  };
2839
2944
  };
2840
- actionCounter: number;
2841
- oldCheckpointId: number;
2842
- newCheckpointId: number;
2843
2945
  stateBefore: {
2844
2946
  noteHashTree: {
2845
2947
  root: string;
@@ -2859,21 +2961,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2859
2961
  };
2860
2962
  };
2861
2963
  }[];
2862
- contractDBCreateCheckpointHints: {
2863
- actionCounter: number;
2864
- oldCheckpointId: number;
2865
- newCheckpointId: number;
2866
- }[];
2867
- contractDBCommitCheckpointHints: {
2868
- actionCounter: number;
2869
- oldCheckpointId: number;
2870
- newCheckpointId: number;
2871
- }[];
2872
- contractDBRevertCheckpointHints: {
2873
- actionCounter: number;
2874
- oldCheckpointId: number;
2875
- newCheckpointId: number;
2876
- }[];
2877
2964
  }>, import("./avm.js").AvmExecutionHints, {
2878
2965
  globalVariables: {
2879
2966
  blockNumber: string | number | bigint;
@@ -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
  }[];
@@ -3007,6 +3103,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3007
3103
  selector?: any;
3008
3104
  address?: any;
3009
3105
  }[];
3106
+ contractDBCreateCheckpointHints: {
3107
+ actionCounter: number;
3108
+ oldCheckpointId: number;
3109
+ newCheckpointId: number;
3110
+ }[];
3111
+ contractDBCommitCheckpointHints: {
3112
+ actionCounter: number;
3113
+ oldCheckpointId: number;
3114
+ newCheckpointId: number;
3115
+ }[];
3116
+ contractDBRevertCheckpointHints: {
3117
+ actionCounter: number;
3118
+ oldCheckpointId: number;
3119
+ newCheckpointId: number;
3120
+ }[];
3010
3121
  startingTreeRoots: {
3011
3122
  noteHashTree: {
3012
3123
  root: string;
@@ -3224,6 +3335,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3224
3335
  newCheckpointId: number;
3225
3336
  }[];
3226
3337
  revertCheckpointHints: {
3338
+ actionCounter: number;
3339
+ oldCheckpointId: number;
3340
+ newCheckpointId: number;
3227
3341
  stateAfter: {
3228
3342
  noteHashTree: {
3229
3343
  root: string;
@@ -3242,9 +3356,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3242
3356
  nextAvailableLeafIndex: string | number | bigint;
3243
3357
  };
3244
3358
  };
3245
- actionCounter: number;
3246
- oldCheckpointId: number;
3247
- newCheckpointId: number;
3248
3359
  stateBefore: {
3249
3360
  noteHashTree: {
3250
3361
  root: string;
@@ -3264,21 +3375,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3264
3375
  };
3265
3376
  };
3266
3377
  }[];
3267
- contractDBCreateCheckpointHints: {
3268
- actionCounter: number;
3269
- oldCheckpointId: number;
3270
- newCheckpointId: number;
3271
- }[];
3272
- contractDBCommitCheckpointHints: {
3273
- actionCounter: number;
3274
- oldCheckpointId: number;
3275
- newCheckpointId: number;
3276
- }[];
3277
- contractDBRevertCheckpointHints: {
3278
- actionCounter: number;
3279
- oldCheckpointId: number;
3280
- newCheckpointId: number;
3281
- }[];
3282
3378
  }>;
3283
3379
  publicInputs: z.ZodEffects<z.ZodObject<{
3284
3380
  globalVariables: z.ZodEffects<z.ZodObject<{
@@ -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
  }[];
@@ -4659,6 +4764,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4659
4764
  selector?: any;
4660
4765
  address?: any;
4661
4766
  }[];
4767
+ contractDBCreateCheckpointHints: {
4768
+ actionCounter: number;
4769
+ oldCheckpointId: number;
4770
+ newCheckpointId: number;
4771
+ }[];
4772
+ contractDBCommitCheckpointHints: {
4773
+ actionCounter: number;
4774
+ oldCheckpointId: number;
4775
+ newCheckpointId: number;
4776
+ }[];
4777
+ contractDBRevertCheckpointHints: {
4778
+ actionCounter: number;
4779
+ oldCheckpointId: number;
4780
+ newCheckpointId: number;
4781
+ }[];
4662
4782
  startingTreeRoots: {
4663
4783
  noteHashTree: {
4664
4784
  root: string;
@@ -4876,6 +4996,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4876
4996
  newCheckpointId: number;
4877
4997
  }[];
4878
4998
  revertCheckpointHints: {
4999
+ actionCounter: number;
5000
+ oldCheckpointId: number;
5001
+ newCheckpointId: number;
4879
5002
  stateAfter: {
4880
5003
  noteHashTree: {
4881
5004
  root: string;
@@ -4894,9 +5017,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4894
5017
  nextAvailableLeafIndex: string | number | bigint;
4895
5018
  };
4896
5019
  };
4897
- actionCounter: number;
4898
- oldCheckpointId: number;
4899
- newCheckpointId: number;
4900
5020
  stateBefore: {
4901
5021
  noteHashTree: {
4902
5022
  root: string;
@@ -4916,21 +5036,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
4916
5036
  };
4917
5037
  };
4918
5038
  }[];
4919
- contractDBCreateCheckpointHints: {
4920
- actionCounter: number;
4921
- oldCheckpointId: number;
4922
- newCheckpointId: number;
4923
- }[];
4924
- contractDBCommitCheckpointHints: {
4925
- actionCounter: number;
4926
- oldCheckpointId: number;
4927
- newCheckpointId: number;
4928
- }[];
4929
- contractDBRevertCheckpointHints: {
4930
- actionCounter: number;
4931
- oldCheckpointId: number;
4932
- newCheckpointId: number;
4933
- }[];
4934
5039
  };
4935
5040
  }>, AvmCircuitInputs, {
4936
5041
  publicInputs: {
@@ -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
  }[];
@@ -5231,6 +5345,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5231
5345
  selector?: any;
5232
5346
  address?: any;
5233
5347
  }[];
5348
+ contractDBCreateCheckpointHints: {
5349
+ actionCounter: number;
5350
+ oldCheckpointId: number;
5351
+ newCheckpointId: number;
5352
+ }[];
5353
+ contractDBCommitCheckpointHints: {
5354
+ actionCounter: number;
5355
+ oldCheckpointId: number;
5356
+ newCheckpointId: number;
5357
+ }[];
5358
+ contractDBRevertCheckpointHints: {
5359
+ actionCounter: number;
5360
+ oldCheckpointId: number;
5361
+ newCheckpointId: number;
5362
+ }[];
5234
5363
  startingTreeRoots: {
5235
5364
  noteHashTree: {
5236
5365
  root: string;
@@ -5448,6 +5577,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5448
5577
  newCheckpointId: number;
5449
5578
  }[];
5450
5579
  revertCheckpointHints: {
5580
+ actionCounter: number;
5581
+ oldCheckpointId: number;
5582
+ newCheckpointId: number;
5451
5583
  stateAfter: {
5452
5584
  noteHashTree: {
5453
5585
  root: string;
@@ -5466,9 +5598,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5466
5598
  nextAvailableLeafIndex: string | number | bigint;
5467
5599
  };
5468
5600
  };
5469
- actionCounter: number;
5470
- oldCheckpointId: number;
5471
- newCheckpointId: number;
5472
5601
  stateBefore: {
5473
5602
  noteHashTree: {
5474
5603
  root: string;
@@ -5488,21 +5617,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5488
5617
  };
5489
5618
  };
5490
5619
  }[];
5491
- contractDBCreateCheckpointHints: {
5492
- actionCounter: number;
5493
- oldCheckpointId: number;
5494
- newCheckpointId: number;
5495
- }[];
5496
- contractDBCommitCheckpointHints: {
5497
- actionCounter: number;
5498
- oldCheckpointId: number;
5499
- newCheckpointId: number;
5500
- }[];
5501
- contractDBRevertCheckpointHints: {
5502
- actionCounter: number;
5503
- oldCheckpointId: number;
5504
- newCheckpointId: number;
5505
- }[];
5506
5620
  };
5507
5621
  }>;
5508
5622
  }, "strip", z.ZodTypeAny, {
@@ -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
  }[];
@@ -5809,6 +5932,21 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
5809
5932
  selector?: any;
5810
5933
  address?: any;
5811
5934
  }[];
5935
+ contractDBCreateCheckpointHints: {
5936
+ actionCounter: number;
5937
+ oldCheckpointId: number;
5938
+ newCheckpointId: number;
5939
+ }[];
5940
+ contractDBCommitCheckpointHints: {
5941
+ actionCounter: number;
5942
+ oldCheckpointId: number;
5943
+ newCheckpointId: number;
5944
+ }[];
5945
+ contractDBRevertCheckpointHints: {
5946
+ actionCounter: number;
5947
+ oldCheckpointId: number;
5948
+ newCheckpointId: number;
5949
+ }[];
5812
5950
  startingTreeRoots: {
5813
5951
  noteHashTree: {
5814
5952
  root: string;
@@ -6026,6 +6164,9 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
6026
6164
  newCheckpointId: number;
6027
6165
  }[];
6028
6166
  revertCheckpointHints: {
6167
+ actionCounter: number;
6168
+ oldCheckpointId: number;
6169
+ newCheckpointId: number;
6029
6170
  stateAfter: {
6030
6171
  noteHashTree: {
6031
6172
  root: string;
@@ -6044,9 +6185,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
6044
6185
  nextAvailableLeafIndex: string | number | bigint;
6045
6186
  };
6046
6187
  };
6047
- actionCounter: number;
6048
- oldCheckpointId: number;
6049
- newCheckpointId: number;
6050
6188
  stateBefore: {
6051
6189
  noteHashTree: {
6052
6190
  root: string;
@@ -6066,21 +6204,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
6066
6204
  };
6067
6205
  };
6068
6206
  }[];
6069
- contractDBCreateCheckpointHints: {
6070
- actionCounter: number;
6071
- oldCheckpointId: number;
6072
- newCheckpointId: number;
6073
- }[];
6074
- contractDBCommitCheckpointHints: {
6075
- actionCounter: number;
6076
- oldCheckpointId: number;
6077
- newCheckpointId: number;
6078
- }[];
6079
- contractDBRevertCheckpointHints: {
6080
- actionCounter: number;
6081
- oldCheckpointId: number;
6082
- newCheckpointId: number;
6083
- }[];
6084
6207
  };
6085
6208
  };
6086
6209
  }>;