@aztec/stdlib 0.77.0-testnet-ignition.17 → 0.77.0-testnet-ignition.21

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 (56) hide show
  1. package/dest/avm/avm.d.ts +3559 -414
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +117 -662
  4. package/dest/avm/avm_accumulated_data.d.ts +94 -0
  5. package/dest/avm/avm_accumulated_data.d.ts.map +1 -1
  6. package/dest/avm/avm_accumulated_data.js +12 -1
  7. package/dest/avm/avm_circuit_public_inputs.d.ts +1023 -0
  8. package/dest/avm/avm_circuit_public_inputs.d.ts.map +1 -1
  9. package/dest/avm/avm_circuit_public_inputs.js +30 -1
  10. package/dest/avm/avm_proving_request.d.ts +2567 -2
  11. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  12. package/dest/avm/message_pack.d.ts +4 -0
  13. package/dest/avm/message_pack.d.ts.map +1 -0
  14. package/dest/avm/message_pack.js +47 -0
  15. package/dest/block/l2_block_source.d.ts +17 -0
  16. package/dest/block/l2_block_source.d.ts.map +1 -1
  17. package/dest/block/l2_block_source.js +4 -0
  18. package/dest/interfaces/proving-job.d.ts +2567 -2
  19. package/dest/interfaces/proving-job.d.ts.map +1 -1
  20. package/dest/kernel/private_to_avm_accumulated_data.d.ts +85 -0
  21. package/dest/kernel/private_to_avm_accumulated_data.d.ts.map +1 -1
  22. package/dest/kernel/private_to_avm_accumulated_data.js +17 -1
  23. package/dest/kernel/public_call_request.d.ts +26 -0
  24. package/dest/kernel/public_call_request.d.ts.map +1 -1
  25. package/dest/kernel/public_call_request.js +13 -0
  26. package/dest/messaging/l2_to_l1_message.d.ts +55 -0
  27. package/dest/messaging/l2_to_l1_message.d.ts.map +1 -1
  28. package/dest/messaging/l2_to_l1_message.js +15 -0
  29. package/dest/p2p/consensus_payload.d.ts.map +1 -1
  30. package/dest/p2p/consensus_payload.js +2 -1
  31. package/dest/tests/factories.d.ts +4 -4
  32. package/dest/tests/factories.d.ts.map +1 -1
  33. package/dest/tests/factories.js +20 -19
  34. package/dest/trees/nullifier_membership_witness.d.ts +7 -7
  35. package/dest/trees/public_data_witness.d.ts +7 -7
  36. package/dest/tx/private_execution_result.js +1 -1
  37. package/dest/tx/processed_tx.d.ts +4 -0
  38. package/dest/tx/processed_tx.d.ts.map +1 -1
  39. package/dest/tx/processed_tx.js +2 -0
  40. package/dest/tx/tree_snapshots.d.ts +94 -0
  41. package/dest/tx/tree_snapshots.d.ts.map +1 -1
  42. package/dest/tx/tree_snapshots.js +9 -0
  43. package/package.json +6 -6
  44. package/src/avm/avm.ts +208 -906
  45. package/src/avm/avm_accumulated_data.ts +27 -1
  46. package/src/avm/avm_circuit_public_inputs.ts +73 -1
  47. package/src/avm/message_pack.ts +48 -0
  48. package/src/block/l2_block_source.ts +18 -0
  49. package/src/kernel/private_to_avm_accumulated_data.ts +33 -0
  50. package/src/kernel/public_call_request.ts +16 -0
  51. package/src/messaging/l2_to_l1_message.ts +22 -0
  52. package/src/p2p/consensus_payload.ts +2 -1
  53. package/src/tests/factories.ts +38 -28
  54. package/src/tx/private_execution_result.ts +1 -1
  55. package/src/tx/processed_tx.ts +6 -0
  56. package/src/tx/tree_snapshots.ts +15 -0
@@ -1,3 +1,5 @@
1
+ /// <reference types="node" resolution-mode="require"/>
2
+ /// <reference types="node" resolution-mode="require"/>
1
3
  import { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
2
4
  import type { ZodFor } from '@aztec/foundation/schemas';
3
5
  import { z } from 'zod';
@@ -33,13 +35,2576 @@ export declare function makePublicInputsAndRecursiveProof<T, N extends number =
33
35
  export declare function mapProvingRequestTypeToCircuitName(type: ProvingRequestType): ServerCircuitName;
34
36
  export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
35
37
  type: z.ZodLiteral<ProvingRequestType.PUBLIC_VM>;
36
- inputs: z.ZodType<AvmCircuitInputs, any, string>;
38
+ inputs: z.ZodEffects<z.ZodObject<{
39
+ functionName: z.ZodString;
40
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
41
+ hints: z.ZodEffects<z.ZodObject<{
42
+ enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
43
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
44
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
45
+ }, "strip", z.ZodTypeAny, {
46
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
47
+ calldata: import("@aztec/foundation/schemas").Fr[];
48
+ }, {
49
+ calldata: string[];
50
+ contractAddress?: any;
51
+ }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
52
+ calldata: string[];
53
+ contractAddress?: any;
54
+ }>, "many">;
55
+ contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
56
+ address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
57
+ exists: z.ZodBoolean;
58
+ salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
59
+ deployer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
60
+ currentContractClassId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
61
+ originalContractClassId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
62
+ initializationHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
63
+ publicKeys: z.ZodEffects<z.ZodObject<{
64
+ masterNullifierPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
65
+ masterIncomingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
66
+ masterOutgoingViewingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
67
+ masterTaggingPublicKey: z.ZodType<import("@aztec/foundation/schemas").Point, any, string>;
68
+ }, "strip", z.ZodTypeAny, {
69
+ masterNullifierPublicKey: import("@aztec/foundation/schemas").Point;
70
+ masterIncomingViewingPublicKey: import("@aztec/foundation/schemas").Point;
71
+ masterOutgoingViewingPublicKey: import("@aztec/foundation/schemas").Point;
72
+ masterTaggingPublicKey: import("@aztec/foundation/schemas").Point;
73
+ }, {
74
+ masterNullifierPublicKey: string;
75
+ masterIncomingViewingPublicKey: string;
76
+ masterOutgoingViewingPublicKey: string;
77
+ masterTaggingPublicKey: string;
78
+ }>, import("../keys/public_keys.js").PublicKeys, {
79
+ masterNullifierPublicKey: string;
80
+ masterIncomingViewingPublicKey: string;
81
+ masterOutgoingViewingPublicKey: string;
82
+ masterTaggingPublicKey: string;
83
+ }>;
84
+ updateMembershipHint: z.ZodEffects<z.ZodObject<{
85
+ leafPreimage: z.ZodEffects<z.ZodObject<{
86
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
87
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
88
+ nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
89
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
90
+ }, "strip", z.ZodTypeAny, {
91
+ value: import("@aztec/foundation/schemas").Fr;
92
+ slot: import("@aztec/foundation/schemas").Fr;
93
+ nextIndex: bigint;
94
+ nextSlot: import("@aztec/foundation/schemas").Fr;
95
+ }, {
96
+ value: string;
97
+ slot: string;
98
+ nextIndex: string | number | bigint;
99
+ nextSlot: string;
100
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
101
+ value: string;
102
+ slot: string;
103
+ nextIndex: string | number | bigint;
104
+ nextSlot: string;
105
+ }>;
106
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
107
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
108
+ }, "strip", z.ZodTypeAny, {
109
+ leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
110
+ leafIndex: import("@aztec/foundation/schemas").Fr;
111
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
112
+ }, {
113
+ leafPreimage: {
114
+ value: string;
115
+ slot: string;
116
+ nextIndex: string | number | bigint;
117
+ nextSlot: string;
118
+ };
119
+ leafIndex: string;
120
+ siblingPath: string[];
121
+ }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
122
+ leafPreimage: {
123
+ value: string;
124
+ slot: string;
125
+ nextIndex: string | number | bigint;
126
+ nextSlot: string;
127
+ };
128
+ leafIndex: string;
129
+ siblingPath: string[];
130
+ }>;
131
+ updatePreimage: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
132
+ }, "strip", z.ZodTypeAny, {
133
+ exists: boolean;
134
+ address: import("../aztec-address/index.js").AztecAddress;
135
+ salt: import("@aztec/foundation/schemas").Fr;
136
+ deployer: import("../aztec-address/index.js").AztecAddress;
137
+ currentContractClassId: import("@aztec/foundation/schemas").Fr;
138
+ originalContractClassId: import("@aztec/foundation/schemas").Fr;
139
+ initializationHash: import("@aztec/foundation/schemas").Fr;
140
+ publicKeys: import("../keys/public_keys.js").PublicKeys;
141
+ updateMembershipHint: import("../avm/avm.js").AvmPublicDataReadTreeHint;
142
+ updatePreimage: import("@aztec/foundation/schemas").Fr[];
143
+ }, {
144
+ exists: boolean;
145
+ salt: string;
146
+ currentContractClassId: string;
147
+ originalContractClassId: string;
148
+ initializationHash: string;
149
+ publicKeys: {
150
+ masterNullifierPublicKey: string;
151
+ masterIncomingViewingPublicKey: string;
152
+ masterOutgoingViewingPublicKey: string;
153
+ masterTaggingPublicKey: string;
154
+ };
155
+ updateMembershipHint: {
156
+ leafPreimage: {
157
+ value: string;
158
+ slot: string;
159
+ nextIndex: string | number | bigint;
160
+ nextSlot: string;
161
+ };
162
+ leafIndex: string;
163
+ siblingPath: string[];
164
+ };
165
+ updatePreimage: string[];
166
+ address?: any;
167
+ deployer?: any;
168
+ }>, import("../avm/avm.js").AvmContractInstanceHint, {
169
+ exists: boolean;
170
+ salt: string;
171
+ currentContractClassId: string;
172
+ originalContractClassId: string;
173
+ initializationHash: string;
174
+ publicKeys: {
175
+ masterNullifierPublicKey: string;
176
+ masterIncomingViewingPublicKey: string;
177
+ masterOutgoingViewingPublicKey: string;
178
+ masterTaggingPublicKey: string;
179
+ };
180
+ updateMembershipHint: {
181
+ leafPreimage: {
182
+ value: string;
183
+ slot: string;
184
+ nextIndex: string | number | bigint;
185
+ nextSlot: string;
186
+ };
187
+ leafIndex: string;
188
+ siblingPath: string[];
189
+ };
190
+ updatePreimage: string[];
191
+ address?: any;
192
+ deployer?: any;
193
+ }>, "many">;
194
+ contractClasses: z.ZodArray<z.ZodEffects<z.ZodObject<{
195
+ classId: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
196
+ exists: z.ZodBoolean;
197
+ artifactHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
198
+ privateFunctionsRoot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
199
+ publicBytecodeCommitment: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
200
+ packedBytecode: z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
201
+ type: z.ZodLiteral<"Buffer">;
202
+ data: z.ZodArray<z.ZodNumber, "many">;
203
+ }, "strip", z.ZodTypeAny, {
204
+ type: "Buffer";
205
+ data: number[];
206
+ }, {
207
+ type: "Buffer";
208
+ data: number[];
209
+ }>, Buffer, {
210
+ type: "Buffer";
211
+ data: number[];
212
+ }>]>;
213
+ }, "strip", z.ZodTypeAny, {
214
+ classId: import("@aztec/foundation/schemas").Fr;
215
+ exists: boolean;
216
+ artifactHash: import("@aztec/foundation/schemas").Fr;
217
+ privateFunctionsRoot: import("@aztec/foundation/schemas").Fr;
218
+ publicBytecodeCommitment: import("@aztec/foundation/schemas").Fr;
219
+ packedBytecode: Buffer;
220
+ }, {
221
+ classId: string;
222
+ exists: boolean;
223
+ artifactHash: string;
224
+ privateFunctionsRoot: string;
225
+ publicBytecodeCommitment: string;
226
+ packedBytecode: string | {
227
+ type: "Buffer";
228
+ data: number[];
229
+ };
230
+ }>, import("../avm/avm.js").AvmContractClassHint, {
231
+ classId: string;
232
+ exists: boolean;
233
+ artifactHash: string;
234
+ privateFunctionsRoot: string;
235
+ publicBytecodeCommitment: string;
236
+ packedBytecode: string | {
237
+ type: "Buffer";
238
+ data: number[];
239
+ };
240
+ }>, "many">;
241
+ publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
242
+ leafPreimage: z.ZodEffects<z.ZodObject<{
243
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
244
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
245
+ nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
246
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
247
+ }, "strip", z.ZodTypeAny, {
248
+ value: import("@aztec/foundation/schemas").Fr;
249
+ slot: import("@aztec/foundation/schemas").Fr;
250
+ nextIndex: bigint;
251
+ nextSlot: import("@aztec/foundation/schemas").Fr;
252
+ }, {
253
+ value: string;
254
+ slot: string;
255
+ nextIndex: string | number | bigint;
256
+ nextSlot: string;
257
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
258
+ value: string;
259
+ slot: string;
260
+ nextIndex: string | number | bigint;
261
+ nextSlot: string;
262
+ }>;
263
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
264
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
265
+ }, "strip", z.ZodTypeAny, {
266
+ leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
267
+ leafIndex: import("@aztec/foundation/schemas").Fr;
268
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
269
+ }, {
270
+ leafPreimage: {
271
+ value: string;
272
+ slot: string;
273
+ nextIndex: string | number | bigint;
274
+ nextSlot: string;
275
+ };
276
+ leafIndex: string;
277
+ siblingPath: string[];
278
+ }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
279
+ leafPreimage: {
280
+ value: string;
281
+ slot: string;
282
+ nextIndex: string | number | bigint;
283
+ nextSlot: string;
284
+ };
285
+ leafIndex: string;
286
+ siblingPath: string[];
287
+ }>, "many">;
288
+ publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
289
+ lowLeafRead: z.ZodEffects<z.ZodObject<{
290
+ leafPreimage: z.ZodEffects<z.ZodObject<{
291
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
292
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
293
+ nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
294
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
295
+ }, "strip", z.ZodTypeAny, {
296
+ value: import("@aztec/foundation/schemas").Fr;
297
+ slot: import("@aztec/foundation/schemas").Fr;
298
+ nextIndex: bigint;
299
+ nextSlot: import("@aztec/foundation/schemas").Fr;
300
+ }, {
301
+ value: string;
302
+ slot: string;
303
+ nextIndex: string | number | bigint;
304
+ nextSlot: string;
305
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
306
+ value: string;
307
+ slot: string;
308
+ nextIndex: string | number | bigint;
309
+ nextSlot: string;
310
+ }>;
311
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
312
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
313
+ }, "strip", z.ZodTypeAny, {
314
+ leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
315
+ leafIndex: import("@aztec/foundation/schemas").Fr;
316
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
317
+ }, {
318
+ leafPreimage: {
319
+ value: string;
320
+ slot: string;
321
+ nextIndex: string | number | bigint;
322
+ nextSlot: string;
323
+ };
324
+ leafIndex: string;
325
+ siblingPath: string[];
326
+ }>, import("../avm/avm.js").AvmPublicDataReadTreeHint, {
327
+ leafPreimage: {
328
+ value: string;
329
+ slot: string;
330
+ nextIndex: string | number | bigint;
331
+ nextSlot: string;
332
+ };
333
+ leafIndex: string;
334
+ siblingPath: string[];
335
+ }>;
336
+ newLeafPreimage: z.ZodEffects<z.ZodObject<{
337
+ slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
338
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
339
+ nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
340
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
341
+ }, "strip", z.ZodTypeAny, {
342
+ value: import("@aztec/foundation/schemas").Fr;
343
+ slot: import("@aztec/foundation/schemas").Fr;
344
+ nextIndex: bigint;
345
+ nextSlot: import("@aztec/foundation/schemas").Fr;
346
+ }, {
347
+ value: string;
348
+ slot: string;
349
+ nextIndex: string | number | bigint;
350
+ nextSlot: string;
351
+ }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
352
+ value: string;
353
+ slot: string;
354
+ nextIndex: string | number | bigint;
355
+ nextSlot: string;
356
+ }>;
357
+ insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
358
+ }, "strip", z.ZodTypeAny, {
359
+ lowLeafRead: import("../avm/avm.js").AvmPublicDataReadTreeHint;
360
+ insertionPath: import("@aztec/foundation/schemas").Fr[];
361
+ newLeafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
362
+ }, {
363
+ lowLeafRead: {
364
+ leafPreimage: {
365
+ value: string;
366
+ slot: string;
367
+ nextIndex: string | number | bigint;
368
+ nextSlot: string;
369
+ };
370
+ leafIndex: string;
371
+ siblingPath: string[];
372
+ };
373
+ insertionPath: string[];
374
+ newLeafPreimage: {
375
+ value: string;
376
+ slot: string;
377
+ nextIndex: string | number | bigint;
378
+ nextSlot: string;
379
+ };
380
+ }>, import("../avm/avm.js").AvmPublicDataWriteTreeHint, {
381
+ lowLeafRead: {
382
+ leafPreimage: {
383
+ value: string;
384
+ slot: string;
385
+ nextIndex: string | number | bigint;
386
+ nextSlot: string;
387
+ };
388
+ leafIndex: string;
389
+ siblingPath: string[];
390
+ };
391
+ insertionPath: string[];
392
+ newLeafPreimage: {
393
+ value: string;
394
+ slot: string;
395
+ nextIndex: string | number | bigint;
396
+ nextSlot: string;
397
+ };
398
+ }>, "many">;
399
+ nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
400
+ lowLeafPreimage: z.ZodEffects<z.ZodObject<{
401
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
402
+ nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
403
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
404
+ }, "strip", z.ZodTypeAny, {
405
+ nullifier: import("@aztec/foundation/schemas").Fr;
406
+ nextNullifier: import("@aztec/foundation/schemas").Fr;
407
+ nextIndex: bigint;
408
+ }, {
409
+ nullifier: string;
410
+ nextNullifier: string;
411
+ nextIndex: string | number | bigint;
412
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
413
+ nullifier: string;
414
+ nextNullifier: string;
415
+ nextIndex: string | number | bigint;
416
+ }>;
417
+ lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
418
+ lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
419
+ }, "strip", z.ZodTypeAny, {
420
+ lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
421
+ lowLeafIndex: import("@aztec/foundation/schemas").Fr;
422
+ lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
423
+ }, {
424
+ lowLeafPreimage: {
425
+ nullifier: string;
426
+ nextNullifier: string;
427
+ nextIndex: string | number | bigint;
428
+ };
429
+ lowLeafIndex: string;
430
+ lowLeafSiblingPath: string[];
431
+ }>, import("../avm/avm.js").AvmNullifierReadTreeHint, {
432
+ lowLeafPreimage: {
433
+ nullifier: string;
434
+ nextNullifier: string;
435
+ nextIndex: string | number | bigint;
436
+ };
437
+ lowLeafIndex: string;
438
+ lowLeafSiblingPath: string[];
439
+ }>, "many">;
440
+ nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
441
+ lowLeafRead: z.ZodEffects<z.ZodObject<{
442
+ lowLeafPreimage: z.ZodEffects<z.ZodObject<{
443
+ nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
444
+ nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
445
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
446
+ }, "strip", z.ZodTypeAny, {
447
+ nullifier: import("@aztec/foundation/schemas").Fr;
448
+ nextNullifier: import("@aztec/foundation/schemas").Fr;
449
+ nextIndex: bigint;
450
+ }, {
451
+ nullifier: string;
452
+ nextNullifier: string;
453
+ nextIndex: string | number | bigint;
454
+ }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
455
+ nullifier: string;
456
+ nextNullifier: string;
457
+ nextIndex: string | number | bigint;
458
+ }>;
459
+ lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
460
+ lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
461
+ }, "strip", z.ZodTypeAny, {
462
+ lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
463
+ lowLeafIndex: import("@aztec/foundation/schemas").Fr;
464
+ lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
465
+ }, {
466
+ lowLeafPreimage: {
467
+ nullifier: string;
468
+ nextNullifier: string;
469
+ nextIndex: string | number | bigint;
470
+ };
471
+ lowLeafIndex: string;
472
+ lowLeafSiblingPath: string[];
473
+ }>, import("../avm/avm.js").AvmNullifierReadTreeHint, {
474
+ lowLeafPreimage: {
475
+ nullifier: string;
476
+ nextNullifier: string;
477
+ nextIndex: string | number | bigint;
478
+ };
479
+ lowLeafIndex: string;
480
+ lowLeafSiblingPath: string[];
481
+ }>;
482
+ insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
483
+ }, "strip", z.ZodTypeAny, {
484
+ lowLeafRead: import("../avm/avm.js").AvmNullifierReadTreeHint;
485
+ insertionPath: import("@aztec/foundation/schemas").Fr[];
486
+ }, {
487
+ lowLeafRead: {
488
+ lowLeafPreimage: {
489
+ nullifier: string;
490
+ nextNullifier: string;
491
+ nextIndex: string | number | bigint;
492
+ };
493
+ lowLeafIndex: string;
494
+ lowLeafSiblingPath: string[];
495
+ };
496
+ insertionPath: string[];
497
+ }>, import("../avm/avm.js").AvmNullifierWriteTreeHint, {
498
+ lowLeafRead: {
499
+ lowLeafPreimage: {
500
+ nullifier: string;
501
+ nextNullifier: string;
502
+ nextIndex: string | number | bigint;
503
+ };
504
+ lowLeafIndex: string;
505
+ lowLeafSiblingPath: string[];
506
+ };
507
+ insertionPath: string[];
508
+ }>, "many">;
509
+ noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
510
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
511
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
512
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
513
+ }, "strip", z.ZodTypeAny, {
514
+ value: import("@aztec/foundation/schemas").Fr;
515
+ leafIndex: import("@aztec/foundation/schemas").Fr;
516
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
517
+ }, {
518
+ value: string;
519
+ leafIndex: string;
520
+ siblingPath: string[];
521
+ }>, import("../avm/avm.js").AvmAppendTreeHint, {
522
+ value: string;
523
+ leafIndex: string;
524
+ siblingPath: string[];
525
+ }>, "many">;
526
+ noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
527
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
528
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
529
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
530
+ }, "strip", z.ZodTypeAny, {
531
+ value: import("@aztec/foundation/schemas").Fr;
532
+ leafIndex: import("@aztec/foundation/schemas").Fr;
533
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
534
+ }, {
535
+ value: string;
536
+ leafIndex: string;
537
+ siblingPath: string[];
538
+ }>, import("../avm/avm.js").AvmAppendTreeHint, {
539
+ value: string;
540
+ leafIndex: string;
541
+ siblingPath: string[];
542
+ }>, "many">;
543
+ l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
544
+ leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
545
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
546
+ siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
547
+ }, "strip", z.ZodTypeAny, {
548
+ value: import("@aztec/foundation/schemas").Fr;
549
+ leafIndex: import("@aztec/foundation/schemas").Fr;
550
+ siblingPath: import("@aztec/foundation/schemas").Fr[];
551
+ }, {
552
+ value: string;
553
+ leafIndex: string;
554
+ siblingPath: string[];
555
+ }>, import("../avm/avm.js").AvmAppendTreeHint, {
556
+ value: string;
557
+ leafIndex: string;
558
+ siblingPath: string[];
559
+ }>, "many">;
560
+ }, "strip", z.ZodTypeAny, {
561
+ publicDataWrites: import("../avm/avm.js").AvmPublicDataWriteTreeHint[];
562
+ enqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
563
+ contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
564
+ contractClasses: import("../avm/avm.js").AvmContractClassHint[];
565
+ publicDataReads: import("../avm/avm.js").AvmPublicDataReadTreeHint[];
566
+ nullifierReads: import("../avm/avm.js").AvmNullifierReadTreeHint[];
567
+ nullifierWrites: import("../avm/avm.js").AvmNullifierWriteTreeHint[];
568
+ noteHashReads: import("../avm/avm.js").AvmAppendTreeHint[];
569
+ noteHashWrites: import("../avm/avm.js").AvmAppendTreeHint[];
570
+ l1ToL2MessageReads: import("../avm/avm.js").AvmAppendTreeHint[];
571
+ }, {
572
+ publicDataWrites: {
573
+ lowLeafRead: {
574
+ leafPreimage: {
575
+ value: string;
576
+ slot: string;
577
+ nextIndex: string | number | bigint;
578
+ nextSlot: string;
579
+ };
580
+ leafIndex: string;
581
+ siblingPath: string[];
582
+ };
583
+ insertionPath: string[];
584
+ newLeafPreimage: {
585
+ value: string;
586
+ slot: string;
587
+ nextIndex: string | number | bigint;
588
+ nextSlot: string;
589
+ };
590
+ }[];
591
+ enqueuedCalls: {
592
+ calldata: string[];
593
+ contractAddress?: any;
594
+ }[];
595
+ contractInstances: {
596
+ exists: boolean;
597
+ salt: string;
598
+ currentContractClassId: string;
599
+ originalContractClassId: string;
600
+ initializationHash: string;
601
+ publicKeys: {
602
+ masterNullifierPublicKey: string;
603
+ masterIncomingViewingPublicKey: string;
604
+ masterOutgoingViewingPublicKey: string;
605
+ masterTaggingPublicKey: string;
606
+ };
607
+ updateMembershipHint: {
608
+ leafPreimage: {
609
+ value: string;
610
+ slot: string;
611
+ nextIndex: string | number | bigint;
612
+ nextSlot: string;
613
+ };
614
+ leafIndex: string;
615
+ siblingPath: string[];
616
+ };
617
+ updatePreimage: string[];
618
+ address?: any;
619
+ deployer?: any;
620
+ }[];
621
+ contractClasses: {
622
+ classId: string;
623
+ exists: boolean;
624
+ artifactHash: string;
625
+ privateFunctionsRoot: string;
626
+ publicBytecodeCommitment: string;
627
+ packedBytecode: string | {
628
+ type: "Buffer";
629
+ data: number[];
630
+ };
631
+ }[];
632
+ publicDataReads: {
633
+ leafPreimage: {
634
+ value: string;
635
+ slot: string;
636
+ nextIndex: string | number | bigint;
637
+ nextSlot: string;
638
+ };
639
+ leafIndex: string;
640
+ siblingPath: string[];
641
+ }[];
642
+ nullifierReads: {
643
+ lowLeafPreimage: {
644
+ nullifier: string;
645
+ nextNullifier: string;
646
+ nextIndex: string | number | bigint;
647
+ };
648
+ lowLeafIndex: string;
649
+ lowLeafSiblingPath: string[];
650
+ }[];
651
+ nullifierWrites: {
652
+ lowLeafRead: {
653
+ lowLeafPreimage: {
654
+ nullifier: string;
655
+ nextNullifier: string;
656
+ nextIndex: string | number | bigint;
657
+ };
658
+ lowLeafIndex: string;
659
+ lowLeafSiblingPath: string[];
660
+ };
661
+ insertionPath: string[];
662
+ }[];
663
+ noteHashReads: {
664
+ value: string;
665
+ leafIndex: string;
666
+ siblingPath: string[];
667
+ }[];
668
+ noteHashWrites: {
669
+ value: string;
670
+ leafIndex: string;
671
+ siblingPath: string[];
672
+ }[];
673
+ l1ToL2MessageReads: {
674
+ value: string;
675
+ leafIndex: string;
676
+ siblingPath: string[];
677
+ }[];
678
+ }>, import("../avm/avm.js").AvmExecutionHints, {
679
+ publicDataWrites: {
680
+ lowLeafRead: {
681
+ leafPreimage: {
682
+ value: string;
683
+ slot: string;
684
+ nextIndex: string | number | bigint;
685
+ nextSlot: string;
686
+ };
687
+ leafIndex: string;
688
+ siblingPath: string[];
689
+ };
690
+ insertionPath: string[];
691
+ newLeafPreimage: {
692
+ value: string;
693
+ slot: string;
694
+ nextIndex: string | number | bigint;
695
+ nextSlot: string;
696
+ };
697
+ }[];
698
+ enqueuedCalls: {
699
+ calldata: string[];
700
+ contractAddress?: any;
701
+ }[];
702
+ contractInstances: {
703
+ exists: boolean;
704
+ salt: string;
705
+ currentContractClassId: string;
706
+ originalContractClassId: string;
707
+ initializationHash: string;
708
+ publicKeys: {
709
+ masterNullifierPublicKey: string;
710
+ masterIncomingViewingPublicKey: string;
711
+ masterOutgoingViewingPublicKey: string;
712
+ masterTaggingPublicKey: string;
713
+ };
714
+ updateMembershipHint: {
715
+ leafPreimage: {
716
+ value: string;
717
+ slot: string;
718
+ nextIndex: string | number | bigint;
719
+ nextSlot: string;
720
+ };
721
+ leafIndex: string;
722
+ siblingPath: string[];
723
+ };
724
+ updatePreimage: string[];
725
+ address?: any;
726
+ deployer?: any;
727
+ }[];
728
+ contractClasses: {
729
+ classId: string;
730
+ exists: boolean;
731
+ artifactHash: string;
732
+ privateFunctionsRoot: string;
733
+ publicBytecodeCommitment: string;
734
+ packedBytecode: string | {
735
+ type: "Buffer";
736
+ data: number[];
737
+ };
738
+ }[];
739
+ publicDataReads: {
740
+ leafPreimage: {
741
+ value: string;
742
+ slot: string;
743
+ nextIndex: string | number | bigint;
744
+ nextSlot: string;
745
+ };
746
+ leafIndex: string;
747
+ siblingPath: string[];
748
+ }[];
749
+ nullifierReads: {
750
+ lowLeafPreimage: {
751
+ nullifier: string;
752
+ nextNullifier: string;
753
+ nextIndex: string | number | bigint;
754
+ };
755
+ lowLeafIndex: string;
756
+ lowLeafSiblingPath: string[];
757
+ }[];
758
+ nullifierWrites: {
759
+ lowLeafRead: {
760
+ lowLeafPreimage: {
761
+ nullifier: string;
762
+ nextNullifier: string;
763
+ nextIndex: string | number | bigint;
764
+ };
765
+ lowLeafIndex: string;
766
+ lowLeafSiblingPath: string[];
767
+ };
768
+ insertionPath: string[];
769
+ }[];
770
+ noteHashReads: {
771
+ value: string;
772
+ leafIndex: string;
773
+ siblingPath: string[];
774
+ }[];
775
+ noteHashWrites: {
776
+ value: string;
777
+ leafIndex: string;
778
+ siblingPath: string[];
779
+ }[];
780
+ l1ToL2MessageReads: {
781
+ value: string;
782
+ leafIndex: string;
783
+ siblingPath: string[];
784
+ }[];
785
+ }>;
786
+ publicInputs: z.ZodEffects<z.ZodObject<{
787
+ globalVariables: z.ZodEffects<z.ZodObject<{
788
+ chainId: ZodFor<import("@aztec/foundation/schemas").Fr>;
789
+ version: ZodFor<import("@aztec/foundation/schemas").Fr>;
790
+ blockNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
791
+ slotNumber: ZodFor<import("@aztec/foundation/schemas").Fr>;
792
+ timestamp: ZodFor<import("@aztec/foundation/schemas").Fr>;
793
+ coinbase: ZodFor<import("@aztec/foundation/schemas").EthAddress>;
794
+ feeRecipient: ZodFor<import("../aztec-address/index.js").AztecAddress>;
795
+ gasFees: z.ZodEffects<z.ZodObject<{
796
+ feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
797
+ feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
798
+ }, "strip", z.ZodTypeAny, {
799
+ feePerDaGas: import("@aztec/foundation/schemas").Fr;
800
+ feePerL2Gas: import("@aztec/foundation/schemas").Fr;
801
+ }, {
802
+ feePerDaGas: string;
803
+ feePerL2Gas: string;
804
+ }>, import("../gas/gas_fees.js").GasFees, {
805
+ feePerDaGas: string;
806
+ feePerL2Gas: string;
807
+ }>;
808
+ }, "strip", z.ZodTypeAny, {
809
+ chainId: import("@aztec/foundation/schemas").Fr;
810
+ version: import("@aztec/foundation/schemas").Fr;
811
+ blockNumber: import("@aztec/foundation/schemas").Fr;
812
+ slotNumber: import("@aztec/foundation/schemas").Fr;
813
+ timestamp: import("@aztec/foundation/schemas").Fr;
814
+ coinbase: import("@aztec/foundation/schemas").EthAddress;
815
+ feeRecipient: import("../aztec-address/index.js").AztecAddress;
816
+ gasFees: import("../gas/gas_fees.js").GasFees;
817
+ }, {
818
+ gasFees: {
819
+ feePerDaGas: string;
820
+ feePerL2Gas: string;
821
+ };
822
+ chainId?: any;
823
+ version?: any;
824
+ blockNumber?: any;
825
+ slotNumber?: any;
826
+ timestamp?: any;
827
+ coinbase?: any;
828
+ feeRecipient?: any;
829
+ }>, import("../tx/global_variables.js").GlobalVariables, {
830
+ gasFees: {
831
+ feePerDaGas: string;
832
+ feePerL2Gas: string;
833
+ };
834
+ chainId?: any;
835
+ version?: any;
836
+ blockNumber?: any;
837
+ slotNumber?: any;
838
+ timestamp?: any;
839
+ coinbase?: any;
840
+ feeRecipient?: any;
841
+ }>;
842
+ startTreeSnapshots: z.ZodEffects<z.ZodObject<{
843
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
844
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
845
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
846
+ }, "strip", z.ZodTypeAny, {
847
+ root: import("@aztec/foundation/schemas").Fr;
848
+ nextAvailableLeafIndex: number;
849
+ }, {
850
+ root: string;
851
+ nextAvailableLeafIndex: string | number | bigint;
852
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
853
+ root: string;
854
+ nextAvailableLeafIndex: string | number | bigint;
855
+ }>;
856
+ noteHashTree: z.ZodEffects<z.ZodObject<{
857
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
858
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
859
+ }, "strip", z.ZodTypeAny, {
860
+ root: import("@aztec/foundation/schemas").Fr;
861
+ nextAvailableLeafIndex: number;
862
+ }, {
863
+ root: string;
864
+ nextAvailableLeafIndex: string | number | bigint;
865
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
866
+ root: string;
867
+ nextAvailableLeafIndex: string | number | bigint;
868
+ }>;
869
+ nullifierTree: z.ZodEffects<z.ZodObject<{
870
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
871
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
872
+ }, "strip", z.ZodTypeAny, {
873
+ root: import("@aztec/foundation/schemas").Fr;
874
+ nextAvailableLeafIndex: number;
875
+ }, {
876
+ root: string;
877
+ nextAvailableLeafIndex: string | number | bigint;
878
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
879
+ root: string;
880
+ nextAvailableLeafIndex: string | number | bigint;
881
+ }>;
882
+ publicDataTree: z.ZodEffects<z.ZodObject<{
883
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
884
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
885
+ }, "strip", z.ZodTypeAny, {
886
+ root: import("@aztec/foundation/schemas").Fr;
887
+ nextAvailableLeafIndex: number;
888
+ }, {
889
+ root: string;
890
+ nextAvailableLeafIndex: string | number | bigint;
891
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
892
+ root: string;
893
+ nextAvailableLeafIndex: string | number | bigint;
894
+ }>;
895
+ }, "strip", z.ZodTypeAny, {
896
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
897
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
898
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
899
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
900
+ }, {
901
+ l1ToL2MessageTree: {
902
+ root: string;
903
+ nextAvailableLeafIndex: string | number | bigint;
904
+ };
905
+ noteHashTree: {
906
+ root: string;
907
+ nextAvailableLeafIndex: string | number | bigint;
908
+ };
909
+ nullifierTree: {
910
+ root: string;
911
+ nextAvailableLeafIndex: string | number | bigint;
912
+ };
913
+ publicDataTree: {
914
+ root: string;
915
+ nextAvailableLeafIndex: string | number | bigint;
916
+ };
917
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
918
+ l1ToL2MessageTree: {
919
+ root: string;
920
+ nextAvailableLeafIndex: string | number | bigint;
921
+ };
922
+ noteHashTree: {
923
+ root: string;
924
+ nextAvailableLeafIndex: string | number | bigint;
925
+ };
926
+ nullifierTree: {
927
+ root: string;
928
+ nextAvailableLeafIndex: string | number | bigint;
929
+ };
930
+ publicDataTree: {
931
+ root: string;
932
+ nextAvailableLeafIndex: string | number | bigint;
933
+ };
934
+ }>;
935
+ startGasUsed: z.ZodEffects<z.ZodObject<{
936
+ daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
937
+ l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
938
+ }, "strip", z.ZodTypeAny, {
939
+ daGas: number;
940
+ l2Gas: number;
941
+ }, {
942
+ daGas: string | number | bigint;
943
+ l2Gas: string | number | bigint;
944
+ }>, import("../gas/gas.js").Gas, {
945
+ daGas: string | number | bigint;
946
+ l2Gas: string | number | bigint;
947
+ }>;
948
+ gasSettings: z.ZodEffects<z.ZodObject<{
949
+ gasLimits: z.ZodEffects<z.ZodObject<{
950
+ daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
951
+ l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
952
+ }, "strip", z.ZodTypeAny, {
953
+ daGas: number;
954
+ l2Gas: number;
955
+ }, {
956
+ daGas: string | number | bigint;
957
+ l2Gas: string | number | bigint;
958
+ }>, import("../gas/gas.js").Gas, {
959
+ daGas: string | number | bigint;
960
+ l2Gas: string | number | bigint;
961
+ }>;
962
+ teardownGasLimits: z.ZodEffects<z.ZodObject<{
963
+ daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
964
+ l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
965
+ }, "strip", z.ZodTypeAny, {
966
+ daGas: number;
967
+ l2Gas: number;
968
+ }, {
969
+ daGas: string | number | bigint;
970
+ l2Gas: string | number | bigint;
971
+ }>, import("../gas/gas.js").Gas, {
972
+ daGas: string | number | bigint;
973
+ l2Gas: string | number | bigint;
974
+ }>;
975
+ maxFeesPerGas: z.ZodEffects<z.ZodObject<{
976
+ feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
977
+ feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
978
+ }, "strip", z.ZodTypeAny, {
979
+ feePerDaGas: import("@aztec/foundation/schemas").Fr;
980
+ feePerL2Gas: import("@aztec/foundation/schemas").Fr;
981
+ }, {
982
+ feePerDaGas: string;
983
+ feePerL2Gas: string;
984
+ }>, import("../gas/gas_fees.js").GasFees, {
985
+ feePerDaGas: string;
986
+ feePerL2Gas: string;
987
+ }>;
988
+ maxPriorityFeesPerGas: z.ZodEffects<z.ZodObject<{
989
+ feePerDaGas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
990
+ feePerL2Gas: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
991
+ }, "strip", z.ZodTypeAny, {
992
+ feePerDaGas: import("@aztec/foundation/schemas").Fr;
993
+ feePerL2Gas: import("@aztec/foundation/schemas").Fr;
994
+ }, {
995
+ feePerDaGas: string;
996
+ feePerL2Gas: string;
997
+ }>, import("../gas/gas_fees.js").GasFees, {
998
+ feePerDaGas: string;
999
+ feePerL2Gas: string;
1000
+ }>;
1001
+ }, "strip", z.ZodTypeAny, {
1002
+ gasLimits: import("../gas/gas.js").Gas;
1003
+ teardownGasLimits: import("../gas/gas.js").Gas;
1004
+ maxFeesPerGas: import("../gas/gas_fees.js").GasFees;
1005
+ maxPriorityFeesPerGas: import("../gas/gas_fees.js").GasFees;
1006
+ }, {
1007
+ gasLimits: {
1008
+ daGas: string | number | bigint;
1009
+ l2Gas: string | number | bigint;
1010
+ };
1011
+ teardownGasLimits: {
1012
+ daGas: string | number | bigint;
1013
+ l2Gas: string | number | bigint;
1014
+ };
1015
+ maxFeesPerGas: {
1016
+ feePerDaGas: string;
1017
+ feePerL2Gas: string;
1018
+ };
1019
+ maxPriorityFeesPerGas: {
1020
+ feePerDaGas: string;
1021
+ feePerL2Gas: string;
1022
+ };
1023
+ }>, import("../gas/gas_settings.js").GasSettings, {
1024
+ gasLimits: {
1025
+ daGas: string | number | bigint;
1026
+ l2Gas: string | number | bigint;
1027
+ };
1028
+ teardownGasLimits: {
1029
+ daGas: string | number | bigint;
1030
+ l2Gas: string | number | bigint;
1031
+ };
1032
+ maxFeesPerGas: {
1033
+ feePerDaGas: string;
1034
+ feePerL2Gas: string;
1035
+ };
1036
+ maxPriorityFeesPerGas: {
1037
+ feePerDaGas: string;
1038
+ feePerL2Gas: string;
1039
+ };
1040
+ }>;
1041
+ feePayer: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1042
+ publicSetupCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
1043
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1044
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1045
+ functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
1046
+ isStaticCall: z.ZodBoolean;
1047
+ argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1048
+ }, "strip", z.ZodTypeAny, {
1049
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1050
+ msgSender: import("../aztec-address/index.js").AztecAddress;
1051
+ functionSelector: import("../abi/function_selector.js").FunctionSelector;
1052
+ isStaticCall: boolean;
1053
+ argsHash: import("@aztec/foundation/schemas").Fr;
1054
+ }, {
1055
+ isStaticCall: boolean;
1056
+ argsHash: string;
1057
+ contractAddress?: any;
1058
+ msgSender?: any;
1059
+ functionSelector?: any;
1060
+ }>, import("../kernel/public_call_request.js").PublicCallRequest, {
1061
+ isStaticCall: boolean;
1062
+ argsHash: string;
1063
+ contractAddress?: any;
1064
+ msgSender?: any;
1065
+ functionSelector?: any;
1066
+ }>, "many">;
1067
+ publicAppLogicCallRequests: z.ZodArray<z.ZodEffects<z.ZodObject<{
1068
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1069
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1070
+ functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
1071
+ isStaticCall: z.ZodBoolean;
1072
+ argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1073
+ }, "strip", z.ZodTypeAny, {
1074
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1075
+ msgSender: import("../aztec-address/index.js").AztecAddress;
1076
+ functionSelector: import("../abi/function_selector.js").FunctionSelector;
1077
+ isStaticCall: boolean;
1078
+ argsHash: import("@aztec/foundation/schemas").Fr;
1079
+ }, {
1080
+ isStaticCall: boolean;
1081
+ argsHash: string;
1082
+ contractAddress?: any;
1083
+ msgSender?: any;
1084
+ functionSelector?: any;
1085
+ }>, import("../kernel/public_call_request.js").PublicCallRequest, {
1086
+ isStaticCall: boolean;
1087
+ argsHash: string;
1088
+ contractAddress?: any;
1089
+ msgSender?: any;
1090
+ functionSelector?: any;
1091
+ }>, "many">;
1092
+ publicTeardownCallRequest: z.ZodEffects<z.ZodObject<{
1093
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1094
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1095
+ functionSelector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
1096
+ isStaticCall: z.ZodBoolean;
1097
+ argsHash: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1098
+ }, "strip", z.ZodTypeAny, {
1099
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1100
+ msgSender: import("../aztec-address/index.js").AztecAddress;
1101
+ functionSelector: import("../abi/function_selector.js").FunctionSelector;
1102
+ isStaticCall: boolean;
1103
+ argsHash: import("@aztec/foundation/schemas").Fr;
1104
+ }, {
1105
+ isStaticCall: boolean;
1106
+ argsHash: string;
1107
+ contractAddress?: any;
1108
+ msgSender?: any;
1109
+ functionSelector?: any;
1110
+ }>, import("../kernel/public_call_request.js").PublicCallRequest, {
1111
+ isStaticCall: boolean;
1112
+ argsHash: string;
1113
+ contractAddress?: any;
1114
+ msgSender?: any;
1115
+ functionSelector?: any;
1116
+ }>;
1117
+ previousNonRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
1118
+ noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1119
+ nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1120
+ l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1121
+ }, "strip", z.ZodTypeAny, {
1122
+ noteHashes: number;
1123
+ nullifiers: number;
1124
+ l2ToL1Msgs: number;
1125
+ }, {
1126
+ noteHashes: string | number | bigint;
1127
+ nullifiers: string | number | bigint;
1128
+ l2ToL1Msgs: string | number | bigint;
1129
+ }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
1130
+ noteHashes: string | number | bigint;
1131
+ nullifiers: string | number | bigint;
1132
+ l2ToL1Msgs: string | number | bigint;
1133
+ }>;
1134
+ previousRevertibleAccumulatedDataArrayLengths: z.ZodEffects<z.ZodObject<{
1135
+ noteHashes: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1136
+ nullifiers: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1137
+ l2ToL1Msgs: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1138
+ }, "strip", z.ZodTypeAny, {
1139
+ noteHashes: number;
1140
+ nullifiers: number;
1141
+ l2ToL1Msgs: number;
1142
+ }, {
1143
+ noteHashes: string | number | bigint;
1144
+ nullifiers: string | number | bigint;
1145
+ l2ToL1Msgs: string | number | bigint;
1146
+ }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths, {
1147
+ noteHashes: string | number | bigint;
1148
+ nullifiers: string | number | bigint;
1149
+ l2ToL1Msgs: string | number | bigint;
1150
+ }>;
1151
+ previousNonRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
1152
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1153
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1154
+ l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1155
+ message: z.ZodEffects<z.ZodObject<{
1156
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
1157
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1158
+ counter: z.ZodNumber;
1159
+ }, "strip", z.ZodTypeAny, {
1160
+ counter: number;
1161
+ recipient: import("@aztec/foundation/schemas").EthAddress;
1162
+ content: import("@aztec/foundation/schemas").Fr;
1163
+ }, {
1164
+ counter: number;
1165
+ recipient: string;
1166
+ content: string;
1167
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
1168
+ counter: number;
1169
+ recipient: string;
1170
+ content: string;
1171
+ }>;
1172
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1173
+ }, "strip", z.ZodTypeAny, {
1174
+ message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
1175
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1176
+ }, {
1177
+ message: {
1178
+ counter: number;
1179
+ recipient: string;
1180
+ content: string;
1181
+ };
1182
+ contractAddress?: any;
1183
+ }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
1184
+ message: {
1185
+ counter: number;
1186
+ recipient: string;
1187
+ content: string;
1188
+ };
1189
+ contractAddress?: any;
1190
+ }>, "many">;
1191
+ }, "strip", z.ZodTypeAny, {
1192
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1193
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1194
+ l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
1195
+ }, {
1196
+ noteHashes: string[];
1197
+ nullifiers: string[];
1198
+ l2ToL1Msgs: {
1199
+ message: {
1200
+ counter: number;
1201
+ recipient: string;
1202
+ content: string;
1203
+ };
1204
+ contractAddress?: any;
1205
+ }[];
1206
+ }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
1207
+ noteHashes: string[];
1208
+ nullifiers: string[];
1209
+ l2ToL1Msgs: {
1210
+ message: {
1211
+ counter: number;
1212
+ recipient: string;
1213
+ content: string;
1214
+ };
1215
+ contractAddress?: any;
1216
+ }[];
1217
+ }>;
1218
+ previousRevertibleAccumulatedData: z.ZodEffects<z.ZodObject<{
1219
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1220
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1221
+ l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1222
+ message: z.ZodEffects<z.ZodObject<{
1223
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
1224
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1225
+ counter: z.ZodNumber;
1226
+ }, "strip", z.ZodTypeAny, {
1227
+ counter: number;
1228
+ recipient: import("@aztec/foundation/schemas").EthAddress;
1229
+ content: import("@aztec/foundation/schemas").Fr;
1230
+ }, {
1231
+ counter: number;
1232
+ recipient: string;
1233
+ content: string;
1234
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
1235
+ counter: number;
1236
+ recipient: string;
1237
+ content: string;
1238
+ }>;
1239
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1240
+ }, "strip", z.ZodTypeAny, {
1241
+ message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
1242
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1243
+ }, {
1244
+ message: {
1245
+ counter: number;
1246
+ recipient: string;
1247
+ content: string;
1248
+ };
1249
+ contractAddress?: any;
1250
+ }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
1251
+ message: {
1252
+ counter: number;
1253
+ recipient: string;
1254
+ content: string;
1255
+ };
1256
+ contractAddress?: any;
1257
+ }>, "many">;
1258
+ }, "strip", z.ZodTypeAny, {
1259
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1260
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1261
+ l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
1262
+ }, {
1263
+ noteHashes: string[];
1264
+ nullifiers: string[];
1265
+ l2ToL1Msgs: {
1266
+ message: {
1267
+ counter: number;
1268
+ recipient: string;
1269
+ content: string;
1270
+ };
1271
+ contractAddress?: any;
1272
+ }[];
1273
+ }>, import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData, {
1274
+ noteHashes: string[];
1275
+ nullifiers: string[];
1276
+ l2ToL1Msgs: {
1277
+ message: {
1278
+ counter: number;
1279
+ recipient: string;
1280
+ content: string;
1281
+ };
1282
+ contractAddress?: any;
1283
+ }[];
1284
+ }>;
1285
+ endTreeSnapshots: z.ZodEffects<z.ZodObject<{
1286
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
1287
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1288
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1289
+ }, "strip", z.ZodTypeAny, {
1290
+ root: import("@aztec/foundation/schemas").Fr;
1291
+ nextAvailableLeafIndex: number;
1292
+ }, {
1293
+ root: string;
1294
+ nextAvailableLeafIndex: string | number | bigint;
1295
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1296
+ root: string;
1297
+ nextAvailableLeafIndex: string | number | bigint;
1298
+ }>;
1299
+ noteHashTree: z.ZodEffects<z.ZodObject<{
1300
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1301
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1302
+ }, "strip", z.ZodTypeAny, {
1303
+ root: import("@aztec/foundation/schemas").Fr;
1304
+ nextAvailableLeafIndex: number;
1305
+ }, {
1306
+ root: string;
1307
+ nextAvailableLeafIndex: string | number | bigint;
1308
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1309
+ root: string;
1310
+ nextAvailableLeafIndex: string | number | bigint;
1311
+ }>;
1312
+ nullifierTree: z.ZodEffects<z.ZodObject<{
1313
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1314
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1315
+ }, "strip", z.ZodTypeAny, {
1316
+ root: import("@aztec/foundation/schemas").Fr;
1317
+ nextAvailableLeafIndex: number;
1318
+ }, {
1319
+ root: string;
1320
+ nextAvailableLeafIndex: string | number | bigint;
1321
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1322
+ root: string;
1323
+ nextAvailableLeafIndex: string | number | bigint;
1324
+ }>;
1325
+ publicDataTree: z.ZodEffects<z.ZodObject<{
1326
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1327
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1328
+ }, "strip", z.ZodTypeAny, {
1329
+ root: import("@aztec/foundation/schemas").Fr;
1330
+ nextAvailableLeafIndex: number;
1331
+ }, {
1332
+ root: string;
1333
+ nextAvailableLeafIndex: string | number | bigint;
1334
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1335
+ root: string;
1336
+ nextAvailableLeafIndex: string | number | bigint;
1337
+ }>;
1338
+ }, "strip", z.ZodTypeAny, {
1339
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1340
+ noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1341
+ nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1342
+ publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1343
+ }, {
1344
+ l1ToL2MessageTree: {
1345
+ root: string;
1346
+ nextAvailableLeafIndex: string | number | bigint;
1347
+ };
1348
+ noteHashTree: {
1349
+ root: string;
1350
+ nextAvailableLeafIndex: string | number | bigint;
1351
+ };
1352
+ nullifierTree: {
1353
+ root: string;
1354
+ nextAvailableLeafIndex: string | number | bigint;
1355
+ };
1356
+ publicDataTree: {
1357
+ root: string;
1358
+ nextAvailableLeafIndex: string | number | bigint;
1359
+ };
1360
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1361
+ l1ToL2MessageTree: {
1362
+ root: string;
1363
+ nextAvailableLeafIndex: string | number | bigint;
1364
+ };
1365
+ noteHashTree: {
1366
+ root: string;
1367
+ nextAvailableLeafIndex: string | number | bigint;
1368
+ };
1369
+ nullifierTree: {
1370
+ root: string;
1371
+ nextAvailableLeafIndex: string | number | bigint;
1372
+ };
1373
+ publicDataTree: {
1374
+ root: string;
1375
+ nextAvailableLeafIndex: string | number | bigint;
1376
+ };
1377
+ }>;
1378
+ endGasUsed: z.ZodEffects<z.ZodObject<{
1379
+ daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1380
+ l2Gas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1381
+ }, "strip", z.ZodTypeAny, {
1382
+ daGas: number;
1383
+ l2Gas: number;
1384
+ }, {
1385
+ daGas: string | number | bigint;
1386
+ l2Gas: string | number | bigint;
1387
+ }>, import("../gas/gas.js").Gas, {
1388
+ daGas: string | number | bigint;
1389
+ l2Gas: string | number | bigint;
1390
+ }>;
1391
+ accumulatedData: z.ZodEffects<z.ZodObject<{
1392
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1393
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
1394
+ l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
1395
+ message: z.ZodEffects<z.ZodObject<{
1396
+ recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
1397
+ content: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1398
+ counter: z.ZodNumber;
1399
+ }, "strip", z.ZodTypeAny, {
1400
+ counter: number;
1401
+ recipient: import("@aztec/foundation/schemas").EthAddress;
1402
+ content: import("@aztec/foundation/schemas").Fr;
1403
+ }, {
1404
+ counter: number;
1405
+ recipient: string;
1406
+ content: string;
1407
+ }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
1408
+ counter: number;
1409
+ recipient: string;
1410
+ content: string;
1411
+ }>;
1412
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
1413
+ }, "strip", z.ZodTypeAny, {
1414
+ message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
1415
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
1416
+ }, {
1417
+ message: {
1418
+ counter: number;
1419
+ recipient: string;
1420
+ content: string;
1421
+ };
1422
+ contractAddress?: any;
1423
+ }>, import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message, {
1424
+ message: {
1425
+ counter: number;
1426
+ recipient: string;
1427
+ content: string;
1428
+ };
1429
+ contractAddress?: any;
1430
+ }>, "many">;
1431
+ publicLogs: z.ZodArray<ZodFor<import("../logs/public_log.js").PublicLog>, "many">;
1432
+ publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
1433
+ leafSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1434
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1435
+ }, "strip", z.ZodTypeAny, {
1436
+ value: import("@aztec/foundation/schemas").Fr;
1437
+ leafSlot: import("@aztec/foundation/schemas").Fr;
1438
+ }, {
1439
+ value: string;
1440
+ leafSlot: string;
1441
+ }>, import("../avm/public_data_write.js").PublicDataWrite, {
1442
+ value: string;
1443
+ leafSlot: string;
1444
+ }>, "many">;
1445
+ }, "strip", z.ZodTypeAny, {
1446
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1447
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1448
+ l2ToL1Msgs: import("../messaging/l2_to_l1_message.js").ScopedL2ToL1Message[];
1449
+ publicLogs: import("../logs/public_log.js").PublicLog[];
1450
+ publicDataWrites: import("../avm/public_data_write.js").PublicDataWrite[];
1451
+ }, {
1452
+ noteHashes: string[];
1453
+ nullifiers: string[];
1454
+ l2ToL1Msgs: {
1455
+ message: {
1456
+ counter: number;
1457
+ recipient: string;
1458
+ content: string;
1459
+ };
1460
+ contractAddress?: any;
1461
+ }[];
1462
+ publicLogs: any[];
1463
+ publicDataWrites: {
1464
+ value: string;
1465
+ leafSlot: string;
1466
+ }[];
1467
+ }>, import("../avm/avm_accumulated_data.js").AvmAccumulatedData, {
1468
+ noteHashes: string[];
1469
+ nullifiers: string[];
1470
+ l2ToL1Msgs: {
1471
+ message: {
1472
+ counter: number;
1473
+ recipient: string;
1474
+ content: string;
1475
+ };
1476
+ contractAddress?: any;
1477
+ }[];
1478
+ publicLogs: any[];
1479
+ publicDataWrites: {
1480
+ value: string;
1481
+ leafSlot: string;
1482
+ }[];
1483
+ }>;
1484
+ transactionFee: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
1485
+ reverted: z.ZodBoolean;
1486
+ }, "strip", z.ZodTypeAny, {
1487
+ globalVariables: import("../tx/global_variables.js").GlobalVariables;
1488
+ startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
1489
+ startGasUsed: import("../gas/gas.js").Gas;
1490
+ gasSettings: import("../gas/gas_settings.js").GasSettings;
1491
+ feePayer: import("../aztec-address/index.js").AztecAddress;
1492
+ publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
1493
+ publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
1494
+ publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
1495
+ previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
1496
+ previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
1497
+ previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
1498
+ previousRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
1499
+ endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
1500
+ endGasUsed: import("../gas/gas.js").Gas;
1501
+ accumulatedData: import("../avm/avm_accumulated_data.js").AvmAccumulatedData;
1502
+ transactionFee: import("@aztec/foundation/schemas").Fr;
1503
+ reverted: boolean;
1504
+ }, {
1505
+ globalVariables: {
1506
+ gasFees: {
1507
+ feePerDaGas: string;
1508
+ feePerL2Gas: string;
1509
+ };
1510
+ chainId?: any;
1511
+ version?: any;
1512
+ blockNumber?: any;
1513
+ slotNumber?: any;
1514
+ timestamp?: any;
1515
+ coinbase?: any;
1516
+ feeRecipient?: any;
1517
+ };
1518
+ startTreeSnapshots: {
1519
+ l1ToL2MessageTree: {
1520
+ root: string;
1521
+ nextAvailableLeafIndex: string | number | bigint;
1522
+ };
1523
+ noteHashTree: {
1524
+ root: string;
1525
+ nextAvailableLeafIndex: string | number | bigint;
1526
+ };
1527
+ nullifierTree: {
1528
+ root: string;
1529
+ nextAvailableLeafIndex: string | number | bigint;
1530
+ };
1531
+ publicDataTree: {
1532
+ root: string;
1533
+ nextAvailableLeafIndex: string | number | bigint;
1534
+ };
1535
+ };
1536
+ startGasUsed: {
1537
+ daGas: string | number | bigint;
1538
+ l2Gas: string | number | bigint;
1539
+ };
1540
+ gasSettings: {
1541
+ gasLimits: {
1542
+ daGas: string | number | bigint;
1543
+ l2Gas: string | number | bigint;
1544
+ };
1545
+ teardownGasLimits: {
1546
+ daGas: string | number | bigint;
1547
+ l2Gas: string | number | bigint;
1548
+ };
1549
+ maxFeesPerGas: {
1550
+ feePerDaGas: string;
1551
+ feePerL2Gas: string;
1552
+ };
1553
+ maxPriorityFeesPerGas: {
1554
+ feePerDaGas: string;
1555
+ feePerL2Gas: string;
1556
+ };
1557
+ };
1558
+ publicSetupCallRequests: {
1559
+ isStaticCall: boolean;
1560
+ argsHash: string;
1561
+ contractAddress?: any;
1562
+ msgSender?: any;
1563
+ functionSelector?: any;
1564
+ }[];
1565
+ publicAppLogicCallRequests: {
1566
+ isStaticCall: boolean;
1567
+ argsHash: string;
1568
+ contractAddress?: any;
1569
+ msgSender?: any;
1570
+ functionSelector?: any;
1571
+ }[];
1572
+ publicTeardownCallRequest: {
1573
+ isStaticCall: boolean;
1574
+ argsHash: string;
1575
+ contractAddress?: any;
1576
+ msgSender?: any;
1577
+ functionSelector?: any;
1578
+ };
1579
+ previousNonRevertibleAccumulatedDataArrayLengths: {
1580
+ noteHashes: string | number | bigint;
1581
+ nullifiers: string | number | bigint;
1582
+ l2ToL1Msgs: string | number | bigint;
1583
+ };
1584
+ previousRevertibleAccumulatedDataArrayLengths: {
1585
+ noteHashes: string | number | bigint;
1586
+ nullifiers: string | number | bigint;
1587
+ l2ToL1Msgs: string | number | bigint;
1588
+ };
1589
+ previousNonRevertibleAccumulatedData: {
1590
+ noteHashes: string[];
1591
+ nullifiers: string[];
1592
+ l2ToL1Msgs: {
1593
+ message: {
1594
+ counter: number;
1595
+ recipient: string;
1596
+ content: string;
1597
+ };
1598
+ contractAddress?: any;
1599
+ }[];
1600
+ };
1601
+ previousRevertibleAccumulatedData: {
1602
+ noteHashes: string[];
1603
+ nullifiers: string[];
1604
+ l2ToL1Msgs: {
1605
+ message: {
1606
+ counter: number;
1607
+ recipient: string;
1608
+ content: string;
1609
+ };
1610
+ contractAddress?: any;
1611
+ }[];
1612
+ };
1613
+ endTreeSnapshots: {
1614
+ l1ToL2MessageTree: {
1615
+ root: string;
1616
+ nextAvailableLeafIndex: string | number | bigint;
1617
+ };
1618
+ noteHashTree: {
1619
+ root: string;
1620
+ nextAvailableLeafIndex: string | number | bigint;
1621
+ };
1622
+ nullifierTree: {
1623
+ root: string;
1624
+ nextAvailableLeafIndex: string | number | bigint;
1625
+ };
1626
+ publicDataTree: {
1627
+ root: string;
1628
+ nextAvailableLeafIndex: string | number | bigint;
1629
+ };
1630
+ };
1631
+ endGasUsed: {
1632
+ daGas: string | number | bigint;
1633
+ l2Gas: string | number | bigint;
1634
+ };
1635
+ accumulatedData: {
1636
+ noteHashes: string[];
1637
+ nullifiers: string[];
1638
+ l2ToL1Msgs: {
1639
+ message: {
1640
+ counter: number;
1641
+ recipient: string;
1642
+ content: string;
1643
+ };
1644
+ contractAddress?: any;
1645
+ }[];
1646
+ publicLogs: any[];
1647
+ publicDataWrites: {
1648
+ value: string;
1649
+ leafSlot: string;
1650
+ }[];
1651
+ };
1652
+ transactionFee: string;
1653
+ reverted: boolean;
1654
+ feePayer?: any;
1655
+ }>, import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs, {
1656
+ globalVariables: {
1657
+ gasFees: {
1658
+ feePerDaGas: string;
1659
+ feePerL2Gas: string;
1660
+ };
1661
+ chainId?: any;
1662
+ version?: any;
1663
+ blockNumber?: any;
1664
+ slotNumber?: any;
1665
+ timestamp?: any;
1666
+ coinbase?: any;
1667
+ feeRecipient?: any;
1668
+ };
1669
+ startTreeSnapshots: {
1670
+ l1ToL2MessageTree: {
1671
+ root: string;
1672
+ nextAvailableLeafIndex: string | number | bigint;
1673
+ };
1674
+ noteHashTree: {
1675
+ root: string;
1676
+ nextAvailableLeafIndex: string | number | bigint;
1677
+ };
1678
+ nullifierTree: {
1679
+ root: string;
1680
+ nextAvailableLeafIndex: string | number | bigint;
1681
+ };
1682
+ publicDataTree: {
1683
+ root: string;
1684
+ nextAvailableLeafIndex: string | number | bigint;
1685
+ };
1686
+ };
1687
+ startGasUsed: {
1688
+ daGas: string | number | bigint;
1689
+ l2Gas: string | number | bigint;
1690
+ };
1691
+ gasSettings: {
1692
+ gasLimits: {
1693
+ daGas: string | number | bigint;
1694
+ l2Gas: string | number | bigint;
1695
+ };
1696
+ teardownGasLimits: {
1697
+ daGas: string | number | bigint;
1698
+ l2Gas: string | number | bigint;
1699
+ };
1700
+ maxFeesPerGas: {
1701
+ feePerDaGas: string;
1702
+ feePerL2Gas: string;
1703
+ };
1704
+ maxPriorityFeesPerGas: {
1705
+ feePerDaGas: string;
1706
+ feePerL2Gas: string;
1707
+ };
1708
+ };
1709
+ publicSetupCallRequests: {
1710
+ isStaticCall: boolean;
1711
+ argsHash: string;
1712
+ contractAddress?: any;
1713
+ msgSender?: any;
1714
+ functionSelector?: any;
1715
+ }[];
1716
+ publicAppLogicCallRequests: {
1717
+ isStaticCall: boolean;
1718
+ argsHash: string;
1719
+ contractAddress?: any;
1720
+ msgSender?: any;
1721
+ functionSelector?: any;
1722
+ }[];
1723
+ publicTeardownCallRequest: {
1724
+ isStaticCall: boolean;
1725
+ argsHash: string;
1726
+ contractAddress?: any;
1727
+ msgSender?: any;
1728
+ functionSelector?: any;
1729
+ };
1730
+ previousNonRevertibleAccumulatedDataArrayLengths: {
1731
+ noteHashes: string | number | bigint;
1732
+ nullifiers: string | number | bigint;
1733
+ l2ToL1Msgs: string | number | bigint;
1734
+ };
1735
+ previousRevertibleAccumulatedDataArrayLengths: {
1736
+ noteHashes: string | number | bigint;
1737
+ nullifiers: string | number | bigint;
1738
+ l2ToL1Msgs: string | number | bigint;
1739
+ };
1740
+ previousNonRevertibleAccumulatedData: {
1741
+ noteHashes: string[];
1742
+ nullifiers: string[];
1743
+ l2ToL1Msgs: {
1744
+ message: {
1745
+ counter: number;
1746
+ recipient: string;
1747
+ content: string;
1748
+ };
1749
+ contractAddress?: any;
1750
+ }[];
1751
+ };
1752
+ previousRevertibleAccumulatedData: {
1753
+ noteHashes: string[];
1754
+ nullifiers: string[];
1755
+ l2ToL1Msgs: {
1756
+ message: {
1757
+ counter: number;
1758
+ recipient: string;
1759
+ content: string;
1760
+ };
1761
+ contractAddress?: any;
1762
+ }[];
1763
+ };
1764
+ endTreeSnapshots: {
1765
+ l1ToL2MessageTree: {
1766
+ root: string;
1767
+ nextAvailableLeafIndex: string | number | bigint;
1768
+ };
1769
+ noteHashTree: {
1770
+ root: string;
1771
+ nextAvailableLeafIndex: string | number | bigint;
1772
+ };
1773
+ nullifierTree: {
1774
+ root: string;
1775
+ nextAvailableLeafIndex: string | number | bigint;
1776
+ };
1777
+ publicDataTree: {
1778
+ root: string;
1779
+ nextAvailableLeafIndex: string | number | bigint;
1780
+ };
1781
+ };
1782
+ endGasUsed: {
1783
+ daGas: string | number | bigint;
1784
+ l2Gas: string | number | bigint;
1785
+ };
1786
+ accumulatedData: {
1787
+ noteHashes: string[];
1788
+ nullifiers: string[];
1789
+ l2ToL1Msgs: {
1790
+ message: {
1791
+ counter: number;
1792
+ recipient: string;
1793
+ content: string;
1794
+ };
1795
+ contractAddress?: any;
1796
+ }[];
1797
+ publicLogs: any[];
1798
+ publicDataWrites: {
1799
+ value: string;
1800
+ leafSlot: string;
1801
+ }[];
1802
+ };
1803
+ transactionFee: string;
1804
+ reverted: boolean;
1805
+ feePayer?: any;
1806
+ }>;
1807
+ }, "strip", z.ZodTypeAny, {
1808
+ calldata: import("@aztec/foundation/schemas").Fr[];
1809
+ functionName: string;
1810
+ hints: import("../avm/avm.js").AvmExecutionHints;
1811
+ publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
1812
+ }, {
1813
+ calldata: string[];
1814
+ functionName: string;
1815
+ hints: {
1816
+ publicDataWrites: {
1817
+ lowLeafRead: {
1818
+ leafPreimage: {
1819
+ value: string;
1820
+ slot: string;
1821
+ nextIndex: string | number | bigint;
1822
+ nextSlot: string;
1823
+ };
1824
+ leafIndex: string;
1825
+ siblingPath: string[];
1826
+ };
1827
+ insertionPath: string[];
1828
+ newLeafPreimage: {
1829
+ value: string;
1830
+ slot: string;
1831
+ nextIndex: string | number | bigint;
1832
+ nextSlot: string;
1833
+ };
1834
+ }[];
1835
+ enqueuedCalls: {
1836
+ calldata: string[];
1837
+ contractAddress?: any;
1838
+ }[];
1839
+ contractInstances: {
1840
+ exists: boolean;
1841
+ salt: string;
1842
+ currentContractClassId: string;
1843
+ originalContractClassId: string;
1844
+ initializationHash: string;
1845
+ publicKeys: {
1846
+ masterNullifierPublicKey: string;
1847
+ masterIncomingViewingPublicKey: string;
1848
+ masterOutgoingViewingPublicKey: string;
1849
+ masterTaggingPublicKey: string;
1850
+ };
1851
+ updateMembershipHint: {
1852
+ leafPreimage: {
1853
+ value: string;
1854
+ slot: string;
1855
+ nextIndex: string | number | bigint;
1856
+ nextSlot: string;
1857
+ };
1858
+ leafIndex: string;
1859
+ siblingPath: string[];
1860
+ };
1861
+ updatePreimage: string[];
1862
+ address?: any;
1863
+ deployer?: any;
1864
+ }[];
1865
+ contractClasses: {
1866
+ classId: string;
1867
+ exists: boolean;
1868
+ artifactHash: string;
1869
+ privateFunctionsRoot: string;
1870
+ publicBytecodeCommitment: string;
1871
+ packedBytecode: string | {
1872
+ type: "Buffer";
1873
+ data: number[];
1874
+ };
1875
+ }[];
1876
+ publicDataReads: {
1877
+ leafPreimage: {
1878
+ value: string;
1879
+ slot: string;
1880
+ nextIndex: string | number | bigint;
1881
+ nextSlot: string;
1882
+ };
1883
+ leafIndex: string;
1884
+ siblingPath: string[];
1885
+ }[];
1886
+ nullifierReads: {
1887
+ lowLeafPreimage: {
1888
+ nullifier: string;
1889
+ nextNullifier: string;
1890
+ nextIndex: string | number | bigint;
1891
+ };
1892
+ lowLeafIndex: string;
1893
+ lowLeafSiblingPath: string[];
1894
+ }[];
1895
+ nullifierWrites: {
1896
+ lowLeafRead: {
1897
+ lowLeafPreimage: {
1898
+ nullifier: string;
1899
+ nextNullifier: string;
1900
+ nextIndex: string | number | bigint;
1901
+ };
1902
+ lowLeafIndex: string;
1903
+ lowLeafSiblingPath: string[];
1904
+ };
1905
+ insertionPath: string[];
1906
+ }[];
1907
+ noteHashReads: {
1908
+ value: string;
1909
+ leafIndex: string;
1910
+ siblingPath: string[];
1911
+ }[];
1912
+ noteHashWrites: {
1913
+ value: string;
1914
+ leafIndex: string;
1915
+ siblingPath: string[];
1916
+ }[];
1917
+ l1ToL2MessageReads: {
1918
+ value: string;
1919
+ leafIndex: string;
1920
+ siblingPath: string[];
1921
+ }[];
1922
+ };
1923
+ publicInputs: {
1924
+ globalVariables: {
1925
+ gasFees: {
1926
+ feePerDaGas: string;
1927
+ feePerL2Gas: string;
1928
+ };
1929
+ chainId?: any;
1930
+ version?: any;
1931
+ blockNumber?: any;
1932
+ slotNumber?: any;
1933
+ timestamp?: any;
1934
+ coinbase?: any;
1935
+ feeRecipient?: any;
1936
+ };
1937
+ startTreeSnapshots: {
1938
+ l1ToL2MessageTree: {
1939
+ root: string;
1940
+ nextAvailableLeafIndex: string | number | bigint;
1941
+ };
1942
+ noteHashTree: {
1943
+ root: string;
1944
+ nextAvailableLeafIndex: string | number | bigint;
1945
+ };
1946
+ nullifierTree: {
1947
+ root: string;
1948
+ nextAvailableLeafIndex: string | number | bigint;
1949
+ };
1950
+ publicDataTree: {
1951
+ root: string;
1952
+ nextAvailableLeafIndex: string | number | bigint;
1953
+ };
1954
+ };
1955
+ startGasUsed: {
1956
+ daGas: string | number | bigint;
1957
+ l2Gas: string | number | bigint;
1958
+ };
1959
+ gasSettings: {
1960
+ gasLimits: {
1961
+ daGas: string | number | bigint;
1962
+ l2Gas: string | number | bigint;
1963
+ };
1964
+ teardownGasLimits: {
1965
+ daGas: string | number | bigint;
1966
+ l2Gas: string | number | bigint;
1967
+ };
1968
+ maxFeesPerGas: {
1969
+ feePerDaGas: string;
1970
+ feePerL2Gas: string;
1971
+ };
1972
+ maxPriorityFeesPerGas: {
1973
+ feePerDaGas: string;
1974
+ feePerL2Gas: string;
1975
+ };
1976
+ };
1977
+ publicSetupCallRequests: {
1978
+ isStaticCall: boolean;
1979
+ argsHash: string;
1980
+ contractAddress?: any;
1981
+ msgSender?: any;
1982
+ functionSelector?: any;
1983
+ }[];
1984
+ publicAppLogicCallRequests: {
1985
+ isStaticCall: boolean;
1986
+ argsHash: string;
1987
+ contractAddress?: any;
1988
+ msgSender?: any;
1989
+ functionSelector?: any;
1990
+ }[];
1991
+ publicTeardownCallRequest: {
1992
+ isStaticCall: boolean;
1993
+ argsHash: string;
1994
+ contractAddress?: any;
1995
+ msgSender?: any;
1996
+ functionSelector?: any;
1997
+ };
1998
+ previousNonRevertibleAccumulatedDataArrayLengths: {
1999
+ noteHashes: string | number | bigint;
2000
+ nullifiers: string | number | bigint;
2001
+ l2ToL1Msgs: string | number | bigint;
2002
+ };
2003
+ previousRevertibleAccumulatedDataArrayLengths: {
2004
+ noteHashes: string | number | bigint;
2005
+ nullifiers: string | number | bigint;
2006
+ l2ToL1Msgs: string | number | bigint;
2007
+ };
2008
+ previousNonRevertibleAccumulatedData: {
2009
+ noteHashes: string[];
2010
+ nullifiers: string[];
2011
+ l2ToL1Msgs: {
2012
+ message: {
2013
+ counter: number;
2014
+ recipient: string;
2015
+ content: string;
2016
+ };
2017
+ contractAddress?: any;
2018
+ }[];
2019
+ };
2020
+ previousRevertibleAccumulatedData: {
2021
+ noteHashes: string[];
2022
+ nullifiers: string[];
2023
+ l2ToL1Msgs: {
2024
+ message: {
2025
+ counter: number;
2026
+ recipient: string;
2027
+ content: string;
2028
+ };
2029
+ contractAddress?: any;
2030
+ }[];
2031
+ };
2032
+ endTreeSnapshots: {
2033
+ l1ToL2MessageTree: {
2034
+ root: string;
2035
+ nextAvailableLeafIndex: string | number | bigint;
2036
+ };
2037
+ noteHashTree: {
2038
+ root: string;
2039
+ nextAvailableLeafIndex: string | number | bigint;
2040
+ };
2041
+ nullifierTree: {
2042
+ root: string;
2043
+ nextAvailableLeafIndex: string | number | bigint;
2044
+ };
2045
+ publicDataTree: {
2046
+ root: string;
2047
+ nextAvailableLeafIndex: string | number | bigint;
2048
+ };
2049
+ };
2050
+ endGasUsed: {
2051
+ daGas: string | number | bigint;
2052
+ l2Gas: string | number | bigint;
2053
+ };
2054
+ accumulatedData: {
2055
+ noteHashes: string[];
2056
+ nullifiers: string[];
2057
+ l2ToL1Msgs: {
2058
+ message: {
2059
+ counter: number;
2060
+ recipient: string;
2061
+ content: string;
2062
+ };
2063
+ contractAddress?: any;
2064
+ }[];
2065
+ publicLogs: any[];
2066
+ publicDataWrites: {
2067
+ value: string;
2068
+ leafSlot: string;
2069
+ }[];
2070
+ };
2071
+ transactionFee: string;
2072
+ reverted: boolean;
2073
+ feePayer?: any;
2074
+ };
2075
+ }>, AvmCircuitInputs, {
2076
+ calldata: string[];
2077
+ functionName: string;
2078
+ hints: {
2079
+ publicDataWrites: {
2080
+ lowLeafRead: {
2081
+ leafPreimage: {
2082
+ value: string;
2083
+ slot: string;
2084
+ nextIndex: string | number | bigint;
2085
+ nextSlot: string;
2086
+ };
2087
+ leafIndex: string;
2088
+ siblingPath: string[];
2089
+ };
2090
+ insertionPath: string[];
2091
+ newLeafPreimage: {
2092
+ value: string;
2093
+ slot: string;
2094
+ nextIndex: string | number | bigint;
2095
+ nextSlot: string;
2096
+ };
2097
+ }[];
2098
+ enqueuedCalls: {
2099
+ calldata: string[];
2100
+ contractAddress?: any;
2101
+ }[];
2102
+ contractInstances: {
2103
+ exists: boolean;
2104
+ salt: string;
2105
+ currentContractClassId: string;
2106
+ originalContractClassId: string;
2107
+ initializationHash: string;
2108
+ publicKeys: {
2109
+ masterNullifierPublicKey: string;
2110
+ masterIncomingViewingPublicKey: string;
2111
+ masterOutgoingViewingPublicKey: string;
2112
+ masterTaggingPublicKey: string;
2113
+ };
2114
+ updateMembershipHint: {
2115
+ leafPreimage: {
2116
+ value: string;
2117
+ slot: string;
2118
+ nextIndex: string | number | bigint;
2119
+ nextSlot: string;
2120
+ };
2121
+ leafIndex: string;
2122
+ siblingPath: string[];
2123
+ };
2124
+ updatePreimage: string[];
2125
+ address?: any;
2126
+ deployer?: any;
2127
+ }[];
2128
+ contractClasses: {
2129
+ classId: string;
2130
+ exists: boolean;
2131
+ artifactHash: string;
2132
+ privateFunctionsRoot: string;
2133
+ publicBytecodeCommitment: string;
2134
+ packedBytecode: string | {
2135
+ type: "Buffer";
2136
+ data: number[];
2137
+ };
2138
+ }[];
2139
+ publicDataReads: {
2140
+ leafPreimage: {
2141
+ value: string;
2142
+ slot: string;
2143
+ nextIndex: string | number | bigint;
2144
+ nextSlot: string;
2145
+ };
2146
+ leafIndex: string;
2147
+ siblingPath: string[];
2148
+ }[];
2149
+ nullifierReads: {
2150
+ lowLeafPreimage: {
2151
+ nullifier: string;
2152
+ nextNullifier: string;
2153
+ nextIndex: string | number | bigint;
2154
+ };
2155
+ lowLeafIndex: string;
2156
+ lowLeafSiblingPath: string[];
2157
+ }[];
2158
+ nullifierWrites: {
2159
+ lowLeafRead: {
2160
+ lowLeafPreimage: {
2161
+ nullifier: string;
2162
+ nextNullifier: string;
2163
+ nextIndex: string | number | bigint;
2164
+ };
2165
+ lowLeafIndex: string;
2166
+ lowLeafSiblingPath: string[];
2167
+ };
2168
+ insertionPath: string[];
2169
+ }[];
2170
+ noteHashReads: {
2171
+ value: string;
2172
+ leafIndex: string;
2173
+ siblingPath: string[];
2174
+ }[];
2175
+ noteHashWrites: {
2176
+ value: string;
2177
+ leafIndex: string;
2178
+ siblingPath: string[];
2179
+ }[];
2180
+ l1ToL2MessageReads: {
2181
+ value: string;
2182
+ leafIndex: string;
2183
+ siblingPath: string[];
2184
+ }[];
2185
+ };
2186
+ publicInputs: {
2187
+ globalVariables: {
2188
+ gasFees: {
2189
+ feePerDaGas: string;
2190
+ feePerL2Gas: string;
2191
+ };
2192
+ chainId?: any;
2193
+ version?: any;
2194
+ blockNumber?: any;
2195
+ slotNumber?: any;
2196
+ timestamp?: any;
2197
+ coinbase?: any;
2198
+ feeRecipient?: any;
2199
+ };
2200
+ startTreeSnapshots: {
2201
+ l1ToL2MessageTree: {
2202
+ root: string;
2203
+ nextAvailableLeafIndex: string | number | bigint;
2204
+ };
2205
+ noteHashTree: {
2206
+ root: string;
2207
+ nextAvailableLeafIndex: string | number | bigint;
2208
+ };
2209
+ nullifierTree: {
2210
+ root: string;
2211
+ nextAvailableLeafIndex: string | number | bigint;
2212
+ };
2213
+ publicDataTree: {
2214
+ root: string;
2215
+ nextAvailableLeafIndex: string | number | bigint;
2216
+ };
2217
+ };
2218
+ startGasUsed: {
2219
+ daGas: string | number | bigint;
2220
+ l2Gas: string | number | bigint;
2221
+ };
2222
+ gasSettings: {
2223
+ gasLimits: {
2224
+ daGas: string | number | bigint;
2225
+ l2Gas: string | number | bigint;
2226
+ };
2227
+ teardownGasLimits: {
2228
+ daGas: string | number | bigint;
2229
+ l2Gas: string | number | bigint;
2230
+ };
2231
+ maxFeesPerGas: {
2232
+ feePerDaGas: string;
2233
+ feePerL2Gas: string;
2234
+ };
2235
+ maxPriorityFeesPerGas: {
2236
+ feePerDaGas: string;
2237
+ feePerL2Gas: string;
2238
+ };
2239
+ };
2240
+ publicSetupCallRequests: {
2241
+ isStaticCall: boolean;
2242
+ argsHash: string;
2243
+ contractAddress?: any;
2244
+ msgSender?: any;
2245
+ functionSelector?: any;
2246
+ }[];
2247
+ publicAppLogicCallRequests: {
2248
+ isStaticCall: boolean;
2249
+ argsHash: string;
2250
+ contractAddress?: any;
2251
+ msgSender?: any;
2252
+ functionSelector?: any;
2253
+ }[];
2254
+ publicTeardownCallRequest: {
2255
+ isStaticCall: boolean;
2256
+ argsHash: string;
2257
+ contractAddress?: any;
2258
+ msgSender?: any;
2259
+ functionSelector?: any;
2260
+ };
2261
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2262
+ noteHashes: string | number | bigint;
2263
+ nullifiers: string | number | bigint;
2264
+ l2ToL1Msgs: string | number | bigint;
2265
+ };
2266
+ previousRevertibleAccumulatedDataArrayLengths: {
2267
+ noteHashes: string | number | bigint;
2268
+ nullifiers: string | number | bigint;
2269
+ l2ToL1Msgs: string | number | bigint;
2270
+ };
2271
+ previousNonRevertibleAccumulatedData: {
2272
+ noteHashes: string[];
2273
+ nullifiers: string[];
2274
+ l2ToL1Msgs: {
2275
+ message: {
2276
+ counter: number;
2277
+ recipient: string;
2278
+ content: string;
2279
+ };
2280
+ contractAddress?: any;
2281
+ }[];
2282
+ };
2283
+ previousRevertibleAccumulatedData: {
2284
+ noteHashes: string[];
2285
+ nullifiers: string[];
2286
+ l2ToL1Msgs: {
2287
+ message: {
2288
+ counter: number;
2289
+ recipient: string;
2290
+ content: string;
2291
+ };
2292
+ contractAddress?: any;
2293
+ }[];
2294
+ };
2295
+ endTreeSnapshots: {
2296
+ l1ToL2MessageTree: {
2297
+ root: string;
2298
+ nextAvailableLeafIndex: string | number | bigint;
2299
+ };
2300
+ noteHashTree: {
2301
+ root: string;
2302
+ nextAvailableLeafIndex: string | number | bigint;
2303
+ };
2304
+ nullifierTree: {
2305
+ root: string;
2306
+ nextAvailableLeafIndex: string | number | bigint;
2307
+ };
2308
+ publicDataTree: {
2309
+ root: string;
2310
+ nextAvailableLeafIndex: string | number | bigint;
2311
+ };
2312
+ };
2313
+ endGasUsed: {
2314
+ daGas: string | number | bigint;
2315
+ l2Gas: string | number | bigint;
2316
+ };
2317
+ accumulatedData: {
2318
+ noteHashes: string[];
2319
+ nullifiers: string[];
2320
+ l2ToL1Msgs: {
2321
+ message: {
2322
+ counter: number;
2323
+ recipient: string;
2324
+ content: string;
2325
+ };
2326
+ contractAddress?: any;
2327
+ }[];
2328
+ publicLogs: any[];
2329
+ publicDataWrites: {
2330
+ value: string;
2331
+ leafSlot: string;
2332
+ }[];
2333
+ };
2334
+ transactionFee: string;
2335
+ reverted: boolean;
2336
+ feePayer?: any;
2337
+ };
2338
+ }>;
37
2339
  }, "strip", z.ZodTypeAny, {
38
2340
  type: ProvingRequestType.PUBLIC_VM;
39
2341
  inputs: AvmCircuitInputs;
40
2342
  }, {
41
2343
  type: ProvingRequestType.PUBLIC_VM;
42
- inputs: string;
2344
+ inputs: {
2345
+ calldata: string[];
2346
+ functionName: string;
2347
+ hints: {
2348
+ publicDataWrites: {
2349
+ lowLeafRead: {
2350
+ leafPreimage: {
2351
+ value: string;
2352
+ slot: string;
2353
+ nextIndex: string | number | bigint;
2354
+ nextSlot: string;
2355
+ };
2356
+ leafIndex: string;
2357
+ siblingPath: string[];
2358
+ };
2359
+ insertionPath: string[];
2360
+ newLeafPreimage: {
2361
+ value: string;
2362
+ slot: string;
2363
+ nextIndex: string | number | bigint;
2364
+ nextSlot: string;
2365
+ };
2366
+ }[];
2367
+ enqueuedCalls: {
2368
+ calldata: string[];
2369
+ contractAddress?: any;
2370
+ }[];
2371
+ contractInstances: {
2372
+ exists: boolean;
2373
+ salt: string;
2374
+ currentContractClassId: string;
2375
+ originalContractClassId: string;
2376
+ initializationHash: string;
2377
+ publicKeys: {
2378
+ masterNullifierPublicKey: string;
2379
+ masterIncomingViewingPublicKey: string;
2380
+ masterOutgoingViewingPublicKey: string;
2381
+ masterTaggingPublicKey: string;
2382
+ };
2383
+ updateMembershipHint: {
2384
+ leafPreimage: {
2385
+ value: string;
2386
+ slot: string;
2387
+ nextIndex: string | number | bigint;
2388
+ nextSlot: string;
2389
+ };
2390
+ leafIndex: string;
2391
+ siblingPath: string[];
2392
+ };
2393
+ updatePreimage: string[];
2394
+ address?: any;
2395
+ deployer?: any;
2396
+ }[];
2397
+ contractClasses: {
2398
+ classId: string;
2399
+ exists: boolean;
2400
+ artifactHash: string;
2401
+ privateFunctionsRoot: string;
2402
+ publicBytecodeCommitment: string;
2403
+ packedBytecode: string | {
2404
+ type: "Buffer";
2405
+ data: number[];
2406
+ };
2407
+ }[];
2408
+ publicDataReads: {
2409
+ leafPreimage: {
2410
+ value: string;
2411
+ slot: string;
2412
+ nextIndex: string | number | bigint;
2413
+ nextSlot: string;
2414
+ };
2415
+ leafIndex: string;
2416
+ siblingPath: string[];
2417
+ }[];
2418
+ nullifierReads: {
2419
+ lowLeafPreimage: {
2420
+ nullifier: string;
2421
+ nextNullifier: string;
2422
+ nextIndex: string | number | bigint;
2423
+ };
2424
+ lowLeafIndex: string;
2425
+ lowLeafSiblingPath: string[];
2426
+ }[];
2427
+ nullifierWrites: {
2428
+ lowLeafRead: {
2429
+ lowLeafPreimage: {
2430
+ nullifier: string;
2431
+ nextNullifier: string;
2432
+ nextIndex: string | number | bigint;
2433
+ };
2434
+ lowLeafIndex: string;
2435
+ lowLeafSiblingPath: string[];
2436
+ };
2437
+ insertionPath: string[];
2438
+ }[];
2439
+ noteHashReads: {
2440
+ value: string;
2441
+ leafIndex: string;
2442
+ siblingPath: string[];
2443
+ }[];
2444
+ noteHashWrites: {
2445
+ value: string;
2446
+ leafIndex: string;
2447
+ siblingPath: string[];
2448
+ }[];
2449
+ l1ToL2MessageReads: {
2450
+ value: string;
2451
+ leafIndex: string;
2452
+ siblingPath: string[];
2453
+ }[];
2454
+ };
2455
+ publicInputs: {
2456
+ globalVariables: {
2457
+ gasFees: {
2458
+ feePerDaGas: string;
2459
+ feePerL2Gas: string;
2460
+ };
2461
+ chainId?: any;
2462
+ version?: any;
2463
+ blockNumber?: any;
2464
+ slotNumber?: any;
2465
+ timestamp?: any;
2466
+ coinbase?: any;
2467
+ feeRecipient?: any;
2468
+ };
2469
+ startTreeSnapshots: {
2470
+ l1ToL2MessageTree: {
2471
+ root: string;
2472
+ nextAvailableLeafIndex: string | number | bigint;
2473
+ };
2474
+ noteHashTree: {
2475
+ root: string;
2476
+ nextAvailableLeafIndex: string | number | bigint;
2477
+ };
2478
+ nullifierTree: {
2479
+ root: string;
2480
+ nextAvailableLeafIndex: string | number | bigint;
2481
+ };
2482
+ publicDataTree: {
2483
+ root: string;
2484
+ nextAvailableLeafIndex: string | number | bigint;
2485
+ };
2486
+ };
2487
+ startGasUsed: {
2488
+ daGas: string | number | bigint;
2489
+ l2Gas: string | number | bigint;
2490
+ };
2491
+ gasSettings: {
2492
+ gasLimits: {
2493
+ daGas: string | number | bigint;
2494
+ l2Gas: string | number | bigint;
2495
+ };
2496
+ teardownGasLimits: {
2497
+ daGas: string | number | bigint;
2498
+ l2Gas: string | number | bigint;
2499
+ };
2500
+ maxFeesPerGas: {
2501
+ feePerDaGas: string;
2502
+ feePerL2Gas: string;
2503
+ };
2504
+ maxPriorityFeesPerGas: {
2505
+ feePerDaGas: string;
2506
+ feePerL2Gas: string;
2507
+ };
2508
+ };
2509
+ publicSetupCallRequests: {
2510
+ isStaticCall: boolean;
2511
+ argsHash: string;
2512
+ contractAddress?: any;
2513
+ msgSender?: any;
2514
+ functionSelector?: any;
2515
+ }[];
2516
+ publicAppLogicCallRequests: {
2517
+ isStaticCall: boolean;
2518
+ argsHash: string;
2519
+ contractAddress?: any;
2520
+ msgSender?: any;
2521
+ functionSelector?: any;
2522
+ }[];
2523
+ publicTeardownCallRequest: {
2524
+ isStaticCall: boolean;
2525
+ argsHash: string;
2526
+ contractAddress?: any;
2527
+ msgSender?: any;
2528
+ functionSelector?: any;
2529
+ };
2530
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2531
+ noteHashes: string | number | bigint;
2532
+ nullifiers: string | number | bigint;
2533
+ l2ToL1Msgs: string | number | bigint;
2534
+ };
2535
+ previousRevertibleAccumulatedDataArrayLengths: {
2536
+ noteHashes: string | number | bigint;
2537
+ nullifiers: string | number | bigint;
2538
+ l2ToL1Msgs: string | number | bigint;
2539
+ };
2540
+ previousNonRevertibleAccumulatedData: {
2541
+ noteHashes: string[];
2542
+ nullifiers: string[];
2543
+ l2ToL1Msgs: {
2544
+ message: {
2545
+ counter: number;
2546
+ recipient: string;
2547
+ content: string;
2548
+ };
2549
+ contractAddress?: any;
2550
+ }[];
2551
+ };
2552
+ previousRevertibleAccumulatedData: {
2553
+ noteHashes: string[];
2554
+ nullifiers: string[];
2555
+ l2ToL1Msgs: {
2556
+ message: {
2557
+ counter: number;
2558
+ recipient: string;
2559
+ content: string;
2560
+ };
2561
+ contractAddress?: any;
2562
+ }[];
2563
+ };
2564
+ endTreeSnapshots: {
2565
+ l1ToL2MessageTree: {
2566
+ root: string;
2567
+ nextAvailableLeafIndex: string | number | bigint;
2568
+ };
2569
+ noteHashTree: {
2570
+ root: string;
2571
+ nextAvailableLeafIndex: string | number | bigint;
2572
+ };
2573
+ nullifierTree: {
2574
+ root: string;
2575
+ nextAvailableLeafIndex: string | number | bigint;
2576
+ };
2577
+ publicDataTree: {
2578
+ root: string;
2579
+ nextAvailableLeafIndex: string | number | bigint;
2580
+ };
2581
+ };
2582
+ endGasUsed: {
2583
+ daGas: string | number | bigint;
2584
+ l2Gas: string | number | bigint;
2585
+ };
2586
+ accumulatedData: {
2587
+ noteHashes: string[];
2588
+ nullifiers: string[];
2589
+ l2ToL1Msgs: {
2590
+ message: {
2591
+ counter: number;
2592
+ recipient: string;
2593
+ content: string;
2594
+ };
2595
+ contractAddress?: any;
2596
+ }[];
2597
+ publicLogs: any[];
2598
+ publicDataWrites: {
2599
+ value: string;
2600
+ leafSlot: string;
2601
+ }[];
2602
+ };
2603
+ transactionFee: string;
2604
+ reverted: boolean;
2605
+ feePayer?: any;
2606
+ };
2607
+ };
43
2608
  }>, z.ZodObject<{
44
2609
  type: z.ZodLiteral<ProvingRequestType.BASE_PARITY>;
45
2610
  inputs: z.ZodType<BaseParityInputs, any, string>;