@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.d.ts CHANGED
@@ -2,14 +2,15 @@ import { Fr } from '@aztec/foundation/fields';
2
2
  import { z } from 'zod';
3
3
  import { AztecAddress } from '../aztec-address/index.js';
4
4
  import { ContractDeploymentData } from '../contract/index.js';
5
- import type { SimulationError } from '../errors/simulation_error.js';
5
+ import { SimulationError } from '../errors/simulation_error.js';
6
6
  import { Gas } from '../gas/gas.js';
7
7
  import { GasFees } from '../gas/gas_fees.js';
8
8
  import { GasSettings } from '../gas/gas_settings.js';
9
9
  import type { GasUsed } from '../gas/gas_used.js';
10
10
  import { PublicKeys } from '../keys/public_keys.js';
11
- import type { DebugLog } from '../logs/debug_log.js';
11
+ import { DebugLog } from '../logs/debug_log.js';
12
12
  import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
13
+ import { type ZodFor } from '../schemas/schemas.js';
13
14
  import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
14
15
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
15
16
  import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
@@ -27,44 +28,26 @@ export declare class AvmContractClassHint {
27
28
  constructor(hintKey: number, classId: Fr, artifactHash: Fr, privateFunctionsRoot: Fr, packedBytecode: Buffer);
28
29
  static get schema(): z.ZodEffects<z.ZodObject<{
29
30
  hintKey: z.ZodNumber;
30
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
31
- artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
32
- privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
33
- packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
34
- type: z.ZodLiteral<"Buffer">;
35
- data: z.ZodArray<z.ZodNumber, "many">;
36
- }, "strip", z.ZodTypeAny, {
37
- type: "Buffer";
38
- data: number[];
39
- }, {
40
- type: "Buffer";
41
- data: number[];
42
- }>, Buffer<ArrayBuffer>, {
43
- type: "Buffer";
44
- data: number[];
45
- }>]>;
31
+ classId: ZodFor<Fr>;
32
+ artifactHash: ZodFor<Fr>;
33
+ privateFunctionsRoot: ZodFor<Fr>;
34
+ packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
46
35
  }, "strip", z.ZodTypeAny, {
47
36
  artifactHash: Fr;
48
- packedBytecode: Buffer<ArrayBuffer>;
37
+ packedBytecode: Buffer<ArrayBufferLike>;
49
38
  privateFunctionsRoot: Fr;
50
39
  hintKey: number;
51
40
  classId: Fr;
52
41
  }, {
53
- packedBytecode: string | {
54
- type: "Buffer";
55
- data: number[];
56
- };
57
42
  hintKey: number;
58
43
  artifactHash?: any;
44
+ packedBytecode?: any;
59
45
  privateFunctionsRoot?: any;
60
46
  classId?: any;
61
47
  }>, AvmContractClassHint, {
62
- packedBytecode: string | {
63
- type: "Buffer";
64
- data: number[];
65
- };
66
48
  hintKey: number;
67
49
  artifactHash?: any;
50
+ packedBytecode?: any;
68
51
  privateFunctionsRoot?: any;
69
52
  classId?: any;
70
53
  }>;
@@ -76,8 +59,8 @@ export declare class AvmBytecodeCommitmentHint {
76
59
  constructor(hintKey: number, classId: Fr, commitment: Fr);
77
60
  static get schema(): z.ZodEffects<z.ZodObject<{
78
61
  hintKey: z.ZodNumber;
79
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
80
- commitment: import("../schemas/schemas.js").ZodFor<Fr>;
62
+ classId: ZodFor<Fr>;
63
+ commitment: ZodFor<Fr>;
81
64
  }, "strip", z.ZodTypeAny, {
82
65
  hintKey: number;
83
66
  classId: Fr;
@@ -104,32 +87,104 @@ export declare class AvmContractInstanceHint {
104
87
  constructor(hintKey: number, address: AztecAddress, salt: Fr, deployer: AztecAddress, currentContractClassId: Fr, originalContractClassId: Fr, initializationHash: Fr, publicKeys: PublicKeys);
105
88
  static get schema(): z.ZodEffects<z.ZodObject<{
106
89
  hintKey: z.ZodNumber;
107
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
108
- salt: import("../schemas/schemas.js").ZodFor<Fr>;
109
- deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
110
- currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
111
- originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
112
- initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
90
+ address: ZodFor<AztecAddress>;
91
+ salt: ZodFor<Fr>;
92
+ deployer: ZodFor<AztecAddress>;
93
+ currentContractClassId: ZodFor<Fr>;
94
+ originalContractClassId: ZodFor<Fr>;
95
+ initializationHash: ZodFor<Fr>;
113
96
  publicKeys: z.ZodEffects<z.ZodObject<{
114
- masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
115
- masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
116
- masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
117
- masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
97
+ masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
98
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
99
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
100
+ }, "strip", z.ZodTypeAny, {
101
+ x: Fr;
102
+ y: Fr;
103
+ }, {
104
+ x: string;
105
+ y: string;
106
+ }>, import("@aztec/foundation/fields").Point, {
107
+ x: string;
108
+ y: string;
109
+ }>]>;
110
+ masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
111
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
112
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
113
+ }, "strip", z.ZodTypeAny, {
114
+ x: Fr;
115
+ y: Fr;
116
+ }, {
117
+ x: string;
118
+ y: string;
119
+ }>, import("@aztec/foundation/fields").Point, {
120
+ x: string;
121
+ y: string;
122
+ }>]>;
123
+ masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
124
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
125
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
126
+ }, "strip", z.ZodTypeAny, {
127
+ x: Fr;
128
+ y: Fr;
129
+ }, {
130
+ x: string;
131
+ y: string;
132
+ }>, import("@aztec/foundation/fields").Point, {
133
+ x: string;
134
+ y: string;
135
+ }>]>;
136
+ masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
137
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
138
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
139
+ }, "strip", z.ZodTypeAny, {
140
+ x: Fr;
141
+ y: Fr;
142
+ }, {
143
+ x: string;
144
+ y: string;
145
+ }>, import("@aztec/foundation/fields").Point, {
146
+ x: string;
147
+ y: string;
148
+ }>]>;
118
149
  }, "strip", z.ZodTypeAny, {
119
150
  masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
120
151
  masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
121
152
  masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
122
153
  masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
123
154
  }, {
124
- masterNullifierPublicKey: string;
125
- masterIncomingViewingPublicKey: string;
126
- masterOutgoingViewingPublicKey: string;
127
- masterTaggingPublicKey: string;
155
+ masterNullifierPublicKey: string | {
156
+ x: string;
157
+ y: string;
158
+ };
159
+ masterIncomingViewingPublicKey: string | {
160
+ x: string;
161
+ y: string;
162
+ };
163
+ masterOutgoingViewingPublicKey: string | {
164
+ x: string;
165
+ y: string;
166
+ };
167
+ masterTaggingPublicKey: string | {
168
+ x: string;
169
+ y: string;
170
+ };
128
171
  }>, PublicKeys, {
129
- masterNullifierPublicKey: string;
130
- masterIncomingViewingPublicKey: string;
131
- masterOutgoingViewingPublicKey: string;
132
- masterTaggingPublicKey: string;
172
+ masterNullifierPublicKey: string | {
173
+ x: string;
174
+ y: string;
175
+ };
176
+ masterIncomingViewingPublicKey: string | {
177
+ x: string;
178
+ y: string;
179
+ };
180
+ masterOutgoingViewingPublicKey: string | {
181
+ x: string;
182
+ y: string;
183
+ };
184
+ masterTaggingPublicKey: string | {
185
+ x: string;
186
+ y: string;
187
+ };
133
188
  }>;
134
189
  }, "strip", z.ZodTypeAny, {
135
190
  salt: Fr;
@@ -142,10 +197,22 @@ export declare class AvmContractInstanceHint {
142
197
  hintKey: number;
143
198
  }, {
144
199
  publicKeys: {
145
- masterNullifierPublicKey: string;
146
- masterIncomingViewingPublicKey: string;
147
- masterOutgoingViewingPublicKey: string;
148
- masterTaggingPublicKey: string;
200
+ masterNullifierPublicKey: string | {
201
+ x: string;
202
+ y: string;
203
+ };
204
+ masterIncomingViewingPublicKey: string | {
205
+ x: string;
206
+ y: string;
207
+ };
208
+ masterOutgoingViewingPublicKey: string | {
209
+ x: string;
210
+ y: string;
211
+ };
212
+ masterTaggingPublicKey: string | {
213
+ x: string;
214
+ y: string;
215
+ };
149
216
  };
150
217
  hintKey: number;
151
218
  salt?: any;
@@ -156,10 +223,22 @@ export declare class AvmContractInstanceHint {
156
223
  address?: any;
157
224
  }>, AvmContractInstanceHint, {
158
225
  publicKeys: {
159
- masterNullifierPublicKey: string;
160
- masterIncomingViewingPublicKey: string;
161
- masterOutgoingViewingPublicKey: string;
162
- masterTaggingPublicKey: string;
226
+ masterNullifierPublicKey: string | {
227
+ x: string;
228
+ y: string;
229
+ };
230
+ masterIncomingViewingPublicKey: string | {
231
+ x: string;
232
+ y: string;
233
+ };
234
+ masterOutgoingViewingPublicKey: string | {
235
+ x: string;
236
+ y: string;
237
+ };
238
+ masterTaggingPublicKey: string | {
239
+ x: string;
240
+ y: string;
241
+ };
163
242
  };
164
243
  hintKey: number;
165
244
  salt?: any;
@@ -176,8 +255,8 @@ export declare class AvmDebugFunctionNameHint {
176
255
  readonly name: string;
177
256
  constructor(address: AztecAddress, selector: Fr, name: string);
178
257
  static get schema(): z.ZodEffects<z.ZodObject<{
179
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
180
- selector: import("../schemas/schemas.js").ZodFor<Fr>;
258
+ address: ZodFor<AztecAddress>;
259
+ selector: ZodFor<Fr>;
181
260
  name: z.ZodString;
182
261
  }, "strip", z.ZodTypeAny, {
183
262
  name: string;
@@ -201,7 +280,7 @@ export declare class AvmGetSiblingPathHint {
201
280
  constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, path: Fr[]);
202
281
  static get schema(): z.ZodEffects<z.ZodObject<{
203
282
  hintKey: z.ZodEffects<z.ZodObject<{
204
- root: z.ZodType<Fr, any, string>;
283
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
205
284
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
206
285
  }, "strip", z.ZodTypeAny, {
207
286
  root: Fr;
@@ -215,7 +294,7 @@ export declare class AvmGetSiblingPathHint {
215
294
  }>;
216
295
  treeId: z.ZodNumber;
217
296
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
218
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
297
+ path: z.ZodArray<ZodFor<Fr>, "many">;
219
298
  }, "strip", z.ZodTypeAny, {
220
299
  path: Fr[];
221
300
  index: bigint;
@@ -248,7 +327,7 @@ export declare class AvmGetPreviousValueIndexHint {
248
327
  constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, value: Fr, index: bigint, alreadyPresent: boolean);
249
328
  static get schema(): z.ZodEffects<z.ZodObject<{
250
329
  hintKey: z.ZodEffects<z.ZodObject<{
251
- root: z.ZodType<Fr, any, string>;
330
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
252
331
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
253
332
  }, "strip", z.ZodTypeAny, {
254
333
  root: Fr;
@@ -261,7 +340,7 @@ export declare class AvmGetPreviousValueIndexHint {
261
340
  nextAvailableLeafIndex: string | number | bigint;
262
341
  }>;
263
342
  treeId: z.ZodNumber;
264
- value: import("../schemas/schemas.js").ZodFor<Fr>;
343
+ value: ZodFor<Fr>;
265
344
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
266
345
  alreadyPresent: z.ZodBoolean;
267
346
  }, "strip", z.ZodTypeAny, {
@@ -300,7 +379,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
300
379
  };
301
380
  readonly schema: z.ZodEffects<z.ZodObject<{
302
381
  hintKey: z.ZodEffects<z.ZodObject<{
303
- root: z.ZodType<Fr, any, string>;
382
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
304
383
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
305
384
  }, "strip", z.ZodTypeAny, {
306
385
  root: Fr;
@@ -315,7 +394,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
315
394
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
316
395
  leafPreimage: z.ZodEffects<z.ZodObject<{
317
396
  leaf: z.ZodEffects<z.ZodObject<{
318
- nullifier: z.ZodType<Fr, any, string>;
397
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
319
398
  }, "strip", z.ZodTypeAny, {
320
399
  nullifier: Fr;
321
400
  }, {
@@ -323,7 +402,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
323
402
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
324
403
  nullifier: string;
325
404
  }>;
326
- nextKey: z.ZodType<Fr, any, string>;
405
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
327
406
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
328
407
  }, "strip", z.ZodTypeAny, {
329
408
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -343,8 +422,8 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
343
422
  nextIndex: string | number | bigint;
344
423
  }> | z.ZodEffects<z.ZodObject<{
345
424
  leaf: z.ZodEffects<z.ZodObject<{
346
- slot: z.ZodType<Fr, any, string>;
347
- value: z.ZodType<Fr, any, string>;
425
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
426
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
348
427
  }, "strip", z.ZodTypeAny, {
349
428
  value: Fr;
350
429
  slot: Fr;
@@ -355,7 +434,7 @@ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
355
434
  value: string;
356
435
  slot: string;
357
436
  }>;
358
- nextKey: z.ZodType<Fr, any, string>;
437
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
359
438
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
360
439
  }, "strip", z.ZodTypeAny, {
361
440
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -436,7 +515,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
436
515
  };
437
516
  readonly schema: z.ZodEffects<z.ZodObject<{
438
517
  hintKey: z.ZodEffects<z.ZodObject<{
439
- root: z.ZodType<Fr, any, string>;
518
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
440
519
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
441
520
  }, "strip", z.ZodTypeAny, {
442
521
  root: Fr;
@@ -451,7 +530,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
451
530
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
452
531
  leafPreimage: z.ZodEffects<z.ZodObject<{
453
532
  leaf: z.ZodEffects<z.ZodObject<{
454
- nullifier: z.ZodType<Fr, any, string>;
533
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
455
534
  }, "strip", z.ZodTypeAny, {
456
535
  nullifier: Fr;
457
536
  }, {
@@ -459,7 +538,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
459
538
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
460
539
  nullifier: string;
461
540
  }>;
462
- nextKey: z.ZodType<Fr, any, string>;
541
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
463
542
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
464
543
  }, "strip", z.ZodTypeAny, {
465
544
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -479,8 +558,8 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
479
558
  nextIndex: string | number | bigint;
480
559
  }> | z.ZodEffects<z.ZodObject<{
481
560
  leaf: z.ZodEffects<z.ZodObject<{
482
- slot: z.ZodType<Fr, any, string>;
483
- value: z.ZodType<Fr, any, string>;
561
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
562
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
484
563
  }, "strip", z.ZodTypeAny, {
485
564
  value: Fr;
486
565
  slot: Fr;
@@ -491,7 +570,7 @@ declare const AvmGetLeafPreimageHintNullifierTree_base: {
491
570
  value: string;
492
571
  slot: string;
493
572
  }>;
494
- nextKey: z.ZodType<Fr, any, string>;
573
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
495
574
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
496
575
  }, "strip", z.ZodTypeAny, {
497
576
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -572,7 +651,7 @@ export declare class AvmGetLeafValueHint {
572
651
  constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, value: Fr);
573
652
  static get schema(): z.ZodEffects<z.ZodObject<{
574
653
  hintKey: z.ZodEffects<z.ZodObject<{
575
- root: z.ZodType<Fr, any, string>;
654
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
576
655
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
577
656
  }, "strip", z.ZodTypeAny, {
578
657
  root: Fr;
@@ -586,7 +665,7 @@ export declare class AvmGetLeafValueHint {
586
665
  }>;
587
666
  treeId: z.ZodNumber;
588
667
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
589
- value: import("../schemas/schemas.js").ZodFor<Fr>;
668
+ value: ZodFor<Fr>;
590
669
  }, "strip", z.ZodTypeAny, {
591
670
  value: Fr;
592
671
  index: bigint;
@@ -637,7 +716,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
637
716
  };
638
717
  readonly schema: z.ZodEffects<z.ZodObject<{
639
718
  hintKey: z.ZodEffects<z.ZodObject<{
640
- root: z.ZodType<Fr, any, string>;
719
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
641
720
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
642
721
  }, "strip", z.ZodTypeAny, {
643
722
  root: Fr;
@@ -650,7 +729,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
650
729
  nextAvailableLeafIndex: string | number | bigint;
651
730
  }>;
652
731
  stateAfter: z.ZodEffects<z.ZodObject<{
653
- root: z.ZodType<Fr, any, string>;
732
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
654
733
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
655
734
  }, "strip", z.ZodTypeAny, {
656
735
  root: Fr;
@@ -664,7 +743,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
664
743
  }>;
665
744
  treeId: z.ZodNumber;
666
745
  leaf: z.ZodEffects<z.ZodObject<{
667
- nullifier: z.ZodType<Fr, any, string>;
746
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
668
747
  }, "strip", z.ZodTypeAny, {
669
748
  nullifier: Fr;
670
749
  }, {
@@ -672,8 +751,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
672
751
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
673
752
  nullifier: string;
674
753
  }> | z.ZodEffects<z.ZodObject<{
675
- slot: z.ZodType<Fr, any, string>;
676
- value: z.ZodType<Fr, any, string>;
754
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
755
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
677
756
  }, "strip", z.ZodTypeAny, {
678
757
  value: Fr;
679
758
  slot: Fr;
@@ -687,7 +766,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
687
766
  lowLeavesWitnessData: z.ZodObject<{
688
767
  leaf: z.ZodEffects<z.ZodObject<{
689
768
  leaf: z.ZodEffects<z.ZodObject<{
690
- nullifier: z.ZodType<Fr, any, string>;
769
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
691
770
  }, "strip", z.ZodTypeAny, {
692
771
  nullifier: Fr;
693
772
  }, {
@@ -695,7 +774,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
695
774
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
696
775
  nullifier: string;
697
776
  }>;
698
- nextKey: z.ZodType<Fr, any, string>;
777
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
699
778
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
700
779
  }, "strip", z.ZodTypeAny, {
701
780
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -715,8 +794,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
715
794
  nextIndex: string | number | bigint;
716
795
  }> | z.ZodEffects<z.ZodObject<{
717
796
  leaf: z.ZodEffects<z.ZodObject<{
718
- slot: z.ZodType<Fr, any, string>;
719
- value: z.ZodType<Fr, any, string>;
797
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
798
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
720
799
  }, "strip", z.ZodTypeAny, {
721
800
  value: Fr;
722
801
  slot: Fr;
@@ -727,7 +806,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
727
806
  value: string;
728
807
  slot: string;
729
808
  }>;
730
- nextKey: z.ZodType<Fr, any, string>;
809
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
731
810
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
732
811
  }, "strip", z.ZodTypeAny, {
733
812
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -749,7 +828,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
749
828
  nextIndex: string | number | bigint;
750
829
  }>;
751
830
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
752
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
831
+ path: z.ZodArray<ZodFor<Fr>, "many">;
753
832
  }, "strip", z.ZodTypeAny, {
754
833
  path: Fr[];
755
834
  index: bigint;
@@ -775,7 +854,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
775
854
  insertionWitnessData: z.ZodObject<{
776
855
  leaf: z.ZodEffects<z.ZodObject<{
777
856
  leaf: z.ZodEffects<z.ZodObject<{
778
- nullifier: z.ZodType<Fr, any, string>;
857
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
779
858
  }, "strip", z.ZodTypeAny, {
780
859
  nullifier: Fr;
781
860
  }, {
@@ -783,7 +862,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
783
862
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
784
863
  nullifier: string;
785
864
  }>;
786
- nextKey: z.ZodType<Fr, any, string>;
865
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
787
866
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
788
867
  }, "strip", z.ZodTypeAny, {
789
868
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -803,8 +882,8 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
803
882
  nextIndex: string | number | bigint;
804
883
  }> | z.ZodEffects<z.ZodObject<{
805
884
  leaf: z.ZodEffects<z.ZodObject<{
806
- slot: z.ZodType<Fr, any, string>;
807
- value: z.ZodType<Fr, any, string>;
885
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
886
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
808
887
  }, "strip", z.ZodTypeAny, {
809
888
  value: Fr;
810
889
  slot: Fr;
@@ -815,7 +894,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
815
894
  value: string;
816
895
  slot: string;
817
896
  }>;
818
- nextKey: z.ZodType<Fr, any, string>;
897
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
819
898
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
820
899
  }, "strip", z.ZodTypeAny, {
821
900
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -837,7 +916,7 @@ declare const AvmSequentialInsertHintPublicDataTree_base: {
837
916
  nextIndex: string | number | bigint;
838
917
  }>;
839
918
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
840
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
919
+ path: z.ZodArray<ZodFor<Fr>, "many">;
841
920
  }, "strip", z.ZodTypeAny, {
842
921
  path: Fr[];
843
922
  index: bigint;
@@ -1025,7 +1104,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1025
1104
  };
1026
1105
  readonly schema: z.ZodEffects<z.ZodObject<{
1027
1106
  hintKey: z.ZodEffects<z.ZodObject<{
1028
- root: z.ZodType<Fr, any, string>;
1107
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1029
1108
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1030
1109
  }, "strip", z.ZodTypeAny, {
1031
1110
  root: Fr;
@@ -1038,7 +1117,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1038
1117
  nextAvailableLeafIndex: string | number | bigint;
1039
1118
  }>;
1040
1119
  stateAfter: z.ZodEffects<z.ZodObject<{
1041
- root: z.ZodType<Fr, any, string>;
1120
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1042
1121
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1043
1122
  }, "strip", z.ZodTypeAny, {
1044
1123
  root: Fr;
@@ -1052,7 +1131,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1052
1131
  }>;
1053
1132
  treeId: z.ZodNumber;
1054
1133
  leaf: z.ZodEffects<z.ZodObject<{
1055
- nullifier: z.ZodType<Fr, any, string>;
1134
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1056
1135
  }, "strip", z.ZodTypeAny, {
1057
1136
  nullifier: Fr;
1058
1137
  }, {
@@ -1060,8 +1139,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1060
1139
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1061
1140
  nullifier: string;
1062
1141
  }> | z.ZodEffects<z.ZodObject<{
1063
- slot: z.ZodType<Fr, any, string>;
1064
- value: z.ZodType<Fr, any, string>;
1142
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1143
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1065
1144
  }, "strip", z.ZodTypeAny, {
1066
1145
  value: Fr;
1067
1146
  slot: Fr;
@@ -1075,7 +1154,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1075
1154
  lowLeavesWitnessData: z.ZodObject<{
1076
1155
  leaf: z.ZodEffects<z.ZodObject<{
1077
1156
  leaf: z.ZodEffects<z.ZodObject<{
1078
- nullifier: z.ZodType<Fr, any, string>;
1157
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1079
1158
  }, "strip", z.ZodTypeAny, {
1080
1159
  nullifier: Fr;
1081
1160
  }, {
@@ -1083,7 +1162,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1083
1162
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1084
1163
  nullifier: string;
1085
1164
  }>;
1086
- nextKey: z.ZodType<Fr, any, string>;
1165
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1087
1166
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1088
1167
  }, "strip", z.ZodTypeAny, {
1089
1168
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1103,8 +1182,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1103
1182
  nextIndex: string | number | bigint;
1104
1183
  }> | z.ZodEffects<z.ZodObject<{
1105
1184
  leaf: z.ZodEffects<z.ZodObject<{
1106
- slot: z.ZodType<Fr, any, string>;
1107
- value: z.ZodType<Fr, any, string>;
1185
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1186
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1108
1187
  }, "strip", z.ZodTypeAny, {
1109
1188
  value: Fr;
1110
1189
  slot: Fr;
@@ -1115,7 +1194,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1115
1194
  value: string;
1116
1195
  slot: string;
1117
1196
  }>;
1118
- nextKey: z.ZodType<Fr, any, string>;
1197
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1119
1198
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1120
1199
  }, "strip", z.ZodTypeAny, {
1121
1200
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1137,7 +1216,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1137
1216
  nextIndex: string | number | bigint;
1138
1217
  }>;
1139
1218
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1140
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
1219
+ path: z.ZodArray<ZodFor<Fr>, "many">;
1141
1220
  }, "strip", z.ZodTypeAny, {
1142
1221
  path: Fr[];
1143
1222
  index: bigint;
@@ -1163,7 +1242,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1163
1242
  insertionWitnessData: z.ZodObject<{
1164
1243
  leaf: z.ZodEffects<z.ZodObject<{
1165
1244
  leaf: z.ZodEffects<z.ZodObject<{
1166
- nullifier: z.ZodType<Fr, any, string>;
1245
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1167
1246
  }, "strip", z.ZodTypeAny, {
1168
1247
  nullifier: Fr;
1169
1248
  }, {
@@ -1171,7 +1250,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1171
1250
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
1172
1251
  nullifier: string;
1173
1252
  }>;
1174
- nextKey: z.ZodType<Fr, any, string>;
1253
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1175
1254
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1176
1255
  }, "strip", z.ZodTypeAny, {
1177
1256
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -1191,8 +1270,8 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1191
1270
  nextIndex: string | number | bigint;
1192
1271
  }> | z.ZodEffects<z.ZodObject<{
1193
1272
  leaf: z.ZodEffects<z.ZodObject<{
1194
- slot: z.ZodType<Fr, any, string>;
1195
- value: z.ZodType<Fr, any, string>;
1273
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1274
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1196
1275
  }, "strip", z.ZodTypeAny, {
1197
1276
  value: Fr;
1198
1277
  slot: Fr;
@@ -1203,7 +1282,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1203
1282
  value: string;
1204
1283
  slot: string;
1205
1284
  }>;
1206
- nextKey: z.ZodType<Fr, any, string>;
1285
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1207
1286
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1208
1287
  }, "strip", z.ZodTypeAny, {
1209
1288
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -1225,7 +1304,7 @@ declare const AvmSequentialInsertHintNullifierTree_base: {
1225
1304
  nextIndex: string | number | bigint;
1226
1305
  }>;
1227
1306
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1228
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
1307
+ path: z.ZodArray<ZodFor<Fr>, "many">;
1229
1308
  }, "strip", z.ZodTypeAny, {
1230
1309
  path: Fr[];
1231
1310
  index: bigint;
@@ -1394,7 +1473,7 @@ export declare class AvmAppendLeavesHint {
1394
1473
  constructor(hintKey: AppendOnlyTreeSnapshot, stateAfter: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, leaves: Fr[]);
1395
1474
  static get schema(): z.ZodEffects<z.ZodObject<{
1396
1475
  hintKey: z.ZodEffects<z.ZodObject<{
1397
- root: z.ZodType<Fr, any, string>;
1476
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1398
1477
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1399
1478
  }, "strip", z.ZodTypeAny, {
1400
1479
  root: Fr;
@@ -1407,7 +1486,7 @@ export declare class AvmAppendLeavesHint {
1407
1486
  nextAvailableLeafIndex: string | number | bigint;
1408
1487
  }>;
1409
1488
  stateAfter: z.ZodEffects<z.ZodObject<{
1410
- root: z.ZodType<Fr, any, string>;
1489
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1411
1490
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1412
1491
  }, "strip", z.ZodTypeAny, {
1413
1492
  root: Fr;
@@ -1420,7 +1499,7 @@ export declare class AvmAppendLeavesHint {
1420
1499
  nextAvailableLeafIndex: string | number | bigint;
1421
1500
  }>;
1422
1501
  treeId: z.ZodNumber;
1423
- leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
1502
+ leaves: z.ZodArray<ZodFor<Fr>, "many">;
1424
1503
  }, "strip", z.ZodTypeAny, {
1425
1504
  hintKey: AppendOnlyTreeSnapshot;
1426
1505
  treeId: number;
@@ -1491,7 +1570,7 @@ export declare class AvmRevertCheckpointHint {
1491
1570
  newCheckpointId: z.ZodNumber;
1492
1571
  stateBefore: z.ZodEffects<z.ZodObject<{
1493
1572
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1494
- root: z.ZodType<Fr, any, string>;
1573
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1495
1574
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1496
1575
  }, "strip", z.ZodTypeAny, {
1497
1576
  root: Fr;
@@ -1504,7 +1583,7 @@ export declare class AvmRevertCheckpointHint {
1504
1583
  nextAvailableLeafIndex: string | number | bigint;
1505
1584
  }>;
1506
1585
  noteHashTree: z.ZodEffects<z.ZodObject<{
1507
- root: z.ZodType<Fr, any, string>;
1586
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1508
1587
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1509
1588
  }, "strip", z.ZodTypeAny, {
1510
1589
  root: Fr;
@@ -1517,7 +1596,7 @@ export declare class AvmRevertCheckpointHint {
1517
1596
  nextAvailableLeafIndex: string | number | bigint;
1518
1597
  }>;
1519
1598
  nullifierTree: z.ZodEffects<z.ZodObject<{
1520
- root: z.ZodType<Fr, any, string>;
1599
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1521
1600
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1522
1601
  }, "strip", z.ZodTypeAny, {
1523
1602
  root: Fr;
@@ -1530,7 +1609,7 @@ export declare class AvmRevertCheckpointHint {
1530
1609
  nextAvailableLeafIndex: string | number | bigint;
1531
1610
  }>;
1532
1611
  publicDataTree: z.ZodEffects<z.ZodObject<{
1533
- root: z.ZodType<Fr, any, string>;
1612
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1534
1613
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1535
1614
  }, "strip", z.ZodTypeAny, {
1536
1615
  root: Fr;
@@ -1584,7 +1663,7 @@ export declare class AvmRevertCheckpointHint {
1584
1663
  }>;
1585
1664
  stateAfter: z.ZodEffects<z.ZodObject<{
1586
1665
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1587
- root: z.ZodType<Fr, any, string>;
1666
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1588
1667
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1589
1668
  }, "strip", z.ZodTypeAny, {
1590
1669
  root: Fr;
@@ -1597,7 +1676,7 @@ export declare class AvmRevertCheckpointHint {
1597
1676
  nextAvailableLeafIndex: string | number | bigint;
1598
1677
  }>;
1599
1678
  noteHashTree: z.ZodEffects<z.ZodObject<{
1600
- root: z.ZodType<Fr, any, string>;
1679
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1601
1680
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1602
1681
  }, "strip", z.ZodTypeAny, {
1603
1682
  root: Fr;
@@ -1610,7 +1689,7 @@ export declare class AvmRevertCheckpointHint {
1610
1689
  nextAvailableLeafIndex: string | number | bigint;
1611
1690
  }>;
1612
1691
  nullifierTree: z.ZodEffects<z.ZodObject<{
1613
- root: z.ZodType<Fr, any, string>;
1692
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1614
1693
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1615
1694
  }, "strip", z.ZodTypeAny, {
1616
1695
  root: Fr;
@@ -1623,7 +1702,7 @@ export declare class AvmRevertCheckpointHint {
1623
1702
  nextAvailableLeafIndex: string | number | bigint;
1624
1703
  }>;
1625
1704
  publicDataTree: z.ZodEffects<z.ZodObject<{
1626
- root: z.ZodType<Fr, any, string>;
1705
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
1627
1706
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1628
1707
  }, "strip", z.ZodTypeAny, {
1629
1708
  root: Fr;
@@ -1676,12 +1755,15 @@ export declare class AvmRevertCheckpointHint {
1676
1755
  };
1677
1756
  }>;
1678
1757
  }, "strip", z.ZodTypeAny, {
1679
- stateAfter: TreeSnapshots;
1680
1758
  actionCounter: number;
1681
1759
  oldCheckpointId: number;
1682
1760
  newCheckpointId: number;
1761
+ stateAfter: TreeSnapshots;
1683
1762
  stateBefore: TreeSnapshots;
1684
1763
  }, {
1764
+ actionCounter: number;
1765
+ oldCheckpointId: number;
1766
+ newCheckpointId: number;
1685
1767
  stateAfter: {
1686
1768
  noteHashTree: {
1687
1769
  root: string;
@@ -1700,9 +1782,6 @@ export declare class AvmRevertCheckpointHint {
1700
1782
  nextAvailableLeafIndex: string | number | bigint;
1701
1783
  };
1702
1784
  };
1703
- actionCounter: number;
1704
- oldCheckpointId: number;
1705
- newCheckpointId: number;
1706
1785
  stateBefore: {
1707
1786
  noteHashTree: {
1708
1787
  root: string;
@@ -1722,6 +1801,9 @@ export declare class AvmRevertCheckpointHint {
1722
1801
  };
1723
1802
  };
1724
1803
  }>, AvmRevertCheckpointHint, {
1804
+ actionCounter: number;
1805
+ oldCheckpointId: number;
1806
+ newCheckpointId: number;
1725
1807
  stateAfter: {
1726
1808
  noteHashTree: {
1727
1809
  root: string;
@@ -1740,9 +1822,6 @@ export declare class AvmRevertCheckpointHint {
1740
1822
  nextAvailableLeafIndex: string | number | bigint;
1741
1823
  };
1742
1824
  };
1743
- actionCounter: number;
1744
- oldCheckpointId: number;
1745
- newCheckpointId: number;
1746
1825
  stateBefore: {
1747
1826
  noteHashTree: {
1748
1827
  root: string;
@@ -1911,9 +1990,9 @@ export declare class AvmTxHint {
1911
1990
  }>;
1912
1991
  nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
1913
1992
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1914
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
1993
+ contractAddress: ZodFor<AztecAddress>;
1915
1994
  fields: z.ZodEffects<z.ZodObject<{
1916
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
1995
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
1917
1996
  }, "strip", z.ZodTypeAny, {
1918
1997
  fields: Fr[];
1919
1998
  }, {
@@ -1940,7 +2019,7 @@ export declare class AvmTxHint {
1940
2019
  contractAddress?: any;
1941
2020
  }>, "many">;
1942
2021
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1943
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
2022
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
1944
2023
  emittedLength: z.ZodNumber;
1945
2024
  }, "strict", z.ZodTypeAny, {
1946
2025
  fields: Fr[];
@@ -1982,9 +2061,9 @@ export declare class AvmTxHint {
1982
2061
  }>;
1983
2062
  revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
1984
2063
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1985
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2064
+ contractAddress: ZodFor<AztecAddress>;
1986
2065
  fields: z.ZodEffects<z.ZodObject<{
1987
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
2066
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
1988
2067
  }, "strip", z.ZodTypeAny, {
1989
2068
  fields: Fr[];
1990
2069
  }, {
@@ -2011,7 +2090,7 @@ export declare class AvmTxHint {
2011
2090
  contractAddress?: any;
2012
2091
  }>, "many">;
2013
2092
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
2014
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
2093
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
2015
2094
  emittedLength: z.ZodNumber;
2016
2095
  }, "strict", z.ZodTypeAny, {
2017
2096
  fields: Fr[];
@@ -2052,12 +2131,12 @@ export declare class AvmTxHint {
2052
2131
  }[];
2053
2132
  }>;
2054
2133
  nonRevertibleAccumulatedData: z.ZodObject<{
2055
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2056
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2134
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
2135
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
2057
2136
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
2058
2137
  message: z.ZodEffects<z.ZodObject<{
2059
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
2060
- content: z.ZodType<Fr, any, string>;
2138
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
2139
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
2061
2140
  }, "strip", z.ZodTypeAny, {
2062
2141
  content: Fr;
2063
2142
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2068,7 +2147,7 @@ export declare class AvmTxHint {
2068
2147
  content: string;
2069
2148
  recipient: string;
2070
2149
  }>;
2071
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2150
+ contractAddress: ZodFor<AztecAddress>;
2072
2151
  }, "strip", z.ZodTypeAny, {
2073
2152
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
2074
2153
  contractAddress: AztecAddress;
@@ -2101,12 +2180,12 @@ export declare class AvmTxHint {
2101
2180
  }[];
2102
2181
  }>;
2103
2182
  revertibleAccumulatedData: z.ZodObject<{
2104
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2105
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2183
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
2184
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
2106
2185
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
2107
2186
  message: z.ZodEffects<z.ZodObject<{
2108
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
2109
- content: z.ZodType<Fr, any, string>;
2187
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
2188
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
2110
2189
  }, "strip", z.ZodTypeAny, {
2111
2190
  content: Fr;
2112
2191
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2117,7 +2196,7 @@ export declare class AvmTxHint {
2117
2196
  content: string;
2118
2197
  recipient: string;
2119
2198
  }>;
2120
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2199
+ contractAddress: ZodFor<AztecAddress>;
2121
2200
  }, "strip", z.ZodTypeAny, {
2122
2201
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
2123
2202
  contractAddress: AztecAddress;
@@ -2149,9 +2228,9 @@ export declare class AvmTxHint {
2149
2228
  contractAddress?: any;
2150
2229
  }[];
2151
2230
  }>;
2152
- setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
2153
- appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
2154
- teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
2231
+ setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
2232
+ appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
2233
+ teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
2155
2234
  gasUsedByPrivate: z.ZodEffects<z.ZodObject<{
2156
2235
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2157
2236
  l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2165,7 +2244,7 @@ export declare class AvmTxHint {
2165
2244
  daGas: string | number | bigint;
2166
2245
  l2Gas: string | number | bigint;
2167
2246
  }>;
2168
- feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2247
+ feePayer: ZodFor<AztecAddress>;
2169
2248
  }, "strip", z.ZodTypeAny, {
2170
2249
  hash: string;
2171
2250
  gasSettings: GasSettings;
@@ -2357,6 +2436,9 @@ export declare class AvmExecutionHints {
2357
2436
  readonly contractClasses: AvmContractClassHint[];
2358
2437
  readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
2359
2438
  readonly debugFunctionNames: AvmDebugFunctionNameHint[];
2439
+ readonly contractDBCreateCheckpointHints: AvmContractDBCreateCheckpointHint[];
2440
+ readonly contractDBCommitCheckpointHints: AvmContractDBCommitCheckpointHint[];
2441
+ readonly contractDBRevertCheckpointHints: AvmContractDBRevertCheckpointHint[];
2360
2442
  startingTreeRoots: TreeSnapshots;
2361
2443
  readonly getSiblingPathHints: AvmGetSiblingPathHint[];
2362
2444
  readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -2369,20 +2451,17 @@ export declare class AvmExecutionHints {
2369
2451
  readonly createCheckpointHints: AvmCreateCheckpointHint[];
2370
2452
  readonly commitCheckpointHints: AvmCommitCheckpointHint[];
2371
2453
  readonly revertCheckpointHints: AvmRevertCheckpointHint[];
2372
- readonly contractDBCreateCheckpointHints: AvmContractDBCreateCheckpointHint[];
2373
- readonly contractDBCommitCheckpointHints: AvmContractDBCommitCheckpointHint[];
2374
- readonly contractDBRevertCheckpointHints: AvmContractDBRevertCheckpointHint[];
2375
- constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], debugFunctionNames?: AvmDebugFunctionNameHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[], contractDBCreateCheckpointHints?: AvmContractDBCreateCheckpointHint[], contractDBCommitCheckpointHints?: AvmContractDBCommitCheckpointHint[], contractDBRevertCheckpointHints?: AvmContractDBRevertCheckpointHint[]);
2454
+ constructor(globalVariables: GlobalVariables, tx: AvmTxHint, protocolContracts: ProtocolContracts, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], debugFunctionNames?: AvmDebugFunctionNameHint[], contractDBCreateCheckpointHints?: AvmContractDBCreateCheckpointHint[], contractDBCommitCheckpointHints?: AvmContractDBCommitCheckpointHint[], contractDBRevertCheckpointHints?: AvmContractDBRevertCheckpointHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
2376
2455
  static empty(): AvmExecutionHints;
2377
2456
  static get schema(): z.ZodEffects<z.ZodObject<{
2378
2457
  globalVariables: z.ZodEffects<z.ZodObject<{
2379
- chainId: import("../schemas/schemas.js").ZodFor<Fr>;
2380
- version: import("../schemas/schemas.js").ZodFor<Fr>;
2458
+ chainId: ZodFor<Fr>;
2459
+ version: ZodFor<Fr>;
2381
2460
  blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2382
- slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
2461
+ slotNumber: ZodFor<Fr>;
2383
2462
  timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
2384
- coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
2385
- feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2463
+ coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
2464
+ feeRecipient: ZodFor<AztecAddress>;
2386
2465
  gasFees: z.ZodEffects<z.ZodObject<{
2387
2466
  feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
2388
2467
  feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -2540,9 +2619,9 @@ export declare class AvmExecutionHints {
2540
2619
  }>;
2541
2620
  nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
2542
2621
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
2543
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2622
+ contractAddress: ZodFor<AztecAddress>;
2544
2623
  fields: z.ZodEffects<z.ZodObject<{
2545
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
2624
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
2546
2625
  }, "strip", z.ZodTypeAny, {
2547
2626
  fields: Fr[];
2548
2627
  }, {
@@ -2569,7 +2648,7 @@ export declare class AvmExecutionHints {
2569
2648
  contractAddress?: any;
2570
2649
  }>, "many">;
2571
2650
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
2572
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
2651
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
2573
2652
  emittedLength: z.ZodNumber;
2574
2653
  }, "strict", z.ZodTypeAny, {
2575
2654
  fields: Fr[];
@@ -2611,9 +2690,9 @@ export declare class AvmExecutionHints {
2611
2690
  }>;
2612
2691
  revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
2613
2692
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
2614
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2693
+ contractAddress: ZodFor<AztecAddress>;
2615
2694
  fields: z.ZodEffects<z.ZodObject<{
2616
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
2695
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
2617
2696
  }, "strip", z.ZodTypeAny, {
2618
2697
  fields: Fr[];
2619
2698
  }, {
@@ -2640,7 +2719,7 @@ export declare class AvmExecutionHints {
2640
2719
  contractAddress?: any;
2641
2720
  }>, "many">;
2642
2721
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
2643
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
2722
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
2644
2723
  emittedLength: z.ZodNumber;
2645
2724
  }, "strict", z.ZodTypeAny, {
2646
2725
  fields: Fr[];
@@ -2681,12 +2760,12 @@ export declare class AvmExecutionHints {
2681
2760
  }[];
2682
2761
  }>;
2683
2762
  nonRevertibleAccumulatedData: z.ZodObject<{
2684
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2685
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2763
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
2764
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
2686
2765
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
2687
2766
  message: z.ZodEffects<z.ZodObject<{
2688
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
2689
- content: z.ZodType<Fr, any, string>;
2767
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
2768
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
2690
2769
  }, "strip", z.ZodTypeAny, {
2691
2770
  content: Fr;
2692
2771
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2697,7 +2776,7 @@ export declare class AvmExecutionHints {
2697
2776
  content: string;
2698
2777
  recipient: string;
2699
2778
  }>;
2700
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2779
+ contractAddress: ZodFor<AztecAddress>;
2701
2780
  }, "strip", z.ZodTypeAny, {
2702
2781
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
2703
2782
  contractAddress: AztecAddress;
@@ -2730,12 +2809,12 @@ export declare class AvmExecutionHints {
2730
2809
  }[];
2731
2810
  }>;
2732
2811
  revertibleAccumulatedData: z.ZodObject<{
2733
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2734
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
2812
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
2813
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
2735
2814
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
2736
2815
  message: z.ZodEffects<z.ZodObject<{
2737
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
2738
- content: z.ZodType<Fr, any, string>;
2816
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
2817
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
2739
2818
  }, "strip", z.ZodTypeAny, {
2740
2819
  content: Fr;
2741
2820
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -2746,7 +2825,7 @@ export declare class AvmExecutionHints {
2746
2825
  content: string;
2747
2826
  recipient: string;
2748
2827
  }>;
2749
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2828
+ contractAddress: ZodFor<AztecAddress>;
2750
2829
  }, "strip", z.ZodTypeAny, {
2751
2830
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
2752
2831
  contractAddress: AztecAddress;
@@ -2778,9 +2857,9 @@ export declare class AvmExecutionHints {
2778
2857
  contractAddress?: any;
2779
2858
  }[];
2780
2859
  }>;
2781
- setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
2782
- appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
2783
- teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
2860
+ setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
2861
+ appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
2862
+ teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
2784
2863
  gasUsedByPrivate: z.ZodEffects<z.ZodObject<{
2785
2864
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2786
2865
  l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2794,7 +2873,7 @@ export declare class AvmExecutionHints {
2794
2873
  daGas: string | number | bigint;
2795
2874
  l2Gas: string | number | bigint;
2796
2875
  }>;
2797
- feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2876
+ feePayer: ZodFor<AztecAddress>;
2798
2877
  }, "strip", z.ZodTypeAny, {
2799
2878
  hash: string;
2800
2879
  gasSettings: GasSettings;
@@ -2978,7 +3057,7 @@ export declare class AvmExecutionHints {
2978
3057
  teardownEnqueuedCall?: any;
2979
3058
  }>;
2980
3059
  protocolContracts: z.ZodEffects<z.ZodObject<{
2981
- derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
3060
+ derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
2982
3061
  }, "strip", z.ZodTypeAny, {
2983
3062
  derivedAddresses: AztecAddress[];
2984
3063
  }, {
@@ -2988,32 +3067,104 @@ export declare class AvmExecutionHints {
2988
3067
  }>;
2989
3068
  contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
2990
3069
  hintKey: z.ZodNumber;
2991
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2992
- salt: import("../schemas/schemas.js").ZodFor<Fr>;
2993
- deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
2994
- currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
2995
- originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
2996
- initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
3070
+ address: ZodFor<AztecAddress>;
3071
+ salt: ZodFor<Fr>;
3072
+ deployer: ZodFor<AztecAddress>;
3073
+ currentContractClassId: ZodFor<Fr>;
3074
+ originalContractClassId: ZodFor<Fr>;
3075
+ initializationHash: ZodFor<Fr>;
2997
3076
  publicKeys: z.ZodEffects<z.ZodObject<{
2998
- masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
2999
- masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
3000
- masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
3001
- masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
3077
+ masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
3078
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3079
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3080
+ }, "strip", z.ZodTypeAny, {
3081
+ x: Fr;
3082
+ y: Fr;
3083
+ }, {
3084
+ x: string;
3085
+ y: string;
3086
+ }>, import("@aztec/foundation/fields").Point, {
3087
+ x: string;
3088
+ y: string;
3089
+ }>]>;
3090
+ masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
3091
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3092
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3093
+ }, "strip", z.ZodTypeAny, {
3094
+ x: Fr;
3095
+ y: Fr;
3096
+ }, {
3097
+ x: string;
3098
+ y: string;
3099
+ }>, import("@aztec/foundation/fields").Point, {
3100
+ x: string;
3101
+ y: string;
3102
+ }>]>;
3103
+ masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
3104
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3105
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3106
+ }, "strip", z.ZodTypeAny, {
3107
+ x: Fr;
3108
+ y: Fr;
3109
+ }, {
3110
+ x: string;
3111
+ y: string;
3112
+ }>, import("@aztec/foundation/fields").Point, {
3113
+ x: string;
3114
+ y: string;
3115
+ }>]>;
3116
+ masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
3117
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3118
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3119
+ }, "strip", z.ZodTypeAny, {
3120
+ x: Fr;
3121
+ y: Fr;
3122
+ }, {
3123
+ x: string;
3124
+ y: string;
3125
+ }>, import("@aztec/foundation/fields").Point, {
3126
+ x: string;
3127
+ y: string;
3128
+ }>]>;
3002
3129
  }, "strip", z.ZodTypeAny, {
3003
3130
  masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
3004
3131
  masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
3005
3132
  masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
3006
3133
  masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
3007
3134
  }, {
3008
- masterNullifierPublicKey: string;
3009
- masterIncomingViewingPublicKey: string;
3010
- masterOutgoingViewingPublicKey: string;
3011
- masterTaggingPublicKey: string;
3135
+ masterNullifierPublicKey: string | {
3136
+ x: string;
3137
+ y: string;
3138
+ };
3139
+ masterIncomingViewingPublicKey: string | {
3140
+ x: string;
3141
+ y: string;
3142
+ };
3143
+ masterOutgoingViewingPublicKey: string | {
3144
+ x: string;
3145
+ y: string;
3146
+ };
3147
+ masterTaggingPublicKey: string | {
3148
+ x: string;
3149
+ y: string;
3150
+ };
3012
3151
  }>, PublicKeys, {
3013
- masterNullifierPublicKey: string;
3014
- masterIncomingViewingPublicKey: string;
3015
- masterOutgoingViewingPublicKey: string;
3016
- masterTaggingPublicKey: string;
3152
+ masterNullifierPublicKey: string | {
3153
+ x: string;
3154
+ y: string;
3155
+ };
3156
+ masterIncomingViewingPublicKey: string | {
3157
+ x: string;
3158
+ y: string;
3159
+ };
3160
+ masterOutgoingViewingPublicKey: string | {
3161
+ x: string;
3162
+ y: string;
3163
+ };
3164
+ masterTaggingPublicKey: string | {
3165
+ x: string;
3166
+ y: string;
3167
+ };
3017
3168
  }>;
3018
3169
  }, "strip", z.ZodTypeAny, {
3019
3170
  salt: Fr;
@@ -3026,10 +3177,22 @@ export declare class AvmExecutionHints {
3026
3177
  hintKey: number;
3027
3178
  }, {
3028
3179
  publicKeys: {
3029
- masterNullifierPublicKey: string;
3030
- masterIncomingViewingPublicKey: string;
3031
- masterOutgoingViewingPublicKey: string;
3032
- masterTaggingPublicKey: string;
3180
+ masterNullifierPublicKey: string | {
3181
+ x: string;
3182
+ y: string;
3183
+ };
3184
+ masterIncomingViewingPublicKey: string | {
3185
+ x: string;
3186
+ y: string;
3187
+ };
3188
+ masterOutgoingViewingPublicKey: string | {
3189
+ x: string;
3190
+ y: string;
3191
+ };
3192
+ masterTaggingPublicKey: string | {
3193
+ x: string;
3194
+ y: string;
3195
+ };
3033
3196
  };
3034
3197
  hintKey: number;
3035
3198
  salt?: any;
@@ -3040,10 +3203,22 @@ export declare class AvmExecutionHints {
3040
3203
  address?: any;
3041
3204
  }>, AvmContractInstanceHint, {
3042
3205
  publicKeys: {
3043
- masterNullifierPublicKey: string;
3044
- masterIncomingViewingPublicKey: string;
3045
- masterOutgoingViewingPublicKey: string;
3046
- masterTaggingPublicKey: string;
3206
+ masterNullifierPublicKey: string | {
3207
+ x: string;
3208
+ y: string;
3209
+ };
3210
+ masterIncomingViewingPublicKey: string | {
3211
+ x: string;
3212
+ y: string;
3213
+ };
3214
+ masterOutgoingViewingPublicKey: string | {
3215
+ x: string;
3216
+ y: string;
3217
+ };
3218
+ masterTaggingPublicKey: string | {
3219
+ x: string;
3220
+ y: string;
3221
+ };
3047
3222
  };
3048
3223
  hintKey: number;
3049
3224
  salt?: any;
@@ -3055,51 +3230,33 @@ export declare class AvmExecutionHints {
3055
3230
  }>, "many">;
3056
3231
  contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
3057
3232
  hintKey: z.ZodNumber;
3058
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
3059
- artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
3060
- privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
3061
- packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
3062
- type: z.ZodLiteral<"Buffer">;
3063
- data: z.ZodArray<z.ZodNumber, "many">;
3064
- }, "strip", z.ZodTypeAny, {
3065
- type: "Buffer";
3066
- data: number[];
3067
- }, {
3068
- type: "Buffer";
3069
- data: number[];
3070
- }>, Buffer<ArrayBuffer>, {
3071
- type: "Buffer";
3072
- data: number[];
3073
- }>]>;
3233
+ classId: ZodFor<Fr>;
3234
+ artifactHash: ZodFor<Fr>;
3235
+ privateFunctionsRoot: ZodFor<Fr>;
3236
+ packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
3074
3237
  }, "strip", z.ZodTypeAny, {
3075
3238
  artifactHash: Fr;
3076
- packedBytecode: Buffer<ArrayBuffer>;
3239
+ packedBytecode: Buffer<ArrayBufferLike>;
3077
3240
  privateFunctionsRoot: Fr;
3078
3241
  hintKey: number;
3079
3242
  classId: Fr;
3080
3243
  }, {
3081
- packedBytecode: string | {
3082
- type: "Buffer";
3083
- data: number[];
3084
- };
3085
3244
  hintKey: number;
3086
3245
  artifactHash?: any;
3246
+ packedBytecode?: any;
3087
3247
  privateFunctionsRoot?: any;
3088
3248
  classId?: any;
3089
3249
  }>, AvmContractClassHint, {
3090
- packedBytecode: string | {
3091
- type: "Buffer";
3092
- data: number[];
3093
- };
3094
3250
  hintKey: number;
3095
3251
  artifactHash?: any;
3252
+ packedBytecode?: any;
3096
3253
  privateFunctionsRoot?: any;
3097
3254
  classId?: any;
3098
3255
  }>, "many">;
3099
3256
  bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
3100
3257
  hintKey: z.ZodNumber;
3101
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
3102
- commitment: import("../schemas/schemas.js").ZodFor<Fr>;
3258
+ classId: ZodFor<Fr>;
3259
+ commitment: ZodFor<Fr>;
3103
3260
  }, "strip", z.ZodTypeAny, {
3104
3261
  hintKey: number;
3105
3262
  classId: Fr;
@@ -3114,8 +3271,8 @@ export declare class AvmExecutionHints {
3114
3271
  commitment?: any;
3115
3272
  }>, "many">;
3116
3273
  debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
3117
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
3118
- selector: import("../schemas/schemas.js").ZodFor<Fr>;
3274
+ address: ZodFor<AztecAddress>;
3275
+ selector: ZodFor<Fr>;
3119
3276
  name: z.ZodString;
3120
3277
  }, "strip", z.ZodTypeAny, {
3121
3278
  name: string;
@@ -3130,9 +3287,60 @@ export declare class AvmExecutionHints {
3130
3287
  selector?: any;
3131
3288
  address?: any;
3132
3289
  }>, "many">;
3290
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3291
+ actionCounter: z.ZodNumber;
3292
+ oldCheckpointId: z.ZodNumber;
3293
+ newCheckpointId: z.ZodNumber;
3294
+ }, "strip", z.ZodTypeAny, {
3295
+ actionCounter: number;
3296
+ oldCheckpointId: number;
3297
+ newCheckpointId: number;
3298
+ }, {
3299
+ actionCounter: number;
3300
+ oldCheckpointId: number;
3301
+ newCheckpointId: number;
3302
+ }>, AvmCheckpointActionNoStateChangeHint, {
3303
+ actionCounter: number;
3304
+ oldCheckpointId: number;
3305
+ newCheckpointId: number;
3306
+ }>, "many">;
3307
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3308
+ actionCounter: z.ZodNumber;
3309
+ oldCheckpointId: z.ZodNumber;
3310
+ newCheckpointId: z.ZodNumber;
3311
+ }, "strip", z.ZodTypeAny, {
3312
+ actionCounter: number;
3313
+ oldCheckpointId: number;
3314
+ newCheckpointId: number;
3315
+ }, {
3316
+ actionCounter: number;
3317
+ oldCheckpointId: number;
3318
+ newCheckpointId: number;
3319
+ }>, AvmCheckpointActionNoStateChangeHint, {
3320
+ actionCounter: number;
3321
+ oldCheckpointId: number;
3322
+ newCheckpointId: number;
3323
+ }>, "many">;
3324
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3325
+ actionCounter: z.ZodNumber;
3326
+ oldCheckpointId: z.ZodNumber;
3327
+ newCheckpointId: z.ZodNumber;
3328
+ }, "strip", z.ZodTypeAny, {
3329
+ actionCounter: number;
3330
+ oldCheckpointId: number;
3331
+ newCheckpointId: number;
3332
+ }, {
3333
+ actionCounter: number;
3334
+ oldCheckpointId: number;
3335
+ newCheckpointId: number;
3336
+ }>, AvmCheckpointActionNoStateChangeHint, {
3337
+ actionCounter: number;
3338
+ oldCheckpointId: number;
3339
+ newCheckpointId: number;
3340
+ }>, "many">;
3133
3341
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
3134
3342
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
3135
- root: z.ZodType<Fr, any, string>;
3343
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3136
3344
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3137
3345
  }, "strip", z.ZodTypeAny, {
3138
3346
  root: Fr;
@@ -3145,7 +3353,7 @@ export declare class AvmExecutionHints {
3145
3353
  nextAvailableLeafIndex: string | number | bigint;
3146
3354
  }>;
3147
3355
  noteHashTree: z.ZodEffects<z.ZodObject<{
3148
- root: z.ZodType<Fr, any, string>;
3356
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3149
3357
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3150
3358
  }, "strip", z.ZodTypeAny, {
3151
3359
  root: Fr;
@@ -3158,7 +3366,7 @@ export declare class AvmExecutionHints {
3158
3366
  nextAvailableLeafIndex: string | number | bigint;
3159
3367
  }>;
3160
3368
  nullifierTree: z.ZodEffects<z.ZodObject<{
3161
- root: z.ZodType<Fr, any, string>;
3369
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3162
3370
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3163
3371
  }, "strip", z.ZodTypeAny, {
3164
3372
  root: Fr;
@@ -3171,7 +3379,7 @@ export declare class AvmExecutionHints {
3171
3379
  nextAvailableLeafIndex: string | number | bigint;
3172
3380
  }>;
3173
3381
  publicDataTree: z.ZodEffects<z.ZodObject<{
3174
- root: z.ZodType<Fr, any, string>;
3382
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3175
3383
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3176
3384
  }, "strip", z.ZodTypeAny, {
3177
3385
  root: Fr;
@@ -3225,7 +3433,7 @@ export declare class AvmExecutionHints {
3225
3433
  }>;
3226
3434
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3227
3435
  hintKey: z.ZodEffects<z.ZodObject<{
3228
- root: z.ZodType<Fr, any, string>;
3436
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3229
3437
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3230
3438
  }, "strip", z.ZodTypeAny, {
3231
3439
  root: Fr;
@@ -3239,7 +3447,7 @@ export declare class AvmExecutionHints {
3239
3447
  }>;
3240
3448
  treeId: z.ZodNumber;
3241
3449
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3242
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
3450
+ path: z.ZodArray<ZodFor<Fr>, "many">;
3243
3451
  }, "strip", z.ZodTypeAny, {
3244
3452
  path: Fr[];
3245
3453
  index: bigint;
@@ -3264,7 +3472,7 @@ export declare class AvmExecutionHints {
3264
3472
  }>, "many">;
3265
3473
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3266
3474
  hintKey: z.ZodEffects<z.ZodObject<{
3267
- root: z.ZodType<Fr, any, string>;
3475
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3268
3476
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3269
3477
  }, "strip", z.ZodTypeAny, {
3270
3478
  root: Fr;
@@ -3277,7 +3485,7 @@ export declare class AvmExecutionHints {
3277
3485
  nextAvailableLeafIndex: string | number | bigint;
3278
3486
  }>;
3279
3487
  treeId: z.ZodNumber;
3280
- value: import("../schemas/schemas.js").ZodFor<Fr>;
3488
+ value: ZodFor<Fr>;
3281
3489
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3282
3490
  alreadyPresent: z.ZodBoolean;
3283
3491
  }, "strip", z.ZodTypeAny, {
@@ -3307,7 +3515,7 @@ export declare class AvmExecutionHints {
3307
3515
  }>, "many">;
3308
3516
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
3309
3517
  hintKey: z.ZodEffects<z.ZodObject<{
3310
- root: z.ZodType<Fr, any, string>;
3518
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3311
3519
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3312
3520
  }, "strip", z.ZodTypeAny, {
3313
3521
  root: Fr;
@@ -3322,7 +3530,7 @@ export declare class AvmExecutionHints {
3322
3530
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3323
3531
  leafPreimage: z.ZodEffects<z.ZodObject<{
3324
3532
  leaf: z.ZodEffects<z.ZodObject<{
3325
- nullifier: z.ZodType<Fr, any, string>;
3533
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3326
3534
  }, "strip", z.ZodTypeAny, {
3327
3535
  nullifier: Fr;
3328
3536
  }, {
@@ -3330,7 +3538,7 @@ export declare class AvmExecutionHints {
3330
3538
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3331
3539
  nullifier: string;
3332
3540
  }>;
3333
- nextKey: z.ZodType<Fr, any, string>;
3541
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3334
3542
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3335
3543
  }, "strip", z.ZodTypeAny, {
3336
3544
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3350,8 +3558,8 @@ export declare class AvmExecutionHints {
3350
3558
  nextIndex: string | number | bigint;
3351
3559
  }> | z.ZodEffects<z.ZodObject<{
3352
3560
  leaf: z.ZodEffects<z.ZodObject<{
3353
- slot: z.ZodType<Fr, any, string>;
3354
- value: z.ZodType<Fr, any, string>;
3561
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3562
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3355
3563
  }, "strip", z.ZodTypeAny, {
3356
3564
  value: Fr;
3357
3565
  slot: Fr;
@@ -3362,7 +3570,7 @@ export declare class AvmExecutionHints {
3362
3570
  value: string;
3363
3571
  slot: string;
3364
3572
  }>;
3365
- nextKey: z.ZodType<Fr, any, string>;
3573
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3366
3574
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3367
3575
  }, "strip", z.ZodTypeAny, {
3368
3576
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3434,7 +3642,7 @@ export declare class AvmExecutionHints {
3434
3642
  }>, "many">;
3435
3643
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
3436
3644
  hintKey: z.ZodEffects<z.ZodObject<{
3437
- root: z.ZodType<Fr, any, string>;
3645
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3438
3646
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3439
3647
  }, "strip", z.ZodTypeAny, {
3440
3648
  root: Fr;
@@ -3449,7 +3657,7 @@ export declare class AvmExecutionHints {
3449
3657
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3450
3658
  leafPreimage: z.ZodEffects<z.ZodObject<{
3451
3659
  leaf: z.ZodEffects<z.ZodObject<{
3452
- nullifier: z.ZodType<Fr, any, string>;
3660
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3453
3661
  }, "strip", z.ZodTypeAny, {
3454
3662
  nullifier: Fr;
3455
3663
  }, {
@@ -3457,7 +3665,7 @@ export declare class AvmExecutionHints {
3457
3665
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3458
3666
  nullifier: string;
3459
3667
  }>;
3460
- nextKey: z.ZodType<Fr, any, string>;
3668
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3461
3669
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3462
3670
  }, "strip", z.ZodTypeAny, {
3463
3671
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3477,8 +3685,8 @@ export declare class AvmExecutionHints {
3477
3685
  nextIndex: string | number | bigint;
3478
3686
  }> | z.ZodEffects<z.ZodObject<{
3479
3687
  leaf: z.ZodEffects<z.ZodObject<{
3480
- slot: z.ZodType<Fr, any, string>;
3481
- value: z.ZodType<Fr, any, string>;
3688
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3689
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3482
3690
  }, "strip", z.ZodTypeAny, {
3483
3691
  value: Fr;
3484
3692
  slot: Fr;
@@ -3489,7 +3697,7 @@ export declare class AvmExecutionHints {
3489
3697
  value: string;
3490
3698
  slot: string;
3491
3699
  }>;
3492
- nextKey: z.ZodType<Fr, any, string>;
3700
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3493
3701
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3494
3702
  }, "strip", z.ZodTypeAny, {
3495
3703
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3561,7 +3769,7 @@ export declare class AvmExecutionHints {
3561
3769
  }>, "many">;
3562
3770
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
3563
3771
  hintKey: z.ZodEffects<z.ZodObject<{
3564
- root: z.ZodType<Fr, any, string>;
3772
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3565
3773
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3566
3774
  }, "strip", z.ZodTypeAny, {
3567
3775
  root: Fr;
@@ -3575,7 +3783,7 @@ export declare class AvmExecutionHints {
3575
3783
  }>;
3576
3784
  treeId: z.ZodNumber;
3577
3785
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3578
- value: import("../schemas/schemas.js").ZodFor<Fr>;
3786
+ value: ZodFor<Fr>;
3579
3787
  }, "strip", z.ZodTypeAny, {
3580
3788
  value: Fr;
3581
3789
  index: bigint;
@@ -3600,7 +3808,7 @@ export declare class AvmExecutionHints {
3600
3808
  }>, "many">;
3601
3809
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
3602
3810
  hintKey: z.ZodEffects<z.ZodObject<{
3603
- root: z.ZodType<Fr, any, string>;
3811
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3604
3812
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3605
3813
  }, "strip", z.ZodTypeAny, {
3606
3814
  root: Fr;
@@ -3613,7 +3821,7 @@ export declare class AvmExecutionHints {
3613
3821
  nextAvailableLeafIndex: string | number | bigint;
3614
3822
  }>;
3615
3823
  stateAfter: z.ZodEffects<z.ZodObject<{
3616
- root: z.ZodType<Fr, any, string>;
3824
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3617
3825
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3618
3826
  }, "strip", z.ZodTypeAny, {
3619
3827
  root: Fr;
@@ -3627,7 +3835,7 @@ export declare class AvmExecutionHints {
3627
3835
  }>;
3628
3836
  treeId: z.ZodNumber;
3629
3837
  leaf: z.ZodEffects<z.ZodObject<{
3630
- nullifier: z.ZodType<Fr, any, string>;
3838
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3631
3839
  }, "strip", z.ZodTypeAny, {
3632
3840
  nullifier: Fr;
3633
3841
  }, {
@@ -3635,8 +3843,8 @@ export declare class AvmExecutionHints {
3635
3843
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3636
3844
  nullifier: string;
3637
3845
  }> | z.ZodEffects<z.ZodObject<{
3638
- slot: z.ZodType<Fr, any, string>;
3639
- value: z.ZodType<Fr, any, string>;
3846
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3847
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3640
3848
  }, "strip", z.ZodTypeAny, {
3641
3849
  value: Fr;
3642
3850
  slot: Fr;
@@ -3650,7 +3858,7 @@ export declare class AvmExecutionHints {
3650
3858
  lowLeavesWitnessData: z.ZodObject<{
3651
3859
  leaf: z.ZodEffects<z.ZodObject<{
3652
3860
  leaf: z.ZodEffects<z.ZodObject<{
3653
- nullifier: z.ZodType<Fr, any, string>;
3861
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3654
3862
  }, "strip", z.ZodTypeAny, {
3655
3863
  nullifier: Fr;
3656
3864
  }, {
@@ -3658,7 +3866,7 @@ export declare class AvmExecutionHints {
3658
3866
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3659
3867
  nullifier: string;
3660
3868
  }>;
3661
- nextKey: z.ZodType<Fr, any, string>;
3869
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3662
3870
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3663
3871
  }, "strip", z.ZodTypeAny, {
3664
3872
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3678,8 +3886,8 @@ export declare class AvmExecutionHints {
3678
3886
  nextIndex: string | number | bigint;
3679
3887
  }> | z.ZodEffects<z.ZodObject<{
3680
3888
  leaf: z.ZodEffects<z.ZodObject<{
3681
- slot: z.ZodType<Fr, any, string>;
3682
- value: z.ZodType<Fr, any, string>;
3889
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3890
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3683
3891
  }, "strip", z.ZodTypeAny, {
3684
3892
  value: Fr;
3685
3893
  slot: Fr;
@@ -3690,7 +3898,7 @@ export declare class AvmExecutionHints {
3690
3898
  value: string;
3691
3899
  slot: string;
3692
3900
  }>;
3693
- nextKey: z.ZodType<Fr, any, string>;
3901
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3694
3902
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3695
3903
  }, "strip", z.ZodTypeAny, {
3696
3904
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3712,7 +3920,7 @@ export declare class AvmExecutionHints {
3712
3920
  nextIndex: string | number | bigint;
3713
3921
  }>;
3714
3922
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3715
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
3923
+ path: z.ZodArray<ZodFor<Fr>, "many">;
3716
3924
  }, "strip", z.ZodTypeAny, {
3717
3925
  path: Fr[];
3718
3926
  index: bigint;
@@ -3738,7 +3946,7 @@ export declare class AvmExecutionHints {
3738
3946
  insertionWitnessData: z.ZodObject<{
3739
3947
  leaf: z.ZodEffects<z.ZodObject<{
3740
3948
  leaf: z.ZodEffects<z.ZodObject<{
3741
- nullifier: z.ZodType<Fr, any, string>;
3949
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3742
3950
  }, "strip", z.ZodTypeAny, {
3743
3951
  nullifier: Fr;
3744
3952
  }, {
@@ -3746,7 +3954,7 @@ export declare class AvmExecutionHints {
3746
3954
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3747
3955
  nullifier: string;
3748
3956
  }>;
3749
- nextKey: z.ZodType<Fr, any, string>;
3957
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3750
3958
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3751
3959
  }, "strip", z.ZodTypeAny, {
3752
3960
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -3766,8 +3974,8 @@ export declare class AvmExecutionHints {
3766
3974
  nextIndex: string | number | bigint;
3767
3975
  }> | z.ZodEffects<z.ZodObject<{
3768
3976
  leaf: z.ZodEffects<z.ZodObject<{
3769
- slot: z.ZodType<Fr, any, string>;
3770
- value: z.ZodType<Fr, any, string>;
3977
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3978
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3771
3979
  }, "strip", z.ZodTypeAny, {
3772
3980
  value: Fr;
3773
3981
  slot: Fr;
@@ -3778,7 +3986,7 @@ export declare class AvmExecutionHints {
3778
3986
  value: string;
3779
3987
  slot: string;
3780
3988
  }>;
3781
- nextKey: z.ZodType<Fr, any, string>;
3989
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3782
3990
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3783
3991
  }, "strip", z.ZodTypeAny, {
3784
3992
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -3800,7 +4008,7 @@ export declare class AvmExecutionHints {
3800
4008
  nextIndex: string | number | bigint;
3801
4009
  }>;
3802
4010
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
3803
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
4011
+ path: z.ZodArray<ZodFor<Fr>, "many">;
3804
4012
  }, "strip", z.ZodTypeAny, {
3805
4013
  path: Fr[];
3806
4014
  index: bigint;
@@ -3960,7 +4168,7 @@ export declare class AvmExecutionHints {
3960
4168
  }>, "many">;
3961
4169
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
3962
4170
  hintKey: z.ZodEffects<z.ZodObject<{
3963
- root: z.ZodType<Fr, any, string>;
4171
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3964
4172
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3965
4173
  }, "strip", z.ZodTypeAny, {
3966
4174
  root: Fr;
@@ -3973,7 +4181,7 @@ export declare class AvmExecutionHints {
3973
4181
  nextAvailableLeafIndex: string | number | bigint;
3974
4182
  }>;
3975
4183
  stateAfter: z.ZodEffects<z.ZodObject<{
3976
- root: z.ZodType<Fr, any, string>;
4184
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3977
4185
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
3978
4186
  }, "strip", z.ZodTypeAny, {
3979
4187
  root: Fr;
@@ -3987,7 +4195,7 @@ export declare class AvmExecutionHints {
3987
4195
  }>;
3988
4196
  treeId: z.ZodNumber;
3989
4197
  leaf: z.ZodEffects<z.ZodObject<{
3990
- nullifier: z.ZodType<Fr, any, string>;
4198
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
3991
4199
  }, "strip", z.ZodTypeAny, {
3992
4200
  nullifier: Fr;
3993
4201
  }, {
@@ -3995,8 +4203,8 @@ export declare class AvmExecutionHints {
3995
4203
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
3996
4204
  nullifier: string;
3997
4205
  }> | z.ZodEffects<z.ZodObject<{
3998
- slot: z.ZodType<Fr, any, string>;
3999
- value: z.ZodType<Fr, any, string>;
4206
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4207
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4000
4208
  }, "strip", z.ZodTypeAny, {
4001
4209
  value: Fr;
4002
4210
  slot: Fr;
@@ -4010,7 +4218,7 @@ export declare class AvmExecutionHints {
4010
4218
  lowLeavesWitnessData: z.ZodObject<{
4011
4219
  leaf: z.ZodEffects<z.ZodObject<{
4012
4220
  leaf: z.ZodEffects<z.ZodObject<{
4013
- nullifier: z.ZodType<Fr, any, string>;
4221
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4014
4222
  }, "strip", z.ZodTypeAny, {
4015
4223
  nullifier: Fr;
4016
4224
  }, {
@@ -4018,7 +4226,7 @@ export declare class AvmExecutionHints {
4018
4226
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
4019
4227
  nullifier: string;
4020
4228
  }>;
4021
- nextKey: z.ZodType<Fr, any, string>;
4229
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4022
4230
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4023
4231
  }, "strip", z.ZodTypeAny, {
4024
4232
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -4038,8 +4246,8 @@ export declare class AvmExecutionHints {
4038
4246
  nextIndex: string | number | bigint;
4039
4247
  }> | z.ZodEffects<z.ZodObject<{
4040
4248
  leaf: z.ZodEffects<z.ZodObject<{
4041
- slot: z.ZodType<Fr, any, string>;
4042
- value: z.ZodType<Fr, any, string>;
4249
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4250
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4043
4251
  }, "strip", z.ZodTypeAny, {
4044
4252
  value: Fr;
4045
4253
  slot: Fr;
@@ -4050,7 +4258,7 @@ export declare class AvmExecutionHints {
4050
4258
  value: string;
4051
4259
  slot: string;
4052
4260
  }>;
4053
- nextKey: z.ZodType<Fr, any, string>;
4261
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4054
4262
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4055
4263
  }, "strip", z.ZodTypeAny, {
4056
4264
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -4072,7 +4280,7 @@ export declare class AvmExecutionHints {
4072
4280
  nextIndex: string | number | bigint;
4073
4281
  }>;
4074
4282
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4075
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
4283
+ path: z.ZodArray<ZodFor<Fr>, "many">;
4076
4284
  }, "strip", z.ZodTypeAny, {
4077
4285
  path: Fr[];
4078
4286
  index: bigint;
@@ -4098,7 +4306,7 @@ export declare class AvmExecutionHints {
4098
4306
  insertionWitnessData: z.ZodObject<{
4099
4307
  leaf: z.ZodEffects<z.ZodObject<{
4100
4308
  leaf: z.ZodEffects<z.ZodObject<{
4101
- nullifier: z.ZodType<Fr, any, string>;
4309
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4102
4310
  }, "strip", z.ZodTypeAny, {
4103
4311
  nullifier: Fr;
4104
4312
  }, {
@@ -4106,7 +4314,7 @@ export declare class AvmExecutionHints {
4106
4314
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
4107
4315
  nullifier: string;
4108
4316
  }>;
4109
- nextKey: z.ZodType<Fr, any, string>;
4317
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4110
4318
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4111
4319
  }, "strip", z.ZodTypeAny, {
4112
4320
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -4126,8 +4334,8 @@ export declare class AvmExecutionHints {
4126
4334
  nextIndex: string | number | bigint;
4127
4335
  }> | z.ZodEffects<z.ZodObject<{
4128
4336
  leaf: z.ZodEffects<z.ZodObject<{
4129
- slot: z.ZodType<Fr, any, string>;
4130
- value: z.ZodType<Fr, any, string>;
4337
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4338
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4131
4339
  }, "strip", z.ZodTypeAny, {
4132
4340
  value: Fr;
4133
4341
  slot: Fr;
@@ -4138,7 +4346,7 @@ export declare class AvmExecutionHints {
4138
4346
  value: string;
4139
4347
  slot: string;
4140
4348
  }>;
4141
- nextKey: z.ZodType<Fr, any, string>;
4349
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4142
4350
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4143
4351
  }, "strip", z.ZodTypeAny, {
4144
4352
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -4160,7 +4368,7 @@ export declare class AvmExecutionHints {
4160
4368
  nextIndex: string | number | bigint;
4161
4369
  }>;
4162
4370
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
4163
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
4371
+ path: z.ZodArray<ZodFor<Fr>, "many">;
4164
4372
  }, "strip", z.ZodTypeAny, {
4165
4373
  path: Fr[];
4166
4374
  index: bigint;
@@ -4320,7 +4528,7 @@ export declare class AvmExecutionHints {
4320
4528
  }>, "many">;
4321
4529
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4322
4530
  hintKey: z.ZodEffects<z.ZodObject<{
4323
- root: z.ZodType<Fr, any, string>;
4531
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4324
4532
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4325
4533
  }, "strip", z.ZodTypeAny, {
4326
4534
  root: Fr;
@@ -4333,7 +4541,7 @@ export declare class AvmExecutionHints {
4333
4541
  nextAvailableLeafIndex: string | number | bigint;
4334
4542
  }>;
4335
4543
  stateAfter: z.ZodEffects<z.ZodObject<{
4336
- root: z.ZodType<Fr, any, string>;
4544
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4337
4545
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4338
4546
  }, "strip", z.ZodTypeAny, {
4339
4547
  root: Fr;
@@ -4346,7 +4554,7 @@ export declare class AvmExecutionHints {
4346
4554
  nextAvailableLeafIndex: string | number | bigint;
4347
4555
  }>;
4348
4556
  treeId: z.ZodNumber;
4349
- leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
4557
+ leaves: z.ZodArray<ZodFor<Fr>, "many">;
4350
4558
  }, "strip", z.ZodTypeAny, {
4351
4559
  hintKey: AppendOnlyTreeSnapshot;
4352
4560
  treeId: number;
@@ -4415,7 +4623,7 @@ export declare class AvmExecutionHints {
4415
4623
  newCheckpointId: z.ZodNumber;
4416
4624
  stateBefore: z.ZodEffects<z.ZodObject<{
4417
4625
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
4418
- root: z.ZodType<Fr, any, string>;
4626
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4419
4627
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4420
4628
  }, "strip", z.ZodTypeAny, {
4421
4629
  root: Fr;
@@ -4428,7 +4636,7 @@ export declare class AvmExecutionHints {
4428
4636
  nextAvailableLeafIndex: string | number | bigint;
4429
4637
  }>;
4430
4638
  noteHashTree: z.ZodEffects<z.ZodObject<{
4431
- root: z.ZodType<Fr, any, string>;
4639
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4432
4640
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4433
4641
  }, "strip", z.ZodTypeAny, {
4434
4642
  root: Fr;
@@ -4441,7 +4649,7 @@ export declare class AvmExecutionHints {
4441
4649
  nextAvailableLeafIndex: string | number | bigint;
4442
4650
  }>;
4443
4651
  nullifierTree: z.ZodEffects<z.ZodObject<{
4444
- root: z.ZodType<Fr, any, string>;
4652
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4445
4653
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4446
4654
  }, "strip", z.ZodTypeAny, {
4447
4655
  root: Fr;
@@ -4454,7 +4662,7 @@ export declare class AvmExecutionHints {
4454
4662
  nextAvailableLeafIndex: string | number | bigint;
4455
4663
  }>;
4456
4664
  publicDataTree: z.ZodEffects<z.ZodObject<{
4457
- root: z.ZodType<Fr, any, string>;
4665
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4458
4666
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4459
4667
  }, "strip", z.ZodTypeAny, {
4460
4668
  root: Fr;
@@ -4508,7 +4716,7 @@ export declare class AvmExecutionHints {
4508
4716
  }>;
4509
4717
  stateAfter: z.ZodEffects<z.ZodObject<{
4510
4718
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
4511
- root: z.ZodType<Fr, any, string>;
4719
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4512
4720
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4513
4721
  }, "strip", z.ZodTypeAny, {
4514
4722
  root: Fr;
@@ -4521,7 +4729,7 @@ export declare class AvmExecutionHints {
4521
4729
  nextAvailableLeafIndex: string | number | bigint;
4522
4730
  }>;
4523
4731
  noteHashTree: z.ZodEffects<z.ZodObject<{
4524
- root: z.ZodType<Fr, any, string>;
4732
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4525
4733
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4526
4734
  }, "strip", z.ZodTypeAny, {
4527
4735
  root: Fr;
@@ -4534,7 +4742,7 @@ export declare class AvmExecutionHints {
4534
4742
  nextAvailableLeafIndex: string | number | bigint;
4535
4743
  }>;
4536
4744
  nullifierTree: z.ZodEffects<z.ZodObject<{
4537
- root: z.ZodType<Fr, any, string>;
4745
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4538
4746
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4539
4747
  }, "strip", z.ZodTypeAny, {
4540
4748
  root: Fr;
@@ -4547,7 +4755,7 @@ export declare class AvmExecutionHints {
4547
4755
  nextAvailableLeafIndex: string | number | bigint;
4548
4756
  }>;
4549
4757
  publicDataTree: z.ZodEffects<z.ZodObject<{
4550
- root: z.ZodType<Fr, any, string>;
4758
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
4551
4759
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
4552
4760
  }, "strip", z.ZodTypeAny, {
4553
4761
  root: Fr;
@@ -4600,12 +4808,15 @@ export declare class AvmExecutionHints {
4600
4808
  };
4601
4809
  }>;
4602
4810
  }, "strip", z.ZodTypeAny, {
4603
- stateAfter: TreeSnapshots;
4604
4811
  actionCounter: number;
4605
4812
  oldCheckpointId: number;
4606
4813
  newCheckpointId: number;
4814
+ stateAfter: TreeSnapshots;
4607
4815
  stateBefore: TreeSnapshots;
4608
4816
  }, {
4817
+ actionCounter: number;
4818
+ oldCheckpointId: number;
4819
+ newCheckpointId: number;
4609
4820
  stateAfter: {
4610
4821
  noteHashTree: {
4611
4822
  root: string;
@@ -4624,9 +4835,6 @@ export declare class AvmExecutionHints {
4624
4835
  nextAvailableLeafIndex: string | number | bigint;
4625
4836
  };
4626
4837
  };
4627
- actionCounter: number;
4628
- oldCheckpointId: number;
4629
- newCheckpointId: number;
4630
4838
  stateBefore: {
4631
4839
  noteHashTree: {
4632
4840
  root: string;
@@ -4646,6 +4854,9 @@ export declare class AvmExecutionHints {
4646
4854
  };
4647
4855
  };
4648
4856
  }>, AvmRevertCheckpointHint, {
4857
+ actionCounter: number;
4858
+ oldCheckpointId: number;
4859
+ newCheckpointId: number;
4649
4860
  stateAfter: {
4650
4861
  noteHashTree: {
4651
4862
  root: string;
@@ -4664,9 +4875,6 @@ export declare class AvmExecutionHints {
4664
4875
  nextAvailableLeafIndex: string | number | bigint;
4665
4876
  };
4666
4877
  };
4667
- actionCounter: number;
4668
- oldCheckpointId: number;
4669
- newCheckpointId: number;
4670
4878
  stateBefore: {
4671
4879
  noteHashTree: {
4672
4880
  root: string;
@@ -4686,57 +4894,6 @@ export declare class AvmExecutionHints {
4686
4894
  };
4687
4895
  };
4688
4896
  }>, "many">;
4689
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4690
- actionCounter: z.ZodNumber;
4691
- oldCheckpointId: z.ZodNumber;
4692
- newCheckpointId: z.ZodNumber;
4693
- }, "strip", z.ZodTypeAny, {
4694
- actionCounter: number;
4695
- oldCheckpointId: number;
4696
- newCheckpointId: number;
4697
- }, {
4698
- actionCounter: number;
4699
- oldCheckpointId: number;
4700
- newCheckpointId: number;
4701
- }>, AvmCheckpointActionNoStateChangeHint, {
4702
- actionCounter: number;
4703
- oldCheckpointId: number;
4704
- newCheckpointId: number;
4705
- }>, "many">;
4706
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4707
- actionCounter: z.ZodNumber;
4708
- oldCheckpointId: z.ZodNumber;
4709
- newCheckpointId: z.ZodNumber;
4710
- }, "strip", z.ZodTypeAny, {
4711
- actionCounter: number;
4712
- oldCheckpointId: number;
4713
- newCheckpointId: number;
4714
- }, {
4715
- actionCounter: number;
4716
- oldCheckpointId: number;
4717
- newCheckpointId: number;
4718
- }>, AvmCheckpointActionNoStateChangeHint, {
4719
- actionCounter: number;
4720
- oldCheckpointId: number;
4721
- newCheckpointId: number;
4722
- }>, "many">;
4723
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4724
- actionCounter: z.ZodNumber;
4725
- oldCheckpointId: z.ZodNumber;
4726
- newCheckpointId: z.ZodNumber;
4727
- }, "strip", z.ZodTypeAny, {
4728
- actionCounter: number;
4729
- oldCheckpointId: number;
4730
- newCheckpointId: number;
4731
- }, {
4732
- actionCounter: number;
4733
- oldCheckpointId: number;
4734
- newCheckpointId: number;
4735
- }>, AvmCheckpointActionNoStateChangeHint, {
4736
- actionCounter: number;
4737
- oldCheckpointId: number;
4738
- newCheckpointId: number;
4739
- }>, "many">;
4740
4897
  }, "strip", z.ZodTypeAny, {
4741
4898
  globalVariables: GlobalVariables;
4742
4899
  protocolContracts: ProtocolContracts;
@@ -4745,6 +4902,9 @@ export declare class AvmExecutionHints {
4745
4902
  contractClasses: AvmContractClassHint[];
4746
4903
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
4747
4904
  debugFunctionNames: AvmDebugFunctionNameHint[];
4905
+ contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4906
+ contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4907
+ contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4748
4908
  startingTreeRoots: TreeSnapshots;
4749
4909
  getSiblingPathHints: AvmGetSiblingPathHint[];
4750
4910
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -4795,9 +4955,6 @@ export declare class AvmExecutionHints {
4795
4955
  createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4796
4956
  commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4797
4957
  revertCheckpointHints: AvmRevertCheckpointHint[];
4798
- contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4799
- contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4800
- contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
4801
4958
  }, {
4802
4959
  globalVariables: {
4803
4960
  blockNumber: string | number | bigint;
@@ -4898,10 +5055,22 @@ export declare class AvmExecutionHints {
4898
5055
  };
4899
5056
  contractInstances: {
4900
5057
  publicKeys: {
4901
- masterNullifierPublicKey: string;
4902
- masterIncomingViewingPublicKey: string;
4903
- masterOutgoingViewingPublicKey: string;
4904
- masterTaggingPublicKey: string;
5058
+ masterNullifierPublicKey: string | {
5059
+ x: string;
5060
+ y: string;
5061
+ };
5062
+ masterIncomingViewingPublicKey: string | {
5063
+ x: string;
5064
+ y: string;
5065
+ };
5066
+ masterOutgoingViewingPublicKey: string | {
5067
+ x: string;
5068
+ y: string;
5069
+ };
5070
+ masterTaggingPublicKey: string | {
5071
+ x: string;
5072
+ y: string;
5073
+ };
4905
5074
  };
4906
5075
  hintKey: number;
4907
5076
  salt?: any;
@@ -4912,12 +5081,9 @@ export declare class AvmExecutionHints {
4912
5081
  address?: any;
4913
5082
  }[];
4914
5083
  contractClasses: {
4915
- packedBytecode: string | {
4916
- type: "Buffer";
4917
- data: number[];
4918
- };
4919
5084
  hintKey: number;
4920
5085
  artifactHash?: any;
5086
+ packedBytecode?: any;
4921
5087
  privateFunctionsRoot?: any;
4922
5088
  classId?: any;
4923
5089
  }[];
@@ -4931,6 +5097,21 @@ export declare class AvmExecutionHints {
4931
5097
  selector?: any;
4932
5098
  address?: any;
4933
5099
  }[];
5100
+ contractDBCreateCheckpointHints: {
5101
+ actionCounter: number;
5102
+ oldCheckpointId: number;
5103
+ newCheckpointId: number;
5104
+ }[];
5105
+ contractDBCommitCheckpointHints: {
5106
+ actionCounter: number;
5107
+ oldCheckpointId: number;
5108
+ newCheckpointId: number;
5109
+ }[];
5110
+ contractDBRevertCheckpointHints: {
5111
+ actionCounter: number;
5112
+ oldCheckpointId: number;
5113
+ newCheckpointId: number;
5114
+ }[];
4934
5115
  startingTreeRoots: {
4935
5116
  noteHashTree: {
4936
5117
  root: string;
@@ -5148,6 +5329,9 @@ export declare class AvmExecutionHints {
5148
5329
  newCheckpointId: number;
5149
5330
  }[];
5150
5331
  revertCheckpointHints: {
5332
+ actionCounter: number;
5333
+ oldCheckpointId: number;
5334
+ newCheckpointId: number;
5151
5335
  stateAfter: {
5152
5336
  noteHashTree: {
5153
5337
  root: string;
@@ -5166,9 +5350,6 @@ export declare class AvmExecutionHints {
5166
5350
  nextAvailableLeafIndex: string | number | bigint;
5167
5351
  };
5168
5352
  };
5169
- actionCounter: number;
5170
- oldCheckpointId: number;
5171
- newCheckpointId: number;
5172
5353
  stateBefore: {
5173
5354
  noteHashTree: {
5174
5355
  root: string;
@@ -5188,21 +5369,6 @@ export declare class AvmExecutionHints {
5188
5369
  };
5189
5370
  };
5190
5371
  }[];
5191
- contractDBCreateCheckpointHints: {
5192
- actionCounter: number;
5193
- oldCheckpointId: number;
5194
- newCheckpointId: number;
5195
- }[];
5196
- contractDBCommitCheckpointHints: {
5197
- actionCounter: number;
5198
- oldCheckpointId: number;
5199
- newCheckpointId: number;
5200
- }[];
5201
- contractDBRevertCheckpointHints: {
5202
- actionCounter: number;
5203
- oldCheckpointId: number;
5204
- newCheckpointId: number;
5205
- }[];
5206
5372
  }>, AvmExecutionHints, {
5207
5373
  globalVariables: {
5208
5374
  blockNumber: string | number | bigint;
@@ -5303,10 +5469,22 @@ export declare class AvmExecutionHints {
5303
5469
  };
5304
5470
  contractInstances: {
5305
5471
  publicKeys: {
5306
- masterNullifierPublicKey: string;
5307
- masterIncomingViewingPublicKey: string;
5308
- masterOutgoingViewingPublicKey: string;
5309
- masterTaggingPublicKey: string;
5472
+ masterNullifierPublicKey: string | {
5473
+ x: string;
5474
+ y: string;
5475
+ };
5476
+ masterIncomingViewingPublicKey: string | {
5477
+ x: string;
5478
+ y: string;
5479
+ };
5480
+ masterOutgoingViewingPublicKey: string | {
5481
+ x: string;
5482
+ y: string;
5483
+ };
5484
+ masterTaggingPublicKey: string | {
5485
+ x: string;
5486
+ y: string;
5487
+ };
5310
5488
  };
5311
5489
  hintKey: number;
5312
5490
  salt?: any;
@@ -5317,12 +5495,9 @@ export declare class AvmExecutionHints {
5317
5495
  address?: any;
5318
5496
  }[];
5319
5497
  contractClasses: {
5320
- packedBytecode: string | {
5321
- type: "Buffer";
5322
- data: number[];
5323
- };
5324
5498
  hintKey: number;
5325
5499
  artifactHash?: any;
5500
+ packedBytecode?: any;
5326
5501
  privateFunctionsRoot?: any;
5327
5502
  classId?: any;
5328
5503
  }[];
@@ -5336,9 +5511,24 @@ export declare class AvmExecutionHints {
5336
5511
  selector?: any;
5337
5512
  address?: any;
5338
5513
  }[];
5339
- startingTreeRoots: {
5340
- noteHashTree: {
5341
- root: string;
5514
+ contractDBCreateCheckpointHints: {
5515
+ actionCounter: number;
5516
+ oldCheckpointId: number;
5517
+ newCheckpointId: number;
5518
+ }[];
5519
+ contractDBCommitCheckpointHints: {
5520
+ actionCounter: number;
5521
+ oldCheckpointId: number;
5522
+ newCheckpointId: number;
5523
+ }[];
5524
+ contractDBRevertCheckpointHints: {
5525
+ actionCounter: number;
5526
+ oldCheckpointId: number;
5527
+ newCheckpointId: number;
5528
+ }[];
5529
+ startingTreeRoots: {
5530
+ noteHashTree: {
5531
+ root: string;
5342
5532
  nextAvailableLeafIndex: string | number | bigint;
5343
5533
  };
5344
5534
  nullifierTree: {
@@ -5553,6 +5743,9 @@ export declare class AvmExecutionHints {
5553
5743
  newCheckpointId: number;
5554
5744
  }[];
5555
5745
  revertCheckpointHints: {
5746
+ actionCounter: number;
5747
+ oldCheckpointId: number;
5748
+ newCheckpointId: number;
5556
5749
  stateAfter: {
5557
5750
  noteHashTree: {
5558
5751
  root: string;
@@ -5571,9 +5764,6 @@ export declare class AvmExecutionHints {
5571
5764
  nextAvailableLeafIndex: string | number | bigint;
5572
5765
  };
5573
5766
  };
5574
- actionCounter: number;
5575
- oldCheckpointId: number;
5576
- newCheckpointId: number;
5577
5767
  stateBefore: {
5578
5768
  noteHashTree: {
5579
5769
  root: string;
@@ -5593,21 +5783,6 @@ export declare class AvmExecutionHints {
5593
5783
  };
5594
5784
  };
5595
5785
  }[];
5596
- contractDBCreateCheckpointHints: {
5597
- actionCounter: number;
5598
- oldCheckpointId: number;
5599
- newCheckpointId: number;
5600
- }[];
5601
- contractDBCommitCheckpointHints: {
5602
- actionCounter: number;
5603
- oldCheckpointId: number;
5604
- newCheckpointId: number;
5605
- }[];
5606
- contractDBRevertCheckpointHints: {
5607
- actionCounter: number;
5608
- oldCheckpointId: number;
5609
- newCheckpointId: number;
5610
- }[];
5611
5786
  }>;
5612
5787
  }
5613
5788
  export declare class AvmCircuitInputs {
@@ -5618,13 +5793,13 @@ export declare class AvmCircuitInputs {
5618
5793
  static get schema(): z.ZodEffects<z.ZodObject<{
5619
5794
  hints: z.ZodEffects<z.ZodObject<{
5620
5795
  globalVariables: z.ZodEffects<z.ZodObject<{
5621
- chainId: import("../schemas/schemas.js").ZodFor<Fr>;
5622
- version: import("../schemas/schemas.js").ZodFor<Fr>;
5796
+ chainId: ZodFor<Fr>;
5797
+ version: ZodFor<Fr>;
5623
5798
  blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5624
- slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
5799
+ slotNumber: ZodFor<Fr>;
5625
5800
  timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
5626
- coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
5627
- feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
5801
+ coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
5802
+ feeRecipient: ZodFor<AztecAddress>;
5628
5803
  gasFees: z.ZodEffects<z.ZodObject<{
5629
5804
  feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
5630
5805
  feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -5782,9 +5957,9 @@ export declare class AvmCircuitInputs {
5782
5957
  }>;
5783
5958
  nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
5784
5959
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
5785
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
5960
+ contractAddress: ZodFor<AztecAddress>;
5786
5961
  fields: z.ZodEffects<z.ZodObject<{
5787
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
5962
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
5788
5963
  }, "strip", z.ZodTypeAny, {
5789
5964
  fields: Fr[];
5790
5965
  }, {
@@ -5811,7 +5986,7 @@ export declare class AvmCircuitInputs {
5811
5986
  contractAddress?: any;
5812
5987
  }>, "many">;
5813
5988
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
5814
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
5989
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
5815
5990
  emittedLength: z.ZodNumber;
5816
5991
  }, "strict", z.ZodTypeAny, {
5817
5992
  fields: Fr[];
@@ -5853,9 +6028,9 @@ export declare class AvmCircuitInputs {
5853
6028
  }>;
5854
6029
  revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
5855
6030
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
5856
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6031
+ contractAddress: ZodFor<AztecAddress>;
5857
6032
  fields: z.ZodEffects<z.ZodObject<{
5858
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
6033
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
5859
6034
  }, "strip", z.ZodTypeAny, {
5860
6035
  fields: Fr[];
5861
6036
  }, {
@@ -5882,7 +6057,7 @@ export declare class AvmCircuitInputs {
5882
6057
  contractAddress?: any;
5883
6058
  }>, "many">;
5884
6059
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
5885
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
6060
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
5886
6061
  emittedLength: z.ZodNumber;
5887
6062
  }, "strict", z.ZodTypeAny, {
5888
6063
  fields: Fr[];
@@ -5923,12 +6098,12 @@ export declare class AvmCircuitInputs {
5923
6098
  }[];
5924
6099
  }>;
5925
6100
  nonRevertibleAccumulatedData: z.ZodObject<{
5926
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
5927
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
6101
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
6102
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
5928
6103
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
5929
6104
  message: z.ZodEffects<z.ZodObject<{
5930
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
5931
- content: z.ZodType<Fr, any, string>;
6105
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
6106
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
5932
6107
  }, "strip", z.ZodTypeAny, {
5933
6108
  content: Fr;
5934
6109
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -5939,7 +6114,7 @@ export declare class AvmCircuitInputs {
5939
6114
  content: string;
5940
6115
  recipient: string;
5941
6116
  }>;
5942
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6117
+ contractAddress: ZodFor<AztecAddress>;
5943
6118
  }, "strip", z.ZodTypeAny, {
5944
6119
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
5945
6120
  contractAddress: AztecAddress;
@@ -5972,12 +6147,12 @@ export declare class AvmCircuitInputs {
5972
6147
  }[];
5973
6148
  }>;
5974
6149
  revertibleAccumulatedData: z.ZodObject<{
5975
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
5976
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
6150
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
6151
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
5977
6152
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
5978
6153
  message: z.ZodEffects<z.ZodObject<{
5979
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
5980
- content: z.ZodType<Fr, any, string>;
6154
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
6155
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
5981
6156
  }, "strip", z.ZodTypeAny, {
5982
6157
  content: Fr;
5983
6158
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -5988,7 +6163,7 @@ export declare class AvmCircuitInputs {
5988
6163
  content: string;
5989
6164
  recipient: string;
5990
6165
  }>;
5991
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6166
+ contractAddress: ZodFor<AztecAddress>;
5992
6167
  }, "strip", z.ZodTypeAny, {
5993
6168
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
5994
6169
  contractAddress: AztecAddress;
@@ -6020,9 +6195,9 @@ export declare class AvmCircuitInputs {
6020
6195
  contractAddress?: any;
6021
6196
  }[];
6022
6197
  }>;
6023
- setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
6024
- appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
6025
- teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
6198
+ setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
6199
+ appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
6200
+ teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
6026
6201
  gasUsedByPrivate: z.ZodEffects<z.ZodObject<{
6027
6202
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6028
6203
  l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -6036,7 +6211,7 @@ export declare class AvmCircuitInputs {
6036
6211
  daGas: string | number | bigint;
6037
6212
  l2Gas: string | number | bigint;
6038
6213
  }>;
6039
- feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6214
+ feePayer: ZodFor<AztecAddress>;
6040
6215
  }, "strip", z.ZodTypeAny, {
6041
6216
  hash: string;
6042
6217
  gasSettings: GasSettings;
@@ -6220,7 +6395,7 @@ export declare class AvmCircuitInputs {
6220
6395
  teardownEnqueuedCall?: any;
6221
6396
  }>;
6222
6397
  protocolContracts: z.ZodEffects<z.ZodObject<{
6223
- derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
6398
+ derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
6224
6399
  }, "strip", z.ZodTypeAny, {
6225
6400
  derivedAddresses: AztecAddress[];
6226
6401
  }, {
@@ -6230,32 +6405,104 @@ export declare class AvmCircuitInputs {
6230
6405
  }>;
6231
6406
  contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
6232
6407
  hintKey: z.ZodNumber;
6233
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6234
- salt: import("../schemas/schemas.js").ZodFor<Fr>;
6235
- deployer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6236
- currentContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
6237
- originalContractClassId: import("../schemas/schemas.js").ZodFor<Fr>;
6238
- initializationHash: import("../schemas/schemas.js").ZodFor<Fr>;
6408
+ address: ZodFor<AztecAddress>;
6409
+ salt: ZodFor<Fr>;
6410
+ deployer: ZodFor<AztecAddress>;
6411
+ currentContractClassId: ZodFor<Fr>;
6412
+ originalContractClassId: ZodFor<Fr>;
6413
+ initializationHash: ZodFor<Fr>;
6239
6414
  publicKeys: z.ZodEffects<z.ZodObject<{
6240
- masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
6241
- masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
6242
- masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
6243
- masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/fields").Point, any, string>;
6415
+ masterNullifierPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
6416
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6417
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6418
+ }, "strip", z.ZodTypeAny, {
6419
+ x: Fr;
6420
+ y: Fr;
6421
+ }, {
6422
+ x: string;
6423
+ y: string;
6424
+ }>, import("@aztec/foundation/fields").Point, {
6425
+ x: string;
6426
+ y: string;
6427
+ }>]>;
6428
+ masterIncomingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
6429
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6430
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6431
+ }, "strip", z.ZodTypeAny, {
6432
+ x: Fr;
6433
+ y: Fr;
6434
+ }, {
6435
+ x: string;
6436
+ y: string;
6437
+ }>, import("@aztec/foundation/fields").Point, {
6438
+ x: string;
6439
+ y: string;
6440
+ }>]>;
6441
+ masterOutgoingViewingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
6442
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6443
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6444
+ }, "strip", z.ZodTypeAny, {
6445
+ x: Fr;
6446
+ y: Fr;
6447
+ }, {
6448
+ x: string;
6449
+ y: string;
6450
+ }>, import("@aztec/foundation/fields").Point, {
6451
+ x: string;
6452
+ y: string;
6453
+ }>]>;
6454
+ masterTaggingPublicKey: z.ZodUnion<[z.ZodType<import("@aztec/foundation/fields").Point, any, string>, z.ZodEffects<z.ZodObject<{
6455
+ x: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6456
+ y: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6457
+ }, "strip", z.ZodTypeAny, {
6458
+ x: Fr;
6459
+ y: Fr;
6460
+ }, {
6461
+ x: string;
6462
+ y: string;
6463
+ }>, import("@aztec/foundation/fields").Point, {
6464
+ x: string;
6465
+ y: string;
6466
+ }>]>;
6244
6467
  }, "strip", z.ZodTypeAny, {
6245
6468
  masterNullifierPublicKey: import("@aztec/foundation/fields").Point;
6246
6469
  masterIncomingViewingPublicKey: import("@aztec/foundation/fields").Point;
6247
6470
  masterOutgoingViewingPublicKey: import("@aztec/foundation/fields").Point;
6248
6471
  masterTaggingPublicKey: import("@aztec/foundation/fields").Point;
6249
6472
  }, {
6250
- masterNullifierPublicKey: string;
6251
- masterIncomingViewingPublicKey: string;
6252
- masterOutgoingViewingPublicKey: string;
6253
- masterTaggingPublicKey: string;
6473
+ masterNullifierPublicKey: string | {
6474
+ x: string;
6475
+ y: string;
6476
+ };
6477
+ masterIncomingViewingPublicKey: string | {
6478
+ x: string;
6479
+ y: string;
6480
+ };
6481
+ masterOutgoingViewingPublicKey: string | {
6482
+ x: string;
6483
+ y: string;
6484
+ };
6485
+ masterTaggingPublicKey: string | {
6486
+ x: string;
6487
+ y: string;
6488
+ };
6254
6489
  }>, PublicKeys, {
6255
- masterNullifierPublicKey: string;
6256
- masterIncomingViewingPublicKey: string;
6257
- masterOutgoingViewingPublicKey: string;
6258
- masterTaggingPublicKey: string;
6490
+ masterNullifierPublicKey: string | {
6491
+ x: string;
6492
+ y: string;
6493
+ };
6494
+ masterIncomingViewingPublicKey: string | {
6495
+ x: string;
6496
+ y: string;
6497
+ };
6498
+ masterOutgoingViewingPublicKey: string | {
6499
+ x: string;
6500
+ y: string;
6501
+ };
6502
+ masterTaggingPublicKey: string | {
6503
+ x: string;
6504
+ y: string;
6505
+ };
6259
6506
  }>;
6260
6507
  }, "strip", z.ZodTypeAny, {
6261
6508
  salt: Fr;
@@ -6268,10 +6515,22 @@ export declare class AvmCircuitInputs {
6268
6515
  hintKey: number;
6269
6516
  }, {
6270
6517
  publicKeys: {
6271
- masterNullifierPublicKey: string;
6272
- masterIncomingViewingPublicKey: string;
6273
- masterOutgoingViewingPublicKey: string;
6274
- masterTaggingPublicKey: string;
6518
+ masterNullifierPublicKey: string | {
6519
+ x: string;
6520
+ y: string;
6521
+ };
6522
+ masterIncomingViewingPublicKey: string | {
6523
+ x: string;
6524
+ y: string;
6525
+ };
6526
+ masterOutgoingViewingPublicKey: string | {
6527
+ x: string;
6528
+ y: string;
6529
+ };
6530
+ masterTaggingPublicKey: string | {
6531
+ x: string;
6532
+ y: string;
6533
+ };
6275
6534
  };
6276
6535
  hintKey: number;
6277
6536
  salt?: any;
@@ -6282,10 +6541,22 @@ export declare class AvmCircuitInputs {
6282
6541
  address?: any;
6283
6542
  }>, AvmContractInstanceHint, {
6284
6543
  publicKeys: {
6285
- masterNullifierPublicKey: string;
6286
- masterIncomingViewingPublicKey: string;
6287
- masterOutgoingViewingPublicKey: string;
6288
- masterTaggingPublicKey: string;
6544
+ masterNullifierPublicKey: string | {
6545
+ x: string;
6546
+ y: string;
6547
+ };
6548
+ masterIncomingViewingPublicKey: string | {
6549
+ x: string;
6550
+ y: string;
6551
+ };
6552
+ masterOutgoingViewingPublicKey: string | {
6553
+ x: string;
6554
+ y: string;
6555
+ };
6556
+ masterTaggingPublicKey: string | {
6557
+ x: string;
6558
+ y: string;
6559
+ };
6289
6560
  };
6290
6561
  hintKey: number;
6291
6562
  salt?: any;
@@ -6297,51 +6568,33 @@ export declare class AvmCircuitInputs {
6297
6568
  }>, "many">;
6298
6569
  contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
6299
6570
  hintKey: z.ZodNumber;
6300
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
6301
- artifactHash: import("../schemas/schemas.js").ZodFor<Fr>;
6302
- privateFunctionsRoot: import("../schemas/schemas.js").ZodFor<Fr>;
6303
- packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer<ArrayBuffer>, string>, z.ZodEffects<z.ZodObject<{
6304
- type: z.ZodLiteral<"Buffer">;
6305
- data: z.ZodArray<z.ZodNumber, "many">;
6306
- }, "strip", z.ZodTypeAny, {
6307
- type: "Buffer";
6308
- data: number[];
6309
- }, {
6310
- type: "Buffer";
6311
- data: number[];
6312
- }>, Buffer<ArrayBuffer>, {
6313
- type: "Buffer";
6314
- data: number[];
6315
- }>]>;
6571
+ classId: ZodFor<Fr>;
6572
+ artifactHash: ZodFor<Fr>;
6573
+ privateFunctionsRoot: ZodFor<Fr>;
6574
+ packedBytecode: ZodFor<Buffer<ArrayBufferLike>>;
6316
6575
  }, "strip", z.ZodTypeAny, {
6317
6576
  artifactHash: Fr;
6318
- packedBytecode: Buffer<ArrayBuffer>;
6577
+ packedBytecode: Buffer<ArrayBufferLike>;
6319
6578
  privateFunctionsRoot: Fr;
6320
6579
  hintKey: number;
6321
6580
  classId: Fr;
6322
6581
  }, {
6323
- packedBytecode: string | {
6324
- type: "Buffer";
6325
- data: number[];
6326
- };
6327
6582
  hintKey: number;
6328
6583
  artifactHash?: any;
6584
+ packedBytecode?: any;
6329
6585
  privateFunctionsRoot?: any;
6330
6586
  classId?: any;
6331
6587
  }>, AvmContractClassHint, {
6332
- packedBytecode: string | {
6333
- type: "Buffer";
6334
- data: number[];
6335
- };
6336
6588
  hintKey: number;
6337
6589
  artifactHash?: any;
6590
+ packedBytecode?: any;
6338
6591
  privateFunctionsRoot?: any;
6339
6592
  classId?: any;
6340
6593
  }>, "many">;
6341
6594
  bytecodeCommitments: z.ZodArray<z.ZodEffects<z.ZodObject<{
6342
6595
  hintKey: z.ZodNumber;
6343
- classId: import("../schemas/schemas.js").ZodFor<Fr>;
6344
- commitment: import("../schemas/schemas.js").ZodFor<Fr>;
6596
+ classId: ZodFor<Fr>;
6597
+ commitment: ZodFor<Fr>;
6345
6598
  }, "strip", z.ZodTypeAny, {
6346
6599
  hintKey: number;
6347
6600
  classId: Fr;
@@ -6356,8 +6609,8 @@ export declare class AvmCircuitInputs {
6356
6609
  commitment?: any;
6357
6610
  }>, "many">;
6358
6611
  debugFunctionNames: z.ZodArray<z.ZodEffects<z.ZodObject<{
6359
- address: import("../schemas/schemas.js").ZodFor<AztecAddress>;
6360
- selector: import("../schemas/schemas.js").ZodFor<Fr>;
6612
+ address: ZodFor<AztecAddress>;
6613
+ selector: ZodFor<Fr>;
6361
6614
  name: z.ZodString;
6362
6615
  }, "strip", z.ZodTypeAny, {
6363
6616
  name: string;
@@ -6372,9 +6625,60 @@ export declare class AvmCircuitInputs {
6372
6625
  selector?: any;
6373
6626
  address?: any;
6374
6627
  }>, "many">;
6628
+ contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6629
+ actionCounter: z.ZodNumber;
6630
+ oldCheckpointId: z.ZodNumber;
6631
+ newCheckpointId: z.ZodNumber;
6632
+ }, "strip", z.ZodTypeAny, {
6633
+ actionCounter: number;
6634
+ oldCheckpointId: number;
6635
+ newCheckpointId: number;
6636
+ }, {
6637
+ actionCounter: number;
6638
+ oldCheckpointId: number;
6639
+ newCheckpointId: number;
6640
+ }>, AvmCheckpointActionNoStateChangeHint, {
6641
+ actionCounter: number;
6642
+ oldCheckpointId: number;
6643
+ newCheckpointId: number;
6644
+ }>, "many">;
6645
+ contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6646
+ actionCounter: z.ZodNumber;
6647
+ oldCheckpointId: z.ZodNumber;
6648
+ newCheckpointId: z.ZodNumber;
6649
+ }, "strip", z.ZodTypeAny, {
6650
+ actionCounter: number;
6651
+ oldCheckpointId: number;
6652
+ newCheckpointId: number;
6653
+ }, {
6654
+ actionCounter: number;
6655
+ oldCheckpointId: number;
6656
+ newCheckpointId: number;
6657
+ }>, AvmCheckpointActionNoStateChangeHint, {
6658
+ actionCounter: number;
6659
+ oldCheckpointId: number;
6660
+ newCheckpointId: number;
6661
+ }>, "many">;
6662
+ contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6663
+ actionCounter: z.ZodNumber;
6664
+ oldCheckpointId: z.ZodNumber;
6665
+ newCheckpointId: z.ZodNumber;
6666
+ }, "strip", z.ZodTypeAny, {
6667
+ actionCounter: number;
6668
+ oldCheckpointId: number;
6669
+ newCheckpointId: number;
6670
+ }, {
6671
+ actionCounter: number;
6672
+ oldCheckpointId: number;
6673
+ newCheckpointId: number;
6674
+ }>, AvmCheckpointActionNoStateChangeHint, {
6675
+ actionCounter: number;
6676
+ oldCheckpointId: number;
6677
+ newCheckpointId: number;
6678
+ }>, "many">;
6375
6679
  startingTreeRoots: z.ZodEffects<z.ZodObject<{
6376
6680
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
6377
- root: z.ZodType<Fr, any, string>;
6681
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6378
6682
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6379
6683
  }, "strip", z.ZodTypeAny, {
6380
6684
  root: Fr;
@@ -6387,7 +6691,7 @@ export declare class AvmCircuitInputs {
6387
6691
  nextAvailableLeafIndex: string | number | bigint;
6388
6692
  }>;
6389
6693
  noteHashTree: z.ZodEffects<z.ZodObject<{
6390
- root: z.ZodType<Fr, any, string>;
6694
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6391
6695
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6392
6696
  }, "strip", z.ZodTypeAny, {
6393
6697
  root: Fr;
@@ -6400,7 +6704,7 @@ export declare class AvmCircuitInputs {
6400
6704
  nextAvailableLeafIndex: string | number | bigint;
6401
6705
  }>;
6402
6706
  nullifierTree: z.ZodEffects<z.ZodObject<{
6403
- root: z.ZodType<Fr, any, string>;
6707
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6404
6708
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6405
6709
  }, "strip", z.ZodTypeAny, {
6406
6710
  root: Fr;
@@ -6413,7 +6717,7 @@ export declare class AvmCircuitInputs {
6413
6717
  nextAvailableLeafIndex: string | number | bigint;
6414
6718
  }>;
6415
6719
  publicDataTree: z.ZodEffects<z.ZodObject<{
6416
- root: z.ZodType<Fr, any, string>;
6720
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6417
6721
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6418
6722
  }, "strip", z.ZodTypeAny, {
6419
6723
  root: Fr;
@@ -6467,7 +6771,7 @@ export declare class AvmCircuitInputs {
6467
6771
  }>;
6468
6772
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6469
6773
  hintKey: z.ZodEffects<z.ZodObject<{
6470
- root: z.ZodType<Fr, any, string>;
6774
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6471
6775
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6472
6776
  }, "strip", z.ZodTypeAny, {
6473
6777
  root: Fr;
@@ -6481,7 +6785,7 @@ export declare class AvmCircuitInputs {
6481
6785
  }>;
6482
6786
  treeId: z.ZodNumber;
6483
6787
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6484
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
6788
+ path: z.ZodArray<ZodFor<Fr>, "many">;
6485
6789
  }, "strip", z.ZodTypeAny, {
6486
6790
  path: Fr[];
6487
6791
  index: bigint;
@@ -6506,7 +6810,7 @@ export declare class AvmCircuitInputs {
6506
6810
  }>, "many">;
6507
6811
  getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6508
6812
  hintKey: z.ZodEffects<z.ZodObject<{
6509
- root: z.ZodType<Fr, any, string>;
6813
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6510
6814
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6511
6815
  }, "strip", z.ZodTypeAny, {
6512
6816
  root: Fr;
@@ -6519,7 +6823,7 @@ export declare class AvmCircuitInputs {
6519
6823
  nextAvailableLeafIndex: string | number | bigint;
6520
6824
  }>;
6521
6825
  treeId: z.ZodNumber;
6522
- value: import("../schemas/schemas.js").ZodFor<Fr>;
6826
+ value: ZodFor<Fr>;
6523
6827
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6524
6828
  alreadyPresent: z.ZodBoolean;
6525
6829
  }, "strip", z.ZodTypeAny, {
@@ -6549,7 +6853,7 @@ export declare class AvmCircuitInputs {
6549
6853
  }>, "many">;
6550
6854
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
6551
6855
  hintKey: z.ZodEffects<z.ZodObject<{
6552
- root: z.ZodType<Fr, any, string>;
6856
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6553
6857
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6554
6858
  }, "strip", z.ZodTypeAny, {
6555
6859
  root: Fr;
@@ -6564,7 +6868,7 @@ export declare class AvmCircuitInputs {
6564
6868
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6565
6869
  leafPreimage: z.ZodEffects<z.ZodObject<{
6566
6870
  leaf: z.ZodEffects<z.ZodObject<{
6567
- nullifier: z.ZodType<Fr, any, string>;
6871
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6568
6872
  }, "strip", z.ZodTypeAny, {
6569
6873
  nullifier: Fr;
6570
6874
  }, {
@@ -6572,7 +6876,7 @@ export declare class AvmCircuitInputs {
6572
6876
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
6573
6877
  nullifier: string;
6574
6878
  }>;
6575
- nextKey: z.ZodType<Fr, any, string>;
6879
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6576
6880
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6577
6881
  }, "strip", z.ZodTypeAny, {
6578
6882
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6592,8 +6896,8 @@ export declare class AvmCircuitInputs {
6592
6896
  nextIndex: string | number | bigint;
6593
6897
  }> | z.ZodEffects<z.ZodObject<{
6594
6898
  leaf: z.ZodEffects<z.ZodObject<{
6595
- slot: z.ZodType<Fr, any, string>;
6596
- value: z.ZodType<Fr, any, string>;
6899
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6900
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6597
6901
  }, "strip", z.ZodTypeAny, {
6598
6902
  value: Fr;
6599
6903
  slot: Fr;
@@ -6604,7 +6908,7 @@ export declare class AvmCircuitInputs {
6604
6908
  value: string;
6605
6909
  slot: string;
6606
6910
  }>;
6607
- nextKey: z.ZodType<Fr, any, string>;
6911
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6608
6912
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6609
6913
  }, "strip", z.ZodTypeAny, {
6610
6914
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6676,7 +6980,7 @@ export declare class AvmCircuitInputs {
6676
6980
  }>, "many">;
6677
6981
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
6678
6982
  hintKey: z.ZodEffects<z.ZodObject<{
6679
- root: z.ZodType<Fr, any, string>;
6983
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6680
6984
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6681
6985
  }, "strip", z.ZodTypeAny, {
6682
6986
  root: Fr;
@@ -6691,7 +6995,7 @@ export declare class AvmCircuitInputs {
6691
6995
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6692
6996
  leafPreimage: z.ZodEffects<z.ZodObject<{
6693
6997
  leaf: z.ZodEffects<z.ZodObject<{
6694
- nullifier: z.ZodType<Fr, any, string>;
6998
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6695
6999
  }, "strip", z.ZodTypeAny, {
6696
7000
  nullifier: Fr;
6697
7001
  }, {
@@ -6699,7 +7003,7 @@ export declare class AvmCircuitInputs {
6699
7003
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
6700
7004
  nullifier: string;
6701
7005
  }>;
6702
- nextKey: z.ZodType<Fr, any, string>;
7006
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6703
7007
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6704
7008
  }, "strip", z.ZodTypeAny, {
6705
7009
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6719,8 +7023,8 @@ export declare class AvmCircuitInputs {
6719
7023
  nextIndex: string | number | bigint;
6720
7024
  }> | z.ZodEffects<z.ZodObject<{
6721
7025
  leaf: z.ZodEffects<z.ZodObject<{
6722
- slot: z.ZodType<Fr, any, string>;
6723
- value: z.ZodType<Fr, any, string>;
7026
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7027
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6724
7028
  }, "strip", z.ZodTypeAny, {
6725
7029
  value: Fr;
6726
7030
  slot: Fr;
@@ -6731,7 +7035,7 @@ export declare class AvmCircuitInputs {
6731
7035
  value: string;
6732
7036
  slot: string;
6733
7037
  }>;
6734
- nextKey: z.ZodType<Fr, any, string>;
7038
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6735
7039
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6736
7040
  }, "strip", z.ZodTypeAny, {
6737
7041
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6803,7 +7107,7 @@ export declare class AvmCircuitInputs {
6803
7107
  }>, "many">;
6804
7108
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
6805
7109
  hintKey: z.ZodEffects<z.ZodObject<{
6806
- root: z.ZodType<Fr, any, string>;
7110
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6807
7111
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6808
7112
  }, "strip", z.ZodTypeAny, {
6809
7113
  root: Fr;
@@ -6817,7 +7121,7 @@ export declare class AvmCircuitInputs {
6817
7121
  }>;
6818
7122
  treeId: z.ZodNumber;
6819
7123
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6820
- value: import("../schemas/schemas.js").ZodFor<Fr>;
7124
+ value: ZodFor<Fr>;
6821
7125
  }, "strip", z.ZodTypeAny, {
6822
7126
  value: Fr;
6823
7127
  index: bigint;
@@ -6842,7 +7146,7 @@ export declare class AvmCircuitInputs {
6842
7146
  }>, "many">;
6843
7147
  sequentialInsertHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
6844
7148
  hintKey: z.ZodEffects<z.ZodObject<{
6845
- root: z.ZodType<Fr, any, string>;
7149
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6846
7150
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6847
7151
  }, "strip", z.ZodTypeAny, {
6848
7152
  root: Fr;
@@ -6855,7 +7159,7 @@ export declare class AvmCircuitInputs {
6855
7159
  nextAvailableLeafIndex: string | number | bigint;
6856
7160
  }>;
6857
7161
  stateAfter: z.ZodEffects<z.ZodObject<{
6858
- root: z.ZodType<Fr, any, string>;
7162
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6859
7163
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
6860
7164
  }, "strip", z.ZodTypeAny, {
6861
7165
  root: Fr;
@@ -6869,7 +7173,7 @@ export declare class AvmCircuitInputs {
6869
7173
  }>;
6870
7174
  treeId: z.ZodNumber;
6871
7175
  leaf: z.ZodEffects<z.ZodObject<{
6872
- nullifier: z.ZodType<Fr, any, string>;
7176
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6873
7177
  }, "strip", z.ZodTypeAny, {
6874
7178
  nullifier: Fr;
6875
7179
  }, {
@@ -6877,8 +7181,8 @@ export declare class AvmCircuitInputs {
6877
7181
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
6878
7182
  nullifier: string;
6879
7183
  }> | z.ZodEffects<z.ZodObject<{
6880
- slot: z.ZodType<Fr, any, string>;
6881
- value: z.ZodType<Fr, any, string>;
7184
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7185
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6882
7186
  }, "strip", z.ZodTypeAny, {
6883
7187
  value: Fr;
6884
7188
  slot: Fr;
@@ -6892,7 +7196,7 @@ export declare class AvmCircuitInputs {
6892
7196
  lowLeavesWitnessData: z.ZodObject<{
6893
7197
  leaf: z.ZodEffects<z.ZodObject<{
6894
7198
  leaf: z.ZodEffects<z.ZodObject<{
6895
- nullifier: z.ZodType<Fr, any, string>;
7199
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6896
7200
  }, "strip", z.ZodTypeAny, {
6897
7201
  nullifier: Fr;
6898
7202
  }, {
@@ -6900,7 +7204,7 @@ export declare class AvmCircuitInputs {
6900
7204
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
6901
7205
  nullifier: string;
6902
7206
  }>;
6903
- nextKey: z.ZodType<Fr, any, string>;
7207
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6904
7208
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6905
7209
  }, "strip", z.ZodTypeAny, {
6906
7210
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -6920,8 +7224,8 @@ export declare class AvmCircuitInputs {
6920
7224
  nextIndex: string | number | bigint;
6921
7225
  }> | z.ZodEffects<z.ZodObject<{
6922
7226
  leaf: z.ZodEffects<z.ZodObject<{
6923
- slot: z.ZodType<Fr, any, string>;
6924
- value: z.ZodType<Fr, any, string>;
7227
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7228
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6925
7229
  }, "strip", z.ZodTypeAny, {
6926
7230
  value: Fr;
6927
7231
  slot: Fr;
@@ -6932,7 +7236,7 @@ export declare class AvmCircuitInputs {
6932
7236
  value: string;
6933
7237
  slot: string;
6934
7238
  }>;
6935
- nextKey: z.ZodType<Fr, any, string>;
7239
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6936
7240
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6937
7241
  }, "strip", z.ZodTypeAny, {
6938
7242
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -6954,7 +7258,7 @@ export declare class AvmCircuitInputs {
6954
7258
  nextIndex: string | number | bigint;
6955
7259
  }>;
6956
7260
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6957
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
7261
+ path: z.ZodArray<ZodFor<Fr>, "many">;
6958
7262
  }, "strip", z.ZodTypeAny, {
6959
7263
  path: Fr[];
6960
7264
  index: bigint;
@@ -6980,7 +7284,7 @@ export declare class AvmCircuitInputs {
6980
7284
  insertionWitnessData: z.ZodObject<{
6981
7285
  leaf: z.ZodEffects<z.ZodObject<{
6982
7286
  leaf: z.ZodEffects<z.ZodObject<{
6983
- nullifier: z.ZodType<Fr, any, string>;
7287
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6984
7288
  }, "strip", z.ZodTypeAny, {
6985
7289
  nullifier: Fr;
6986
7290
  }, {
@@ -6988,7 +7292,7 @@ export declare class AvmCircuitInputs {
6988
7292
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
6989
7293
  nullifier: string;
6990
7294
  }>;
6991
- nextKey: z.ZodType<Fr, any, string>;
7295
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
6992
7296
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
6993
7297
  }, "strip", z.ZodTypeAny, {
6994
7298
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7008,8 +7312,8 @@ export declare class AvmCircuitInputs {
7008
7312
  nextIndex: string | number | bigint;
7009
7313
  }> | z.ZodEffects<z.ZodObject<{
7010
7314
  leaf: z.ZodEffects<z.ZodObject<{
7011
- slot: z.ZodType<Fr, any, string>;
7012
- value: z.ZodType<Fr, any, string>;
7315
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7316
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7013
7317
  }, "strip", z.ZodTypeAny, {
7014
7318
  value: Fr;
7015
7319
  slot: Fr;
@@ -7020,7 +7324,7 @@ export declare class AvmCircuitInputs {
7020
7324
  value: string;
7021
7325
  slot: string;
7022
7326
  }>;
7023
- nextKey: z.ZodType<Fr, any, string>;
7327
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7024
7328
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7025
7329
  }, "strip", z.ZodTypeAny, {
7026
7330
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7042,7 +7346,7 @@ export declare class AvmCircuitInputs {
7042
7346
  nextIndex: string | number | bigint;
7043
7347
  }>;
7044
7348
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7045
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
7349
+ path: z.ZodArray<ZodFor<Fr>, "many">;
7046
7350
  }, "strip", z.ZodTypeAny, {
7047
7351
  path: Fr[];
7048
7352
  index: bigint;
@@ -7202,7 +7506,7 @@ export declare class AvmCircuitInputs {
7202
7506
  }>, "many">;
7203
7507
  sequentialInsertHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
7204
7508
  hintKey: z.ZodEffects<z.ZodObject<{
7205
- root: z.ZodType<Fr, any, string>;
7509
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7206
7510
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7207
7511
  }, "strip", z.ZodTypeAny, {
7208
7512
  root: Fr;
@@ -7215,7 +7519,7 @@ export declare class AvmCircuitInputs {
7215
7519
  nextAvailableLeafIndex: string | number | bigint;
7216
7520
  }>;
7217
7521
  stateAfter: z.ZodEffects<z.ZodObject<{
7218
- root: z.ZodType<Fr, any, string>;
7522
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7219
7523
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7220
7524
  }, "strip", z.ZodTypeAny, {
7221
7525
  root: Fr;
@@ -7229,7 +7533,7 @@ export declare class AvmCircuitInputs {
7229
7533
  }>;
7230
7534
  treeId: z.ZodNumber;
7231
7535
  leaf: z.ZodEffects<z.ZodObject<{
7232
- nullifier: z.ZodType<Fr, any, string>;
7536
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7233
7537
  }, "strip", z.ZodTypeAny, {
7234
7538
  nullifier: Fr;
7235
7539
  }, {
@@ -7237,8 +7541,8 @@ export declare class AvmCircuitInputs {
7237
7541
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
7238
7542
  nullifier: string;
7239
7543
  }> | z.ZodEffects<z.ZodObject<{
7240
- slot: z.ZodType<Fr, any, string>;
7241
- value: z.ZodType<Fr, any, string>;
7544
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7545
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7242
7546
  }, "strip", z.ZodTypeAny, {
7243
7547
  value: Fr;
7244
7548
  slot: Fr;
@@ -7252,7 +7556,7 @@ export declare class AvmCircuitInputs {
7252
7556
  lowLeavesWitnessData: z.ZodObject<{
7253
7557
  leaf: z.ZodEffects<z.ZodObject<{
7254
7558
  leaf: z.ZodEffects<z.ZodObject<{
7255
- nullifier: z.ZodType<Fr, any, string>;
7559
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7256
7560
  }, "strip", z.ZodTypeAny, {
7257
7561
  nullifier: Fr;
7258
7562
  }, {
@@ -7260,7 +7564,7 @@ export declare class AvmCircuitInputs {
7260
7564
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
7261
7565
  nullifier: string;
7262
7566
  }>;
7263
- nextKey: z.ZodType<Fr, any, string>;
7567
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7264
7568
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7265
7569
  }, "strip", z.ZodTypeAny, {
7266
7570
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7280,8 +7584,8 @@ export declare class AvmCircuitInputs {
7280
7584
  nextIndex: string | number | bigint;
7281
7585
  }> | z.ZodEffects<z.ZodObject<{
7282
7586
  leaf: z.ZodEffects<z.ZodObject<{
7283
- slot: z.ZodType<Fr, any, string>;
7284
- value: z.ZodType<Fr, any, string>;
7587
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7588
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7285
7589
  }, "strip", z.ZodTypeAny, {
7286
7590
  value: Fr;
7287
7591
  slot: Fr;
@@ -7292,7 +7596,7 @@ export declare class AvmCircuitInputs {
7292
7596
  value: string;
7293
7597
  slot: string;
7294
7598
  }>;
7295
- nextKey: z.ZodType<Fr, any, string>;
7599
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7296
7600
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7297
7601
  }, "strip", z.ZodTypeAny, {
7298
7602
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7314,7 +7618,7 @@ export declare class AvmCircuitInputs {
7314
7618
  nextIndex: string | number | bigint;
7315
7619
  }>;
7316
7620
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7317
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
7621
+ path: z.ZodArray<ZodFor<Fr>, "many">;
7318
7622
  }, "strip", z.ZodTypeAny, {
7319
7623
  path: Fr[];
7320
7624
  index: bigint;
@@ -7340,7 +7644,7 @@ export declare class AvmCircuitInputs {
7340
7644
  insertionWitnessData: z.ZodObject<{
7341
7645
  leaf: z.ZodEffects<z.ZodObject<{
7342
7646
  leaf: z.ZodEffects<z.ZodObject<{
7343
- nullifier: z.ZodType<Fr, any, string>;
7647
+ nullifier: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7344
7648
  }, "strip", z.ZodTypeAny, {
7345
7649
  nullifier: Fr;
7346
7650
  }, {
@@ -7348,7 +7652,7 @@ export declare class AvmCircuitInputs {
7348
7652
  }>, import("../trees/nullifier_leaf.js").NullifierLeaf, {
7349
7653
  nullifier: string;
7350
7654
  }>;
7351
- nextKey: z.ZodType<Fr, any, string>;
7655
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7352
7656
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7353
7657
  }, "strip", z.ZodTypeAny, {
7354
7658
  leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
@@ -7368,8 +7672,8 @@ export declare class AvmCircuitInputs {
7368
7672
  nextIndex: string | number | bigint;
7369
7673
  }> | z.ZodEffects<z.ZodObject<{
7370
7674
  leaf: z.ZodEffects<z.ZodObject<{
7371
- slot: z.ZodType<Fr, any, string>;
7372
- value: z.ZodType<Fr, any, string>;
7675
+ slot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7676
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7373
7677
  }, "strip", z.ZodTypeAny, {
7374
7678
  value: Fr;
7375
7679
  slot: Fr;
@@ -7380,7 +7684,7 @@ export declare class AvmCircuitInputs {
7380
7684
  value: string;
7381
7685
  slot: string;
7382
7686
  }>;
7383
- nextKey: z.ZodType<Fr, any, string>;
7687
+ nextKey: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7384
7688
  nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7385
7689
  }, "strip", z.ZodTypeAny, {
7386
7690
  leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
@@ -7402,7 +7706,7 @@ export declare class AvmCircuitInputs {
7402
7706
  nextIndex: string | number | bigint;
7403
7707
  }>;
7404
7708
  index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
7405
- path: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
7709
+ path: z.ZodArray<ZodFor<Fr>, "many">;
7406
7710
  }, "strip", z.ZodTypeAny, {
7407
7711
  path: Fr[];
7408
7712
  index: bigint;
@@ -7562,7 +7866,7 @@ export declare class AvmCircuitInputs {
7562
7866
  }>, "many">;
7563
7867
  appendLeavesHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
7564
7868
  hintKey: z.ZodEffects<z.ZodObject<{
7565
- root: z.ZodType<Fr, any, string>;
7869
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7566
7870
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7567
7871
  }, "strip", z.ZodTypeAny, {
7568
7872
  root: Fr;
@@ -7575,7 +7879,7 @@ export declare class AvmCircuitInputs {
7575
7879
  nextAvailableLeafIndex: string | number | bigint;
7576
7880
  }>;
7577
7881
  stateAfter: z.ZodEffects<z.ZodObject<{
7578
- root: z.ZodType<Fr, any, string>;
7882
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7579
7883
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7580
7884
  }, "strip", z.ZodTypeAny, {
7581
7885
  root: Fr;
@@ -7588,7 +7892,7 @@ export declare class AvmCircuitInputs {
7588
7892
  nextAvailableLeafIndex: string | number | bigint;
7589
7893
  }>;
7590
7894
  treeId: z.ZodNumber;
7591
- leaves: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
7895
+ leaves: z.ZodArray<ZodFor<Fr>, "many">;
7592
7896
  }, "strip", z.ZodTypeAny, {
7593
7897
  hintKey: AppendOnlyTreeSnapshot;
7594
7898
  treeId: number;
@@ -7657,7 +7961,7 @@ export declare class AvmCircuitInputs {
7657
7961
  newCheckpointId: z.ZodNumber;
7658
7962
  stateBefore: z.ZodEffects<z.ZodObject<{
7659
7963
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
7660
- root: z.ZodType<Fr, any, string>;
7964
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7661
7965
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7662
7966
  }, "strip", z.ZodTypeAny, {
7663
7967
  root: Fr;
@@ -7670,7 +7974,7 @@ export declare class AvmCircuitInputs {
7670
7974
  nextAvailableLeafIndex: string | number | bigint;
7671
7975
  }>;
7672
7976
  noteHashTree: z.ZodEffects<z.ZodObject<{
7673
- root: z.ZodType<Fr, any, string>;
7977
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7674
7978
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7675
7979
  }, "strip", z.ZodTypeAny, {
7676
7980
  root: Fr;
@@ -7683,7 +7987,7 @@ export declare class AvmCircuitInputs {
7683
7987
  nextAvailableLeafIndex: string | number | bigint;
7684
7988
  }>;
7685
7989
  nullifierTree: z.ZodEffects<z.ZodObject<{
7686
- root: z.ZodType<Fr, any, string>;
7990
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7687
7991
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7688
7992
  }, "strip", z.ZodTypeAny, {
7689
7993
  root: Fr;
@@ -7696,7 +8000,7 @@ export declare class AvmCircuitInputs {
7696
8000
  nextAvailableLeafIndex: string | number | bigint;
7697
8001
  }>;
7698
8002
  publicDataTree: z.ZodEffects<z.ZodObject<{
7699
- root: z.ZodType<Fr, any, string>;
8003
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7700
8004
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7701
8005
  }, "strip", z.ZodTypeAny, {
7702
8006
  root: Fr;
@@ -7750,7 +8054,7 @@ export declare class AvmCircuitInputs {
7750
8054
  }>;
7751
8055
  stateAfter: z.ZodEffects<z.ZodObject<{
7752
8056
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
7753
- root: z.ZodType<Fr, any, string>;
8057
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7754
8058
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7755
8059
  }, "strip", z.ZodTypeAny, {
7756
8060
  root: Fr;
@@ -7763,7 +8067,7 @@ export declare class AvmCircuitInputs {
7763
8067
  nextAvailableLeafIndex: string | number | bigint;
7764
8068
  }>;
7765
8069
  noteHashTree: z.ZodEffects<z.ZodObject<{
7766
- root: z.ZodType<Fr, any, string>;
8070
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7767
8071
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7768
8072
  }, "strip", z.ZodTypeAny, {
7769
8073
  root: Fr;
@@ -7776,7 +8080,7 @@ export declare class AvmCircuitInputs {
7776
8080
  nextAvailableLeafIndex: string | number | bigint;
7777
8081
  }>;
7778
8082
  nullifierTree: z.ZodEffects<z.ZodObject<{
7779
- root: z.ZodType<Fr, any, string>;
8083
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7780
8084
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7781
8085
  }, "strip", z.ZodTypeAny, {
7782
8086
  root: Fr;
@@ -7789,7 +8093,7 @@ export declare class AvmCircuitInputs {
7789
8093
  nextAvailableLeafIndex: string | number | bigint;
7790
8094
  }>;
7791
8095
  publicDataTree: z.ZodEffects<z.ZodObject<{
7792
- root: z.ZodType<Fr, any, string>;
8096
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
7793
8097
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
7794
8098
  }, "strip", z.ZodTypeAny, {
7795
8099
  root: Fr;
@@ -7842,12 +8146,15 @@ export declare class AvmCircuitInputs {
7842
8146
  };
7843
8147
  }>;
7844
8148
  }, "strip", z.ZodTypeAny, {
7845
- stateAfter: TreeSnapshots;
7846
8149
  actionCounter: number;
7847
8150
  oldCheckpointId: number;
7848
8151
  newCheckpointId: number;
8152
+ stateAfter: TreeSnapshots;
7849
8153
  stateBefore: TreeSnapshots;
7850
8154
  }, {
8155
+ actionCounter: number;
8156
+ oldCheckpointId: number;
8157
+ newCheckpointId: number;
7851
8158
  stateAfter: {
7852
8159
  noteHashTree: {
7853
8160
  root: string;
@@ -7866,9 +8173,6 @@ export declare class AvmCircuitInputs {
7866
8173
  nextAvailableLeafIndex: string | number | bigint;
7867
8174
  };
7868
8175
  };
7869
- actionCounter: number;
7870
- oldCheckpointId: number;
7871
- newCheckpointId: number;
7872
8176
  stateBefore: {
7873
8177
  noteHashTree: {
7874
8178
  root: string;
@@ -7888,6 +8192,9 @@ export declare class AvmCircuitInputs {
7888
8192
  };
7889
8193
  };
7890
8194
  }>, AvmRevertCheckpointHint, {
8195
+ actionCounter: number;
8196
+ oldCheckpointId: number;
8197
+ newCheckpointId: number;
7891
8198
  stateAfter: {
7892
8199
  noteHashTree: {
7893
8200
  root: string;
@@ -7906,9 +8213,6 @@ export declare class AvmCircuitInputs {
7906
8213
  nextAvailableLeafIndex: string | number | bigint;
7907
8214
  };
7908
8215
  };
7909
- actionCounter: number;
7910
- oldCheckpointId: number;
7911
- newCheckpointId: number;
7912
8216
  stateBefore: {
7913
8217
  noteHashTree: {
7914
8218
  root: string;
@@ -7928,57 +8232,6 @@ export declare class AvmCircuitInputs {
7928
8232
  };
7929
8233
  };
7930
8234
  }>, "many">;
7931
- contractDBCreateCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
7932
- actionCounter: z.ZodNumber;
7933
- oldCheckpointId: z.ZodNumber;
7934
- newCheckpointId: z.ZodNumber;
7935
- }, "strip", z.ZodTypeAny, {
7936
- actionCounter: number;
7937
- oldCheckpointId: number;
7938
- newCheckpointId: number;
7939
- }, {
7940
- actionCounter: number;
7941
- oldCheckpointId: number;
7942
- newCheckpointId: number;
7943
- }>, AvmCheckpointActionNoStateChangeHint, {
7944
- actionCounter: number;
7945
- oldCheckpointId: number;
7946
- newCheckpointId: number;
7947
- }>, "many">;
7948
- contractDBCommitCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
7949
- actionCounter: z.ZodNumber;
7950
- oldCheckpointId: z.ZodNumber;
7951
- newCheckpointId: z.ZodNumber;
7952
- }, "strip", z.ZodTypeAny, {
7953
- actionCounter: number;
7954
- oldCheckpointId: number;
7955
- newCheckpointId: number;
7956
- }, {
7957
- actionCounter: number;
7958
- oldCheckpointId: number;
7959
- newCheckpointId: number;
7960
- }>, AvmCheckpointActionNoStateChangeHint, {
7961
- actionCounter: number;
7962
- oldCheckpointId: number;
7963
- newCheckpointId: number;
7964
- }>, "many">;
7965
- contractDBRevertCheckpointHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
7966
- actionCounter: z.ZodNumber;
7967
- oldCheckpointId: z.ZodNumber;
7968
- newCheckpointId: z.ZodNumber;
7969
- }, "strip", z.ZodTypeAny, {
7970
- actionCounter: number;
7971
- oldCheckpointId: number;
7972
- newCheckpointId: number;
7973
- }, {
7974
- actionCounter: number;
7975
- oldCheckpointId: number;
7976
- newCheckpointId: number;
7977
- }>, AvmCheckpointActionNoStateChangeHint, {
7978
- actionCounter: number;
7979
- oldCheckpointId: number;
7980
- newCheckpointId: number;
7981
- }>, "many">;
7982
8235
  }, "strip", z.ZodTypeAny, {
7983
8236
  globalVariables: GlobalVariables;
7984
8237
  protocolContracts: ProtocolContracts;
@@ -7987,6 +8240,9 @@ export declare class AvmCircuitInputs {
7987
8240
  contractClasses: AvmContractClassHint[];
7988
8241
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
7989
8242
  debugFunctionNames: AvmDebugFunctionNameHint[];
8243
+ contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8244
+ contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8245
+ contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
7990
8246
  startingTreeRoots: TreeSnapshots;
7991
8247
  getSiblingPathHints: AvmGetSiblingPathHint[];
7992
8248
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
@@ -8037,9 +8293,6 @@ export declare class AvmCircuitInputs {
8037
8293
  createCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8038
8294
  commitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8039
8295
  revertCheckpointHints: AvmRevertCheckpointHint[];
8040
- contractDBCreateCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8041
- contractDBCommitCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8042
- contractDBRevertCheckpointHints: AvmCheckpointActionNoStateChangeHint[];
8043
8296
  }, {
8044
8297
  globalVariables: {
8045
8298
  blockNumber: string | number | bigint;
@@ -8140,10 +8393,22 @@ export declare class AvmCircuitInputs {
8140
8393
  };
8141
8394
  contractInstances: {
8142
8395
  publicKeys: {
8143
- masterNullifierPublicKey: string;
8144
- masterIncomingViewingPublicKey: string;
8145
- masterOutgoingViewingPublicKey: string;
8146
- masterTaggingPublicKey: string;
8396
+ masterNullifierPublicKey: string | {
8397
+ x: string;
8398
+ y: string;
8399
+ };
8400
+ masterIncomingViewingPublicKey: string | {
8401
+ x: string;
8402
+ y: string;
8403
+ };
8404
+ masterOutgoingViewingPublicKey: string | {
8405
+ x: string;
8406
+ y: string;
8407
+ };
8408
+ masterTaggingPublicKey: string | {
8409
+ x: string;
8410
+ y: string;
8411
+ };
8147
8412
  };
8148
8413
  hintKey: number;
8149
8414
  salt?: any;
@@ -8154,12 +8419,9 @@ export declare class AvmCircuitInputs {
8154
8419
  address?: any;
8155
8420
  }[];
8156
8421
  contractClasses: {
8157
- packedBytecode: string | {
8158
- type: "Buffer";
8159
- data: number[];
8160
- };
8161
8422
  hintKey: number;
8162
8423
  artifactHash?: any;
8424
+ packedBytecode?: any;
8163
8425
  privateFunctionsRoot?: any;
8164
8426
  classId?: any;
8165
8427
  }[];
@@ -8173,6 +8435,21 @@ export declare class AvmCircuitInputs {
8173
8435
  selector?: any;
8174
8436
  address?: any;
8175
8437
  }[];
8438
+ contractDBCreateCheckpointHints: {
8439
+ actionCounter: number;
8440
+ oldCheckpointId: number;
8441
+ newCheckpointId: number;
8442
+ }[];
8443
+ contractDBCommitCheckpointHints: {
8444
+ actionCounter: number;
8445
+ oldCheckpointId: number;
8446
+ newCheckpointId: number;
8447
+ }[];
8448
+ contractDBRevertCheckpointHints: {
8449
+ actionCounter: number;
8450
+ oldCheckpointId: number;
8451
+ newCheckpointId: number;
8452
+ }[];
8176
8453
  startingTreeRoots: {
8177
8454
  noteHashTree: {
8178
8455
  root: string;
@@ -8390,6 +8667,9 @@ export declare class AvmCircuitInputs {
8390
8667
  newCheckpointId: number;
8391
8668
  }[];
8392
8669
  revertCheckpointHints: {
8670
+ actionCounter: number;
8671
+ oldCheckpointId: number;
8672
+ newCheckpointId: number;
8393
8673
  stateAfter: {
8394
8674
  noteHashTree: {
8395
8675
  root: string;
@@ -8408,9 +8688,6 @@ export declare class AvmCircuitInputs {
8408
8688
  nextAvailableLeafIndex: string | number | bigint;
8409
8689
  };
8410
8690
  };
8411
- actionCounter: number;
8412
- oldCheckpointId: number;
8413
- newCheckpointId: number;
8414
8691
  stateBefore: {
8415
8692
  noteHashTree: {
8416
8693
  root: string;
@@ -8430,21 +8707,6 @@ export declare class AvmCircuitInputs {
8430
8707
  };
8431
8708
  };
8432
8709
  }[];
8433
- contractDBCreateCheckpointHints: {
8434
- actionCounter: number;
8435
- oldCheckpointId: number;
8436
- newCheckpointId: number;
8437
- }[];
8438
- contractDBCommitCheckpointHints: {
8439
- actionCounter: number;
8440
- oldCheckpointId: number;
8441
- newCheckpointId: number;
8442
- }[];
8443
- contractDBRevertCheckpointHints: {
8444
- actionCounter: number;
8445
- oldCheckpointId: number;
8446
- newCheckpointId: number;
8447
- }[];
8448
8710
  }>, AvmExecutionHints, {
8449
8711
  globalVariables: {
8450
8712
  blockNumber: string | number | bigint;
@@ -8545,10 +8807,22 @@ export declare class AvmCircuitInputs {
8545
8807
  };
8546
8808
  contractInstances: {
8547
8809
  publicKeys: {
8548
- masterNullifierPublicKey: string;
8549
- masterIncomingViewingPublicKey: string;
8550
- masterOutgoingViewingPublicKey: string;
8551
- masterTaggingPublicKey: string;
8810
+ masterNullifierPublicKey: string | {
8811
+ x: string;
8812
+ y: string;
8813
+ };
8814
+ masterIncomingViewingPublicKey: string | {
8815
+ x: string;
8816
+ y: string;
8817
+ };
8818
+ masterOutgoingViewingPublicKey: string | {
8819
+ x: string;
8820
+ y: string;
8821
+ };
8822
+ masterTaggingPublicKey: string | {
8823
+ x: string;
8824
+ y: string;
8825
+ };
8552
8826
  };
8553
8827
  hintKey: number;
8554
8828
  salt?: any;
@@ -8559,12 +8833,9 @@ export declare class AvmCircuitInputs {
8559
8833
  address?: any;
8560
8834
  }[];
8561
8835
  contractClasses: {
8562
- packedBytecode: string | {
8563
- type: "Buffer";
8564
- data: number[];
8565
- };
8566
8836
  hintKey: number;
8567
8837
  artifactHash?: any;
8838
+ packedBytecode?: any;
8568
8839
  privateFunctionsRoot?: any;
8569
8840
  classId?: any;
8570
8841
  }[];
@@ -8578,6 +8849,21 @@ export declare class AvmCircuitInputs {
8578
8849
  selector?: any;
8579
8850
  address?: any;
8580
8851
  }[];
8852
+ contractDBCreateCheckpointHints: {
8853
+ actionCounter: number;
8854
+ oldCheckpointId: number;
8855
+ newCheckpointId: number;
8856
+ }[];
8857
+ contractDBCommitCheckpointHints: {
8858
+ actionCounter: number;
8859
+ oldCheckpointId: number;
8860
+ newCheckpointId: number;
8861
+ }[];
8862
+ contractDBRevertCheckpointHints: {
8863
+ actionCounter: number;
8864
+ oldCheckpointId: number;
8865
+ newCheckpointId: number;
8866
+ }[];
8581
8867
  startingTreeRoots: {
8582
8868
  noteHashTree: {
8583
8869
  root: string;
@@ -8795,6 +9081,9 @@ export declare class AvmCircuitInputs {
8795
9081
  newCheckpointId: number;
8796
9082
  }[];
8797
9083
  revertCheckpointHints: {
9084
+ actionCounter: number;
9085
+ oldCheckpointId: number;
9086
+ newCheckpointId: number;
8798
9087
  stateAfter: {
8799
9088
  noteHashTree: {
8800
9089
  root: string;
@@ -8813,9 +9102,6 @@ export declare class AvmCircuitInputs {
8813
9102
  nextAvailableLeafIndex: string | number | bigint;
8814
9103
  };
8815
9104
  };
8816
- actionCounter: number;
8817
- oldCheckpointId: number;
8818
- newCheckpointId: number;
8819
9105
  stateBefore: {
8820
9106
  noteHashTree: {
8821
9107
  root: string;
@@ -8835,31 +9121,16 @@ export declare class AvmCircuitInputs {
8835
9121
  };
8836
9122
  };
8837
9123
  }[];
8838
- contractDBCreateCheckpointHints: {
8839
- actionCounter: number;
8840
- oldCheckpointId: number;
8841
- newCheckpointId: number;
8842
- }[];
8843
- contractDBCommitCheckpointHints: {
8844
- actionCounter: number;
8845
- oldCheckpointId: number;
8846
- newCheckpointId: number;
8847
- }[];
8848
- contractDBRevertCheckpointHints: {
8849
- actionCounter: number;
8850
- oldCheckpointId: number;
8851
- newCheckpointId: number;
8852
- }[];
8853
9124
  }>;
8854
9125
  publicInputs: z.ZodEffects<z.ZodObject<{
8855
9126
  globalVariables: z.ZodEffects<z.ZodObject<{
8856
- chainId: import("../schemas/schemas.js").ZodFor<Fr>;
8857
- version: import("../schemas/schemas.js").ZodFor<Fr>;
9127
+ chainId: ZodFor<Fr>;
9128
+ version: ZodFor<Fr>;
8858
9129
  blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
8859
- slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
9130
+ slotNumber: ZodFor<Fr>;
8860
9131
  timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
8861
- coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
8862
- feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9132
+ coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
9133
+ feeRecipient: ZodFor<AztecAddress>;
8863
9134
  gasFees: z.ZodEffects<z.ZodObject<{
8864
9135
  feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
8865
9136
  feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -8908,7 +9179,7 @@ export declare class AvmCircuitInputs {
8908
9179
  feeRecipient?: any;
8909
9180
  }>;
8910
9181
  protocolContracts: z.ZodEffects<z.ZodObject<{
8911
- derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
9182
+ derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
8912
9183
  }, "strip", z.ZodTypeAny, {
8913
9184
  derivedAddresses: AztecAddress[];
8914
9185
  }, {
@@ -8918,7 +9189,7 @@ export declare class AvmCircuitInputs {
8918
9189
  }>;
8919
9190
  startTreeSnapshots: z.ZodEffects<z.ZodObject<{
8920
9191
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
8921
- root: z.ZodType<Fr, any, string>;
9192
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
8922
9193
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
8923
9194
  }, "strip", z.ZodTypeAny, {
8924
9195
  root: Fr;
@@ -8931,7 +9202,7 @@ export declare class AvmCircuitInputs {
8931
9202
  nextAvailableLeafIndex: string | number | bigint;
8932
9203
  }>;
8933
9204
  noteHashTree: z.ZodEffects<z.ZodObject<{
8934
- root: z.ZodType<Fr, any, string>;
9205
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
8935
9206
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
8936
9207
  }, "strip", z.ZodTypeAny, {
8937
9208
  root: Fr;
@@ -8944,7 +9215,7 @@ export declare class AvmCircuitInputs {
8944
9215
  nextAvailableLeafIndex: string | number | bigint;
8945
9216
  }>;
8946
9217
  nullifierTree: z.ZodEffects<z.ZodObject<{
8947
- root: z.ZodType<Fr, any, string>;
9218
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
8948
9219
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
8949
9220
  }, "strip", z.ZodTypeAny, {
8950
9221
  root: Fr;
@@ -8957,7 +9228,7 @@ export declare class AvmCircuitInputs {
8957
9228
  nextAvailableLeafIndex: string | number | bigint;
8958
9229
  }>;
8959
9230
  publicDataTree: z.ZodEffects<z.ZodObject<{
8960
- root: z.ZodType<Fr, any, string>;
9231
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
8961
9232
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
8962
9233
  }, "strip", z.ZodTypeAny, {
8963
9234
  root: Fr;
@@ -9128,8 +9399,8 @@ export declare class AvmCircuitInputs {
9128
9399
  feePerDaGas: string | number | bigint;
9129
9400
  feePerL2Gas: string | number | bigint;
9130
9401
  }>;
9131
- feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9132
- proverId: z.ZodType<Fr, any, string>;
9402
+ feePayer: ZodFor<AztecAddress>;
9403
+ proverId: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9133
9404
  publicCallRequestArrayLengths: z.ZodEffects<z.ZodObject<{
9134
9405
  setupCalls: z.ZodNumber;
9135
9406
  appLogicCalls: z.ZodNumber;
@@ -9148,10 +9419,10 @@ export declare class AvmCircuitInputs {
9148
9419
  teardownCall: boolean;
9149
9420
  }>;
9150
9421
  publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
9151
- msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9152
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9422
+ msgSender: ZodFor<AztecAddress>;
9423
+ contractAddress: ZodFor<AztecAddress>;
9153
9424
  isStaticCall: z.ZodBoolean;
9154
- calldataHash: z.ZodType<Fr, any, string>;
9425
+ calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9155
9426
  }, "strip", z.ZodTypeAny, {
9156
9427
  contractAddress: AztecAddress;
9157
9428
  msgSender: AztecAddress;
@@ -9169,10 +9440,10 @@ export declare class AvmCircuitInputs {
9169
9440
  msgSender?: any;
9170
9441
  }>, "many">;
9171
9442
  publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
9172
- msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9173
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9443
+ msgSender: ZodFor<AztecAddress>;
9444
+ contractAddress: ZodFor<AztecAddress>;
9174
9445
  isStaticCall: z.ZodBoolean;
9175
- calldataHash: z.ZodType<Fr, any, string>;
9446
+ calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9176
9447
  }, "strip", z.ZodTypeAny, {
9177
9448
  contractAddress: AztecAddress;
9178
9449
  msgSender: AztecAddress;
@@ -9190,10 +9461,10 @@ export declare class AvmCircuitInputs {
9190
9461
  msgSender?: any;
9191
9462
  }>, "many">;
9192
9463
  publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
9193
- msgSender: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9194
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9464
+ msgSender: ZodFor<AztecAddress>;
9465
+ contractAddress: ZodFor<AztecAddress>;
9195
9466
  isStaticCall: z.ZodBoolean;
9196
- calldataHash: z.ZodType<Fr, any, string>;
9467
+ calldataHash: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9197
9468
  }, "strip", z.ZodTypeAny, {
9198
9469
  contractAddress: AztecAddress;
9199
9470
  msgSender: AztecAddress;
@@ -9245,12 +9516,12 @@ export declare class AvmCircuitInputs {
9245
9516
  l2ToL1Msgs: string | number | bigint;
9246
9517
  }>;
9247
9518
  previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
9248
- noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9249
- nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9519
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9520
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9250
9521
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
9251
9522
  message: z.ZodEffects<z.ZodObject<{
9252
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
9253
- content: z.ZodType<Fr, any, string>;
9523
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
9524
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9254
9525
  }, "strip", z.ZodTypeAny, {
9255
9526
  content: Fr;
9256
9527
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9261,7 +9532,7 @@ export declare class AvmCircuitInputs {
9261
9532
  content: string;
9262
9533
  recipient: string;
9263
9534
  }>;
9264
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9535
+ contractAddress: ZodFor<AztecAddress>;
9265
9536
  }, "strip", z.ZodTypeAny, {
9266
9537
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
9267
9538
  contractAddress: AztecAddress;
@@ -9304,12 +9575,12 @@ export declare class AvmCircuitInputs {
9304
9575
  }[];
9305
9576
  }>;
9306
9577
  previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
9307
- noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9308
- nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9578
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9579
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9309
9580
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
9310
9581
  message: z.ZodEffects<z.ZodObject<{
9311
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
9312
- content: z.ZodType<Fr, any, string>;
9582
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
9583
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9313
9584
  }, "strip", z.ZodTypeAny, {
9314
9585
  content: Fr;
9315
9586
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9320,7 +9591,7 @@ export declare class AvmCircuitInputs {
9320
9591
  content: string;
9321
9592
  recipient: string;
9322
9593
  }>;
9323
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9594
+ contractAddress: ZodFor<AztecAddress>;
9324
9595
  }, "strip", z.ZodTypeAny, {
9325
9596
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
9326
9597
  contractAddress: AztecAddress;
@@ -9364,7 +9635,7 @@ export declare class AvmCircuitInputs {
9364
9635
  }>;
9365
9636
  endTreeSnapshots: z.ZodEffects<z.ZodObject<{
9366
9637
  l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
9367
- root: z.ZodType<Fr, any, string>;
9638
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9368
9639
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
9369
9640
  }, "strip", z.ZodTypeAny, {
9370
9641
  root: Fr;
@@ -9377,7 +9648,7 @@ export declare class AvmCircuitInputs {
9377
9648
  nextAvailableLeafIndex: string | number | bigint;
9378
9649
  }>;
9379
9650
  noteHashTree: z.ZodEffects<z.ZodObject<{
9380
- root: z.ZodType<Fr, any, string>;
9651
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9381
9652
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
9382
9653
  }, "strip", z.ZodTypeAny, {
9383
9654
  root: Fr;
@@ -9390,7 +9661,7 @@ export declare class AvmCircuitInputs {
9390
9661
  nextAvailableLeafIndex: string | number | bigint;
9391
9662
  }>;
9392
9663
  nullifierTree: z.ZodEffects<z.ZodObject<{
9393
- root: z.ZodType<Fr, any, string>;
9664
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9394
9665
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
9395
9666
  }, "strip", z.ZodTypeAny, {
9396
9667
  root: Fr;
@@ -9403,7 +9674,7 @@ export declare class AvmCircuitInputs {
9403
9674
  nextAvailableLeafIndex: string | number | bigint;
9404
9675
  }>;
9405
9676
  publicDataTree: z.ZodEffects<z.ZodObject<{
9406
- root: z.ZodType<Fr, any, string>;
9677
+ root: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9407
9678
  nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
9408
9679
  }, "strip", z.ZodTypeAny, {
9409
9680
  root: Fr;
@@ -9490,12 +9761,12 @@ export declare class AvmCircuitInputs {
9490
9761
  publicDataWrites: number;
9491
9762
  }>;
9492
9763
  accumulatedData: z.ZodEffects<z.ZodObject<{
9493
- noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9494
- nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
9764
+ noteHashes: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9765
+ nullifiers: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
9495
9766
  l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
9496
9767
  message: z.ZodEffects<z.ZodObject<{
9497
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
9498
- content: z.ZodType<Fr, any, string>;
9768
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
9769
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9499
9770
  }, "strip", z.ZodTypeAny, {
9500
9771
  content: Fr;
9501
9772
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -9506,7 +9777,7 @@ export declare class AvmCircuitInputs {
9506
9777
  content: string;
9507
9778
  recipient: string;
9508
9779
  }>;
9509
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
9780
+ contractAddress: ZodFor<AztecAddress>;
9510
9781
  }, "strip", z.ZodTypeAny, {
9511
9782
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
9512
9783
  contractAddress: AztecAddress;
@@ -9523,10 +9794,10 @@ export declare class AvmCircuitInputs {
9523
9794
  };
9524
9795
  contractAddress?: any;
9525
9796
  }>, "many">;
9526
- publicLogs: import("../schemas/schemas.js").ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
9797
+ publicLogs: ZodFor<import("../logs/public_log.js").FlatPublicLogs>;
9527
9798
  publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
9528
- leafSlot: z.ZodType<Fr, any, string>;
9529
- value: z.ZodType<Fr, any, string>;
9799
+ leafSlot: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9800
+ value: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9530
9801
  }, "strip", z.ZodTypeAny, {
9531
9802
  value: Fr;
9532
9803
  leafSlot: Fr;
@@ -9574,7 +9845,7 @@ export declare class AvmCircuitInputs {
9574
9845
  }[];
9575
9846
  publicLogs?: any;
9576
9847
  }>;
9577
- transactionFee: z.ZodType<Fr, any, string>;
9848
+ transactionFee: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
9578
9849
  reverted: z.ZodBoolean;
9579
9850
  }, "strip", z.ZodTypeAny, {
9580
9851
  globalVariables: GlobalVariables;
@@ -10197,10 +10468,22 @@ export declare class AvmCircuitInputs {
10197
10468
  };
10198
10469
  contractInstances: {
10199
10470
  publicKeys: {
10200
- masterNullifierPublicKey: string;
10201
- masterIncomingViewingPublicKey: string;
10202
- masterOutgoingViewingPublicKey: string;
10203
- masterTaggingPublicKey: string;
10471
+ masterNullifierPublicKey: string | {
10472
+ x: string;
10473
+ y: string;
10474
+ };
10475
+ masterIncomingViewingPublicKey: string | {
10476
+ x: string;
10477
+ y: string;
10478
+ };
10479
+ masterOutgoingViewingPublicKey: string | {
10480
+ x: string;
10481
+ y: string;
10482
+ };
10483
+ masterTaggingPublicKey: string | {
10484
+ x: string;
10485
+ y: string;
10486
+ };
10204
10487
  };
10205
10488
  hintKey: number;
10206
10489
  salt?: any;
@@ -10211,12 +10494,9 @@ export declare class AvmCircuitInputs {
10211
10494
  address?: any;
10212
10495
  }[];
10213
10496
  contractClasses: {
10214
- packedBytecode: string | {
10215
- type: "Buffer";
10216
- data: number[];
10217
- };
10218
10497
  hintKey: number;
10219
10498
  artifactHash?: any;
10499
+ packedBytecode?: any;
10220
10500
  privateFunctionsRoot?: any;
10221
10501
  classId?: any;
10222
10502
  }[];
@@ -10230,6 +10510,21 @@ export declare class AvmCircuitInputs {
10230
10510
  selector?: any;
10231
10511
  address?: any;
10232
10512
  }[];
10513
+ contractDBCreateCheckpointHints: {
10514
+ actionCounter: number;
10515
+ oldCheckpointId: number;
10516
+ newCheckpointId: number;
10517
+ }[];
10518
+ contractDBCommitCheckpointHints: {
10519
+ actionCounter: number;
10520
+ oldCheckpointId: number;
10521
+ newCheckpointId: number;
10522
+ }[];
10523
+ contractDBRevertCheckpointHints: {
10524
+ actionCounter: number;
10525
+ oldCheckpointId: number;
10526
+ newCheckpointId: number;
10527
+ }[];
10233
10528
  startingTreeRoots: {
10234
10529
  noteHashTree: {
10235
10530
  root: string;
@@ -10447,6 +10742,9 @@ export declare class AvmCircuitInputs {
10447
10742
  newCheckpointId: number;
10448
10743
  }[];
10449
10744
  revertCheckpointHints: {
10745
+ actionCounter: number;
10746
+ oldCheckpointId: number;
10747
+ newCheckpointId: number;
10450
10748
  stateAfter: {
10451
10749
  noteHashTree: {
10452
10750
  root: string;
@@ -10465,9 +10763,6 @@ export declare class AvmCircuitInputs {
10465
10763
  nextAvailableLeafIndex: string | number | bigint;
10466
10764
  };
10467
10765
  };
10468
- actionCounter: number;
10469
- oldCheckpointId: number;
10470
- newCheckpointId: number;
10471
10766
  stateBefore: {
10472
10767
  noteHashTree: {
10473
10768
  root: string;
@@ -10487,21 +10782,6 @@ export declare class AvmCircuitInputs {
10487
10782
  };
10488
10783
  };
10489
10784
  }[];
10490
- contractDBCreateCheckpointHints: {
10491
- actionCounter: number;
10492
- oldCheckpointId: number;
10493
- newCheckpointId: number;
10494
- }[];
10495
- contractDBCommitCheckpointHints: {
10496
- actionCounter: number;
10497
- oldCheckpointId: number;
10498
- newCheckpointId: number;
10499
- }[];
10500
- contractDBRevertCheckpointHints: {
10501
- actionCounter: number;
10502
- oldCheckpointId: number;
10503
- newCheckpointId: number;
10504
- }[];
10505
10785
  };
10506
10786
  }>, AvmCircuitInputs, {
10507
10787
  publicInputs: {
@@ -10769,10 +11049,22 @@ export declare class AvmCircuitInputs {
10769
11049
  };
10770
11050
  contractInstances: {
10771
11051
  publicKeys: {
10772
- masterNullifierPublicKey: string;
10773
- masterIncomingViewingPublicKey: string;
10774
- masterOutgoingViewingPublicKey: string;
10775
- masterTaggingPublicKey: string;
11052
+ masterNullifierPublicKey: string | {
11053
+ x: string;
11054
+ y: string;
11055
+ };
11056
+ masterIncomingViewingPublicKey: string | {
11057
+ x: string;
11058
+ y: string;
11059
+ };
11060
+ masterOutgoingViewingPublicKey: string | {
11061
+ x: string;
11062
+ y: string;
11063
+ };
11064
+ masterTaggingPublicKey: string | {
11065
+ x: string;
11066
+ y: string;
11067
+ };
10776
11068
  };
10777
11069
  hintKey: number;
10778
11070
  salt?: any;
@@ -10783,12 +11075,9 @@ export declare class AvmCircuitInputs {
10783
11075
  address?: any;
10784
11076
  }[];
10785
11077
  contractClasses: {
10786
- packedBytecode: string | {
10787
- type: "Buffer";
10788
- data: number[];
10789
- };
10790
11078
  hintKey: number;
10791
11079
  artifactHash?: any;
11080
+ packedBytecode?: any;
10792
11081
  privateFunctionsRoot?: any;
10793
11082
  classId?: any;
10794
11083
  }[];
@@ -10802,6 +11091,21 @@ export declare class AvmCircuitInputs {
10802
11091
  selector?: any;
10803
11092
  address?: any;
10804
11093
  }[];
11094
+ contractDBCreateCheckpointHints: {
11095
+ actionCounter: number;
11096
+ oldCheckpointId: number;
11097
+ newCheckpointId: number;
11098
+ }[];
11099
+ contractDBCommitCheckpointHints: {
11100
+ actionCounter: number;
11101
+ oldCheckpointId: number;
11102
+ newCheckpointId: number;
11103
+ }[];
11104
+ contractDBRevertCheckpointHints: {
11105
+ actionCounter: number;
11106
+ oldCheckpointId: number;
11107
+ newCheckpointId: number;
11108
+ }[];
10805
11109
  startingTreeRoots: {
10806
11110
  noteHashTree: {
10807
11111
  root: string;
@@ -11019,6 +11323,9 @@ export declare class AvmCircuitInputs {
11019
11323
  newCheckpointId: number;
11020
11324
  }[];
11021
11325
  revertCheckpointHints: {
11326
+ actionCounter: number;
11327
+ oldCheckpointId: number;
11328
+ newCheckpointId: number;
11022
11329
  stateAfter: {
11023
11330
  noteHashTree: {
11024
11331
  root: string;
@@ -11037,9 +11344,6 @@ export declare class AvmCircuitInputs {
11037
11344
  nextAvailableLeafIndex: string | number | bigint;
11038
11345
  };
11039
11346
  };
11040
- actionCounter: number;
11041
- oldCheckpointId: number;
11042
- newCheckpointId: number;
11043
11347
  stateBefore: {
11044
11348
  noteHashTree: {
11045
11349
  root: string;
@@ -11059,21 +11363,6 @@ export declare class AvmCircuitInputs {
11059
11363
  };
11060
11364
  };
11061
11365
  }[];
11062
- contractDBCreateCheckpointHints: {
11063
- actionCounter: number;
11064
- oldCheckpointId: number;
11065
- newCheckpointId: number;
11066
- }[];
11067
- contractDBCommitCheckpointHints: {
11068
- actionCounter: number;
11069
- oldCheckpointId: number;
11070
- newCheckpointId: number;
11071
- }[];
11072
- contractDBRevertCheckpointHints: {
11073
- actionCounter: number;
11074
- oldCheckpointId: number;
11075
- newCheckpointId: number;
11076
- }[];
11077
11366
  };
11078
11367
  }>;
11079
11368
  serializeWithMessagePack(): Buffer;
@@ -11098,117 +11387,7 @@ export declare class PublicTxResult {
11098
11387
  constructor(gasUsed: GasUsed, revertCode: RevertCode, revertReason: SimulationError | undefined, // Revert reason, if any
11099
11388
  processedPhases: ProcessedPhase[] | undefined, logs: DebugLog[] | undefined, hints: AvmExecutionHints | undefined, publicInputs: AvmCircuitPublicInputs);
11100
11389
  static empty(): PublicTxResult;
11101
- static get partialSchema(): z.ZodObject<{
11102
- gasUsed: z.ZodObject<{
11103
- totalGas: z.ZodEffects<z.ZodObject<{
11104
- daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11105
- l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11106
- }, "strip", z.ZodTypeAny, {
11107
- daGas: number;
11108
- l2Gas: number;
11109
- }, {
11110
- daGas: string | number | bigint;
11111
- l2Gas: string | number | bigint;
11112
- }>, Gas, {
11113
- daGas: string | number | bigint;
11114
- l2Gas: string | number | bigint;
11115
- }>;
11116
- teardownGas: z.ZodEffects<z.ZodObject<{
11117
- daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11118
- l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11119
- }, "strip", z.ZodTypeAny, {
11120
- daGas: number;
11121
- l2Gas: number;
11122
- }, {
11123
- daGas: string | number | bigint;
11124
- l2Gas: string | number | bigint;
11125
- }>, Gas, {
11126
- daGas: string | number | bigint;
11127
- l2Gas: string | number | bigint;
11128
- }>;
11129
- publicGas: z.ZodEffects<z.ZodObject<{
11130
- daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11131
- l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11132
- }, "strip", z.ZodTypeAny, {
11133
- daGas: number;
11134
- l2Gas: number;
11135
- }, {
11136
- daGas: string | number | bigint;
11137
- l2Gas: string | number | bigint;
11138
- }>, Gas, {
11139
- daGas: string | number | bigint;
11140
- l2Gas: string | number | bigint;
11141
- }>;
11142
- billedGas: z.ZodEffects<z.ZodObject<{
11143
- daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11144
- l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11145
- }, "strip", z.ZodTypeAny, {
11146
- daGas: number;
11147
- l2Gas: number;
11148
- }, {
11149
- daGas: string | number | bigint;
11150
- l2Gas: string | number | bigint;
11151
- }>, Gas, {
11152
- daGas: string | number | bigint;
11153
- l2Gas: string | number | bigint;
11154
- }>;
11155
- }, "strip", z.ZodTypeAny, {
11156
- totalGas: Gas;
11157
- teardownGas: Gas;
11158
- publicGas: Gas;
11159
- billedGas: Gas;
11160
- }, {
11161
- totalGas: {
11162
- daGas: string | number | bigint;
11163
- l2Gas: string | number | bigint;
11164
- };
11165
- teardownGas: {
11166
- daGas: string | number | bigint;
11167
- l2Gas: string | number | bigint;
11168
- };
11169
- publicGas: {
11170
- daGas: string | number | bigint;
11171
- l2Gas: string | number | bigint;
11172
- };
11173
- billedGas: {
11174
- daGas: string | number | bigint;
11175
- l2Gas: string | number | bigint;
11176
- };
11177
- }>;
11178
- revertCode: import("../schemas/schemas.js").ZodFor<RevertCode>;
11179
- }, "strip", z.ZodTypeAny, {
11180
- gasUsed: {
11181
- totalGas: Gas;
11182
- teardownGas: Gas;
11183
- publicGas: Gas;
11184
- billedGas: Gas;
11185
- };
11186
- revertCode: RevertCode;
11187
- }, {
11188
- gasUsed: {
11189
- totalGas: {
11190
- daGas: string | number | bigint;
11191
- l2Gas: string | number | bigint;
11192
- };
11193
- teardownGas: {
11194
- daGas: string | number | bigint;
11195
- l2Gas: string | number | bigint;
11196
- };
11197
- publicGas: {
11198
- daGas: string | number | bigint;
11199
- l2Gas: string | number | bigint;
11200
- };
11201
- billedGas: {
11202
- daGas: string | number | bigint;
11203
- l2Gas: string | number | bigint;
11204
- };
11205
- };
11206
- revertCode?: any;
11207
- }>;
11208
- static fromJSON(json: any): {
11209
- gasUsed: GasUsed;
11210
- revertCode: RevertCode;
11211
- };
11390
+ static get schema(): ZodFor<PublicTxResult>;
11212
11391
  }
11213
11392
  export type PublicTxSimulatorConfig = {
11214
11393
  proverId: Fr;
@@ -11352,9 +11531,9 @@ export declare class AvmFastSimulationInputs {
11352
11531
  }>;
11353
11532
  nonRevertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
11354
11533
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
11355
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11534
+ contractAddress: ZodFor<AztecAddress>;
11356
11535
  fields: z.ZodEffects<z.ZodObject<{
11357
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
11536
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
11358
11537
  }, "strip", z.ZodTypeAny, {
11359
11538
  fields: Fr[];
11360
11539
  }, {
@@ -11381,7 +11560,7 @@ export declare class AvmFastSimulationInputs {
11381
11560
  contractAddress?: any;
11382
11561
  }>, "many">;
11383
11562
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
11384
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
11563
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
11385
11564
  emittedLength: z.ZodNumber;
11386
11565
  }, "strict", z.ZodTypeAny, {
11387
11566
  fields: Fr[];
@@ -11423,9 +11602,9 @@ export declare class AvmFastSimulationInputs {
11423
11602
  }>;
11424
11603
  revertibleContractDeploymentData: z.ZodEffects<z.ZodObject<{
11425
11604
  contractClassLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
11426
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11605
+ contractAddress: ZodFor<AztecAddress>;
11427
11606
  fields: z.ZodEffects<z.ZodObject<{
11428
- fields: z.ZodEffects<z.ZodArray<z.ZodType<Fr, any, string>, "many">, Fr[], string[]>;
11607
+ fields: z.ZodEffects<z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">, Fr[], string[]>;
11429
11608
  }, "strip", z.ZodTypeAny, {
11430
11609
  fields: Fr[];
11431
11610
  }, {
@@ -11452,7 +11631,7 @@ export declare class AvmFastSimulationInputs {
11452
11631
  contractAddress?: any;
11453
11632
  }>, "many">;
11454
11633
  privateLogs: z.ZodArray<z.ZodEffects<z.ZodObject<{
11455
- fields: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
11634
+ fields: z.ZodArray<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, "many">;
11456
11635
  emittedLength: z.ZodNumber;
11457
11636
  }, "strict", z.ZodTypeAny, {
11458
11637
  fields: Fr[];
@@ -11493,12 +11672,12 @@ export declare class AvmFastSimulationInputs {
11493
11672
  }[];
11494
11673
  }>;
11495
11674
  nonRevertibleAccumulatedData: z.ZodObject<{
11496
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
11497
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
11675
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
11676
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
11498
11677
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
11499
11678
  message: z.ZodEffects<z.ZodObject<{
11500
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
11501
- content: z.ZodType<Fr, any, string>;
11679
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
11680
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
11502
11681
  }, "strip", z.ZodTypeAny, {
11503
11682
  content: Fr;
11504
11683
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -11509,7 +11688,7 @@ export declare class AvmFastSimulationInputs {
11509
11688
  content: string;
11510
11689
  recipient: string;
11511
11690
  }>;
11512
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11691
+ contractAddress: ZodFor<AztecAddress>;
11513
11692
  }, "strip", z.ZodTypeAny, {
11514
11693
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
11515
11694
  contractAddress: AztecAddress;
@@ -11542,12 +11721,12 @@ export declare class AvmFastSimulationInputs {
11542
11721
  }[];
11543
11722
  }>;
11544
11723
  revertibleAccumulatedData: z.ZodObject<{
11545
- noteHashes: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
11546
- nullifiers: z.ZodArray<import("../schemas/schemas.js").ZodFor<Fr>, "many">;
11724
+ noteHashes: z.ZodArray<ZodFor<Fr>, "many">;
11725
+ nullifiers: z.ZodArray<ZodFor<Fr>, "many">;
11547
11726
  l2ToL1Messages: z.ZodArray<z.ZodEffects<z.ZodObject<{
11548
11727
  message: z.ZodEffects<z.ZodObject<{
11549
- recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
11550
- content: z.ZodType<Fr, any, string>;
11728
+ recipient: z.ZodUnion<[z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>, z.ZodEffects<z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>, import("@aztec/foundation/schemas").EthAddress, string>]>;
11729
+ content: z.ZodUnion<[z.ZodType<Fr, any, string>, z.ZodType<never, any, string>]>;
11551
11730
  }, "strip", z.ZodTypeAny, {
11552
11731
  content: Fr;
11553
11732
  recipient: import("@aztec/foundation/schemas").EthAddress;
@@ -11558,7 +11737,7 @@ export declare class AvmFastSimulationInputs {
11558
11737
  content: string;
11559
11738
  recipient: string;
11560
11739
  }>;
11561
- contractAddress: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11740
+ contractAddress: ZodFor<AztecAddress>;
11562
11741
  }, "strip", z.ZodTypeAny, {
11563
11742
  message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
11564
11743
  contractAddress: AztecAddress;
@@ -11590,9 +11769,9 @@ export declare class AvmFastSimulationInputs {
11590
11769
  contractAddress?: any;
11591
11770
  }[];
11592
11771
  }>;
11593
- setupEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
11594
- appLogicEnqueuedCalls: z.ZodArray<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>, "many">;
11595
- teardownEnqueuedCall: z.ZodNullable<import("../schemas/schemas.js").ZodFor<PublicCallRequestWithCalldata>>;
11772
+ setupEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
11773
+ appLogicEnqueuedCalls: z.ZodArray<ZodFor<PublicCallRequestWithCalldata>, "many">;
11774
+ teardownEnqueuedCall: z.ZodNullable<ZodFor<PublicCallRequestWithCalldata>>;
11596
11775
  gasUsedByPrivate: z.ZodEffects<z.ZodObject<{
11597
11776
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11598
11777
  l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -11606,7 +11785,7 @@ export declare class AvmFastSimulationInputs {
11606
11785
  daGas: string | number | bigint;
11607
11786
  l2Gas: string | number | bigint;
11608
11787
  }>;
11609
- feePayer: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11788
+ feePayer: ZodFor<AztecAddress>;
11610
11789
  }, "strip", z.ZodTypeAny, {
11611
11790
  hash: string;
11612
11791
  gasSettings: GasSettings;
@@ -11790,13 +11969,13 @@ export declare class AvmFastSimulationInputs {
11790
11969
  teardownEnqueuedCall?: any;
11791
11970
  }>;
11792
11971
  globalVariables: z.ZodEffects<z.ZodObject<{
11793
- chainId: import("../schemas/schemas.js").ZodFor<Fr>;
11794
- version: import("../schemas/schemas.js").ZodFor<Fr>;
11972
+ chainId: ZodFor<Fr>;
11973
+ version: ZodFor<Fr>;
11795
11974
  blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
11796
- slotNumber: import("../schemas/schemas.js").ZodFor<Fr>;
11975
+ slotNumber: ZodFor<Fr>;
11797
11976
  timestamp: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
11798
- coinbase: import("../schemas/schemas.js").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
11799
- feeRecipient: import("../schemas/schemas.js").ZodFor<AztecAddress>;
11977
+ coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
11978
+ feeRecipient: ZodFor<AztecAddress>;
11800
11979
  gasFees: z.ZodEffects<z.ZodObject<{
11801
11980
  feePerDaGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
11802
11981
  feePerL2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
@@ -11845,7 +12024,7 @@ export declare class AvmFastSimulationInputs {
11845
12024
  feeRecipient?: any;
11846
12025
  }>;
11847
12026
  protocolContracts: z.ZodEffects<z.ZodObject<{
11848
- derivedAddresses: z.ZodArray<import("../schemas/schemas.js").ZodFor<AztecAddress>, "many">;
12027
+ derivedAddresses: z.ZodArray<ZodFor<AztecAddress>, "many">;
11849
12028
  }, "strip", z.ZodTypeAny, {
11850
12029
  derivedAddresses: AztecAddress[];
11851
12030
  }, {