@aztec/stdlib 0.83.1 → 0.84.0-alpha-testnet.0

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 (86) hide show
  1. package/dest/abi/abi.d.ts +2 -2
  2. package/dest/abi/abi.d.ts.map +1 -1
  3. package/dest/abi/abi.js +1 -1
  4. package/dest/abi/contract_artifact.d.ts.map +1 -1
  5. package/dest/abi/contract_artifact.js +21 -9
  6. package/dest/avm/avm.d.ts +1203 -694
  7. package/dest/avm/avm.d.ts.map +1 -1
  8. package/dest/avm/avm.js +58 -6
  9. package/dest/avm/avm_circuit_public_inputs.d.ts +80 -80
  10. package/dest/avm/avm_proving_request.d.ts +672 -447
  11. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  12. package/dest/config/config.d.ts +2 -1
  13. package/dest/config/config.d.ts.map +1 -1
  14. package/dest/contract/artifact_hash.d.ts +5 -5
  15. package/dest/contract/artifact_hash.d.ts.map +1 -1
  16. package/dest/contract/artifact_hash.js +8 -8
  17. package/dest/contract/index.d.ts +1 -1
  18. package/dest/contract/index.d.ts.map +1 -1
  19. package/dest/contract/index.js +1 -1
  20. package/dest/contract/interfaces/contract_class.d.ts +23 -19
  21. package/dest/contract/interfaces/contract_class.d.ts.map +1 -1
  22. package/dest/contract/interfaces/contract_class.js +4 -4
  23. package/dest/contract/interfaces/contract_instance.d.ts +2 -2
  24. package/dest/contract/private_function_membership_proof.d.ts +1 -1
  25. package/dest/contract/private_function_membership_proof.js +6 -6
  26. package/dest/contract/utility_function_membership_proof.d.ts +27 -0
  27. package/dest/contract/utility_function_membership_proof.d.ts.map +1 -0
  28. package/dest/contract/{unconstrained_function_membership_proof.js → utility_function_membership_proof.js} +13 -13
  29. package/dest/interfaces/allowed_element.d.ts +53 -0
  30. package/dest/interfaces/allowed_element.d.ts.map +1 -0
  31. package/dest/interfaces/allowed_element.js +18 -0
  32. package/dest/interfaces/configs.d.ts +17 -34
  33. package/dest/interfaces/configs.d.ts.map +1 -1
  34. package/dest/interfaces/configs.js +2 -17
  35. package/dest/interfaces/proving-job.d.ts +672 -447
  36. package/dest/interfaces/proving-job.d.ts.map +1 -1
  37. package/dest/interfaces/public_state_source.d.ts +8 -0
  38. package/dest/interfaces/public_state_source.d.ts.map +1 -0
  39. package/dest/interfaces/public_state_source.js +1 -0
  40. package/dest/interfaces/pxe.d.ts +7 -8
  41. package/dest/interfaces/pxe.d.ts.map +1 -1
  42. package/dest/interfaces/pxe.js +1 -1
  43. package/dest/interfaces/server.d.ts +1 -0
  44. package/dest/interfaces/server.d.ts.map +1 -1
  45. package/dest/interfaces/server.js +1 -0
  46. package/dest/logs/tx_scoped_l2_log.d.ts +1 -1
  47. package/dest/noir/index.d.ts +3 -1
  48. package/dest/noir/index.d.ts.map +1 -1
  49. package/dest/noir/index.js +1 -0
  50. package/dest/note/extended_note.d.ts +3 -3
  51. package/dest/proofs/proof.d.ts +0 -1
  52. package/dest/proofs/proof.d.ts.map +1 -1
  53. package/dest/proofs/proof.js +6 -11
  54. package/dest/tests/factories.d.ts +4 -3
  55. package/dest/tests/factories.d.ts.map +1 -1
  56. package/dest/tests/factories.js +15 -6
  57. package/dest/trees/database_public_state_source.d.ts +11 -0
  58. package/dest/trees/database_public_state_source.d.ts.map +1 -0
  59. package/dest/trees/database_public_state_source.js +18 -0
  60. package/dest/trees/index.d.ts +1 -0
  61. package/dest/trees/index.d.ts.map +1 -1
  62. package/dest/trees/index.js +1 -0
  63. package/dest/tx/call_context.d.ts +1 -1
  64. package/dest/tx/tree_snapshots.d.ts +6 -6
  65. package/package.json +6 -6
  66. package/src/abi/abi.ts +2 -2
  67. package/src/abi/contract_artifact.ts +22 -8
  68. package/src/avm/avm.ts +89 -5
  69. package/src/config/config.ts +2 -1
  70. package/src/contract/artifact_hash.ts +9 -9
  71. package/src/contract/index.ts +1 -1
  72. package/src/contract/interfaces/contract_class.ts +21 -17
  73. package/src/contract/private_function_membership_proof.ts +6 -6
  74. package/src/contract/{unconstrained_function_membership_proof.ts → utility_function_membership_proof.ts} +18 -18
  75. package/src/interfaces/allowed_element.ts +21 -0
  76. package/src/interfaces/configs.ts +3 -18
  77. package/src/interfaces/public_state_source.ts +9 -0
  78. package/src/interfaces/pxe.ts +8 -9
  79. package/src/interfaces/server.ts +1 -0
  80. package/src/noir/index.ts +2 -1
  81. package/src/proofs/proof.ts +6 -16
  82. package/src/tests/factories.ts +23 -6
  83. package/src/trees/database_public_state_source.ts +30 -0
  84. package/src/trees/index.ts +1 -0
  85. package/dest/contract/unconstrained_function_membership_proof.d.ts +0 -27
  86. package/dest/contract/unconstrained_function_membership_proof.d.ts.map +0 -1
package/dest/avm/avm_proving_request.d.ts CHANGED
@@ -10,27 +10,130 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
10
10
  functionName: z.ZodString;
11
11
  calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
12
12
  hints: z.ZodEffects<z.ZodObject<{
13
- enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
14
- msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
15
- contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
16
- calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
17
- isStaticCall: z.ZodBoolean;
13
+ tx: z.ZodObject<{
14
+ nonRevertibleAccumulatedData: z.ZodObject<{
15
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
16
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
17
+ }, "strip", z.ZodTypeAny, {
18
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
19
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
20
+ }, {
21
+ noteHashes: string[];
22
+ nullifiers: string[];
23
+ }>;
24
+ revertibleAccumulatedData: z.ZodObject<{
25
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
26
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
27
+ }, "strip", z.ZodTypeAny, {
28
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
29
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
30
+ }, {
31
+ noteHashes: string[];
32
+ nullifiers: string[];
33
+ }>;
34
+ setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
35
+ msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
36
+ contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
37
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
38
+ isStaticCall: z.ZodBoolean;
39
+ }, "strip", z.ZodTypeAny, {
40
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
41
+ msgSender: import("../aztec-address/index.js").AztecAddress;
42
+ isStaticCall: boolean;
43
+ calldata: import("@aztec/foundation/schemas").Fr[];
44
+ }, {
45
+ isStaticCall: boolean;
46
+ calldata: string[];
47
+ contractAddress?: any;
48
+ msgSender?: any;
49
+ }>, import("./avm.js").AvmEnqueuedCallHint, {
50
+ isStaticCall: boolean;
51
+ calldata: string[];
52
+ contractAddress?: any;
53
+ msgSender?: any;
54
+ }>, "many">;
55
+ appLogicEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
56
+ msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
57
+ contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
58
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
59
+ isStaticCall: z.ZodBoolean;
60
+ }, "strip", z.ZodTypeAny, {
61
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
62
+ msgSender: import("../aztec-address/index.js").AztecAddress;
63
+ isStaticCall: boolean;
64
+ calldata: import("@aztec/foundation/schemas").Fr[];
65
+ }, {
66
+ isStaticCall: boolean;
67
+ calldata: string[];
68
+ contractAddress?: any;
69
+ msgSender?: any;
70
+ }>, import("./avm.js").AvmEnqueuedCallHint, {
71
+ isStaticCall: boolean;
72
+ calldata: string[];
73
+ contractAddress?: any;
74
+ msgSender?: any;
75
+ }>, "many">;
76
+ teardownEnqueuedCall: z.ZodNullable<z.ZodEffects<z.ZodObject<{
77
+ msgSender: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
78
+ contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
79
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
80
+ isStaticCall: z.ZodBoolean;
81
+ }, "strip", z.ZodTypeAny, {
82
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
83
+ msgSender: import("../aztec-address/index.js").AztecAddress;
84
+ isStaticCall: boolean;
85
+ calldata: import("@aztec/foundation/schemas").Fr[];
86
+ }, {
87
+ isStaticCall: boolean;
88
+ calldata: string[];
89
+ contractAddress?: any;
90
+ msgSender?: any;
91
+ }>, import("./avm.js").AvmEnqueuedCallHint, {
92
+ isStaticCall: boolean;
93
+ calldata: string[];
94
+ contractAddress?: any;
95
+ msgSender?: any;
96
+ }>>;
18
97
  }, "strip", z.ZodTypeAny, {
19
- contractAddress: import("../aztec-address/index.js").AztecAddress;
20
- msgSender: import("../aztec-address/index.js").AztecAddress;
21
- isStaticCall: boolean;
22
- calldata: import("@aztec/foundation/schemas").Fr[];
98
+ nonRevertibleAccumulatedData: {
99
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
100
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
101
+ };
102
+ revertibleAccumulatedData: {
103
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
104
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
105
+ };
106
+ setupEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
107
+ appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
108
+ teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
23
109
  }, {
24
- isStaticCall: boolean;
25
- calldata: string[];
26
- contractAddress?: any;
27
- msgSender?: any;
28
- }>, import("./avm.js").AvmEnqueuedCallHint, {
29
- isStaticCall: boolean;
30
- calldata: string[];
31
- contractAddress?: any;
32
- msgSender?: any;
33
- }>, "many">;
110
+ nonRevertibleAccumulatedData: {
111
+ noteHashes: string[];
112
+ nullifiers: string[];
113
+ };
114
+ revertibleAccumulatedData: {
115
+ noteHashes: string[];
116
+ nullifiers: string[];
117
+ };
118
+ setupEnqueuedCalls: {
119
+ isStaticCall: boolean;
120
+ calldata: string[];
121
+ contractAddress?: any;
122
+ msgSender?: any;
123
+ }[];
124
+ appLogicEnqueuedCalls: {
125
+ isStaticCall: boolean;
126
+ calldata: string[];
127
+ contractAddress?: any;
128
+ msgSender?: any;
129
+ }[];
130
+ teardownEnqueuedCall: {
131
+ isStaticCall: boolean;
132
+ calldata: string[];
133
+ contractAddress?: any;
134
+ msgSender?: any;
135
+ } | null;
136
+ }>;
34
137
  contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
35
138
  address: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
36
139
  salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -61,36 +164,36 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
61
164
  }>;
62
165
  }, "strip", z.ZodTypeAny, {
63
166
  address: import("../aztec-address/index.js").AztecAddress;
167
+ publicKeys: import("../keys/public_keys.js").PublicKeys;
64
168
  salt: import("@aztec/foundation/schemas").Fr;
65
169
  deployer: import("../aztec-address/index.js").AztecAddress;
66
170
  currentContractClassId: import("@aztec/foundation/schemas").Fr;
67
171
  originalContractClassId: import("@aztec/foundation/schemas").Fr;
68
172
  initializationHash: import("@aztec/foundation/schemas").Fr;
69
- publicKeys: import("../keys/public_keys.js").PublicKeys;
70
173
  }, {
71
- salt: string;
72
- currentContractClassId: string;
73
- originalContractClassId: string;
74
- initializationHash: string;
75
174
  publicKeys: {
76
175
  masterNullifierPublicKey: string;
77
176
  masterIncomingViewingPublicKey: string;
78
177
  masterOutgoingViewingPublicKey: string;
79
178
  masterTaggingPublicKey: string;
80
179
  };
81
- address?: any;
82
- deployer?: any;
83
- }>, import("./avm.js").AvmContractInstanceHint, {
84
180
  salt: string;
85
181
  currentContractClassId: string;
86
182
  originalContractClassId: string;
87
183
  initializationHash: string;
184
+ address?: any;
185
+ deployer?: any;
186
+ }>, import("./avm.js").AvmContractInstanceHint, {
88
187
  publicKeys: {
89
188
  masterNullifierPublicKey: string;
90
189
  masterIncomingViewingPublicKey: string;
91
190
  masterOutgoingViewingPublicKey: string;
92
191
  masterTaggingPublicKey: string;
93
192
  };
193
+ salt: string;
194
+ currentContractClassId: string;
195
+ originalContractClassId: string;
196
+ initializationHash: string;
94
197
  address?: any;
95
198
  deployer?: any;
96
199
  }>, "many">;
@@ -206,27 +309,27 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
206
309
  }, "strip", z.ZodTypeAny, {
207
310
  value: import("@aztec/foundation/schemas").Fr;
208
311
  index: bigint;
312
+ alreadyPresent: boolean;
209
313
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
210
314
  treeId: number;
211
- alreadyPresent: boolean;
212
315
  }, {
213
316
  value: string;
214
317
  index: string | number | bigint;
318
+ alreadyPresent: boolean;
215
319
  hintKey: {
216
320
  root: string;
217
321
  nextAvailableLeafIndex: string | number | bigint;
218
322
  };
219
323
  treeId: number;
220
- alreadyPresent: boolean;
221
324
  }>, import("./avm.js").AvmGetPreviousValueIndexHint, {
222
325
  value: string;
223
326
  index: string | number | bigint;
327
+ alreadyPresent: boolean;
224
328
  hintKey: {
225
329
  root: string;
226
330
  nextAvailableLeafIndex: string | number | bigint;
227
331
  };
228
332
  treeId: number;
229
- alreadyPresent: boolean;
230
333
  }>, "many">;
231
334
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
232
335
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -308,14 +411,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
308
411
  }>;
309
412
  }, "strip", z.ZodTypeAny, {
310
413
  index: bigint;
311
- hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
312
414
  leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
415
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
313
416
  }, {
314
417
  index: string | number | bigint;
315
- hintKey: {
316
- root: string;
317
- nextAvailableLeafIndex: string | number | bigint;
318
- };
319
418
  leafPreimage: {
320
419
  leaf: {
321
420
  nullifier: string;
@@ -330,16 +429,16 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
330
429
  nextKey: string;
331
430
  nextIndex: string | number | bigint;
332
431
  };
432
+ hintKey: {
433
+ root: string;
434
+ nextAvailableLeafIndex: string | number | bigint;
435
+ };
333
436
  }>, {
334
437
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
335
438
  readonly index: bigint;
336
439
  readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
337
440
  }, {
338
441
  index: string | number | bigint;
339
- hintKey: {
340
- root: string;
341
- nextAvailableLeafIndex: string | number | bigint;
342
- };
343
442
  leafPreimage: {
344
443
  leaf: {
345
444
  nullifier: string;
@@ -354,6 +453,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
354
453
  nextKey: string;
355
454
  nextIndex: string | number | bigint;
356
455
  };
456
+ hintKey: {
457
+ root: string;
458
+ nextAvailableLeafIndex: string | number | bigint;
459
+ };
357
460
  }>, "many">;
358
461
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
359
462
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -435,14 +538,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
435
538
  }>;
436
539
  }, "strip", z.ZodTypeAny, {
437
540
  index: bigint;
438
- hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
439
541
  leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
542
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
440
543
  }, {
441
544
  index: string | number | bigint;
442
- hintKey: {
443
- root: string;
444
- nextAvailableLeafIndex: string | number | bigint;
445
- };
446
545
  leafPreimage: {
447
546
  leaf: {
448
547
  nullifier: string;
@@ -457,16 +556,16 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
457
556
  nextKey: string;
458
557
  nextIndex: string | number | bigint;
459
558
  };
559
+ hintKey: {
560
+ root: string;
561
+ nextAvailableLeafIndex: string | number | bigint;
562
+ };
460
563
  }>, {
461
564
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
462
565
  readonly index: bigint;
463
566
  readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
464
567
  }, {
465
568
  index: string | number | bigint;
466
- hintKey: {
467
- root: string;
468
- nextAvailableLeafIndex: string | number | bigint;
469
- };
470
569
  leafPreimage: {
471
570
  leaf: {
472
571
  nullifier: string;
@@ -481,6 +580,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
481
580
  nextKey: string;
482
581
  nextIndex: string | number | bigint;
483
582
  };
583
+ hintKey: {
584
+ root: string;
585
+ nextAvailableLeafIndex: string | number | bigint;
586
+ };
484
587
  }>, "many">;
485
588
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
486
589
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -1242,7 +1345,19 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1242
1345
  };
1243
1346
  }>, "many">;
1244
1347
  }, "strip", z.ZodTypeAny, {
1245
- enqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
1348
+ tx: {
1349
+ nonRevertibleAccumulatedData: {
1350
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1351
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1352
+ };
1353
+ revertibleAccumulatedData: {
1354
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1355
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1356
+ };
1357
+ setupEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
1358
+ appLogicEnqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
1359
+ teardownEnqueuedCall: import("./avm.js").AvmEnqueuedCallHint | null;
1360
+ };
1246
1361
  contractInstances: import("./avm.js").AvmContractInstanceHint[];
1247
1362
  contractClasses: import("./avm.js").AvmContractClassHint[];
1248
1363
  bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
@@ -1292,23 +1407,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1292
1407
  };
1293
1408
  }[];
1294
1409
  }, {
1295
- enqueuedCalls: {
1296
- isStaticCall: boolean;
1297
- calldata: string[];
1298
- contractAddress?: any;
1299
- msgSender?: any;
1300
- }[];
1410
+ tx: {
1411
+ nonRevertibleAccumulatedData: {
1412
+ noteHashes: string[];
1413
+ nullifiers: string[];
1414
+ };
1415
+ revertibleAccumulatedData: {
1416
+ noteHashes: string[];
1417
+ nullifiers: string[];
1418
+ };
1419
+ setupEnqueuedCalls: {
1420
+ isStaticCall: boolean;
1421
+ calldata: string[];
1422
+ contractAddress?: any;
1423
+ msgSender?: any;
1424
+ }[];
1425
+ appLogicEnqueuedCalls: {
1426
+ isStaticCall: boolean;
1427
+ calldata: string[];
1428
+ contractAddress?: any;
1429
+ msgSender?: any;
1430
+ }[];
1431
+ teardownEnqueuedCall: {
1432
+ isStaticCall: boolean;
1433
+ calldata: string[];
1434
+ contractAddress?: any;
1435
+ msgSender?: any;
1436
+ } | null;
1437
+ };
1301
1438
  contractInstances: {
1302
- salt: string;
1303
- currentContractClassId: string;
1304
- originalContractClassId: string;
1305
- initializationHash: string;
1306
1439
  publicKeys: {
1307
1440
  masterNullifierPublicKey: string;
1308
1441
  masterIncomingViewingPublicKey: string;
1309
1442
  masterOutgoingViewingPublicKey: string;
1310
1443
  masterTaggingPublicKey: string;
1311
1444
  };
1445
+ salt: string;
1446
+ currentContractClassId: string;
1447
+ originalContractClassId: string;
1448
+ initializationHash: string;
1312
1449
  address?: any;
1313
1450
  deployer?: any;
1314
1451
  }[];
@@ -1337,19 +1474,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1337
1474
  getPreviousValueIndexHints: {
1338
1475
  value: string;
1339
1476
  index: string | number | bigint;
1477
+ alreadyPresent: boolean;
1340
1478
  hintKey: {
1341
1479
  root: string;
1342
1480
  nextAvailableLeafIndex: string | number | bigint;
1343
1481
  };
1344
1482
  treeId: number;
1345
- alreadyPresent: boolean;
1346
1483
  }[];
1347
1484
  getLeafPreimageHintsPublicDataTree: {
1348
1485
  index: string | number | bigint;
1349
- hintKey: {
1350
- root: string;
1351
- nextAvailableLeafIndex: string | number | bigint;
1352
- };
1353
1486
  leafPreimage: {
1354
1487
  leaf: {
1355
1488
  nullifier: string;
@@ -1364,13 +1497,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1364
1497
  nextKey: string;
1365
1498
  nextIndex: string | number | bigint;
1366
1499
  };
1367
- }[];
1368
- getLeafPreimageHintsNullifierTree: {
1369
- index: string | number | bigint;
1370
1500
  hintKey: {
1371
1501
  root: string;
1372
1502
  nextAvailableLeafIndex: string | number | bigint;
1373
1503
  };
1504
+ }[];
1505
+ getLeafPreimageHintsNullifierTree: {
1506
+ index: string | number | bigint;
1374
1507
  leafPreimage: {
1375
1508
  leaf: {
1376
1509
  nullifier: string;
@@ -1385,6 +1518,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1385
1518
  nextKey: string;
1386
1519
  nextIndex: string | number | bigint;
1387
1520
  };
1521
+ hintKey: {
1522
+ root: string;
1523
+ nextAvailableLeafIndex: string | number | bigint;
1524
+ };
1388
1525
  }[];
1389
1526
  getLeafValueHints: {
1390
1527
  value: string;
@@ -1502,23 +1639,45 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1502
1639
  };
1503
1640
  }[];
1504
1641
  }>, import("./avm.js").AvmExecutionHints, {
1505
- enqueuedCalls: {
1506
- isStaticCall: boolean;
1507
- calldata: string[];
1508
- contractAddress?: any;
1509
- msgSender?: any;
1510
- }[];
1642
+ tx: {
1643
+ nonRevertibleAccumulatedData: {
1644
+ noteHashes: string[];
1645
+ nullifiers: string[];
1646
+ };
1647
+ revertibleAccumulatedData: {
1648
+ noteHashes: string[];
1649
+ nullifiers: string[];
1650
+ };
1651
+ setupEnqueuedCalls: {
1652
+ isStaticCall: boolean;
1653
+ calldata: string[];
1654
+ contractAddress?: any;
1655
+ msgSender?: any;
1656
+ }[];
1657
+ appLogicEnqueuedCalls: {
1658
+ isStaticCall: boolean;
1659
+ calldata: string[];
1660
+ contractAddress?: any;
1661
+ msgSender?: any;
1662
+ }[];
1663
+ teardownEnqueuedCall: {
1664
+ isStaticCall: boolean;
1665
+ calldata: string[];
1666
+ contractAddress?: any;
1667
+ msgSender?: any;
1668
+ } | null;
1669
+ };
1511
1670
  contractInstances: {
1512
- salt: string;
1513
- currentContractClassId: string;
1514
- originalContractClassId: string;
1515
- initializationHash: string;
1516
1671
  publicKeys: {
1517
1672
  masterNullifierPublicKey: string;
1518
1673
  masterIncomingViewingPublicKey: string;
1519
1674
  masterOutgoingViewingPublicKey: string;
1520
1675
  masterTaggingPublicKey: string;
1521
1676
  };
1677
+ salt: string;
1678
+ currentContractClassId: string;
1679
+ originalContractClassId: string;
1680
+ initializationHash: string;
1522
1681
  address?: any;
1523
1682
  deployer?: any;
1524
1683
  }[];
@@ -1547,19 +1706,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1547
1706
  getPreviousValueIndexHints: {
1548
1707
  value: string;
1549
1708
  index: string | number | bigint;
1709
+ alreadyPresent: boolean;
1550
1710
  hintKey: {
1551
1711
  root: string;
1552
1712
  nextAvailableLeafIndex: string | number | bigint;
1553
1713
  };
1554
1714
  treeId: number;
1555
- alreadyPresent: boolean;
1556
1715
  }[];
1557
1716
  getLeafPreimageHintsPublicDataTree: {
1558
1717
  index: string | number | bigint;
1559
- hintKey: {
1560
- root: string;
1561
- nextAvailableLeafIndex: string | number | bigint;
1562
- };
1563
1718
  leafPreimage: {
1564
1719
  leaf: {
1565
1720
  nullifier: string;
@@ -1574,13 +1729,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1574
1729
  nextKey: string;
1575
1730
  nextIndex: string | number | bigint;
1576
1731
  };
1577
- }[];
1578
- getLeafPreimageHintsNullifierTree: {
1579
- index: string | number | bigint;
1580
1732
  hintKey: {
1581
1733
  root: string;
1582
1734
  nextAvailableLeafIndex: string | number | bigint;
1583
1735
  };
1736
+ }[];
1737
+ getLeafPreimageHintsNullifierTree: {
1738
+ index: string | number | bigint;
1584
1739
  leafPreimage: {
1585
1740
  leaf: {
1586
1741
  nullifier: string;
@@ -1595,6 +1750,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1595
1750
  nextKey: string;
1596
1751
  nextIndex: string | number | bigint;
1597
1752
  };
1753
+ hintKey: {
1754
+ root: string;
1755
+ nextAvailableLeafIndex: string | number | bigint;
1756
+ };
1598
1757
  }[];
1599
1758
  getLeafValueHints: {
1600
1759
  value: string;
@@ -1822,15 +1981,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1822
1981
  nextAvailableLeafIndex: string | number | bigint;
1823
1982
  }>;
1824
1983
  }, "strip", z.ZodTypeAny, {
1825
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1826
1984
  noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1827
1985
  nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1828
1986
  publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1987
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1829
1988
  }, {
1830
- l1ToL2MessageTree: {
1831
- root: string;
1832
- nextAvailableLeafIndex: string | number | bigint;
1833
- };
1834
1989
  noteHashTree: {
1835
1990
  root: string;
1836
1991
  nextAvailableLeafIndex: string | number | bigint;
@@ -1843,11 +1998,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1843
1998
  root: string;
1844
1999
  nextAvailableLeafIndex: string | number | bigint;
1845
2000
  };
1846
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1847
2001
  l1ToL2MessageTree: {
1848
2002
  root: string;
1849
2003
  nextAvailableLeafIndex: string | number | bigint;
1850
2004
  };
2005
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1851
2006
  noteHashTree: {
1852
2007
  root: string;
1853
2008
  nextAvailableLeafIndex: string | number | bigint;
@@ -1860,6 +2015,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1860
2015
  root: string;
1861
2016
  nextAvailableLeafIndex: string | number | bigint;
1862
2017
  };
2018
+ l1ToL2MessageTree: {
2019
+ root: string;
2020
+ nextAvailableLeafIndex: string | number | bigint;
2021
+ };
1863
2022
  }>;
1864
2023
  startGasUsed: z.ZodEffects<z.ZodObject<{
1865
2024
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2253,15 +2412,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2253
2412
  nextAvailableLeafIndex: string | number | bigint;
2254
2413
  }>;
2255
2414
  }, "strip", z.ZodTypeAny, {
2256
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2257
2415
  noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2258
2416
  nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2259
2417
  publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2418
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2260
2419
  }, {
2261
- l1ToL2MessageTree: {
2262
- root: string;
2263
- nextAvailableLeafIndex: string | number | bigint;
2264
- };
2265
2420
  noteHashTree: {
2266
2421
  root: string;
2267
2422
  nextAvailableLeafIndex: string | number | bigint;
@@ -2274,11 +2429,11 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2274
2429
  root: string;
2275
2430
  nextAvailableLeafIndex: string | number | bigint;
2276
2431
  };
2277
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
2278
2432
  l1ToL2MessageTree: {
2279
2433
  root: string;
2280
2434
  nextAvailableLeafIndex: string | number | bigint;
2281
2435
  };
2436
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
2282
2437
  noteHashTree: {
2283
2438
  root: string;
2284
2439
  nextAvailableLeafIndex: string | number | bigint;
@@ -2291,6 +2446,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2291
2446
  root: string;
2292
2447
  nextAvailableLeafIndex: string | number | bigint;
2293
2448
  };
2449
+ l1ToL2MessageTree: {
2450
+ root: string;
2451
+ nextAvailableLeafIndex: string | number | bigint;
2452
+ };
2294
2453
  }>;
2295
2454
  endGasUsed: z.ZodEffects<z.ZodObject<{
2296
2455
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2402,13 +2561,14 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2402
2561
  reverted: z.ZodBoolean;
2403
2562
  }, "strip", z.ZodTypeAny, {
2404
2563
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
2405
- startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2406
- startGasUsed: import("../gas/gas.js").Gas;
2407
2564
  gasSettings: import("../gas/gas_settings.js").GasSettings;
2565
+ publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
2566
+ transactionFee: import("@aztec/foundation/schemas").Fr;
2408
2567
  feePayer: import("../aztec-address/index.js").AztecAddress;
2568
+ startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2569
+ startGasUsed: import("../gas/gas.js").Gas;
2409
2570
  publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
2410
2571
  publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
2411
- publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
2412
2572
  previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
2413
2573
  previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
2414
2574
  previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
@@ -2416,7 +2576,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2416
2576
  endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2417
2577
  endGasUsed: import("../gas/gas.js").Gas;
2418
2578
  accumulatedData: import("./avm_accumulated_data.js").AvmAccumulatedData;
2419
- transactionFee: import("@aztec/foundation/schemas").Fr;
2420
2579
  reverted: boolean;
2421
2580
  }, {
2422
2581
  globalVariables: {
@@ -2432,28 +2591,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2432
2591
  coinbase?: any;
2433
2592
  feeRecipient?: any;
2434
2593
  };
2435
- startTreeSnapshots: {
2436
- l1ToL2MessageTree: {
2437
- root: string;
2438
- nextAvailableLeafIndex: string | number | bigint;
2439
- };
2440
- noteHashTree: {
2441
- root: string;
2442
- nextAvailableLeafIndex: string | number | bigint;
2443
- };
2444
- nullifierTree: {
2445
- root: string;
2446
- nextAvailableLeafIndex: string | number | bigint;
2447
- };
2448
- publicDataTree: {
2449
- root: string;
2450
- nextAvailableLeafIndex: string | number | bigint;
2451
- };
2452
- };
2453
- startGasUsed: {
2454
- daGas: string | number | bigint;
2455
- l2Gas: string | number | bigint;
2456
- };
2457
2594
  gasSettings: {
2458
2595
  gasLimits: {
2459
2596
  daGas: string | number | bigint;
@@ -2472,38 +2609,61 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2472
2609
  feePerL2Gas: string;
2473
2610
  };
2474
2611
  };
2475
- publicSetupCallRequests: {
2476
- isStaticCall: boolean;
2477
- calldataHash: string;
2478
- contractAddress?: any;
2479
- msgSender?: any;
2480
- }[];
2481
- publicAppLogicCallRequests: {
2482
- isStaticCall: boolean;
2483
- calldataHash: string;
2484
- contractAddress?: any;
2485
- msgSender?: any;
2486
- }[];
2487
2612
  publicTeardownCallRequest: {
2488
2613
  isStaticCall: boolean;
2489
2614
  calldataHash: string;
2490
2615
  contractAddress?: any;
2491
2616
  msgSender?: any;
2492
2617
  };
2493
- previousNonRevertibleAccumulatedDataArrayLengths: {
2494
- noteHashes: string | number | bigint;
2495
- nullifiers: string | number | bigint;
2496
- l2ToL1Msgs: string | number | bigint;
2497
- };
2498
- previousRevertibleAccumulatedDataArrayLengths: {
2499
- noteHashes: string | number | bigint;
2500
- nullifiers: string | number | bigint;
2501
- l2ToL1Msgs: string | number | bigint;
2502
- };
2503
- previousNonRevertibleAccumulatedData: {
2504
- noteHashes: string[];
2505
- nullifiers: string[];
2506
- l2ToL1Msgs: {
2618
+ transactionFee: string;
2619
+ startTreeSnapshots: {
2620
+ noteHashTree: {
2621
+ root: string;
2622
+ nextAvailableLeafIndex: string | number | bigint;
2623
+ };
2624
+ nullifierTree: {
2625
+ root: string;
2626
+ nextAvailableLeafIndex: string | number | bigint;
2627
+ };
2628
+ publicDataTree: {
2629
+ root: string;
2630
+ nextAvailableLeafIndex: string | number | bigint;
2631
+ };
2632
+ l1ToL2MessageTree: {
2633
+ root: string;
2634
+ nextAvailableLeafIndex: string | number | bigint;
2635
+ };
2636
+ };
2637
+ startGasUsed: {
2638
+ daGas: string | number | bigint;
2639
+ l2Gas: string | number | bigint;
2640
+ };
2641
+ publicSetupCallRequests: {
2642
+ isStaticCall: boolean;
2643
+ calldataHash: string;
2644
+ contractAddress?: any;
2645
+ msgSender?: any;
2646
+ }[];
2647
+ publicAppLogicCallRequests: {
2648
+ isStaticCall: boolean;
2649
+ calldataHash: string;
2650
+ contractAddress?: any;
2651
+ msgSender?: any;
2652
+ }[];
2653
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2654
+ noteHashes: string | number | bigint;
2655
+ nullifiers: string | number | bigint;
2656
+ l2ToL1Msgs: string | number | bigint;
2657
+ };
2658
+ previousRevertibleAccumulatedDataArrayLengths: {
2659
+ noteHashes: string | number | bigint;
2660
+ nullifiers: string | number | bigint;
2661
+ l2ToL1Msgs: string | number | bigint;
2662
+ };
2663
+ previousNonRevertibleAccumulatedData: {
2664
+ noteHashes: string[];
2665
+ nullifiers: string[];
2666
+ l2ToL1Msgs: {
2507
2667
  message: {
2508
2668
  counter: number;
2509
2669
  recipient: string;
@@ -2525,10 +2685,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2525
2685
  }[];
2526
2686
  };
2527
2687
  endTreeSnapshots: {
2528
- l1ToL2MessageTree: {
2529
- root: string;
2530
- nextAvailableLeafIndex: string | number | bigint;
2531
- };
2532
2688
  noteHashTree: {
2533
2689
  root: string;
2534
2690
  nextAvailableLeafIndex: string | number | bigint;
@@ -2541,6 +2697,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2541
2697
  root: string;
2542
2698
  nextAvailableLeafIndex: string | number | bigint;
2543
2699
  };
2700
+ l1ToL2MessageTree: {
2701
+ root: string;
2702
+ nextAvailableLeafIndex: string | number | bigint;
2703
+ };
2544
2704
  };
2545
2705
  endGasUsed: {
2546
2706
  daGas: string | number | bigint;
@@ -2563,7 +2723,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2563
2723
  leafSlot: string;
2564
2724
  }[];
2565
2725
  };
2566
- transactionFee: string;
2567
2726
  reverted: boolean;
2568
2727
  feePayer?: any;
2569
2728
  }>, import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs, {
@@ -2580,11 +2739,100 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2580
2739
  coinbase?: any;
2581
2740
  feeRecipient?: any;
2582
2741
  };
2742
+ gasSettings: {
2743
+ gasLimits: {
2744
+ daGas: string | number | bigint;
2745
+ l2Gas: string | number | bigint;
2746
+ };
2747
+ teardownGasLimits: {
2748
+ daGas: string | number | bigint;
2749
+ l2Gas: string | number | bigint;
2750
+ };
2751
+ maxFeesPerGas: {
2752
+ feePerDaGas: string;
2753
+ feePerL2Gas: string;
2754
+ };
2755
+ maxPriorityFeesPerGas: {
2756
+ feePerDaGas: string;
2757
+ feePerL2Gas: string;
2758
+ };
2759
+ };
2760
+ publicTeardownCallRequest: {
2761
+ isStaticCall: boolean;
2762
+ calldataHash: string;
2763
+ contractAddress?: any;
2764
+ msgSender?: any;
2765
+ };
2766
+ transactionFee: string;
2583
2767
  startTreeSnapshots: {
2768
+ noteHashTree: {
2769
+ root: string;
2770
+ nextAvailableLeafIndex: string | number | bigint;
2771
+ };
2772
+ nullifierTree: {
2773
+ root: string;
2774
+ nextAvailableLeafIndex: string | number | bigint;
2775
+ };
2776
+ publicDataTree: {
2777
+ root: string;
2778
+ nextAvailableLeafIndex: string | number | bigint;
2779
+ };
2584
2780
  l1ToL2MessageTree: {
2585
2781
  root: string;
2586
2782
  nextAvailableLeafIndex: string | number | bigint;
2587
2783
  };
2784
+ };
2785
+ startGasUsed: {
2786
+ daGas: string | number | bigint;
2787
+ l2Gas: string | number | bigint;
2788
+ };
2789
+ publicSetupCallRequests: {
2790
+ isStaticCall: boolean;
2791
+ calldataHash: string;
2792
+ contractAddress?: any;
2793
+ msgSender?: any;
2794
+ }[];
2795
+ publicAppLogicCallRequests: {
2796
+ isStaticCall: boolean;
2797
+ calldataHash: string;
2798
+ contractAddress?: any;
2799
+ msgSender?: any;
2800
+ }[];
2801
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2802
+ noteHashes: string | number | bigint;
2803
+ nullifiers: string | number | bigint;
2804
+ l2ToL1Msgs: string | number | bigint;
2805
+ };
2806
+ previousRevertibleAccumulatedDataArrayLengths: {
2807
+ noteHashes: string | number | bigint;
2808
+ nullifiers: string | number | bigint;
2809
+ l2ToL1Msgs: string | number | bigint;
2810
+ };
2811
+ previousNonRevertibleAccumulatedData: {
2812
+ noteHashes: string[];
2813
+ nullifiers: string[];
2814
+ l2ToL1Msgs: {
2815
+ message: {
2816
+ counter: number;
2817
+ recipient: string;
2818
+ content: string;
2819
+ };
2820
+ contractAddress?: any;
2821
+ }[];
2822
+ };
2823
+ previousRevertibleAccumulatedData: {
2824
+ noteHashes: string[];
2825
+ nullifiers: string[];
2826
+ l2ToL1Msgs: {
2827
+ message: {
2828
+ counter: number;
2829
+ recipient: string;
2830
+ content: string;
2831
+ };
2832
+ contractAddress?: any;
2833
+ }[];
2834
+ };
2835
+ endTreeSnapshots: {
2588
2836
  noteHashTree: {
2589
2837
  root: string;
2590
2838
  nextAvailableLeafIndex: string | number | bigint;
@@ -2597,11 +2845,55 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2597
2845
  root: string;
2598
2846
  nextAvailableLeafIndex: string | number | bigint;
2599
2847
  };
2848
+ l1ToL2MessageTree: {
2849
+ root: string;
2850
+ nextAvailableLeafIndex: string | number | bigint;
2851
+ };
2600
2852
  };
2601
- startGasUsed: {
2853
+ endGasUsed: {
2602
2854
  daGas: string | number | bigint;
2603
2855
  l2Gas: string | number | bigint;
2604
2856
  };
2857
+ accumulatedData: {
2858
+ noteHashes: string[];
2859
+ nullifiers: string[];
2860
+ l2ToL1Msgs: {
2861
+ message: {
2862
+ counter: number;
2863
+ recipient: string;
2864
+ content: string;
2865
+ };
2866
+ contractAddress?: any;
2867
+ }[];
2868
+ publicLogs: any[];
2869
+ publicDataWrites: {
2870
+ value: string;
2871
+ leafSlot: string;
2872
+ }[];
2873
+ };
2874
+ reverted: boolean;
2875
+ feePayer?: any;
2876
+ }>;
2877
+ }, "strip", z.ZodTypeAny, {
2878
+ publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2879
+ calldata: import("@aztec/foundation/schemas").Fr[];
2880
+ functionName: string;
2881
+ hints: import("./avm.js").AvmExecutionHints;
2882
+ }, {
2883
+ publicInputs: {
2884
+ globalVariables: {
2885
+ gasFees: {
2886
+ feePerDaGas: string;
2887
+ feePerL2Gas: string;
2888
+ };
2889
+ chainId?: any;
2890
+ version?: any;
2891
+ blockNumber?: any;
2892
+ slotNumber?: any;
2893
+ timestamp?: any;
2894
+ coinbase?: any;
2895
+ feeRecipient?: any;
2896
+ };
2605
2897
  gasSettings: {
2606
2898
  gasLimits: {
2607
2899
  daGas: string | number | bigint;
@@ -2620,24 +2912,47 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2620
2912
  feePerL2Gas: string;
2621
2913
  };
2622
2914
  };
2623
- publicSetupCallRequests: {
2915
+ publicTeardownCallRequest: {
2624
2916
  isStaticCall: boolean;
2625
2917
  calldataHash: string;
2626
2918
  contractAddress?: any;
2627
2919
  msgSender?: any;
2628
- }[];
2629
- publicAppLogicCallRequests: {
2920
+ };
2921
+ transactionFee: string;
2922
+ startTreeSnapshots: {
2923
+ noteHashTree: {
2924
+ root: string;
2925
+ nextAvailableLeafIndex: string | number | bigint;
2926
+ };
2927
+ nullifierTree: {
2928
+ root: string;
2929
+ nextAvailableLeafIndex: string | number | bigint;
2930
+ };
2931
+ publicDataTree: {
2932
+ root: string;
2933
+ nextAvailableLeafIndex: string | number | bigint;
2934
+ };
2935
+ l1ToL2MessageTree: {
2936
+ root: string;
2937
+ nextAvailableLeafIndex: string | number | bigint;
2938
+ };
2939
+ };
2940
+ startGasUsed: {
2941
+ daGas: string | number | bigint;
2942
+ l2Gas: string | number | bigint;
2943
+ };
2944
+ publicSetupCallRequests: {
2630
2945
  isStaticCall: boolean;
2631
2946
  calldataHash: string;
2632
2947
  contractAddress?: any;
2633
2948
  msgSender?: any;
2634
2949
  }[];
2635
- publicTeardownCallRequest: {
2950
+ publicAppLogicCallRequests: {
2636
2951
  isStaticCall: boolean;
2637
2952
  calldataHash: string;
2638
2953
  contractAddress?: any;
2639
2954
  msgSender?: any;
2640
- };
2955
+ }[];
2641
2956
  previousNonRevertibleAccumulatedDataArrayLengths: {
2642
2957
  noteHashes: string | number | bigint;
2643
2958
  nullifiers: string | number | bigint;
@@ -2673,10 +2988,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2673
2988
  }[];
2674
2989
  };
2675
2990
  endTreeSnapshots: {
2676
- l1ToL2MessageTree: {
2677
- root: string;
2678
- nextAvailableLeafIndex: string | number | bigint;
2679
- };
2680
2991
  noteHashTree: {
2681
2992
  root: string;
2682
2993
  nextAvailableLeafIndex: string | number | bigint;
@@ -2689,6 +3000,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2689
3000
  root: string;
2690
3001
  nextAvailableLeafIndex: string | number | bigint;
2691
3002
  };
3003
+ l1ToL2MessageTree: {
3004
+ root: string;
3005
+ nextAvailableLeafIndex: string | number | bigint;
3006
+ };
2692
3007
  };
2693
3008
  endGasUsed: {
2694
3009
  daGas: string | number | bigint;
@@ -2711,36 +3026,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2711
3026
  leafSlot: string;
2712
3027
  }[];
2713
3028
  };
2714
- transactionFee: string;
2715
3029
  reverted: boolean;
2716
3030
  feePayer?: any;
2717
- }>;
2718
- }, "strip", z.ZodTypeAny, {
2719
- calldata: import("@aztec/foundation/schemas").Fr[];
2720
- functionName: string;
2721
- hints: import("./avm.js").AvmExecutionHints;
2722
- publicInputs: import("./avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2723
- }, {
3031
+ };
2724
3032
  calldata: string[];
2725
3033
  functionName: string;
2726
3034
  hints: {
2727
- enqueuedCalls: {
2728
- isStaticCall: boolean;
2729
- calldata: string[];
2730
- contractAddress?: any;
2731
- msgSender?: any;
2732
- }[];
3035
+ tx: {
3036
+ nonRevertibleAccumulatedData: {
3037
+ noteHashes: string[];
3038
+ nullifiers: string[];
3039
+ };
3040
+ revertibleAccumulatedData: {
3041
+ noteHashes: string[];
3042
+ nullifiers: string[];
3043
+ };
3044
+ setupEnqueuedCalls: {
3045
+ isStaticCall: boolean;
3046
+ calldata: string[];
3047
+ contractAddress?: any;
3048
+ msgSender?: any;
3049
+ }[];
3050
+ appLogicEnqueuedCalls: {
3051
+ isStaticCall: boolean;
3052
+ calldata: string[];
3053
+ contractAddress?: any;
3054
+ msgSender?: any;
3055
+ }[];
3056
+ teardownEnqueuedCall: {
3057
+ isStaticCall: boolean;
3058
+ calldata: string[];
3059
+ contractAddress?: any;
3060
+ msgSender?: any;
3061
+ } | null;
3062
+ };
2733
3063
  contractInstances: {
2734
- salt: string;
2735
- currentContractClassId: string;
2736
- originalContractClassId: string;
2737
- initializationHash: string;
2738
3064
  publicKeys: {
2739
3065
  masterNullifierPublicKey: string;
2740
3066
  masterIncomingViewingPublicKey: string;
2741
3067
  masterOutgoingViewingPublicKey: string;
2742
3068
  masterTaggingPublicKey: string;
2743
3069
  };
3070
+ salt: string;
3071
+ currentContractClassId: string;
3072
+ originalContractClassId: string;
3073
+ initializationHash: string;
2744
3074
  address?: any;
2745
3075
  deployer?: any;
2746
3076
  }[];
@@ -2769,19 +3099,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2769
3099
  getPreviousValueIndexHints: {
2770
3100
  value: string;
2771
3101
  index: string | number | bigint;
3102
+ alreadyPresent: boolean;
2772
3103
  hintKey: {
2773
3104
  root: string;
2774
3105
  nextAvailableLeafIndex: string | number | bigint;
2775
3106
  };
2776
3107
  treeId: number;
2777
- alreadyPresent: boolean;
2778
3108
  }[];
2779
3109
  getLeafPreimageHintsPublicDataTree: {
2780
3110
  index: string | number | bigint;
2781
- hintKey: {
2782
- root: string;
2783
- nextAvailableLeafIndex: string | number | bigint;
2784
- };
2785
3111
  leafPreimage: {
2786
3112
  leaf: {
2787
3113
  nullifier: string;
@@ -2796,13 +3122,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2796
3122
  nextKey: string;
2797
3123
  nextIndex: string | number | bigint;
2798
3124
  };
2799
- }[];
2800
- getLeafPreimageHintsNullifierTree: {
2801
- index: string | number | bigint;
2802
3125
  hintKey: {
2803
3126
  root: string;
2804
3127
  nextAvailableLeafIndex: string | number | bigint;
2805
3128
  };
3129
+ }[];
3130
+ getLeafPreimageHintsNullifierTree: {
3131
+ index: string | number | bigint;
2806
3132
  leafPreimage: {
2807
3133
  leaf: {
2808
3134
  nullifier: string;
@@ -2817,6 +3143,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2817
3143
  nextKey: string;
2818
3144
  nextIndex: string | number | bigint;
2819
3145
  };
3146
+ hintKey: {
3147
+ root: string;
3148
+ nextAvailableLeafIndex: string | number | bigint;
3149
+ };
2820
3150
  }[];
2821
3151
  getLeafValueHints: {
2822
3152
  value: string;
@@ -2934,6 +3264,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2934
3264
  };
2935
3265
  }[];
2936
3266
  };
3267
+ }>, AvmCircuitInputs, {
2937
3268
  publicInputs: {
2938
3269
  globalVariables: {
2939
3270
  gasFees: {
@@ -2948,28 +3279,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2948
3279
  coinbase?: any;
2949
3280
  feeRecipient?: any;
2950
3281
  };
2951
- startTreeSnapshots: {
2952
- l1ToL2MessageTree: {
2953
- root: string;
2954
- nextAvailableLeafIndex: string | number | bigint;
2955
- };
2956
- noteHashTree: {
2957
- root: string;
2958
- nextAvailableLeafIndex: string | number | bigint;
2959
- };
2960
- nullifierTree: {
2961
- root: string;
2962
- nextAvailableLeafIndex: string | number | bigint;
2963
- };
2964
- publicDataTree: {
2965
- root: string;
2966
- nextAvailableLeafIndex: string | number | bigint;
2967
- };
2968
- };
2969
- startGasUsed: {
2970
- daGas: string | number | bigint;
2971
- l2Gas: string | number | bigint;
2972
- };
2973
3282
  gasSettings: {
2974
3283
  gasLimits: {
2975
3284
  daGas: string | number | bigint;
@@ -2988,24 +3297,47 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2988
3297
  feePerL2Gas: string;
2989
3298
  };
2990
3299
  };
2991
- publicSetupCallRequests: {
3300
+ publicTeardownCallRequest: {
2992
3301
  isStaticCall: boolean;
2993
3302
  calldataHash: string;
2994
3303
  contractAddress?: any;
2995
3304
  msgSender?: any;
2996
- }[];
2997
- publicAppLogicCallRequests: {
3305
+ };
3306
+ transactionFee: string;
3307
+ startTreeSnapshots: {
3308
+ noteHashTree: {
3309
+ root: string;
3310
+ nextAvailableLeafIndex: string | number | bigint;
3311
+ };
3312
+ nullifierTree: {
3313
+ root: string;
3314
+ nextAvailableLeafIndex: string | number | bigint;
3315
+ };
3316
+ publicDataTree: {
3317
+ root: string;
3318
+ nextAvailableLeafIndex: string | number | bigint;
3319
+ };
3320
+ l1ToL2MessageTree: {
3321
+ root: string;
3322
+ nextAvailableLeafIndex: string | number | bigint;
3323
+ };
3324
+ };
3325
+ startGasUsed: {
3326
+ daGas: string | number | bigint;
3327
+ l2Gas: string | number | bigint;
3328
+ };
3329
+ publicSetupCallRequests: {
2998
3330
  isStaticCall: boolean;
2999
3331
  calldataHash: string;
3000
3332
  contractAddress?: any;
3001
3333
  msgSender?: any;
3002
3334
  }[];
3003
- publicTeardownCallRequest: {
3335
+ publicAppLogicCallRequests: {
3004
3336
  isStaticCall: boolean;
3005
3337
  calldataHash: string;
3006
3338
  contractAddress?: any;
3007
3339
  msgSender?: any;
3008
- };
3340
+ }[];
3009
3341
  previousNonRevertibleAccumulatedDataArrayLengths: {
3010
3342
  noteHashes: string | number | bigint;
3011
3343
  nullifiers: string | number | bigint;
@@ -3041,10 +3373,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3041
3373
  }[];
3042
3374
  };
3043
3375
  endTreeSnapshots: {
3044
- l1ToL2MessageTree: {
3045
- root: string;
3046
- nextAvailableLeafIndex: string | number | bigint;
3047
- };
3048
3376
  noteHashTree: {
3049
3377
  root: string;
3050
3378
  nextAvailableLeafIndex: string | number | bigint;
@@ -3057,6 +3385,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3057
3385
  root: string;
3058
3386
  nextAvailableLeafIndex: string | number | bigint;
3059
3387
  };
3388
+ l1ToL2MessageTree: {
3389
+ root: string;
3390
+ nextAvailableLeafIndex: string | number | bigint;
3391
+ };
3060
3392
  };
3061
3393
  endGasUsed: {
3062
3394
  daGas: string | number | bigint;
@@ -3079,31 +3411,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3079
3411
  leafSlot: string;
3080
3412
  }[];
3081
3413
  };
3082
- transactionFee: string;
3083
3414
  reverted: boolean;
3084
3415
  feePayer?: any;
3085
3416
  };
3086
- }>, AvmCircuitInputs, {
3087
3417
  calldata: string[];
3088
3418
  functionName: string;
3089
3419
  hints: {
3090
- enqueuedCalls: {
3091
- isStaticCall: boolean;
3092
- calldata: string[];
3093
- contractAddress?: any;
3094
- msgSender?: any;
3095
- }[];
3420
+ tx: {
3421
+ nonRevertibleAccumulatedData: {
3422
+ noteHashes: string[];
3423
+ nullifiers: string[];
3424
+ };
3425
+ revertibleAccumulatedData: {
3426
+ noteHashes: string[];
3427
+ nullifiers: string[];
3428
+ };
3429
+ setupEnqueuedCalls: {
3430
+ isStaticCall: boolean;
3431
+ calldata: string[];
3432
+ contractAddress?: any;
3433
+ msgSender?: any;
3434
+ }[];
3435
+ appLogicEnqueuedCalls: {
3436
+ isStaticCall: boolean;
3437
+ calldata: string[];
3438
+ contractAddress?: any;
3439
+ msgSender?: any;
3440
+ }[];
3441
+ teardownEnqueuedCall: {
3442
+ isStaticCall: boolean;
3443
+ calldata: string[];
3444
+ contractAddress?: any;
3445
+ msgSender?: any;
3446
+ } | null;
3447
+ };
3096
3448
  contractInstances: {
3097
- salt: string;
3098
- currentContractClassId: string;
3099
- originalContractClassId: string;
3100
- initializationHash: string;
3101
3449
  publicKeys: {
3102
3450
  masterNullifierPublicKey: string;
3103
3451
  masterIncomingViewingPublicKey: string;
3104
3452
  masterOutgoingViewingPublicKey: string;
3105
3453
  masterTaggingPublicKey: string;
3106
3454
  };
3455
+ salt: string;
3456
+ currentContractClassId: string;
3457
+ originalContractClassId: string;
3458
+ initializationHash: string;
3107
3459
  address?: any;
3108
3460
  deployer?: any;
3109
3461
  }[];
@@ -3132,19 +3484,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3132
3484
  getPreviousValueIndexHints: {
3133
3485
  value: string;
3134
3486
  index: string | number | bigint;
3487
+ alreadyPresent: boolean;
3135
3488
  hintKey: {
3136
3489
  root: string;
3137
3490
  nextAvailableLeafIndex: string | number | bigint;
3138
3491
  };
3139
3492
  treeId: number;
3140
- alreadyPresent: boolean;
3141
3493
  }[];
3142
3494
  getLeafPreimageHintsPublicDataTree: {
3143
3495
  index: string | number | bigint;
3144
- hintKey: {
3145
- root: string;
3146
- nextAvailableLeafIndex: string | number | bigint;
3147
- };
3148
3496
  leafPreimage: {
3149
3497
  leaf: {
3150
3498
  nullifier: string;
@@ -3159,13 +3507,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3159
3507
  nextKey: string;
3160
3508
  nextIndex: string | number | bigint;
3161
3509
  };
3162
- }[];
3163
- getLeafPreimageHintsNullifierTree: {
3164
- index: string | number | bigint;
3165
3510
  hintKey: {
3166
3511
  root: string;
3167
3512
  nextAvailableLeafIndex: string | number | bigint;
3168
3513
  };
3514
+ }[];
3515
+ getLeafPreimageHintsNullifierTree: {
3516
+ index: string | number | bigint;
3169
3517
  leafPreimage: {
3170
3518
  leaf: {
3171
3519
  nullifier: string;
@@ -3180,6 +3528,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3180
3528
  nextKey: string;
3181
3529
  nextIndex: string | number | bigint;
3182
3530
  };
3531
+ hintKey: {
3532
+ root: string;
3533
+ nextAvailableLeafIndex: string | number | bigint;
3534
+ };
3183
3535
  }[];
3184
3536
  getLeafValueHints: {
3185
3537
  value: string;
@@ -3297,6 +3649,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3297
3649
  };
3298
3650
  }[];
3299
3651
  };
3652
+ }>;
3653
+ }, "strip", z.ZodTypeAny, {
3654
+ type: ProvingRequestType.PUBLIC_VM;
3655
+ inputs: AvmCircuitInputs;
3656
+ }, {
3657
+ type: ProvingRequestType.PUBLIC_VM;
3658
+ inputs: {
3300
3659
  publicInputs: {
3301
3660
  globalVariables: {
3302
3661
  gasFees: {
@@ -3311,28 +3670,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3311
3670
  coinbase?: any;
3312
3671
  feeRecipient?: any;
3313
3672
  };
3314
- startTreeSnapshots: {
3315
- l1ToL2MessageTree: {
3316
- root: string;
3317
- nextAvailableLeafIndex: string | number | bigint;
3318
- };
3319
- noteHashTree: {
3320
- root: string;
3321
- nextAvailableLeafIndex: string | number | bigint;
3322
- };
3323
- nullifierTree: {
3324
- root: string;
3325
- nextAvailableLeafIndex: string | number | bigint;
3326
- };
3327
- publicDataTree: {
3328
- root: string;
3329
- nextAvailableLeafIndex: string | number | bigint;
3330
- };
3331
- };
3332
- startGasUsed: {
3333
- daGas: string | number | bigint;
3334
- l2Gas: string | number | bigint;
3335
- };
3336
3673
  gasSettings: {
3337
3674
  gasLimits: {
3338
3675
  daGas: string | number | bigint;
@@ -3351,24 +3688,47 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3351
3688
  feePerL2Gas: string;
3352
3689
  };
3353
3690
  };
3354
- publicSetupCallRequests: {
3691
+ publicTeardownCallRequest: {
3355
3692
  isStaticCall: boolean;
3356
3693
  calldataHash: string;
3357
3694
  contractAddress?: any;
3358
3695
  msgSender?: any;
3359
- }[];
3360
- publicAppLogicCallRequests: {
3696
+ };
3697
+ transactionFee: string;
3698
+ startTreeSnapshots: {
3699
+ noteHashTree: {
3700
+ root: string;
3701
+ nextAvailableLeafIndex: string | number | bigint;
3702
+ };
3703
+ nullifierTree: {
3704
+ root: string;
3705
+ nextAvailableLeafIndex: string | number | bigint;
3706
+ };
3707
+ publicDataTree: {
3708
+ root: string;
3709
+ nextAvailableLeafIndex: string | number | bigint;
3710
+ };
3711
+ l1ToL2MessageTree: {
3712
+ root: string;
3713
+ nextAvailableLeafIndex: string | number | bigint;
3714
+ };
3715
+ };
3716
+ startGasUsed: {
3717
+ daGas: string | number | bigint;
3718
+ l2Gas: string | number | bigint;
3719
+ };
3720
+ publicSetupCallRequests: {
3361
3721
  isStaticCall: boolean;
3362
3722
  calldataHash: string;
3363
3723
  contractAddress?: any;
3364
3724
  msgSender?: any;
3365
3725
  }[];
3366
- publicTeardownCallRequest: {
3726
+ publicAppLogicCallRequests: {
3367
3727
  isStaticCall: boolean;
3368
3728
  calldataHash: string;
3369
3729
  contractAddress?: any;
3370
3730
  msgSender?: any;
3371
- };
3731
+ }[];
3372
3732
  previousNonRevertibleAccumulatedDataArrayLengths: {
3373
3733
  noteHashes: string | number | bigint;
3374
3734
  nullifiers: string | number | bigint;
@@ -3404,10 +3764,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3404
3764
  }[];
3405
3765
  };
3406
3766
  endTreeSnapshots: {
3407
- l1ToL2MessageTree: {
3408
- root: string;
3409
- nextAvailableLeafIndex: string | number | bigint;
3410
- };
3411
3767
  noteHashTree: {
3412
3768
  root: string;
3413
3769
  nextAvailableLeafIndex: string | number | bigint;
@@ -3420,6 +3776,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3420
3776
  root: string;
3421
3777
  nextAvailableLeafIndex: string | number | bigint;
3422
3778
  };
3779
+ l1ToL2MessageTree: {
3780
+ root: string;
3781
+ nextAvailableLeafIndex: string | number | bigint;
3782
+ };
3423
3783
  };
3424
3784
  endGasUsed: {
3425
3785
  daGas: string | number | bigint;
@@ -3442,37 +3802,51 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3442
3802
  leafSlot: string;
3443
3803
  }[];
3444
3804
  };
3445
- transactionFee: string;
3446
3805
  reverted: boolean;
3447
3806
  feePayer?: any;
3448
3807
  };
3449
- }>;
3450
- }, "strip", z.ZodTypeAny, {
3451
- type: ProvingRequestType.PUBLIC_VM;
3452
- inputs: AvmCircuitInputs;
3453
- }, {
3454
- type: ProvingRequestType.PUBLIC_VM;
3455
- inputs: {
3456
3808
  calldata: string[];
3457
3809
  functionName: string;
3458
3810
  hints: {
3459
- enqueuedCalls: {
3460
- isStaticCall: boolean;
3461
- calldata: string[];
3462
- contractAddress?: any;
3463
- msgSender?: any;
3464
- }[];
3811
+ tx: {
3812
+ nonRevertibleAccumulatedData: {
3813
+ noteHashes: string[];
3814
+ nullifiers: string[];
3815
+ };
3816
+ revertibleAccumulatedData: {
3817
+ noteHashes: string[];
3818
+ nullifiers: string[];
3819
+ };
3820
+ setupEnqueuedCalls: {
3821
+ isStaticCall: boolean;
3822
+ calldata: string[];
3823
+ contractAddress?: any;
3824
+ msgSender?: any;
3825
+ }[];
3826
+ appLogicEnqueuedCalls: {
3827
+ isStaticCall: boolean;
3828
+ calldata: string[];
3829
+ contractAddress?: any;
3830
+ msgSender?: any;
3831
+ }[];
3832
+ teardownEnqueuedCall: {
3833
+ isStaticCall: boolean;
3834
+ calldata: string[];
3835
+ contractAddress?: any;
3836
+ msgSender?: any;
3837
+ } | null;
3838
+ };
3465
3839
  contractInstances: {
3466
- salt: string;
3467
- currentContractClassId: string;
3468
- originalContractClassId: string;
3469
- initializationHash: string;
3470
3840
  publicKeys: {
3471
3841
  masterNullifierPublicKey: string;
3472
3842
  masterIncomingViewingPublicKey: string;
3473
3843
  masterOutgoingViewingPublicKey: string;
3474
3844
  masterTaggingPublicKey: string;
3475
3845
  };
3846
+ salt: string;
3847
+ currentContractClassId: string;
3848
+ originalContractClassId: string;
3849
+ initializationHash: string;
3476
3850
  address?: any;
3477
3851
  deployer?: any;
3478
3852
  }[];
@@ -3501,19 +3875,15 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3501
3875
  getPreviousValueIndexHints: {
3502
3876
  value: string;
3503
3877
  index: string | number | bigint;
3878
+ alreadyPresent: boolean;
3504
3879
  hintKey: {
3505
3880
  root: string;
3506
3881
  nextAvailableLeafIndex: string | number | bigint;
3507
3882
  };
3508
3883
  treeId: number;
3509
- alreadyPresent: boolean;
3510
3884
  }[];
3511
3885
  getLeafPreimageHintsPublicDataTree: {
3512
3886
  index: string | number | bigint;
3513
- hintKey: {
3514
- root: string;
3515
- nextAvailableLeafIndex: string | number | bigint;
3516
- };
3517
3887
  leafPreimage: {
3518
3888
  leaf: {
3519
3889
  nullifier: string;
@@ -3528,13 +3898,13 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3528
3898
  nextKey: string;
3529
3899
  nextIndex: string | number | bigint;
3530
3900
  };
3531
- }[];
3532
- getLeafPreimageHintsNullifierTree: {
3533
- index: string | number | bigint;
3534
3901
  hintKey: {
3535
3902
  root: string;
3536
3903
  nextAvailableLeafIndex: string | number | bigint;
3537
3904
  };
3905
+ }[];
3906
+ getLeafPreimageHintsNullifierTree: {
3907
+ index: string | number | bigint;
3538
3908
  leafPreimage: {
3539
3909
  leaf: {
3540
3910
  nullifier: string;
@@ -3549,6 +3919,10 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3549
3919
  nextKey: string;
3550
3920
  nextIndex: string | number | bigint;
3551
3921
  };
3922
+ hintKey: {
3923
+ root: string;
3924
+ nextAvailableLeafIndex: string | number | bigint;
3925
+ };
3552
3926
  }[];
3553
3927
  getLeafValueHints: {
3554
3928
  value: string;
@@ -3666,155 +4040,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
3666
4040
  };
3667
4041
  }[];
3668
4042
  };
3669
- publicInputs: {
3670
- globalVariables: {
3671
- gasFees: {
3672
- feePerDaGas: string;
3673
- feePerL2Gas: string;
3674
- };
3675
- chainId?: any;
3676
- version?: any;
3677
- blockNumber?: any;
3678
- slotNumber?: any;
3679
- timestamp?: any;
3680
- coinbase?: any;
3681
- feeRecipient?: any;
3682
- };
3683
- startTreeSnapshots: {
3684
- l1ToL2MessageTree: {
3685
- root: string;
3686
- nextAvailableLeafIndex: string | number | bigint;
3687
- };
3688
- noteHashTree: {
3689
- root: string;
3690
- nextAvailableLeafIndex: string | number | bigint;
3691
- };
3692
- nullifierTree: {
3693
- root: string;
3694
- nextAvailableLeafIndex: string | number | bigint;
3695
- };
3696
- publicDataTree: {
3697
- root: string;
3698
- nextAvailableLeafIndex: string | number | bigint;
3699
- };
3700
- };
3701
- startGasUsed: {
3702
- daGas: string | number | bigint;
3703
- l2Gas: string | number | bigint;
3704
- };
3705
- gasSettings: {
3706
- gasLimits: {
3707
- daGas: string | number | bigint;
3708
- l2Gas: string | number | bigint;
3709
- };
3710
- teardownGasLimits: {
3711
- daGas: string | number | bigint;
3712
- l2Gas: string | number | bigint;
3713
- };
3714
- maxFeesPerGas: {
3715
- feePerDaGas: string;
3716
- feePerL2Gas: string;
3717
- };
3718
- maxPriorityFeesPerGas: {
3719
- feePerDaGas: string;
3720
- feePerL2Gas: string;
3721
- };
3722
- };
3723
- publicSetupCallRequests: {
3724
- isStaticCall: boolean;
3725
- calldataHash: string;
3726
- contractAddress?: any;
3727
- msgSender?: any;
3728
- }[];
3729
- publicAppLogicCallRequests: {
3730
- isStaticCall: boolean;
3731
- calldataHash: string;
3732
- contractAddress?: any;
3733
- msgSender?: any;
3734
- }[];
3735
- publicTeardownCallRequest: {
3736
- isStaticCall: boolean;
3737
- calldataHash: string;
3738
- contractAddress?: any;
3739
- msgSender?: any;
3740
- };
3741
- previousNonRevertibleAccumulatedDataArrayLengths: {
3742
- noteHashes: string | number | bigint;
3743
- nullifiers: string | number | bigint;
3744
- l2ToL1Msgs: string | number | bigint;
3745
- };
3746
- previousRevertibleAccumulatedDataArrayLengths: {
3747
- noteHashes: string | number | bigint;
3748
- nullifiers: string | number | bigint;
3749
- l2ToL1Msgs: string | number | bigint;
3750
- };
3751
- previousNonRevertibleAccumulatedData: {
3752
- noteHashes: string[];
3753
- nullifiers: string[];
3754
- l2ToL1Msgs: {
3755
- message: {
3756
- counter: number;
3757
- recipient: string;
3758
- content: string;
3759
- };
3760
- contractAddress?: any;
3761
- }[];
3762
- };
3763
- previousRevertibleAccumulatedData: {
3764
- noteHashes: string[];
3765
- nullifiers: string[];
3766
- l2ToL1Msgs: {
3767
- message: {
3768
- counter: number;
3769
- recipient: string;
3770
- content: string;
3771
- };
3772
- contractAddress?: any;
3773
- }[];
3774
- };
3775
- endTreeSnapshots: {
3776
- l1ToL2MessageTree: {
3777
- root: string;
3778
- nextAvailableLeafIndex: string | number | bigint;
3779
- };
3780
- noteHashTree: {
3781
- root: string;
3782
- nextAvailableLeafIndex: string | number | bigint;
3783
- };
3784
- nullifierTree: {
3785
- root: string;
3786
- nextAvailableLeafIndex: string | number | bigint;
3787
- };
3788
- publicDataTree: {
3789
- root: string;
3790
- nextAvailableLeafIndex: string | number | bigint;
3791
- };
3792
- };
3793
- endGasUsed: {
3794
- daGas: string | number | bigint;
3795
- l2Gas: string | number | bigint;
3796
- };
3797
- accumulatedData: {
3798
- noteHashes: string[];
3799
- nullifiers: string[];
3800
- l2ToL1Msgs: {
3801
- message: {
3802
- counter: number;
3803
- recipient: string;
3804
- content: string;
3805
- };
3806
- contractAddress?: any;
3807
- }[];
3808
- publicLogs: any[];
3809
- publicDataWrites: {
3810
- value: string;
3811
- leafSlot: string;
3812
- }[];
3813
- };
3814
- transactionFee: string;
3815
- reverted: boolean;
3816
- feePayer?: any;
3817
- };
3818
4043
  };
3819
4044
  }>;
3820
4045
  //# sourceMappingURL=avm_proving_request.d.ts.map