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

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 (166) hide show
  1. package/dest/abi/abi.d.ts +8 -8
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +2 -2
  4. package/dest/abi/contract_artifact.js +3 -3
  5. package/dest/avm/avm.d.ts +539 -769
  6. package/dest/avm/avm.d.ts.map +1 -1
  7. package/dest/avm/avm.js +196 -2
  8. package/dest/avm/avm_accumulated_data.d.ts +22 -6
  9. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  10. package/dest/avm/avm_accumulated_data.js +18 -0
  11. package/dest/avm/avm_circuit_public_inputs.d.ts +35 -27
  12. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  13. package/dest/avm/avm_circuit_public_inputs.js +9 -0
  14. package/dest/avm/avm_proving_request.d.ts +134 -290
  15. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  16. package/dest/avm/public_data_write.d.ts +10 -2
  17. package/dest/avm/public_data_write.d.ts.map +1 -1
  18. package/dest/avm/public_data_write.js +9 -0
  19. package/dest/avm/revert_code.d.ts +8 -0
  20. package/dest/avm/revert_code.d.ts.map +1 -1
  21. package/dest/avm/revert_code.js +16 -0
  22. package/dest/aztec-address/index.d.ts +9 -0
  23. package/dest/aztec-address/index.d.ts.map +1 -1
  24. package/dest/aztec-address/index.js +16 -0
  25. package/dest/block/l2_block.d.ts +1 -1
  26. package/dest/block/l2_block_info.d.ts +3 -3
  27. package/dest/block/proposal/attestations_and_signers.d.ts +1 -1
  28. package/dest/block/proposal/committee_attestation.d.ts +1 -1
  29. package/dest/block/published_l2_block.d.ts +2 -2
  30. package/dest/block/validate_block_result.d.ts +12 -12
  31. package/dest/contract/contract_deployment_data.d.ts +10 -2
  32. package/dest/contract/contract_deployment_data.d.ts.map +1 -1
  33. package/dest/contract/contract_deployment_data.js +12 -0
  34. package/dest/contract/interfaces/contract_class.d.ts +19 -19
  35. package/dest/contract/interfaces/contract_instance.d.ts +32 -200
  36. package/dest/contract/interfaces/contract_instance.d.ts.map +1 -1
  37. package/dest/database-version/version_manager.d.ts +1 -1
  38. package/dest/gas/gas.d.ts +8 -0
  39. package/dest/gas/gas.d.ts.map +1 -1
  40. package/dest/gas/gas.js +12 -0
  41. package/dest/gas/gas_fees.d.ts +8 -0
  42. package/dest/gas/gas_fees.d.ts.map +1 -1
  43. package/dest/gas/gas_fees.js +12 -0
  44. package/dest/gas/gas_settings.d.ts +8 -0
  45. package/dest/gas/gas_settings.d.ts.map +1 -1
  46. package/dest/gas/gas_settings.js +12 -0
  47. package/dest/gas/gas_used.d.ts +12 -1
  48. package/dest/gas/gas_used.d.ts.map +1 -1
  49. package/dest/gas/gas_used.js +19 -1
  50. package/dest/interfaces/aztec-node-admin.d.ts +8 -5
  51. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  52. package/dest/interfaces/configs.d.ts +5 -0
  53. package/dest/interfaces/configs.d.ts.map +1 -1
  54. package/dest/interfaces/configs.js +1 -0
  55. package/dest/interfaces/proving-job.d.ts +162 -318
  56. package/dest/interfaces/proving-job.d.ts.map +1 -1
  57. package/dest/interfaces/slasher.d.ts +3 -3
  58. package/dest/interfaces/validator.d.ts +12 -4
  59. package/dest/interfaces/validator.d.ts.map +1 -1
  60. package/dest/interfaces/validator.js +2 -1
  61. package/dest/kernel/private_to_avm_accumulated_data.d.ts +20 -4
  62. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  63. package/dest/kernel/private_to_avm_accumulated_data.js +18 -0
  64. package/dest/kernel/public_call_request.d.ts +17 -1
  65. package/dest/kernel/public_call_request.d.ts.map +1 -1
  66. package/dest/kernel/public_call_request.js +18 -0
  67. package/dest/keys/public_keys.d.ts +20 -84
  68. package/dest/keys/public_keys.d.ts.map +1 -1
  69. package/dest/keys/public_keys.js +12 -0
  70. package/dest/logs/contract_class_log.d.ts +18 -2
  71. package/dest/logs/contract_class_log.d.ts.map +1 -1
  72. package/dest/logs/contract_class_log.js +24 -0
  73. package/dest/logs/debug_log.d.ts +9 -1
  74. package/dest/logs/debug_log.d.ts.map +1 -1
  75. package/dest/logs/debug_log.js +13 -0
  76. package/dest/logs/directional_app_tagging_secret.d.ts +1 -1
  77. package/dest/logs/pre_tag.d.ts +1 -1
  78. package/dest/logs/private_log.d.ts +9 -1
  79. package/dest/logs/private_log.d.ts.map +1 -1
  80. package/dest/logs/private_log.js +12 -0
  81. package/dest/logs/public_log.d.ts +8 -0
  82. package/dest/logs/public_log.d.ts.map +1 -1
  83. package/dest/logs/public_log.js +9 -0
  84. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  85. package/dest/messaging/l2_to_l1_message.d.ts +24 -8
  86. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  87. package/dest/messaging/l2_to_l1_message.js +18 -0
  88. package/dest/noir/index.d.ts +1 -1
  89. package/dest/noir/index.d.ts.map +1 -1
  90. package/dest/noir/index.js +1 -2
  91. package/dest/p2p/consensus_payload.d.ts +5 -5
  92. package/dest/snapshots/types.d.ts +2 -2
  93. package/dest/trees/append_only_tree_snapshot.d.ts +9 -1
  94. package/dest/trees/append_only_tree_snapshot.d.ts.map +1 -1
  95. package/dest/trees/append_only_tree_snapshot.js +9 -0
  96. package/dest/trees/nullifier_leaf.d.ts +20 -4
  97. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  98. package/dest/trees/nullifier_leaf.js +24 -0
  99. package/dest/trees/nullifier_membership_witness.d.ts +2 -2
  100. package/dest/trees/public_data_leaf.d.ts +23 -7
  101. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  102. package/dest/trees/public_data_leaf.js +24 -0
  103. package/dest/trees/public_data_witness.d.ts +3 -3
  104. package/dest/tx/content_commitment.d.ts +3 -3
  105. package/dest/tx/execution_payload.d.ts +45 -0
  106. package/dest/tx/execution_payload.d.ts.map +1 -0
  107. package/dest/tx/execution_payload.js +40 -0
  108. package/dest/tx/global_variables.d.ts +8 -0
  109. package/dest/tx/global_variables.d.ts.map +1 -1
  110. package/dest/tx/global_variables.js +9 -0
  111. package/dest/tx/index.d.ts +1 -0
  112. package/dest/tx/index.d.ts.map +1 -1
  113. package/dest/tx/index.js +1 -0
  114. package/dest/tx/partial_state_reference.d.ts +3 -3
  115. package/dest/tx/profiling.d.ts +3 -3
  116. package/dest/tx/profiling.d.ts.map +1 -1
  117. package/dest/tx/profiling.js +5 -4
  118. package/dest/tx/protocol_contracts.d.ts +8 -0
  119. package/dest/tx/protocol_contracts.d.ts.map +1 -1
  120. package/dest/tx/protocol_contracts.js +9 -0
  121. package/dest/tx/public_call_request_with_calldata.d.ts +8 -0
  122. package/dest/tx/public_call_request_with_calldata.d.ts.map +1 -1
  123. package/dest/tx/public_call_request_with_calldata.js +12 -0
  124. package/dest/tx/simulated_tx.d.ts +28 -148
  125. package/dest/tx/simulated_tx.d.ts.map +1 -1
  126. package/dest/tx/state_reference.d.ts +4 -4
  127. package/dest/tx/tree_snapshots.d.ts +12 -4
  128. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  129. package/dest/tx/tree_snapshots.js +9 -0
  130. package/dest/tx/tx_context.d.ts +2 -2
  131. package/dest/validators/schemas.d.ts +3 -3
  132. package/package.json +8 -8
  133. package/src/abi/abi.ts +4 -4
  134. package/src/abi/contract_artifact.ts +3 -3
  135. package/src/avm/avm.ts +350 -3
  136. package/src/avm/avm_accumulated_data.ts +40 -0
  137. package/src/avm/avm_circuit_public_inputs.ts +40 -0
  138. package/src/avm/public_data_write.ts +11 -0
  139. package/src/avm/revert_code.ts +18 -0
  140. package/src/aztec-address/index.ts +18 -0
  141. package/src/contract/contract_deployment_data.ts +17 -0
  142. package/src/gas/gas.ts +14 -0
  143. package/src/gas/gas_fees.ts +14 -0
  144. package/src/gas/gas_settings.ts +19 -0
  145. package/src/gas/gas_used.ts +22 -1
  146. package/src/interfaces/configs.ts +3 -0
  147. package/src/interfaces/validator.ts +4 -0
  148. package/src/kernel/private_to_avm_accumulated_data.ts +35 -0
  149. package/src/kernel/public_call_request.ts +27 -0
  150. package/src/keys/public_keys.ts +19 -0
  151. package/src/logs/contract_class_log.ts +32 -0
  152. package/src/logs/debug_log.ts +20 -1
  153. package/src/logs/private_log.ts +17 -0
  154. package/src/logs/public_log.ts +14 -0
  155. package/src/messaging/l2_to_l1_message.ts +25 -0
  156. package/src/noir/index.ts +1 -2
  157. package/src/trees/append_only_tree_snapshot.ts +11 -0
  158. package/src/trees/nullifier_leaf.ts +32 -0
  159. package/src/trees/public_data_leaf.ts +32 -0
  160. package/src/tx/execution_payload.ts +60 -0
  161. package/src/tx/global_variables.ts +20 -0
  162. package/src/tx/index.ts +1 -0
  163. package/src/tx/profiling.ts +4 -6
  164. package/src/tx/protocol_contracts.ts +16 -0
  165. package/src/tx/public_call_request_with_calldata.ts +17 -0
  166. package/src/tx/tree_snapshots.ts +16 -0
package/dest/interfaces/proving-job.d.ts CHANGED
@@ -204,7 +204,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
204
204
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
205
205
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
206
206
  fields: z.ZodEffects<z.ZodObject<{
207
- fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
207
+ fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
208
208
  }, "strip", z.ZodTypeAny, {
209
209
  fields: import("@aztec/foundation/schemas").Fr[];
210
210
  }, {
@@ -231,7 +231,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
231
231
  contractAddress?: any;
232
232
  }>, "many">;
233
233
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
234
- fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
234
+ fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
235
235
  emittedLength: z.ZodNumber;
236
236
  }, "strict", z.ZodTypeAny, {
237
237
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -275,7 +275,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
275
275
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
276
276
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
277
277
  fields: z.ZodEffects<z.ZodObject<{
278
- fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
278
+ fields: z.ZodEffects<z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">, import("@aztec/foundation/schemas").Fr[], string[]>;
279
279
  }, "strip", z.ZodTypeAny, {
280
280
  fields: import("@aztec/foundation/schemas").Fr[];
281
281
  }, {
@@ -302,7 +302,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
302
302
  contractAddress?: any;
303
303
  }>, "many">;
304
304
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
305
- fields: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
305
+ fields: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
306
306
  emittedLength: z.ZodNumber;
307
307
  }, "strict", z.ZodTypeAny, {
308
308
  fields: import("@aztec/foundation/schemas").Fr[];
@@ -347,8 +347,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
347
347
  nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
348
348
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
349
349
  message: z.ZodEffects<z.ZodObject<{
350
- recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
351
- content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
350
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
351
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
352
352
  }, "strip", z.ZodTypeAny, {
353
353
  content: import("@aztec/foundation/schemas").Fr;
354
354
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -396,8 +396,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
396
396
  nullifiers: z.ZodArray<ZodFor<import("@aztec/foundation/schemas").Fr>, "many">;
397
397
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
398
398
  message: z.ZodEffects<z.ZodObject<{
399
- recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
400
- content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
399
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
400
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
401
401
  }, "strip", z.ZodTypeAny, {
402
402
  content: import("@aztec/foundation/schemas").Fr;
403
403
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -657,97 +657,25 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
657
657
  originalContractClassId: ZodFor<import("@aztec/foundation/schemas").Fr>;
658
658
  initializationHash: ZodFor<import("@aztec/foundation/schemas").Fr>;
659
659
  publicKeys: z.ZodEffects<z.ZodObject<{
660
- masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
661
- x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
662
- y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
663
- }, "strip", z.ZodTypeAny, {
664
- x: import("@aztec/foundation/schemas").Fr;
665
- y: import("@aztec/foundation/schemas").Fr;
666
- }, {
667
- x: string;
668
- y: string;
669
- }>, import("@aztec/foundation/schemas").Point, {
670
- x: string;
671
- y: string;
672
- }>]>;
673
- masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
674
- x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
675
- y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
676
- }, "strip", z.ZodTypeAny, {
677
- x: import("@aztec/foundation/schemas").Fr;
678
- y: import("@aztec/foundation/schemas").Fr;
679
- }, {
680
- x: string;
681
- y: string;
682
- }>, import("@aztec/foundation/schemas").Point, {
683
- x: string;
684
- y: string;
685
- }>]>;
686
- masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
687
- x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
688
- y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
689
- }, "strip", z.ZodTypeAny, {
690
- x: import("@aztec/foundation/schemas").Fr;
691
- y: import("@aztec/foundation/schemas").Fr;
692
- }, {
693
- x: string;
694
- y: string;
695
- }>, import("@aztec/foundation/schemas").Point, {
696
- x: string;
697
- y: string;
698
- }>]>;
699
- masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Point, any, string>, z.ZodEffects<z.ZodObject<{
700
- x: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
701
- y: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
702
- }, "strip", z.ZodTypeAny, {
703
- x: import("@aztec/foundation/schemas").Fr;
704
- y: import("@aztec/foundation/schemas").Fr;
705
- }, {
706
- x: string;
707
- y: string;
708
- }>, import("@aztec/foundation/schemas").Point, {
709
- x: string;
710
- y: string;
711
- }>]>;
660
+ masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
661
+ masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
662
+ masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
663
+ masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
712
664
  }, "strip", z.ZodTypeAny, {
713
665
  masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
714
666
  masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
715
667
  masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
716
668
  masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
717
669
  }, {
718
- masterNullifierPublicKey: string | {
719
- x: string;
720
- y: string;
721
- };
722
- masterIncomingViewingPublicKey: string | {
723
- x: string;
724
- y: string;
725
- };
726
- masterOutgoingViewingPublicKey: string | {
727
- x: string;
728
- y: string;
729
- };
730
- masterTaggingPublicKey: string | {
731
- x: string;
732
- y: string;
733
- };
670
+ masterNullifierPublicKey: string;
671
+ masterIncomingViewingPublicKey: string;
672
+ masterOutgoingViewingPublicKey: string;
673
+ masterTaggingPublicKey: string;
734
674
  }>, import("../keys/public_keys.js").PublicKeys, {
735
- masterNullifierPublicKey: string | {
736
- x: string;
737
- y: string;
738
- };
739
- masterIncomingViewingPublicKey: string | {
740
- x: string;
741
- y: string;
742
- };
743
- masterOutgoingViewingPublicKey: string | {
744
- x: string;
745
- y: string;
746
- };
747
- masterTaggingPublicKey: string | {
748
- x: string;
749
- y: string;
750
- };
675
+ masterNullifierPublicKey: string;
676
+ masterIncomingViewingPublicKey: string;
677
+ masterOutgoingViewingPublicKey: string;
678
+ masterTaggingPublicKey: string;
751
679
  }>;
752
680
  }, "strip", z.ZodTypeAny, {
753
681
  salt: import("@aztec/foundation/schemas").Fr;
@@ -760,22 +688,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
760
688
  hintKey: number;
761
689
  }, {
762
690
  publicKeys: {
763
- masterNullifierPublicKey: string | {
764
- x: string;
765
- y: string;
766
- };
767
- masterIncomingViewingPublicKey: string | {
768
- x: string;
769
- y: string;
770
- };
771
- masterOutgoingViewingPublicKey: string | {
772
- x: string;
773
- y: string;
774
- };
775
- masterTaggingPublicKey: string | {
776
- x: string;
777
- y: string;
778
- };
691
+ masterNullifierPublicKey: string;
692
+ masterIncomingViewingPublicKey: string;
693
+ masterOutgoingViewingPublicKey: string;
694
+ masterTaggingPublicKey: string;
779
695
  };
780
696
  hintKey: number;
781
697
  salt?: any;
@@ -786,22 +702,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
786
702
  address?: any;
787
703
  }>, import("../avm/avm.js").AvmContractInstanceHint, {
788
704
  publicKeys: {
789
- masterNullifierPublicKey: string | {
790
- x: string;
791
- y: string;
792
- };
793
- masterIncomingViewingPublicKey: string | {
794
- x: string;
795
- y: string;
796
- };
797
- masterOutgoingViewingPublicKey: string | {
798
- x: string;
799
- y: string;
800
- };
801
- masterTaggingPublicKey: string | {
802
- x: string;
803
- y: string;
804
- };
705
+ masterNullifierPublicKey: string;
706
+ masterIncomingViewingPublicKey: string;
707
+ masterOutgoingViewingPublicKey: string;
708
+ masterTaggingPublicKey: string;
805
709
  };
806
710
  hintKey: number;
807
711
  salt?: any;
@@ -935,7 +839,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
935
839
  }>, "many">;
936
840
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
937
841
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
938
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
842
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
939
843
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
940
844
  }, "strip", z.ZodTypeAny, {
941
845
  root: import("@aztec/foundation/schemas").Fr;
@@ -948,7 +852,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
948
852
  nextAvailableLeafIndex: string | number | bigint;
949
853
  }>;
950
854
  noteHashTree: z.ZodEffects<z.ZodObject<{
951
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
855
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
952
856
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
953
857
  }, "strip", z.ZodTypeAny, {
954
858
  root: import("@aztec/foundation/schemas").Fr;
@@ -961,7 +865,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
961
865
  nextAvailableLeafIndex: string | number | bigint;
962
866
  }>;
963
867
  nullifierTree: z.ZodEffects<z.ZodObject<{
964
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
868
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
965
869
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
966
870
  }, "strip", z.ZodTypeAny, {
967
871
  root: import("@aztec/foundation/schemas").Fr;
@@ -974,7 +878,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
974
878
  nextAvailableLeafIndex: string | number | bigint;
975
879
  }>;
976
880
  publicDataTree: z.ZodEffects<z.ZodObject<{
977
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
881
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
978
882
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
979
883
  }, "strip", z.ZodTypeAny, {
980
884
  root: import("@aztec/foundation/schemas").Fr;
@@ -1028,7 +932,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1028
932
  }>;
1029
933
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1030
934
  hintKey: z.ZodEffects<z.ZodObject<{
1031
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
935
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1032
936
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1033
937
  }, "strip", z.ZodTypeAny, {
1034
938
  root: import("@aztec/foundation/schemas").Fr;
@@ -1067,7 +971,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1067
971
  }>, "many">;
1068
972
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1069
973
  hintKey: z.ZodEffects<z.ZodObject<{
1070
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
974
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1071
975
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1072
976
  }, "strip", z.ZodTypeAny, {
1073
977
  root: import("@aztec/foundation/schemas").Fr;
@@ -1110,7 +1014,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1110
1014
  }>, "many">;
1111
1015
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1112
1016
  hintKey: z.ZodEffects<z.ZodObject<{
1113
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1017
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1114
1018
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1115
1019
  }, "strip", z.ZodTypeAny, {
1116
1020
  root: import("@aztec/foundation/schemas").Fr;
@@ -1125,7 +1029,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1125
1029
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1126
1030
  leafPreimage: z.ZodEffects<z.ZodObject<{
1127
1031
  leaf: z.ZodEffects<z.ZodObject<{
1128
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1032
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1129
1033
  }, "strip", z.ZodTypeAny, {
1130
1034
  nullifier: import("@aztec/foundation/schemas").Fr;
1131
1035
  }, {
@@ -1133,7 +1037,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1133
1037
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1134
1038
  nullifier: string;
1135
1039
  }>;
1136
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1040
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1137
1041
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1138
1042
  }, "strip", z.ZodTypeAny, {
1139
1043
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1153,8 +1057,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1153
1057
  nextIndex: string | number | bigint;
1154
1058
  }> | z.ZodEffects<z.ZodObject<{
1155
1059
  leaf: z.ZodEffects<z.ZodObject<{
1156
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1157
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1060
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1061
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1158
1062
  }, "strip", z.ZodTypeAny, {
1159
1063
  value: import("@aztec/foundation/schemas").Fr;
1160
1064
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1165,7 +1069,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1165
1069
  value: string;
1166
1070
  slot: string;
1167
1071
  }>;
1168
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1072
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1169
1073
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1170
1074
  }, "strip", z.ZodTypeAny, {
1171
1075
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1237,7 +1141,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1237
1141
  }>, "many">;
1238
1142
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1239
1143
  hintKey: z.ZodEffects<z.ZodObject<{
1240
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1144
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1241
1145
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1242
1146
  }, "strip", z.ZodTypeAny, {
1243
1147
  root: import("@aztec/foundation/schemas").Fr;
@@ -1252,7 +1156,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1252
1156
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1253
1157
  leafPreimage: z.ZodEffects<z.ZodObject<{
1254
1158
  leaf: z.ZodEffects<z.ZodObject<{
1255
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1159
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1256
1160
  }, "strip", z.ZodTypeAny, {
1257
1161
  nullifier: import("@aztec/foundation/schemas").Fr;
1258
1162
  }, {
@@ -1260,7 +1164,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1260
1164
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1261
1165
  nullifier: string;
1262
1166
  }>;
1263
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1167
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1264
1168
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1265
1169
  }, "strip", z.ZodTypeAny, {
1266
1170
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1280,8 +1184,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1280
1184
  nextIndex: string | number | bigint;
1281
1185
  }> | z.ZodEffects<z.ZodObject<{
1282
1186
  leaf: z.ZodEffects<z.ZodObject<{
1283
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1284
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1187
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1188
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1285
1189
  }, "strip", z.ZodTypeAny, {
1286
1190
  value: import("@aztec/foundation/schemas").Fr;
1287
1191
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1292,7 +1196,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1292
1196
  value: string;
1293
1197
  slot: string;
1294
1198
  }>;
1295
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1199
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1296
1200
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1297
1201
  }, "strip", z.ZodTypeAny, {
1298
1202
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1364,7 +1268,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1364
1268
  }>, "many">;
1365
1269
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1366
1270
  hintKey: z.ZodEffects<z.ZodObject<{
1367
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1271
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1368
1272
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1369
1273
  }, "strip", z.ZodTypeAny, {
1370
1274
  root: import("@aztec/foundation/schemas").Fr;
@@ -1403,7 +1307,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1403
1307
  }>, "many">;
1404
1308
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1405
1309
  hintKey: z.ZodEffects<z.ZodObject<{
1406
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1310
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1407
1311
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1408
1312
  }, "strip", z.ZodTypeAny, {
1409
1313
  root: import("@aztec/foundation/schemas").Fr;
@@ -1416,7 +1320,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1416
1320
  nextAvailableLeafIndex: string | number | bigint;
1417
1321
  }>;
1418
1322
  stateAfter: z.ZodEffects<z.ZodObject<{
1419
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1323
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1420
1324
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1421
1325
  }, "strip", z.ZodTypeAny, {
1422
1326
  root: import("@aztec/foundation/schemas").Fr;
@@ -1430,7 +1334,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1430
1334
  }>;
1431
1335
  treeId: z.ZodNumber;
1432
1336
  leaf: z.ZodEffects<z.ZodObject<{
1433
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1337
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1434
1338
  }, "strip", z.ZodTypeAny, {
1435
1339
  nullifier: import("@aztec/foundation/schemas").Fr;
1436
1340
  }, {
@@ -1438,8 +1342,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1438
1342
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1439
1343
  nullifier: string;
1440
1344
  }> | z.ZodEffects<z.ZodObject<{
1441
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1442
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1345
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1346
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1443
1347
  }, "strip", z.ZodTypeAny, {
1444
1348
  value: import("@aztec/foundation/schemas").Fr;
1445
1349
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1453,7 +1357,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1453
1357
  lowLeavesWitnessData: z.ZodObject<{
1454
1358
  leaf: z.ZodEffects<z.ZodObject<{
1455
1359
  leaf: z.ZodEffects<z.ZodObject<{
1456
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1360
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1457
1361
  }, "strip", z.ZodTypeAny, {
1458
1362
  nullifier: import("@aztec/foundation/schemas").Fr;
1459
1363
  }, {
@@ -1461,7 +1365,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1461
1365
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1462
1366
  nullifier: string;
1463
1367
  }>;
1464
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1368
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1465
1369
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1466
1370
  }, "strip", z.ZodTypeAny, {
1467
1371
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1481,8 +1385,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1481
1385
  nextIndex: string | number | bigint;
1482
1386
  }> | z.ZodEffects<z.ZodObject<{
1483
1387
  leaf: z.ZodEffects<z.ZodObject<{
1484
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1485
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1388
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1389
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1486
1390
  }, "strip", z.ZodTypeAny, {
1487
1391
  value: import("@aztec/foundation/schemas").Fr;
1488
1392
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1493,7 +1397,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1493
1397
  value: string;
1494
1398
  slot: string;
1495
1399
  }>;
1496
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1400
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1497
1401
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1498
1402
  }, "strip", z.ZodTypeAny, {
1499
1403
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1541,7 +1445,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1541
1445
  insertionWitnessData: z.ZodObject<{
1542
1446
  leaf: z.ZodEffects<z.ZodObject<{
1543
1447
  leaf: z.ZodEffects<z.ZodObject<{
1544
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1448
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1545
1449
  }, "strip", z.ZodTypeAny, {
1546
1450
  nullifier: import("@aztec/foundation/schemas").Fr;
1547
1451
  }, {
@@ -1549,7 +1453,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1549
1453
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1550
1454
  nullifier: string;
1551
1455
  }>;
1552
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1456
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1553
1457
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1554
1458
  }, "strip", z.ZodTypeAny, {
1555
1459
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1569,8 +1473,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1569
1473
  nextIndex: string | number | bigint;
1570
1474
  }> | z.ZodEffects<z.ZodObject<{
1571
1475
  leaf: z.ZodEffects<z.ZodObject<{
1572
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1573
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1476
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1477
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1574
1478
  }, "strip", z.ZodTypeAny, {
1575
1479
  value: import("@aztec/foundation/schemas").Fr;
1576
1480
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1581,7 +1485,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1581
1485
  value: string;
1582
1486
  slot: string;
1583
1487
  }>;
1584
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1488
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1585
1489
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1586
1490
  }, "strip", z.ZodTypeAny, {
1587
1491
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1763,7 +1667,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1763
1667
  }>, "many">;
1764
1668
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1765
1669
  hintKey: z.ZodEffects<z.ZodObject<{
1766
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1670
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1767
1671
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1768
1672
  }, "strip", z.ZodTypeAny, {
1769
1673
  root: import("@aztec/foundation/schemas").Fr;
@@ -1776,7 +1680,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1776
1680
  nextAvailableLeafIndex: string | number | bigint;
1777
1681
  }>;
1778
1682
  stateAfter: z.ZodEffects<z.ZodObject<{
1779
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1683
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1780
1684
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1781
1685
  }, "strip", z.ZodTypeAny, {
1782
1686
  root: import("@aztec/foundation/schemas").Fr;
@@ -1790,7 +1694,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1790
1694
  }>;
1791
1695
  treeId: z.ZodNumber;
1792
1696
  leaf: z.ZodEffects<z.ZodObject<{
1793
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1697
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1794
1698
  }, "strip", z.ZodTypeAny, {
1795
1699
  nullifier: import("@aztec/foundation/schemas").Fr;
1796
1700
  }, {
@@ -1798,8 +1702,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1798
1702
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1799
1703
  nullifier: string;
1800
1704
  }> | z.ZodEffects<z.ZodObject<{
1801
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1802
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1705
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1706
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1803
1707
  }, "strip", z.ZodTypeAny, {
1804
1708
  value: import("@aztec/foundation/schemas").Fr;
1805
1709
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1813,7 +1717,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1813
1717
  lowLeavesWitnessData: z.ZodObject<{
1814
1718
  leaf: z.ZodEffects<z.ZodObject<{
1815
1719
  leaf: z.ZodEffects<z.ZodObject<{
1816
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1720
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1817
1721
  }, "strip", z.ZodTypeAny, {
1818
1722
  nullifier: import("@aztec/foundation/schemas").Fr;
1819
1723
  }, {
@@ -1821,7 +1725,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1821
1725
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1822
1726
  nullifier: string;
1823
1727
  }>;
1824
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1728
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1825
1729
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1826
1730
  }, "strip", z.ZodTypeAny, {
1827
1731
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1841,8 +1745,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1841
1745
  nextIndex: string | number | bigint;
1842
1746
  }> | z.ZodEffects<z.ZodObject<{
1843
1747
  leaf: z.ZodEffects<z.ZodObject<{
1844
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1845
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1748
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1749
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1846
1750
  }, "strip", z.ZodTypeAny, {
1847
1751
  value: import("@aztec/foundation/schemas").Fr;
1848
1752
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1853,7 +1757,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1853
1757
  value: string;
1854
1758
  slot: string;
1855
1759
  }>;
1856
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1760
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1857
1761
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1858
1762
  }, "strip", z.ZodTypeAny, {
1859
1763
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1901,7 +1805,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1901
1805
  insertionWitnessData: z.ZodObject<{
1902
1806
  leaf: z.ZodEffects<z.ZodObject<{
1903
1807
  leaf: z.ZodEffects<z.ZodObject<{
1904
- nullifier: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1808
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1905
1809
  }, "strip", z.ZodTypeAny, {
1906
1810
  nullifier: import("@aztec/foundation/schemas").Fr;
1907
1811
  }, {
@@ -1909,7 +1813,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1909
1813
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1910
1814
  nullifier: string;
1911
1815
  }>;
1912
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1816
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1913
1817
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1914
1818
  }, "strip", z.ZodTypeAny, {
1915
1819
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1929,8 +1833,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1929
1833
  nextIndex: string | number | bigint;
1930
1834
  }> | z.ZodEffects<z.ZodObject<{
1931
1835
  leaf: z.ZodEffects<z.ZodObject<{
1932
- slot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1933
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1836
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1837
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1934
1838
  }, "strip", z.ZodTypeAny, {
1935
1839
  value: import("@aztec/foundation/schemas").Fr;
1936
1840
  slot: import("@aztec/foundation/schemas").Fr;
@@ -1941,7 +1845,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1941
1845
  value: string;
1942
1846
  slot: string;
1943
1847
  }>;
1944
- nextKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
1848
+ nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1945
1849
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1946
1850
  }, "strip", z.ZodTypeAny, {
1947
1851
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -2123,7 +2027,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2123
2027
  }>, "many">;
2124
2028
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2125
2029
  hintKey: z.ZodEffects<z.ZodObject<{
2126
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2030
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2127
2031
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2128
2032
  }, "strip", z.ZodTypeAny, {
2129
2033
  root: import("@aztec/foundation/schemas").Fr;
@@ -2136,7 +2040,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2136
2040
  nextAvailableLeafIndex: string | number | bigint;
2137
2041
  }>;
2138
2042
  stateAfter: z.ZodEffects<z.ZodObject<{
2139
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2043
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2140
2044
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2141
2045
  }, "strip", z.ZodTypeAny, {
2142
2046
  root: import("@aztec/foundation/schemas").Fr;
@@ -2226,7 +2130,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2226
2130
  newCheckpointId: z.ZodNumber;
2227
2131
  stateBefore: z.ZodEffects<z.ZodObject<{
2228
2132
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2229
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2133
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2230
2134
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2231
2135
  }, "strip", z.ZodTypeAny, {
2232
2136
  root: import("@aztec/foundation/schemas").Fr;
@@ -2239,7 +2143,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2239
2143
  nextAvailableLeafIndex: string | number | bigint;
2240
2144
  }>;
2241
2145
  noteHashTree: z.ZodEffects<z.ZodObject<{
2242
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2146
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2243
2147
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2244
2148
  }, "strip", z.ZodTypeAny, {
2245
2149
  root: import("@aztec/foundation/schemas").Fr;
@@ -2252,7 +2156,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2252
2156
  nextAvailableLeafIndex: string | number | bigint;
2253
2157
  }>;
2254
2158
  nullifierTree: z.ZodEffects<z.ZodObject<{
2255
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2159
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2256
2160
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2257
2161
  }, "strip", z.ZodTypeAny, {
2258
2162
  root: import("@aztec/foundation/schemas").Fr;
@@ -2265,7 +2169,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2265
2169
  nextAvailableLeafIndex: string | number | bigint;
2266
2170
  }>;
2267
2171
  publicDataTree: z.ZodEffects<z.ZodObject<{
2268
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2172
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2269
2173
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2270
2174
  }, "strip", z.ZodTypeAny, {
2271
2175
  root: import("@aztec/foundation/schemas").Fr;
@@ -2319,7 +2223,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2319
2223
  }>;
2320
2224
  stateAfter: z.ZodEffects<z.ZodObject<{
2321
2225
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2322
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2226
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2323
2227
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2324
2228
  }, "strip", z.ZodTypeAny, {
2325
2229
  root: import("@aztec/foundation/schemas").Fr;
@@ -2332,7 +2236,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2332
2236
  nextAvailableLeafIndex: string | number | bigint;
2333
2237
  }>;
2334
2238
  noteHashTree: z.ZodEffects<z.ZodObject<{
2335
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2239
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2336
2240
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2337
2241
  }, "strip", z.ZodTypeAny, {
2338
2242
  root: import("@aztec/foundation/schemas").Fr;
@@ -2345,7 +2249,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2345
2249
  nextAvailableLeafIndex: string | number | bigint;
2346
2250
  }>;
2347
2251
  nullifierTree: z.ZodEffects<z.ZodObject<{
2348
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2252
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2349
2253
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2350
2254
  }, "strip", z.ZodTypeAny, {
2351
2255
  root: import("@aztec/foundation/schemas").Fr;
@@ -2358,7 +2262,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2358
2262
  nextAvailableLeafIndex: string | number | bigint;
2359
2263
  }>;
2360
2264
  publicDataTree: z.ZodEffects<z.ZodObject<{
2361
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
2265
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
2362
2266
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2363
2267
  }, "strip", z.ZodTypeAny, {
2364
2268
  root: import("@aztec/foundation/schemas").Fr;
@@ -2678,22 +2582,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2678
2582
  };
2679
2583
  contractInstances: {
2680
2584
  publicKeys: {
2681
- masterNullifierPublicKey: string | {
2682
- x: string;
2683
- y: string;
2684
- };
2685
- masterIncomingViewingPublicKey: string | {
2686
- x: string;
2687
- y: string;
2688
- };
2689
- masterOutgoingViewingPublicKey: string | {
2690
- x: string;
2691
- y: string;
2692
- };
2693
- masterTaggingPublicKey: string | {
2694
- x: string;
2695
- y: string;
2696
- };
2585
+ masterNullifierPublicKey: string;
2586
+ masterIncomingViewingPublicKey: string;
2587
+ masterOutgoingViewingPublicKey: string;
2588
+ masterTaggingPublicKey: string;
2697
2589
  };
2698
2590
  hintKey: number;
2699
2591
  salt?: any;
@@ -3092,22 +2984,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3092
2984
  };
3093
2985
  contractInstances: {
3094
2986
  publicKeys: {
3095
- masterNullifierPublicKey: string | {
3096
- x: string;
3097
- y: string;
3098
- };
3099
- masterIncomingViewingPublicKey: string | {
3100
- x: string;
3101
- y: string;
3102
- };
3103
- masterOutgoingViewingPublicKey: string | {
3104
- x: string;
3105
- y: string;
3106
- };
3107
- masterTaggingPublicKey: string | {
3108
- x: string;
3109
- y: string;
3110
- };
2987
+ masterNullifierPublicKey: string;
2988
+ masterIncomingViewingPublicKey: string;
2989
+ masterOutgoingViewingPublicKey: string;
2990
+ masterTaggingPublicKey: string;
3111
2991
  };
3112
2992
  hintKey: number;
3113
2993
  salt?: any;
@@ -3474,7 +3354,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3474
3354
  }>;
3475
3355
  startTreeSnapshots: z.ZodEffects<z.ZodObject<{
3476
3356
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3477
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3357
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3478
3358
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3479
3359
  }, "strip", z.ZodTypeAny, {
3480
3360
  root: import("@aztec/foundation/schemas").Fr;
@@ -3487,7 +3367,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3487
3367
  nextAvailableLeafIndex: string | number | bigint;
3488
3368
  }>;
3489
3369
  noteHashTree: z.ZodEffects<z.ZodObject<{
3490
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3370
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3491
3371
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3492
3372
  }, "strip", z.ZodTypeAny, {
3493
3373
  root: import("@aztec/foundation/schemas").Fr;
@@ -3500,7 +3380,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3500
3380
  nextAvailableLeafIndex: string | number | bigint;
3501
3381
  }>;
3502
3382
  nullifierTree: z.ZodEffects<z.ZodObject<{
3503
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3383
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3504
3384
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3505
3385
  }, "strip", z.ZodTypeAny, {
3506
3386
  root: import("@aztec/foundation/schemas").Fr;
@@ -3513,7 +3393,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3513
3393
  nextAvailableLeafIndex: string | number | bigint;
3514
3394
  }>;
3515
3395
  publicDataTree: z.ZodEffects<z.ZodObject<{
3516
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3396
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3517
3397
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3518
3398
  }, "strip", z.ZodTypeAny, {
3519
3399
  root: import("@aztec/foundation/schemas").Fr;
@@ -3685,7 +3565,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3685
3565
  feePerL2Gas: string | number | bigint;
3686
3566
  }>;
3687
3567
  feePayer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3688
- proverId: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3568
+ proverId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3689
3569
  publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
3690
3570
  setupCalls: z.ZodNumber;
3691
3571
  appLogicCalls: z.ZodNumber;
@@ -3707,7 +3587,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3707
3587
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3708
3588
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3709
3589
  isStaticCall: z.ZodBoolean;
3710
- calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3590
+ calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3711
3591
  }, "strip", z.ZodTypeAny, {
3712
3592
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3713
3593
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3728,7 +3608,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3728
3608
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3729
3609
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3730
3610
  isStaticCall: z.ZodBoolean;
3731
- calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3611
+ calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3732
3612
  }, "strip", z.ZodTypeAny, {
3733
3613
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3734
3614
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3749,7 +3629,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3749
3629
  msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3750
3630
  contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
3751
3631
  isStaticCall: z.ZodBoolean;
3752
- calldataHash: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3632
+ calldataHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3753
3633
  }, "strip", z.ZodTypeAny, {
3754
3634
  contractAddress: import("../aztec-address/index.js").AztecAddress;
3755
3635
  msgSender: import("../aztec-address/index.js").AztecAddress;
@@ -3801,12 +3681,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3801
3681
  l2ToL1Msgs: string | number | bigint;
3802
3682
  }>;
3803
3683
  previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3804
- noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3805
- nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3684
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3685
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3806
3686
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3807
3687
  message: z.ZodEffects<z.ZodObject<{
3808
- recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
3809
- content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3688
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3689
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3810
3690
  }, "strip", z.ZodTypeAny, {
3811
3691
  content: import("@aztec/foundation/schemas").Fr;
3812
3692
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3860,12 +3740,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3860
3740
  }[];
3861
3741
  }>;
3862
3742
  previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
3863
- noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3864
- nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3743
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3744
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3865
3745
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
3866
3746
  message: z.ZodEffects<z.ZodObject<{
3867
- recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
3868
- content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3747
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3748
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3869
3749
  }, "strip", z.ZodTypeAny, {
3870
3750
  content: import("@aztec/foundation/schemas").Fr;
3871
3751
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -3920,7 +3800,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3920
3800
  }>;
3921
3801
  endTreeSnapshots: z.ZodEffects<z.ZodObject<{
3922
3802
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3923
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3803
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3924
3804
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3925
3805
  }, "strip", z.ZodTypeAny, {
3926
3806
  root: import("@aztec/foundation/schemas").Fr;
@@ -3933,7 +3813,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3933
3813
  nextAvailableLeafIndex: string | number | bigint;
3934
3814
  }>;
3935
3815
  noteHashTree: z.ZodEffects<z.ZodObject<{
3936
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3816
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3937
3817
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3938
3818
  }, "strip", z.ZodTypeAny, {
3939
3819
  root: import("@aztec/foundation/schemas").Fr;
@@ -3946,7 +3826,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3946
3826
  nextAvailableLeafIndex: string | number | bigint;
3947
3827
  }>;
3948
3828
  nullifierTree: z.ZodEffects<z.ZodObject<{
3949
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3829
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3950
3830
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3951
3831
  }, "strip", z.ZodTypeAny, {
3952
3832
  root: import("@aztec/foundation/schemas").Fr;
@@ -3959,7 +3839,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3959
3839
  nextAvailableLeafIndex: string | number | bigint;
3960
3840
  }>;
3961
3841
  publicDataTree: z.ZodEffects<z.ZodObject<{
3962
- root: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3842
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3963
3843
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3964
3844
  }, "strip", z.ZodTypeAny, {
3965
3845
  root: import("@aztec/foundation/schemas").Fr;
@@ -4046,12 +3926,12 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4046
3926
  publicDataWrites: number;
4047
3927
  }>;
4048
3928
  accumulatedData: z.ZodEffects<z.ZodObject<{
4049
- noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
4050
- nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
3929
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
3930
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
4051
3931
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
4052
3932
  message: z.ZodEffects<z.ZodObject<{
4053
- recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
4054
- content: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3933
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
3934
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4055
3935
  }, "strip", z.ZodTypeAny, {
4056
3936
  content: import("@aztec/foundation/schemas").Fr;
4057
3937
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -4081,8 +3961,8 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4081
3961
  }>, "many">;
4082
3962
  publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
4083
3963
  publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
4084
- leafSlot: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4085
- value: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
3964
+ leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
3965
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4086
3966
  }, "strip", z.ZodTypeAny, {
4087
3967
  value: import("@aztec/foundation/schemas").Fr;
4088
3968
  leafSlot: import("@aztec/foundation/schemas").Fr;
@@ -4130,7 +4010,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4130
4010
  }[];
4131
4011
  publicLogs?: any;
4132
4012
  }>;
4133
- transactionFee: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, z.ZodType<never, any, string>]>;
4013
+ transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
4134
4014
  reverted: z.ZodBoolean;
4135
4015
  }, "strip", z.ZodTypeAny, {
4136
4016
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
@@ -4753,22 +4633,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
4753
4633
  };
4754
4634
  contractInstances: {
4755
4635
  publicKeys: {
4756
- masterNullifierPublicKey: string | {
4757
- x: string;
4758
- y: string;
4759
- };
4760
- masterIncomingViewingPublicKey: string | {
4761
- x: string;
4762
- y: string;
4763
- };
4764
- masterOutgoingViewingPublicKey: string | {
4765
- x: string;
4766
- y: string;
4767
- };
4768
- masterTaggingPublicKey: string | {
4769
- x: string;
4770
- y: string;
4771
- };
4636
+ masterNullifierPublicKey: string;
4637
+ masterIncomingViewingPublicKey: string;
4638
+ masterOutgoingViewingPublicKey: string;
4639
+ masterTaggingPublicKey: string;
4772
4640
  };
4773
4641
  hintKey: number;
4774
4642
  salt?: any;
@@ -5334,22 +5202,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5334
5202
  };
5335
5203
  contractInstances: {
5336
5204
  publicKeys: {
5337
- masterNullifierPublicKey: string | {
5338
- x: string;
5339
- y: string;
5340
- };
5341
- masterIncomingViewingPublicKey: string | {
5342
- x: string;
5343
- y: string;
5344
- };
5345
- masterOutgoingViewingPublicKey: string | {
5346
- x: string;
5347
- y: string;
5348
- };
5349
- masterTaggingPublicKey: string | {
5350
- x: string;
5351
- y: string;
5352
- };
5205
+ masterNullifierPublicKey: string;
5206
+ masterIncomingViewingPublicKey: string;
5207
+ masterOutgoingViewingPublicKey: string;
5208
+ masterTaggingPublicKey: string;
5353
5209
  };
5354
5210
  hintKey: number;
5355
5211
  salt?: any;
@@ -5921,22 +5777,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
5921
5777
  };
5922
5778
  contractInstances: {
5923
5779
  publicKeys: {
5924
- masterNullifierPublicKey: string | {
5925
- x: string;
5926
- y: string;
5927
- };
5928
- masterIncomingViewingPublicKey: string | {
5929
- x: string;
5930
- y: string;
5931
- };
5932
- masterOutgoingViewingPublicKey: string | {
5933
- x: string;
5934
- y: string;
5935
- };
5936
- masterTaggingPublicKey: string | {
5937
- x: string;
5938
- y: string;
5939
- };
5780
+ masterNullifierPublicKey: string;
5781
+ masterIncomingViewingPublicKey: string;
5782
+ masterOutgoingViewingPublicKey: string;
5783
+ masterTaggingPublicKey: string;
5940
5784
  };
5941
5785
  hintKey: number;
5942
5786
  salt?: any;
@@ -6424,127 +6268,127 @@ export declare const ProvingJobResult: z.ZodDiscriminatedUnion<"type", [z.ZodObj
6424
6268
  result?: any;
6425
6269
  }>, z.ZodObject<{
6426
6270
  type: z.ZodLiteral<ProvingRequestType.PUBLIC_CHONK_VERIFIER>;
6427
- result: ZodFor<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 535>>;
6271
+ result: ZodFor<PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 531>>;
6428
6272
  }, "strip", z.ZodTypeAny, {
6429
6273
  type: ProvingRequestType.PUBLIC_CHONK_VERIFIER;
6430
- result: PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 535>;
6274
+ result: PublicInputsAndRecursiveProof<PublicChonkVerifierPublicInputs, 531>;
6431
6275
  }, {
6432
6276
  type: ProvingRequestType.PUBLIC_CHONK_VERIFIER;
6433
6277
  result?: any;
6434
6278
  }>, z.ZodObject<{
6435
6279
  type: z.ZodLiteral<ProvingRequestType.PRIVATE_TX_BASE_ROLLUP>;
6436
- result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
6280
+ result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
6437
6281
  }, "strip", z.ZodTypeAny, {
6438
6282
  type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
6439
- result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
6283
+ result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
6440
6284
  }, {
6441
6285
  type: ProvingRequestType.PRIVATE_TX_BASE_ROLLUP;
6442
6286
  result?: any;
6443
6287
  }>, z.ZodObject<{
6444
6288
  type: z.ZodLiteral<ProvingRequestType.PUBLIC_TX_BASE_ROLLUP>;
6445
- result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
6289
+ result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
6446
6290
  }, "strip", z.ZodTypeAny, {
6447
6291
  type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
6448
- result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
6292
+ result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
6449
6293
  }, {
6450
6294
  type: ProvingRequestType.PUBLIC_TX_BASE_ROLLUP;
6451
6295
  result?: any;
6452
6296
  }>, z.ZodObject<{
6453
6297
  type: z.ZodLiteral<ProvingRequestType.TX_MERGE_ROLLUP>;
6454
- result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>>;
6298
+ result: ZodFor<PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>>;
6455
6299
  }, "strip", z.ZodTypeAny, {
6456
6300
  type: ProvingRequestType.TX_MERGE_ROLLUP;
6457
- result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 535>;
6301
+ result: PublicInputsAndRecursiveProof<TxRollupPublicInputs, 531>;
6458
6302
  }, {
6459
6303
  type: ProvingRequestType.TX_MERGE_ROLLUP;
6460
6304
  result?: any;
6461
6305
  }>, z.ZodObject<{
6462
6306
  type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP>;
6463
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6307
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6464
6308
  }, "strip", z.ZodTypeAny, {
6465
6309
  type: ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP;
6466
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6310
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6467
6311
  }, {
6468
6312
  type: ProvingRequestType.BLOCK_ROOT_FIRST_ROLLUP;
6469
6313
  result?: any;
6470
6314
  }>, z.ZodObject<{
6471
6315
  type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP>;
6472
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6316
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6473
6317
  }, "strip", z.ZodTypeAny, {
6474
6318
  type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP;
6475
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6319
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6476
6320
  }, {
6477
6321
  type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_FIRST_ROLLUP;
6478
6322
  result?: any;
6479
6323
  }>, z.ZodObject<{
6480
6324
  type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP>;
6481
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6325
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6482
6326
  }, "strip", z.ZodTypeAny, {
6483
6327
  type: ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP;
6484
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6328
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6485
6329
  }, {
6486
6330
  type: ProvingRequestType.BLOCK_ROOT_EMPTY_TX_FIRST_ROLLUP;
6487
6331
  result?: any;
6488
6332
  }>, z.ZodObject<{
6489
6333
  type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_ROLLUP>;
6490
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6334
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6491
6335
  }, "strip", z.ZodTypeAny, {
6492
6336
  type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
6493
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6337
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6494
6338
  }, {
6495
6339
  type: ProvingRequestType.BLOCK_ROOT_ROLLUP;
6496
6340
  result?: any;
6497
6341
  }>, z.ZodObject<{
6498
6342
  type: z.ZodLiteral<ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP>;
6499
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6343
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6500
6344
  }, "strip", z.ZodTypeAny, {
6501
6345
  type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP;
6502
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6346
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6503
6347
  }, {
6504
6348
  type: ProvingRequestType.BLOCK_ROOT_SINGLE_TX_ROLLUP;
6505
6349
  result?: any;
6506
6350
  }>, z.ZodObject<{
6507
6351
  type: z.ZodLiteral<ProvingRequestType.BLOCK_MERGE_ROLLUP>;
6508
- result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>>;
6352
+ result: ZodFor<PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>>;
6509
6353
  }, "strip", z.ZodTypeAny, {
6510
6354
  type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
6511
- result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 535>;
6355
+ result: PublicInputsAndRecursiveProof<BlockRollupPublicInputs, 531>;
6512
6356
  }, {
6513
6357
  type: ProvingRequestType.BLOCK_MERGE_ROLLUP;
6514
6358
  result?: any;
6515
6359
  }>, z.ZodObject<{
6516
6360
  type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_ROLLUP>;
6517
- result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>>;
6361
+ result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
6518
6362
  }, "strip", z.ZodTypeAny, {
6519
6363
  type: ProvingRequestType.CHECKPOINT_ROOT_ROLLUP;
6520
- result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>;
6364
+ result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
6521
6365
  }, {
6522
6366
  type: ProvingRequestType.CHECKPOINT_ROOT_ROLLUP;
6523
6367
  result?: any;
6524
6368
  }>, z.ZodObject<{
6525
6369
  type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP>;
6526
- result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>>;
6370
+ result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
6527
6371
  }, "strip", z.ZodTypeAny, {
6528
6372
  type: ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP;
6529
- result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>;
6373
+ result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
6530
6374
  }, {
6531
6375
  type: ProvingRequestType.CHECKPOINT_ROOT_SINGLE_BLOCK_ROLLUP;
6532
6376
  result?: any;
6533
6377
  }>, z.ZodObject<{
6534
6378
  type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_PADDING_ROLLUP>;
6535
- result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>>;
6379
+ result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
6536
6380
  }, "strip", z.ZodTypeAny, {
6537
6381
  type: ProvingRequestType.CHECKPOINT_PADDING_ROLLUP;
6538
- result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>;
6382
+ result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
6539
6383
  }, {
6540
6384
  type: ProvingRequestType.CHECKPOINT_PADDING_ROLLUP;
6541
6385
  result?: any;
6542
6386
  }>, z.ZodObject<{
6543
6387
  type: z.ZodLiteral<ProvingRequestType.CHECKPOINT_MERGE_ROLLUP>;
6544
- result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>>;
6388
+ result: ZodFor<PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>>;
6545
6389
  }, "strip", z.ZodTypeAny, {
6546
6390
  type: ProvingRequestType.CHECKPOINT_MERGE_ROLLUP;
6547
- result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 535>;
6391
+ result: PublicInputsAndRecursiveProof<CheckpointRollupPublicInputs, 531>;
6548
6392
  }, {
6549
6393
  type: ProvingRequestType.CHECKPOINT_MERGE_ROLLUP;
6550
6394
  result?: any;