@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/interfaces/proving-job.d.ts CHANGED
@@ -39,27 +39,130 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
39
39
  functionName: z.ZodString;
40
40
  calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
41
41
  hints: z.ZodEffects<z.ZodObject<{
42
- enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
43
- msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
44
- contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
45
- calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
46
- isStaticCall: z.ZodBoolean;
42
+ tx: z.ZodObject<{
43
+ nonRevertibleAccumulatedData: z.ZodObject<{
44
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
45
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
46
+ }, "strip", z.ZodTypeAny, {
47
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
48
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
49
+ }, {
50
+ noteHashes: string[];
51
+ nullifiers: string[];
52
+ }>;
53
+ revertibleAccumulatedData: z.ZodObject<{
54
+ noteHashes: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
55
+ nullifiers: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
56
+ }, "strip", z.ZodTypeAny, {
57
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
58
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
59
+ }, {
60
+ noteHashes: string[];
61
+ nullifiers: string[];
62
+ }>;
63
+ setupEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
64
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
65
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
66
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
67
+ isStaticCall: z.ZodBoolean;
68
+ }, "strip", z.ZodTypeAny, {
69
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
70
+ msgSender: import("../aztec-address/index.js").AztecAddress;
71
+ isStaticCall: boolean;
72
+ calldata: import("@aztec/foundation/schemas").Fr[];
73
+ }, {
74
+ isStaticCall: boolean;
75
+ calldata: string[];
76
+ contractAddress?: any;
77
+ msgSender?: any;
78
+ }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
79
+ isStaticCall: boolean;
80
+ calldata: string[];
81
+ contractAddress?: any;
82
+ msgSender?: any;
83
+ }>, "many">;
84
+ appLogicEnqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
85
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
86
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
87
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
88
+ isStaticCall: z.ZodBoolean;
89
+ }, "strip", z.ZodTypeAny, {
90
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
91
+ msgSender: import("../aztec-address/index.js").AztecAddress;
92
+ isStaticCall: boolean;
93
+ calldata: import("@aztec/foundation/schemas").Fr[];
94
+ }, {
95
+ isStaticCall: boolean;
96
+ calldata: string[];
97
+ contractAddress?: any;
98
+ msgSender?: any;
99
+ }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
100
+ isStaticCall: boolean;
101
+ calldata: string[];
102
+ contractAddress?: any;
103
+ msgSender?: any;
104
+ }>, "many">;
105
+ teardownEnqueuedCall: z.ZodNullable<z.ZodEffects<z.ZodObject<{
106
+ msgSender: ZodFor<import("../aztec-address/index.js").AztecAddress>;
107
+ contractAddress: ZodFor<import("../aztec-address/index.js").AztecAddress>;
108
+ calldata: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
109
+ isStaticCall: z.ZodBoolean;
110
+ }, "strip", z.ZodTypeAny, {
111
+ contractAddress: import("../aztec-address/index.js").AztecAddress;
112
+ msgSender: import("../aztec-address/index.js").AztecAddress;
113
+ isStaticCall: boolean;
114
+ calldata: import("@aztec/foundation/schemas").Fr[];
115
+ }, {
116
+ isStaticCall: boolean;
117
+ calldata: string[];
118
+ contractAddress?: any;
119
+ msgSender?: any;
120
+ }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
121
+ isStaticCall: boolean;
122
+ calldata: string[];
123
+ contractAddress?: any;
124
+ msgSender?: any;
125
+ }>>;
47
126
  }, "strip", z.ZodTypeAny, {
48
- contractAddress: import("../aztec-address/index.js").AztecAddress;
49
- msgSender: import("../aztec-address/index.js").AztecAddress;
50
- isStaticCall: boolean;
51
- calldata: import("@aztec/foundation/schemas").Fr[];
127
+ nonRevertibleAccumulatedData: {
128
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
129
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
130
+ };
131
+ revertibleAccumulatedData: {
132
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
133
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
134
+ };
135
+ setupEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
136
+ appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
137
+ teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
52
138
  }, {
53
- isStaticCall: boolean;
54
- calldata: string[];
55
- contractAddress?: any;
56
- msgSender?: any;
57
- }>, import("../avm/avm.js").AvmEnqueuedCallHint, {
58
- isStaticCall: boolean;
59
- calldata: string[];
60
- contractAddress?: any;
61
- msgSender?: any;
62
- }>, "many">;
139
+ nonRevertibleAccumulatedData: {
140
+ noteHashes: string[];
141
+ nullifiers: string[];
142
+ };
143
+ revertibleAccumulatedData: {
144
+ noteHashes: string[];
145
+ nullifiers: string[];
146
+ };
147
+ setupEnqueuedCalls: {
148
+ isStaticCall: boolean;
149
+ calldata: string[];
150
+ contractAddress?: any;
151
+ msgSender?: any;
152
+ }[];
153
+ appLogicEnqueuedCalls: {
154
+ isStaticCall: boolean;
155
+ calldata: string[];
156
+ contractAddress?: any;
157
+ msgSender?: any;
158
+ }[];
159
+ teardownEnqueuedCall: {
160
+ isStaticCall: boolean;
161
+ calldata: string[];
162
+ contractAddress?: any;
163
+ msgSender?: any;
164
+ } | null;
165
+ }>;
63
166
  contractInstances: z.ZodArray<z.ZodEffects<z.ZodObject<{
64
167
  address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
65
168
  salt: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
@@ -90,36 +193,36 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
90
193
  }>;
91
194
  }, "strip", z.ZodTypeAny, {
92
195
  address: import("../aztec-address/index.js").AztecAddress;
196
+ publicKeys: import("../keys/public_keys.js").PublicKeys;
93
197
  salt: import("@aztec/foundation/schemas").Fr;
94
198
  deployer: import("../aztec-address/index.js").AztecAddress;
95
199
  currentContractClassId: import("@aztec/foundation/schemas").Fr;
96
200
  originalContractClassId: import("@aztec/foundation/schemas").Fr;
97
201
  initializationHash: import("@aztec/foundation/schemas").Fr;
98
- publicKeys: import("../keys/public_keys.js").PublicKeys;
99
202
  }, {
100
- salt: string;
101
- currentContractClassId: string;
102
- originalContractClassId: string;
103
- initializationHash: string;
104
203
  publicKeys: {
105
204
  masterNullifierPublicKey: string;
106
205
  masterIncomingViewingPublicKey: string;
107
206
  masterOutgoingViewingPublicKey: string;
108
207
  masterTaggingPublicKey: string;
109
208
  };
110
- address?: any;
111
- deployer?: any;
112
- }>, import("../avm/avm.js").AvmContractInstanceHint, {
113
209
  salt: string;
114
210
  currentContractClassId: string;
115
211
  originalContractClassId: string;
116
212
  initializationHash: string;
213
+ address?: any;
214
+ deployer?: any;
215
+ }>, import("../avm/avm.js").AvmContractInstanceHint, {
117
216
  publicKeys: {
118
217
  masterNullifierPublicKey: string;
119
218
  masterIncomingViewingPublicKey: string;
120
219
  masterOutgoingViewingPublicKey: string;
121
220
  masterTaggingPublicKey: string;
122
221
  };
222
+ salt: string;
223
+ currentContractClassId: string;
224
+ originalContractClassId: string;
225
+ initializationHash: string;
123
226
  address?: any;
124
227
  deployer?: any;
125
228
  }>, "many">;
@@ -235,27 +338,27 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
235
338
  }, "strip", z.ZodTypeAny, {
236
339
  value: import("@aztec/foundation/schemas").Fr;
237
340
  index: bigint;
341
+ alreadyPresent: boolean;
238
342
  hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
239
343
  treeId: number;
240
- alreadyPresent: boolean;
241
344
  }, {
242
345
  value: string;
243
346
  index: string | number | bigint;
347
+ alreadyPresent: boolean;
244
348
  hintKey: {
245
349
  root: string;
246
350
  nextAvailableLeafIndex: string | number | bigint;
247
351
  };
248
352
  treeId: number;
249
- alreadyPresent: boolean;
250
353
  }>, import("../avm/avm.js").AvmGetPreviousValueIndexHint, {
251
354
  value: string;
252
355
  index: string | number | bigint;
356
+ alreadyPresent: boolean;
253
357
  hintKey: {
254
358
  root: string;
255
359
  nextAvailableLeafIndex: string | number | bigint;
256
360
  };
257
361
  treeId: number;
258
- alreadyPresent: boolean;
259
362
  }>, "many">;
260
363
  getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
261
364
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -337,14 +440,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
337
440
  }>;
338
441
  }, "strip", z.ZodTypeAny, {
339
442
  index: bigint;
340
- hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
341
443
  leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
444
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
342
445
  }, {
343
446
  index: string | number | bigint;
344
- hintKey: {
345
- root: string;
346
- nextAvailableLeafIndex: string | number | bigint;
347
- };
348
447
  leafPreimage: {
349
448
  leaf: {
350
449
  nullifier: string;
@@ -359,16 +458,16 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
359
458
  nextKey: string;
360
459
  nextIndex: string | number | bigint;
361
460
  };
461
+ hintKey: {
462
+ root: string;
463
+ nextAvailableLeafIndex: string | number | bigint;
464
+ };
362
465
  }>, {
363
466
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
364
467
  readonly index: bigint;
365
468
  readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
366
469
  }, {
367
470
  index: string | number | bigint;
368
- hintKey: {
369
- root: string;
370
- nextAvailableLeafIndex: string | number | bigint;
371
- };
372
471
  leafPreimage: {
373
472
  leaf: {
374
473
  nullifier: string;
@@ -383,6 +482,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
383
482
  nextKey: string;
384
483
  nextIndex: string | number | bigint;
385
484
  };
485
+ hintKey: {
486
+ root: string;
487
+ nextAvailableLeafIndex: string | number | bigint;
488
+ };
386
489
  }>, "many">;
387
490
  getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
388
491
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -464,14 +567,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
464
567
  }>;
465
568
  }, "strip", z.ZodTypeAny, {
466
569
  index: bigint;
467
- hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
468
570
  leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
571
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
469
572
  }, {
470
573
  index: string | number | bigint;
471
- hintKey: {
472
- root: string;
473
- nextAvailableLeafIndex: string | number | bigint;
474
- };
475
574
  leafPreimage: {
476
575
  leaf: {
477
576
  nullifier: string;
@@ -486,16 +585,16 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
486
585
  nextKey: string;
487
586
  nextIndex: string | number | bigint;
488
587
  };
588
+ hintKey: {
589
+ root: string;
590
+ nextAvailableLeafIndex: string | number | bigint;
591
+ };
489
592
  }>, {
490
593
  readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
491
594
  readonly index: bigint;
492
595
  readonly leafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage | import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
493
596
  }, {
494
597
  index: string | number | bigint;
495
- hintKey: {
496
- root: string;
497
- nextAvailableLeafIndex: string | number | bigint;
498
- };
499
598
  leafPreimage: {
500
599
  leaf: {
501
600
  nullifier: string;
@@ -510,6 +609,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
510
609
  nextKey: string;
511
610
  nextIndex: string | number | bigint;
512
611
  };
612
+ hintKey: {
613
+ root: string;
614
+ nextAvailableLeafIndex: string | number | bigint;
615
+ };
513
616
  }>, "many">;
514
617
  getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
515
618
  hintKey: z.ZodEffects<z.ZodObject<{
@@ -1271,7 +1374,19 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1271
1374
  };
1272
1375
  }>, "many">;
1273
1376
  }, "strip", z.ZodTypeAny, {
1274
- enqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
1377
+ tx: {
1378
+ nonRevertibleAccumulatedData: {
1379
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1380
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1381
+ };
1382
+ revertibleAccumulatedData: {
1383
+ noteHashes: import("@aztec/foundation/schemas").Fr[];
1384
+ nullifiers: import("@aztec/foundation/schemas").Fr[];
1385
+ };
1386
+ setupEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
1387
+ appLogicEnqueuedCalls: import("../avm/avm.js").AvmEnqueuedCallHint[];
1388
+ teardownEnqueuedCall: import("../avm/avm.js").AvmEnqueuedCallHint | null;
1389
+ };
1275
1390
  contractInstances: import("../avm/avm.js").AvmContractInstanceHint[];
1276
1391
  contractClasses: import("../avm/avm.js").AvmContractClassHint[];
1277
1392
  bytecodeCommitments: import("../avm/avm.js").AvmBytecodeCommitmentHint[];
@@ -1321,23 +1436,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1321
1436
  };
1322
1437
  }[];
1323
1438
  }, {
1324
- enqueuedCalls: {
1325
- isStaticCall: boolean;
1326
- calldata: string[];
1327
- contractAddress?: any;
1328
- msgSender?: any;
1329
- }[];
1439
+ tx: {
1440
+ nonRevertibleAccumulatedData: {
1441
+ noteHashes: string[];
1442
+ nullifiers: string[];
1443
+ };
1444
+ revertibleAccumulatedData: {
1445
+ noteHashes: string[];
1446
+ nullifiers: string[];
1447
+ };
1448
+ setupEnqueuedCalls: {
1449
+ isStaticCall: boolean;
1450
+ calldata: string[];
1451
+ contractAddress?: any;
1452
+ msgSender?: any;
1453
+ }[];
1454
+ appLogicEnqueuedCalls: {
1455
+ isStaticCall: boolean;
1456
+ calldata: string[];
1457
+ contractAddress?: any;
1458
+ msgSender?: any;
1459
+ }[];
1460
+ teardownEnqueuedCall: {
1461
+ isStaticCall: boolean;
1462
+ calldata: string[];
1463
+ contractAddress?: any;
1464
+ msgSender?: any;
1465
+ } | null;
1466
+ };
1330
1467
  contractInstances: {
1331
- salt: string;
1332
- currentContractClassId: string;
1333
- originalContractClassId: string;
1334
- initializationHash: string;
1335
1468
  publicKeys: {
1336
1469
  masterNullifierPublicKey: string;
1337
1470
  masterIncomingViewingPublicKey: string;
1338
1471
  masterOutgoingViewingPublicKey: string;
1339
1472
  masterTaggingPublicKey: string;
1340
1473
  };
1474
+ salt: string;
1475
+ currentContractClassId: string;
1476
+ originalContractClassId: string;
1477
+ initializationHash: string;
1341
1478
  address?: any;
1342
1479
  deployer?: any;
1343
1480
  }[];
@@ -1366,19 +1503,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1366
1503
  getPreviousValueIndexHints: {
1367
1504
  value: string;
1368
1505
  index: string | number | bigint;
1506
+ alreadyPresent: boolean;
1369
1507
  hintKey: {
1370
1508
  root: string;
1371
1509
  nextAvailableLeafIndex: string | number | bigint;
1372
1510
  };
1373
1511
  treeId: number;
1374
- alreadyPresent: boolean;
1375
1512
  }[];
1376
1513
  getLeafPreimageHintsPublicDataTree: {
1377
1514
  index: string | number | bigint;
1378
- hintKey: {
1379
- root: string;
1380
- nextAvailableLeafIndex: string | number | bigint;
1381
- };
1382
1515
  leafPreimage: {
1383
1516
  leaf: {
1384
1517
  nullifier: string;
@@ -1393,13 +1526,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1393
1526
  nextKey: string;
1394
1527
  nextIndex: string | number | bigint;
1395
1528
  };
1396
- }[];
1397
- getLeafPreimageHintsNullifierTree: {
1398
- index: string | number | bigint;
1399
1529
  hintKey: {
1400
1530
  root: string;
1401
1531
  nextAvailableLeafIndex: string | number | bigint;
1402
1532
  };
1533
+ }[];
1534
+ getLeafPreimageHintsNullifierTree: {
1535
+ index: string | number | bigint;
1403
1536
  leafPreimage: {
1404
1537
  leaf: {
1405
1538
  nullifier: string;
@@ -1414,6 +1547,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1414
1547
  nextKey: string;
1415
1548
  nextIndex: string | number | bigint;
1416
1549
  };
1550
+ hintKey: {
1551
+ root: string;
1552
+ nextAvailableLeafIndex: string | number | bigint;
1553
+ };
1417
1554
  }[];
1418
1555
  getLeafValueHints: {
1419
1556
  value: string;
@@ -1531,23 +1668,45 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1531
1668
  };
1532
1669
  }[];
1533
1670
  }>, import("../avm/avm.js").AvmExecutionHints, {
1534
- enqueuedCalls: {
1535
- isStaticCall: boolean;
1536
- calldata: string[];
1537
- contractAddress?: any;
1538
- msgSender?: any;
1539
- }[];
1671
+ tx: {
1672
+ nonRevertibleAccumulatedData: {
1673
+ noteHashes: string[];
1674
+ nullifiers: string[];
1675
+ };
1676
+ revertibleAccumulatedData: {
1677
+ noteHashes: string[];
1678
+ nullifiers: string[];
1679
+ };
1680
+ setupEnqueuedCalls: {
1681
+ isStaticCall: boolean;
1682
+ calldata: string[];
1683
+ contractAddress?: any;
1684
+ msgSender?: any;
1685
+ }[];
1686
+ appLogicEnqueuedCalls: {
1687
+ isStaticCall: boolean;
1688
+ calldata: string[];
1689
+ contractAddress?: any;
1690
+ msgSender?: any;
1691
+ }[];
1692
+ teardownEnqueuedCall: {
1693
+ isStaticCall: boolean;
1694
+ calldata: string[];
1695
+ contractAddress?: any;
1696
+ msgSender?: any;
1697
+ } | null;
1698
+ };
1540
1699
  contractInstances: {
1541
- salt: string;
1542
- currentContractClassId: string;
1543
- originalContractClassId: string;
1544
- initializationHash: string;
1545
1700
  publicKeys: {
1546
1701
  masterNullifierPublicKey: string;
1547
1702
  masterIncomingViewingPublicKey: string;
1548
1703
  masterOutgoingViewingPublicKey: string;
1549
1704
  masterTaggingPublicKey: string;
1550
1705
  };
1706
+ salt: string;
1707
+ currentContractClassId: string;
1708
+ originalContractClassId: string;
1709
+ initializationHash: string;
1551
1710
  address?: any;
1552
1711
  deployer?: any;
1553
1712
  }[];
@@ -1576,19 +1735,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1576
1735
  getPreviousValueIndexHints: {
1577
1736
  value: string;
1578
1737
  index: string | number | bigint;
1738
+ alreadyPresent: boolean;
1579
1739
  hintKey: {
1580
1740
  root: string;
1581
1741
  nextAvailableLeafIndex: string | number | bigint;
1582
1742
  };
1583
1743
  treeId: number;
1584
- alreadyPresent: boolean;
1585
1744
  }[];
1586
1745
  getLeafPreimageHintsPublicDataTree: {
1587
1746
  index: string | number | bigint;
1588
- hintKey: {
1589
- root: string;
1590
- nextAvailableLeafIndex: string | number | bigint;
1591
- };
1592
1747
  leafPreimage: {
1593
1748
  leaf: {
1594
1749
  nullifier: string;
@@ -1603,13 +1758,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1603
1758
  nextKey: string;
1604
1759
  nextIndex: string | number | bigint;
1605
1760
  };
1606
- }[];
1607
- getLeafPreimageHintsNullifierTree: {
1608
- index: string | number | bigint;
1609
1761
  hintKey: {
1610
1762
  root: string;
1611
1763
  nextAvailableLeafIndex: string | number | bigint;
1612
1764
  };
1765
+ }[];
1766
+ getLeafPreimageHintsNullifierTree: {
1767
+ index: string | number | bigint;
1613
1768
  leafPreimage: {
1614
1769
  leaf: {
1615
1770
  nullifier: string;
@@ -1624,6 +1779,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1624
1779
  nextKey: string;
1625
1780
  nextIndex: string | number | bigint;
1626
1781
  };
1782
+ hintKey: {
1783
+ root: string;
1784
+ nextAvailableLeafIndex: string | number | bigint;
1785
+ };
1627
1786
  }[];
1628
1787
  getLeafValueHints: {
1629
1788
  value: string;
@@ -1851,15 +2010,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1851
2010
  nextAvailableLeafIndex: string | number | bigint;
1852
2011
  }>;
1853
2012
  }, "strip", z.ZodTypeAny, {
1854
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1855
2013
  noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1856
2014
  nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1857
2015
  publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2016
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1858
2017
  }, {
1859
- l1ToL2MessageTree: {
1860
- root: string;
1861
- nextAvailableLeafIndex: string | number | bigint;
1862
- };
1863
2018
  noteHashTree: {
1864
2019
  root: string;
1865
2020
  nextAvailableLeafIndex: string | number | bigint;
@@ -1872,11 +2027,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1872
2027
  root: string;
1873
2028
  nextAvailableLeafIndex: string | number | bigint;
1874
2029
  };
1875
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1876
2030
  l1ToL2MessageTree: {
1877
2031
  root: string;
1878
2032
  nextAvailableLeafIndex: string | number | bigint;
1879
2033
  };
2034
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
1880
2035
  noteHashTree: {
1881
2036
  root: string;
1882
2037
  nextAvailableLeafIndex: string | number | bigint;
@@ -1889,6 +2044,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
1889
2044
  root: string;
1890
2045
  nextAvailableLeafIndex: string | number | bigint;
1891
2046
  };
2047
+ l1ToL2MessageTree: {
2048
+ root: string;
2049
+ nextAvailableLeafIndex: string | number | bigint;
2050
+ };
1892
2051
  }>;
1893
2052
  startGasUsed: z.ZodEffects<z.ZodObject<{
1894
2053
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2282,15 +2441,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2282
2441
  nextAvailableLeafIndex: string | number | bigint;
2283
2442
  }>;
2284
2443
  }, "strip", z.ZodTypeAny, {
2285
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2286
2444
  noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2287
2445
  nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2288
2446
  publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2447
+ l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2289
2448
  }, {
2290
- l1ToL2MessageTree: {
2291
- root: string;
2292
- nextAvailableLeafIndex: string | number | bigint;
2293
- };
2294
2449
  noteHashTree: {
2295
2450
  root: string;
2296
2451
  nextAvailableLeafIndex: string | number | bigint;
@@ -2303,11 +2458,11 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2303
2458
  root: string;
2304
2459
  nextAvailableLeafIndex: string | number | bigint;
2305
2460
  };
2306
- }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
2307
2461
  l1ToL2MessageTree: {
2308
2462
  root: string;
2309
2463
  nextAvailableLeafIndex: string | number | bigint;
2310
2464
  };
2465
+ }>, import("../tx/tree_snapshots.js").TreeSnapshots, {
2311
2466
  noteHashTree: {
2312
2467
  root: string;
2313
2468
  nextAvailableLeafIndex: string | number | bigint;
@@ -2320,6 +2475,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2320
2475
  root: string;
2321
2476
  nextAvailableLeafIndex: string | number | bigint;
2322
2477
  };
2478
+ l1ToL2MessageTree: {
2479
+ root: string;
2480
+ nextAvailableLeafIndex: string | number | bigint;
2481
+ };
2323
2482
  }>;
2324
2483
  endGasUsed: z.ZodEffects<z.ZodObject<{
2325
2484
  daGas: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
@@ -2431,13 +2590,14 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2431
2590
  reverted: z.ZodBoolean;
2432
2591
  }, "strip", z.ZodTypeAny, {
2433
2592
  globalVariables: import("../tx/global_variables.js").GlobalVariables;
2434
- startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2435
- startGasUsed: import("../gas/gas.js").Gas;
2436
2593
  gasSettings: import("../gas/gas_settings.js").GasSettings;
2594
+ publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
2595
+ transactionFee: import("@aztec/foundation/schemas").Fr;
2437
2596
  feePayer: import("../aztec-address/index.js").AztecAddress;
2597
+ startTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2598
+ startGasUsed: import("../gas/gas.js").Gas;
2438
2599
  publicSetupCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
2439
2600
  publicAppLogicCallRequests: import("../kernel/public_call_request.js").PublicCallRequest[];
2440
- publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
2441
2601
  previousNonRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
2442
2602
  previousRevertibleAccumulatedDataArrayLengths: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedDataArrayLengths;
2443
2603
  previousNonRevertibleAccumulatedData: import("../kernel/private_to_avm_accumulated_data.js").PrivateToAvmAccumulatedData;
@@ -2445,7 +2605,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2445
2605
  endTreeSnapshots: import("../tx/tree_snapshots.js").TreeSnapshots;
2446
2606
  endGasUsed: import("../gas/gas.js").Gas;
2447
2607
  accumulatedData: import("../avm/avm_accumulated_data.js").AvmAccumulatedData;
2448
- transactionFee: import("@aztec/foundation/schemas").Fr;
2449
2608
  reverted: boolean;
2450
2609
  }, {
2451
2610
  globalVariables: {
@@ -2461,28 +2620,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2461
2620
  coinbase?: any;
2462
2621
  feeRecipient?: any;
2463
2622
  };
2464
- startTreeSnapshots: {
2465
- l1ToL2MessageTree: {
2466
- root: string;
2467
- nextAvailableLeafIndex: string | number | bigint;
2468
- };
2469
- noteHashTree: {
2470
- root: string;
2471
- nextAvailableLeafIndex: string | number | bigint;
2472
- };
2473
- nullifierTree: {
2474
- root: string;
2475
- nextAvailableLeafIndex: string | number | bigint;
2476
- };
2477
- publicDataTree: {
2478
- root: string;
2479
- nextAvailableLeafIndex: string | number | bigint;
2480
- };
2481
- };
2482
- startGasUsed: {
2483
- daGas: string | number | bigint;
2484
- l2Gas: string | number | bigint;
2485
- };
2486
2623
  gasSettings: {
2487
2624
  gasLimits: {
2488
2625
  daGas: string | number | bigint;
@@ -2501,38 +2638,61 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2501
2638
  feePerL2Gas: string;
2502
2639
  };
2503
2640
  };
2504
- publicSetupCallRequests: {
2505
- isStaticCall: boolean;
2506
- calldataHash: string;
2507
- contractAddress?: any;
2508
- msgSender?: any;
2509
- }[];
2510
- publicAppLogicCallRequests: {
2511
- isStaticCall: boolean;
2512
- calldataHash: string;
2513
- contractAddress?: any;
2514
- msgSender?: any;
2515
- }[];
2516
2641
  publicTeardownCallRequest: {
2517
2642
  isStaticCall: boolean;
2518
2643
  calldataHash: string;
2519
2644
  contractAddress?: any;
2520
2645
  msgSender?: any;
2521
2646
  };
2522
- previousNonRevertibleAccumulatedDataArrayLengths: {
2523
- noteHashes: string | number | bigint;
2524
- nullifiers: string | number | bigint;
2525
- l2ToL1Msgs: string | number | bigint;
2526
- };
2527
- previousRevertibleAccumulatedDataArrayLengths: {
2528
- noteHashes: string | number | bigint;
2529
- nullifiers: string | number | bigint;
2530
- l2ToL1Msgs: string | number | bigint;
2531
- };
2532
- previousNonRevertibleAccumulatedData: {
2533
- noteHashes: string[];
2534
- nullifiers: string[];
2535
- l2ToL1Msgs: {
2647
+ transactionFee: string;
2648
+ startTreeSnapshots: {
2649
+ noteHashTree: {
2650
+ root: string;
2651
+ nextAvailableLeafIndex: string | number | bigint;
2652
+ };
2653
+ nullifierTree: {
2654
+ root: string;
2655
+ nextAvailableLeafIndex: string | number | bigint;
2656
+ };
2657
+ publicDataTree: {
2658
+ root: string;
2659
+ nextAvailableLeafIndex: string | number | bigint;
2660
+ };
2661
+ l1ToL2MessageTree: {
2662
+ root: string;
2663
+ nextAvailableLeafIndex: string | number | bigint;
2664
+ };
2665
+ };
2666
+ startGasUsed: {
2667
+ daGas: string | number | bigint;
2668
+ l2Gas: string | number | bigint;
2669
+ };
2670
+ publicSetupCallRequests: {
2671
+ isStaticCall: boolean;
2672
+ calldataHash: string;
2673
+ contractAddress?: any;
2674
+ msgSender?: any;
2675
+ }[];
2676
+ publicAppLogicCallRequests: {
2677
+ isStaticCall: boolean;
2678
+ calldataHash: string;
2679
+ contractAddress?: any;
2680
+ msgSender?: any;
2681
+ }[];
2682
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2683
+ noteHashes: string | number | bigint;
2684
+ nullifiers: string | number | bigint;
2685
+ l2ToL1Msgs: string | number | bigint;
2686
+ };
2687
+ previousRevertibleAccumulatedDataArrayLengths: {
2688
+ noteHashes: string | number | bigint;
2689
+ nullifiers: string | number | bigint;
2690
+ l2ToL1Msgs: string | number | bigint;
2691
+ };
2692
+ previousNonRevertibleAccumulatedData: {
2693
+ noteHashes: string[];
2694
+ nullifiers: string[];
2695
+ l2ToL1Msgs: {
2536
2696
  message: {
2537
2697
  counter: number;
2538
2698
  recipient: string;
@@ -2554,10 +2714,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2554
2714
  }[];
2555
2715
  };
2556
2716
  endTreeSnapshots: {
2557
- l1ToL2MessageTree: {
2558
- root: string;
2559
- nextAvailableLeafIndex: string | number | bigint;
2560
- };
2561
2717
  noteHashTree: {
2562
2718
  root: string;
2563
2719
  nextAvailableLeafIndex: string | number | bigint;
@@ -2570,6 +2726,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2570
2726
  root: string;
2571
2727
  nextAvailableLeafIndex: string | number | bigint;
2572
2728
  };
2729
+ l1ToL2MessageTree: {
2730
+ root: string;
2731
+ nextAvailableLeafIndex: string | number | bigint;
2732
+ };
2573
2733
  };
2574
2734
  endGasUsed: {
2575
2735
  daGas: string | number | bigint;
@@ -2592,7 +2752,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2592
2752
  leafSlot: string;
2593
2753
  }[];
2594
2754
  };
2595
- transactionFee: string;
2596
2755
  reverted: boolean;
2597
2756
  feePayer?: any;
2598
2757
  }>, import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs, {
@@ -2609,11 +2768,100 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2609
2768
  coinbase?: any;
2610
2769
  feeRecipient?: any;
2611
2770
  };
2771
+ gasSettings: {
2772
+ gasLimits: {
2773
+ daGas: string | number | bigint;
2774
+ l2Gas: string | number | bigint;
2775
+ };
2776
+ teardownGasLimits: {
2777
+ daGas: string | number | bigint;
2778
+ l2Gas: string | number | bigint;
2779
+ };
2780
+ maxFeesPerGas: {
2781
+ feePerDaGas: string;
2782
+ feePerL2Gas: string;
2783
+ };
2784
+ maxPriorityFeesPerGas: {
2785
+ feePerDaGas: string;
2786
+ feePerL2Gas: string;
2787
+ };
2788
+ };
2789
+ publicTeardownCallRequest: {
2790
+ isStaticCall: boolean;
2791
+ calldataHash: string;
2792
+ contractAddress?: any;
2793
+ msgSender?: any;
2794
+ };
2795
+ transactionFee: string;
2612
2796
  startTreeSnapshots: {
2797
+ noteHashTree: {
2798
+ root: string;
2799
+ nextAvailableLeafIndex: string | number | bigint;
2800
+ };
2801
+ nullifierTree: {
2802
+ root: string;
2803
+ nextAvailableLeafIndex: string | number | bigint;
2804
+ };
2805
+ publicDataTree: {
2806
+ root: string;
2807
+ nextAvailableLeafIndex: string | number | bigint;
2808
+ };
2613
2809
  l1ToL2MessageTree: {
2614
2810
  root: string;
2615
2811
  nextAvailableLeafIndex: string | number | bigint;
2616
2812
  };
2813
+ };
2814
+ startGasUsed: {
2815
+ daGas: string | number | bigint;
2816
+ l2Gas: string | number | bigint;
2817
+ };
2818
+ publicSetupCallRequests: {
2819
+ isStaticCall: boolean;
2820
+ calldataHash: string;
2821
+ contractAddress?: any;
2822
+ msgSender?: any;
2823
+ }[];
2824
+ publicAppLogicCallRequests: {
2825
+ isStaticCall: boolean;
2826
+ calldataHash: string;
2827
+ contractAddress?: any;
2828
+ msgSender?: any;
2829
+ }[];
2830
+ previousNonRevertibleAccumulatedDataArrayLengths: {
2831
+ noteHashes: string | number | bigint;
2832
+ nullifiers: string | number | bigint;
2833
+ l2ToL1Msgs: string | number | bigint;
2834
+ };
2835
+ previousRevertibleAccumulatedDataArrayLengths: {
2836
+ noteHashes: string | number | bigint;
2837
+ nullifiers: string | number | bigint;
2838
+ l2ToL1Msgs: string | number | bigint;
2839
+ };
2840
+ previousNonRevertibleAccumulatedData: {
2841
+ noteHashes: string[];
2842
+ nullifiers: string[];
2843
+ l2ToL1Msgs: {
2844
+ message: {
2845
+ counter: number;
2846
+ recipient: string;
2847
+ content: string;
2848
+ };
2849
+ contractAddress?: any;
2850
+ }[];
2851
+ };
2852
+ previousRevertibleAccumulatedData: {
2853
+ noteHashes: string[];
2854
+ nullifiers: string[];
2855
+ l2ToL1Msgs: {
2856
+ message: {
2857
+ counter: number;
2858
+ recipient: string;
2859
+ content: string;
2860
+ };
2861
+ contractAddress?: any;
2862
+ }[];
2863
+ };
2864
+ endTreeSnapshots: {
2617
2865
  noteHashTree: {
2618
2866
  root: string;
2619
2867
  nextAvailableLeafIndex: string | number | bigint;
@@ -2626,11 +2874,55 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2626
2874
  root: string;
2627
2875
  nextAvailableLeafIndex: string | number | bigint;
2628
2876
  };
2877
+ l1ToL2MessageTree: {
2878
+ root: string;
2879
+ nextAvailableLeafIndex: string | number | bigint;
2880
+ };
2629
2881
  };
2630
- startGasUsed: {
2882
+ endGasUsed: {
2631
2883
  daGas: string | number | bigint;
2632
2884
  l2Gas: string | number | bigint;
2633
2885
  };
2886
+ accumulatedData: {
2887
+ noteHashes: string[];
2888
+ nullifiers: string[];
2889
+ l2ToL1Msgs: {
2890
+ message: {
2891
+ counter: number;
2892
+ recipient: string;
2893
+ content: string;
2894
+ };
2895
+ contractAddress?: any;
2896
+ }[];
2897
+ publicLogs: any[];
2898
+ publicDataWrites: {
2899
+ value: string;
2900
+ leafSlot: string;
2901
+ }[];
2902
+ };
2903
+ reverted: boolean;
2904
+ feePayer?: any;
2905
+ }>;
2906
+ }, "strip", z.ZodTypeAny, {
2907
+ publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2908
+ calldata: import("@aztec/foundation/schemas").Fr[];
2909
+ functionName: string;
2910
+ hints: import("../avm/avm.js").AvmExecutionHints;
2911
+ }, {
2912
+ publicInputs: {
2913
+ globalVariables: {
2914
+ gasFees: {
2915
+ feePerDaGas: string;
2916
+ feePerL2Gas: string;
2917
+ };
2918
+ chainId?: any;
2919
+ version?: any;
2920
+ blockNumber?: any;
2921
+ slotNumber?: any;
2922
+ timestamp?: any;
2923
+ coinbase?: any;
2924
+ feeRecipient?: any;
2925
+ };
2634
2926
  gasSettings: {
2635
2927
  gasLimits: {
2636
2928
  daGas: string | number | bigint;
@@ -2649,24 +2941,47 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2649
2941
  feePerL2Gas: string;
2650
2942
  };
2651
2943
  };
2652
- publicSetupCallRequests: {
2944
+ publicTeardownCallRequest: {
2653
2945
  isStaticCall: boolean;
2654
2946
  calldataHash: string;
2655
2947
  contractAddress?: any;
2656
2948
  msgSender?: any;
2657
- }[];
2658
- publicAppLogicCallRequests: {
2949
+ };
2950
+ transactionFee: string;
2951
+ startTreeSnapshots: {
2952
+ noteHashTree: {
2953
+ root: string;
2954
+ nextAvailableLeafIndex: string | number | bigint;
2955
+ };
2956
+ nullifierTree: {
2957
+ root: string;
2958
+ nextAvailableLeafIndex: string | number | bigint;
2959
+ };
2960
+ publicDataTree: {
2961
+ root: string;
2962
+ nextAvailableLeafIndex: string | number | bigint;
2963
+ };
2964
+ l1ToL2MessageTree: {
2965
+ root: string;
2966
+ nextAvailableLeafIndex: string | number | bigint;
2967
+ };
2968
+ };
2969
+ startGasUsed: {
2970
+ daGas: string | number | bigint;
2971
+ l2Gas: string | number | bigint;
2972
+ };
2973
+ publicSetupCallRequests: {
2659
2974
  isStaticCall: boolean;
2660
2975
  calldataHash: string;
2661
2976
  contractAddress?: any;
2662
2977
  msgSender?: any;
2663
2978
  }[];
2664
- publicTeardownCallRequest: {
2979
+ publicAppLogicCallRequests: {
2665
2980
  isStaticCall: boolean;
2666
2981
  calldataHash: string;
2667
2982
  contractAddress?: any;
2668
2983
  msgSender?: any;
2669
- };
2984
+ }[];
2670
2985
  previousNonRevertibleAccumulatedDataArrayLengths: {
2671
2986
  noteHashes: string | number | bigint;
2672
2987
  nullifiers: string | number | bigint;
@@ -2702,10 +3017,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2702
3017
  }[];
2703
3018
  };
2704
3019
  endTreeSnapshots: {
2705
- l1ToL2MessageTree: {
2706
- root: string;
2707
- nextAvailableLeafIndex: string | number | bigint;
2708
- };
2709
3020
  noteHashTree: {
2710
3021
  root: string;
2711
3022
  nextAvailableLeafIndex: string | number | bigint;
@@ -2718,6 +3029,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2718
3029
  root: string;
2719
3030
  nextAvailableLeafIndex: string | number | bigint;
2720
3031
  };
3032
+ l1ToL2MessageTree: {
3033
+ root: string;
3034
+ nextAvailableLeafIndex: string | number | bigint;
3035
+ };
2721
3036
  };
2722
3037
  endGasUsed: {
2723
3038
  daGas: string | number | bigint;
@@ -2740,36 +3055,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2740
3055
  leafSlot: string;
2741
3056
  }[];
2742
3057
  };
2743
- transactionFee: string;
2744
3058
  reverted: boolean;
2745
3059
  feePayer?: any;
2746
- }>;
2747
- }, "strip", z.ZodTypeAny, {
2748
- calldata: import("@aztec/foundation/schemas").Fr[];
2749
- functionName: string;
2750
- hints: import("../avm/avm.js").AvmExecutionHints;
2751
- publicInputs: import("../avm/avm_circuit_public_inputs.js").AvmCircuitPublicInputs;
2752
- }, {
3060
+ };
2753
3061
  calldata: string[];
2754
3062
  functionName: string;
2755
3063
  hints: {
2756
- enqueuedCalls: {
2757
- isStaticCall: boolean;
2758
- calldata: string[];
2759
- contractAddress?: any;
2760
- msgSender?: any;
2761
- }[];
3064
+ tx: {
3065
+ nonRevertibleAccumulatedData: {
3066
+ noteHashes: string[];
3067
+ nullifiers: string[];
3068
+ };
3069
+ revertibleAccumulatedData: {
3070
+ noteHashes: string[];
3071
+ nullifiers: string[];
3072
+ };
3073
+ setupEnqueuedCalls: {
3074
+ isStaticCall: boolean;
3075
+ calldata: string[];
3076
+ contractAddress?: any;
3077
+ msgSender?: any;
3078
+ }[];
3079
+ appLogicEnqueuedCalls: {
3080
+ isStaticCall: boolean;
3081
+ calldata: string[];
3082
+ contractAddress?: any;
3083
+ msgSender?: any;
3084
+ }[];
3085
+ teardownEnqueuedCall: {
3086
+ isStaticCall: boolean;
3087
+ calldata: string[];
3088
+ contractAddress?: any;
3089
+ msgSender?: any;
3090
+ } | null;
3091
+ };
2762
3092
  contractInstances: {
2763
- salt: string;
2764
- currentContractClassId: string;
2765
- originalContractClassId: string;
2766
- initializationHash: string;
2767
3093
  publicKeys: {
2768
3094
  masterNullifierPublicKey: string;
2769
3095
  masterIncomingViewingPublicKey: string;
2770
3096
  masterOutgoingViewingPublicKey: string;
2771
3097
  masterTaggingPublicKey: string;
2772
3098
  };
3099
+ salt: string;
3100
+ currentContractClassId: string;
3101
+ originalContractClassId: string;
3102
+ initializationHash: string;
2773
3103
  address?: any;
2774
3104
  deployer?: any;
2775
3105
  }[];
@@ -2798,19 +3128,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2798
3128
  getPreviousValueIndexHints: {
2799
3129
  value: string;
2800
3130
  index: string | number | bigint;
3131
+ alreadyPresent: boolean;
2801
3132
  hintKey: {
2802
3133
  root: string;
2803
3134
  nextAvailableLeafIndex: string | number | bigint;
2804
3135
  };
2805
3136
  treeId: number;
2806
- alreadyPresent: boolean;
2807
3137
  }[];
2808
3138
  getLeafPreimageHintsPublicDataTree: {
2809
3139
  index: string | number | bigint;
2810
- hintKey: {
2811
- root: string;
2812
- nextAvailableLeafIndex: string | number | bigint;
2813
- };
2814
3140
  leafPreimage: {
2815
3141
  leaf: {
2816
3142
  nullifier: string;
@@ -2825,13 +3151,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2825
3151
  nextKey: string;
2826
3152
  nextIndex: string | number | bigint;
2827
3153
  };
2828
- }[];
2829
- getLeafPreimageHintsNullifierTree: {
2830
- index: string | number | bigint;
2831
3154
  hintKey: {
2832
3155
  root: string;
2833
3156
  nextAvailableLeafIndex: string | number | bigint;
2834
3157
  };
3158
+ }[];
3159
+ getLeafPreimageHintsNullifierTree: {
3160
+ index: string | number | bigint;
2835
3161
  leafPreimage: {
2836
3162
  leaf: {
2837
3163
  nullifier: string;
@@ -2846,6 +3172,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2846
3172
  nextKey: string;
2847
3173
  nextIndex: string | number | bigint;
2848
3174
  };
3175
+ hintKey: {
3176
+ root: string;
3177
+ nextAvailableLeafIndex: string | number | bigint;
3178
+ };
2849
3179
  }[];
2850
3180
  getLeafValueHints: {
2851
3181
  value: string;
@@ -2963,6 +3293,7 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2963
3293
  };
2964
3294
  }[];
2965
3295
  };
3296
+ }>, AvmCircuitInputs, {
2966
3297
  publicInputs: {
2967
3298
  globalVariables: {
2968
3299
  gasFees: {
@@ -2977,28 +3308,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
2977
3308
  coinbase?: any;
2978
3309
  feeRecipient?: any;
2979
3310
  };
2980
- startTreeSnapshots: {
2981
- l1ToL2MessageTree: {
2982
- root: string;
2983
- nextAvailableLeafIndex: string | number | bigint;
2984
- };
2985
- noteHashTree: {
2986
- root: string;
2987
- nextAvailableLeafIndex: string | number | bigint;
2988
- };
2989
- nullifierTree: {
2990
- root: string;
2991
- nextAvailableLeafIndex: string | number | bigint;
2992
- };
2993
- publicDataTree: {
2994
- root: string;
2995
- nextAvailableLeafIndex: string | number | bigint;
2996
- };
2997
- };
2998
- startGasUsed: {
2999
- daGas: string | number | bigint;
3000
- l2Gas: string | number | bigint;
3001
- };
3002
3311
  gasSettings: {
3003
3312
  gasLimits: {
3004
3313
  daGas: string | number | bigint;
@@ -3017,24 +3326,47 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3017
3326
  feePerL2Gas: string;
3018
3327
  };
3019
3328
  };
3020
- publicSetupCallRequests: {
3329
+ publicTeardownCallRequest: {
3021
3330
  isStaticCall: boolean;
3022
3331
  calldataHash: string;
3023
3332
  contractAddress?: any;
3024
3333
  msgSender?: any;
3025
- }[];
3026
- publicAppLogicCallRequests: {
3334
+ };
3335
+ transactionFee: string;
3336
+ startTreeSnapshots: {
3337
+ noteHashTree: {
3338
+ root: string;
3339
+ nextAvailableLeafIndex: string | number | bigint;
3340
+ };
3341
+ nullifierTree: {
3342
+ root: string;
3343
+ nextAvailableLeafIndex: string | number | bigint;
3344
+ };
3345
+ publicDataTree: {
3346
+ root: string;
3347
+ nextAvailableLeafIndex: string | number | bigint;
3348
+ };
3349
+ l1ToL2MessageTree: {
3350
+ root: string;
3351
+ nextAvailableLeafIndex: string | number | bigint;
3352
+ };
3353
+ };
3354
+ startGasUsed: {
3355
+ daGas: string | number | bigint;
3356
+ l2Gas: string | number | bigint;
3357
+ };
3358
+ publicSetupCallRequests: {
3027
3359
  isStaticCall: boolean;
3028
3360
  calldataHash: string;
3029
3361
  contractAddress?: any;
3030
3362
  msgSender?: any;
3031
3363
  }[];
3032
- publicTeardownCallRequest: {
3364
+ publicAppLogicCallRequests: {
3033
3365
  isStaticCall: boolean;
3034
3366
  calldataHash: string;
3035
3367
  contractAddress?: any;
3036
3368
  msgSender?: any;
3037
- };
3369
+ }[];
3038
3370
  previousNonRevertibleAccumulatedDataArrayLengths: {
3039
3371
  noteHashes: string | number | bigint;
3040
3372
  nullifiers: string | number | bigint;
@@ -3070,10 +3402,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3070
3402
  }[];
3071
3403
  };
3072
3404
  endTreeSnapshots: {
3073
- l1ToL2MessageTree: {
3074
- root: string;
3075
- nextAvailableLeafIndex: string | number | bigint;
3076
- };
3077
3405
  noteHashTree: {
3078
3406
  root: string;
3079
3407
  nextAvailableLeafIndex: string | number | bigint;
@@ -3086,6 +3414,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3086
3414
  root: string;
3087
3415
  nextAvailableLeafIndex: string | number | bigint;
3088
3416
  };
3417
+ l1ToL2MessageTree: {
3418
+ root: string;
3419
+ nextAvailableLeafIndex: string | number | bigint;
3420
+ };
3089
3421
  };
3090
3422
  endGasUsed: {
3091
3423
  daGas: string | number | bigint;
@@ -3108,31 +3440,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3108
3440
  leafSlot: string;
3109
3441
  }[];
3110
3442
  };
3111
- transactionFee: string;
3112
3443
  reverted: boolean;
3113
3444
  feePayer?: any;
3114
3445
  };
3115
- }>, AvmCircuitInputs, {
3116
3446
  calldata: string[];
3117
3447
  functionName: string;
3118
3448
  hints: {
3119
- enqueuedCalls: {
3120
- isStaticCall: boolean;
3121
- calldata: string[];
3122
- contractAddress?: any;
3123
- msgSender?: any;
3124
- }[];
3449
+ tx: {
3450
+ nonRevertibleAccumulatedData: {
3451
+ noteHashes: string[];
3452
+ nullifiers: string[];
3453
+ };
3454
+ revertibleAccumulatedData: {
3455
+ noteHashes: string[];
3456
+ nullifiers: string[];
3457
+ };
3458
+ setupEnqueuedCalls: {
3459
+ isStaticCall: boolean;
3460
+ calldata: string[];
3461
+ contractAddress?: any;
3462
+ msgSender?: any;
3463
+ }[];
3464
+ appLogicEnqueuedCalls: {
3465
+ isStaticCall: boolean;
3466
+ calldata: string[];
3467
+ contractAddress?: any;
3468
+ msgSender?: any;
3469
+ }[];
3470
+ teardownEnqueuedCall: {
3471
+ isStaticCall: boolean;
3472
+ calldata: string[];
3473
+ contractAddress?: any;
3474
+ msgSender?: any;
3475
+ } | null;
3476
+ };
3125
3477
  contractInstances: {
3126
- salt: string;
3127
- currentContractClassId: string;
3128
- originalContractClassId: string;
3129
- initializationHash: string;
3130
3478
  publicKeys: {
3131
3479
  masterNullifierPublicKey: string;
3132
3480
  masterIncomingViewingPublicKey: string;
3133
3481
  masterOutgoingViewingPublicKey: string;
3134
3482
  masterTaggingPublicKey: string;
3135
3483
  };
3484
+ salt: string;
3485
+ currentContractClassId: string;
3486
+ originalContractClassId: string;
3487
+ initializationHash: string;
3136
3488
  address?: any;
3137
3489
  deployer?: any;
3138
3490
  }[];
@@ -3161,19 +3513,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3161
3513
  getPreviousValueIndexHints: {
3162
3514
  value: string;
3163
3515
  index: string | number | bigint;
3516
+ alreadyPresent: boolean;
3164
3517
  hintKey: {
3165
3518
  root: string;
3166
3519
  nextAvailableLeafIndex: string | number | bigint;
3167
3520
  };
3168
3521
  treeId: number;
3169
- alreadyPresent: boolean;
3170
3522
  }[];
3171
3523
  getLeafPreimageHintsPublicDataTree: {
3172
3524
  index: string | number | bigint;
3173
- hintKey: {
3174
- root: string;
3175
- nextAvailableLeafIndex: string | number | bigint;
3176
- };
3177
3525
  leafPreimage: {
3178
3526
  leaf: {
3179
3527
  nullifier: string;
@@ -3188,13 +3536,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3188
3536
  nextKey: string;
3189
3537
  nextIndex: string | number | bigint;
3190
3538
  };
3191
- }[];
3192
- getLeafPreimageHintsNullifierTree: {
3193
- index: string | number | bigint;
3194
3539
  hintKey: {
3195
3540
  root: string;
3196
3541
  nextAvailableLeafIndex: string | number | bigint;
3197
3542
  };
3543
+ }[];
3544
+ getLeafPreimageHintsNullifierTree: {
3545
+ index: string | number | bigint;
3198
3546
  leafPreimage: {
3199
3547
  leaf: {
3200
3548
  nullifier: string;
@@ -3209,6 +3557,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3209
3557
  nextKey: string;
3210
3558
  nextIndex: string | number | bigint;
3211
3559
  };
3560
+ hintKey: {
3561
+ root: string;
3562
+ nextAvailableLeafIndex: string | number | bigint;
3563
+ };
3212
3564
  }[];
3213
3565
  getLeafValueHints: {
3214
3566
  value: string;
@@ -3326,6 +3678,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3326
3678
  };
3327
3679
  }[];
3328
3680
  };
3681
+ }>;
3682
+ }, "strip", z.ZodTypeAny, {
3683
+ type: ProvingRequestType.PUBLIC_VM;
3684
+ inputs: AvmCircuitInputs;
3685
+ }, {
3686
+ type: ProvingRequestType.PUBLIC_VM;
3687
+ inputs: {
3329
3688
  publicInputs: {
3330
3689
  globalVariables: {
3331
3690
  gasFees: {
@@ -3340,28 +3699,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3340
3699
  coinbase?: any;
3341
3700
  feeRecipient?: any;
3342
3701
  };
3343
- startTreeSnapshots: {
3344
- l1ToL2MessageTree: {
3345
- root: string;
3346
- nextAvailableLeafIndex: string | number | bigint;
3347
- };
3348
- noteHashTree: {
3349
- root: string;
3350
- nextAvailableLeafIndex: string | number | bigint;
3351
- };
3352
- nullifierTree: {
3353
- root: string;
3354
- nextAvailableLeafIndex: string | number | bigint;
3355
- };
3356
- publicDataTree: {
3357
- root: string;
3358
- nextAvailableLeafIndex: string | number | bigint;
3359
- };
3360
- };
3361
- startGasUsed: {
3362
- daGas: string | number | bigint;
3363
- l2Gas: string | number | bigint;
3364
- };
3365
3702
  gasSettings: {
3366
3703
  gasLimits: {
3367
3704
  daGas: string | number | bigint;
@@ -3380,24 +3717,47 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3380
3717
  feePerL2Gas: string;
3381
3718
  };
3382
3719
  };
3383
- publicSetupCallRequests: {
3720
+ publicTeardownCallRequest: {
3384
3721
  isStaticCall: boolean;
3385
3722
  calldataHash: string;
3386
3723
  contractAddress?: any;
3387
3724
  msgSender?: any;
3388
- }[];
3389
- publicAppLogicCallRequests: {
3725
+ };
3726
+ transactionFee: string;
3727
+ startTreeSnapshots: {
3728
+ noteHashTree: {
3729
+ root: string;
3730
+ nextAvailableLeafIndex: string | number | bigint;
3731
+ };
3732
+ nullifierTree: {
3733
+ root: string;
3734
+ nextAvailableLeafIndex: string | number | bigint;
3735
+ };
3736
+ publicDataTree: {
3737
+ root: string;
3738
+ nextAvailableLeafIndex: string | number | bigint;
3739
+ };
3740
+ l1ToL2MessageTree: {
3741
+ root: string;
3742
+ nextAvailableLeafIndex: string | number | bigint;
3743
+ };
3744
+ };
3745
+ startGasUsed: {
3746
+ daGas: string | number | bigint;
3747
+ l2Gas: string | number | bigint;
3748
+ };
3749
+ publicSetupCallRequests: {
3390
3750
  isStaticCall: boolean;
3391
3751
  calldataHash: string;
3392
3752
  contractAddress?: any;
3393
3753
  msgSender?: any;
3394
3754
  }[];
3395
- publicTeardownCallRequest: {
3755
+ publicAppLogicCallRequests: {
3396
3756
  isStaticCall: boolean;
3397
3757
  calldataHash: string;
3398
3758
  contractAddress?: any;
3399
3759
  msgSender?: any;
3400
- };
3760
+ }[];
3401
3761
  previousNonRevertibleAccumulatedDataArrayLengths: {
3402
3762
  noteHashes: string | number | bigint;
3403
3763
  nullifiers: string | number | bigint;
@@ -3433,10 +3793,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3433
3793
  }[];
3434
3794
  };
3435
3795
  endTreeSnapshots: {
3436
- l1ToL2MessageTree: {
3437
- root: string;
3438
- nextAvailableLeafIndex: string | number | bigint;
3439
- };
3440
3796
  noteHashTree: {
3441
3797
  root: string;
3442
3798
  nextAvailableLeafIndex: string | number | bigint;
@@ -3449,6 +3805,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3449
3805
  root: string;
3450
3806
  nextAvailableLeafIndex: string | number | bigint;
3451
3807
  };
3808
+ l1ToL2MessageTree: {
3809
+ root: string;
3810
+ nextAvailableLeafIndex: string | number | bigint;
3811
+ };
3452
3812
  };
3453
3813
  endGasUsed: {
3454
3814
  daGas: string | number | bigint;
@@ -3471,37 +3831,51 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3471
3831
  leafSlot: string;
3472
3832
  }[];
3473
3833
  };
3474
- transactionFee: string;
3475
3834
  reverted: boolean;
3476
3835
  feePayer?: any;
3477
3836
  };
3478
- }>;
3479
- }, "strip", z.ZodTypeAny, {
3480
- type: ProvingRequestType.PUBLIC_VM;
3481
- inputs: AvmCircuitInputs;
3482
- }, {
3483
- type: ProvingRequestType.PUBLIC_VM;
3484
- inputs: {
3485
3837
  calldata: string[];
3486
3838
  functionName: string;
3487
3839
  hints: {
3488
- enqueuedCalls: {
3489
- isStaticCall: boolean;
3490
- calldata: string[];
3491
- contractAddress?: any;
3492
- msgSender?: any;
3493
- }[];
3840
+ tx: {
3841
+ nonRevertibleAccumulatedData: {
3842
+ noteHashes: string[];
3843
+ nullifiers: string[];
3844
+ };
3845
+ revertibleAccumulatedData: {
3846
+ noteHashes: string[];
3847
+ nullifiers: string[];
3848
+ };
3849
+ setupEnqueuedCalls: {
3850
+ isStaticCall: boolean;
3851
+ calldata: string[];
3852
+ contractAddress?: any;
3853
+ msgSender?: any;
3854
+ }[];
3855
+ appLogicEnqueuedCalls: {
3856
+ isStaticCall: boolean;
3857
+ calldata: string[];
3858
+ contractAddress?: any;
3859
+ msgSender?: any;
3860
+ }[];
3861
+ teardownEnqueuedCall: {
3862
+ isStaticCall: boolean;
3863
+ calldata: string[];
3864
+ contractAddress?: any;
3865
+ msgSender?: any;
3866
+ } | null;
3867
+ };
3494
3868
  contractInstances: {
3495
- salt: string;
3496
- currentContractClassId: string;
3497
- originalContractClassId: string;
3498
- initializationHash: string;
3499
3869
  publicKeys: {
3500
3870
  masterNullifierPublicKey: string;
3501
3871
  masterIncomingViewingPublicKey: string;
3502
3872
  masterOutgoingViewingPublicKey: string;
3503
3873
  masterTaggingPublicKey: string;
3504
3874
  };
3875
+ salt: string;
3876
+ currentContractClassId: string;
3877
+ originalContractClassId: string;
3878
+ initializationHash: string;
3505
3879
  address?: any;
3506
3880
  deployer?: any;
3507
3881
  }[];
@@ -3530,19 +3904,15 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3530
3904
  getPreviousValueIndexHints: {
3531
3905
  value: string;
3532
3906
  index: string | number | bigint;
3907
+ alreadyPresent: boolean;
3533
3908
  hintKey: {
3534
3909
  root: string;
3535
3910
  nextAvailableLeafIndex: string | number | bigint;
3536
3911
  };
3537
3912
  treeId: number;
3538
- alreadyPresent: boolean;
3539
3913
  }[];
3540
3914
  getLeafPreimageHintsPublicDataTree: {
3541
3915
  index: string | number | bigint;
3542
- hintKey: {
3543
- root: string;
3544
- nextAvailableLeafIndex: string | number | bigint;
3545
- };
3546
3916
  leafPreimage: {
3547
3917
  leaf: {
3548
3918
  nullifier: string;
@@ -3557,13 +3927,13 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3557
3927
  nextKey: string;
3558
3928
  nextIndex: string | number | bigint;
3559
3929
  };
3560
- }[];
3561
- getLeafPreimageHintsNullifierTree: {
3562
- index: string | number | bigint;
3563
3930
  hintKey: {
3564
3931
  root: string;
3565
3932
  nextAvailableLeafIndex: string | number | bigint;
3566
3933
  };
3934
+ }[];
3935
+ getLeafPreimageHintsNullifierTree: {
3936
+ index: string | number | bigint;
3567
3937
  leafPreimage: {
3568
3938
  leaf: {
3569
3939
  nullifier: string;
@@ -3578,6 +3948,10 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3578
3948
  nextKey: string;
3579
3949
  nextIndex: string | number | bigint;
3580
3950
  };
3951
+ hintKey: {
3952
+ root: string;
3953
+ nextAvailableLeafIndex: string | number | bigint;
3954
+ };
3581
3955
  }[];
3582
3956
  getLeafValueHints: {
3583
3957
  value: string;
@@ -3695,155 +4069,6 @@ export declare const ProvingJobInputs: z.ZodDiscriminatedUnion<"type", [z.ZodObj
3695
4069
  };
3696
4070
  }[];
3697
4071
  };
3698
- publicInputs: {
3699
- globalVariables: {
3700
- gasFees: {
3701
- feePerDaGas: string;
3702
- feePerL2Gas: string;
3703
- };
3704
- chainId?: any;
3705
- version?: any;
3706
- blockNumber?: any;
3707
- slotNumber?: any;
3708
- timestamp?: any;
3709
- coinbase?: any;
3710
- feeRecipient?: any;
3711
- };
3712
- startTreeSnapshots: {
3713
- l1ToL2MessageTree: {
3714
- root: string;
3715
- nextAvailableLeafIndex: string | number | bigint;
3716
- };
3717
- noteHashTree: {
3718
- root: string;
3719
- nextAvailableLeafIndex: string | number | bigint;
3720
- };
3721
- nullifierTree: {
3722
- root: string;
3723
- nextAvailableLeafIndex: string | number | bigint;
3724
- };
3725
- publicDataTree: {
3726
- root: string;
3727
- nextAvailableLeafIndex: string | number | bigint;
3728
- };
3729
- };
3730
- startGasUsed: {
3731
- daGas: string | number | bigint;
3732
- l2Gas: string | number | bigint;
3733
- };
3734
- gasSettings: {
3735
- gasLimits: {
3736
- daGas: string | number | bigint;
3737
- l2Gas: string | number | bigint;
3738
- };
3739
- teardownGasLimits: {
3740
- daGas: string | number | bigint;
3741
- l2Gas: string | number | bigint;
3742
- };
3743
- maxFeesPerGas: {
3744
- feePerDaGas: string;
3745
- feePerL2Gas: string;
3746
- };
3747
- maxPriorityFeesPerGas: {
3748
- feePerDaGas: string;
3749
- feePerL2Gas: string;
3750
- };
3751
- };
3752
- publicSetupCallRequests: {
3753
- isStaticCall: boolean;
3754
- calldataHash: string;
3755
- contractAddress?: any;
3756
- msgSender?: any;
3757
- }[];
3758
- publicAppLogicCallRequests: {
3759
- isStaticCall: boolean;
3760
- calldataHash: string;
3761
- contractAddress?: any;
3762
- msgSender?: any;
3763
- }[];
3764
- publicTeardownCallRequest: {
3765
- isStaticCall: boolean;
3766
- calldataHash: string;
3767
- contractAddress?: any;
3768
- msgSender?: any;
3769
- };
3770
- previousNonRevertibleAccumulatedDataArrayLengths: {
3771
- noteHashes: string | number | bigint;
3772
- nullifiers: string | number | bigint;
3773
- l2ToL1Msgs: string | number | bigint;
3774
- };
3775
- previousRevertibleAccumulatedDataArrayLengths: {
3776
- noteHashes: string | number | bigint;
3777
- nullifiers: string | number | bigint;
3778
- l2ToL1Msgs: string | number | bigint;
3779
- };
3780
- previousNonRevertibleAccumulatedData: {
3781
- noteHashes: string[];
3782
- nullifiers: string[];
3783
- l2ToL1Msgs: {
3784
- message: {
3785
- counter: number;
3786
- recipient: string;
3787
- content: string;
3788
- };
3789
- contractAddress?: any;
3790
- }[];
3791
- };
3792
- previousRevertibleAccumulatedData: {
3793
- noteHashes: string[];
3794
- nullifiers: string[];
3795
- l2ToL1Msgs: {
3796
- message: {
3797
- counter: number;
3798
- recipient: string;
3799
- content: string;
3800
- };
3801
- contractAddress?: any;
3802
- }[];
3803
- };
3804
- endTreeSnapshots: {
3805
- l1ToL2MessageTree: {
3806
- root: string;
3807
- nextAvailableLeafIndex: string | number | bigint;
3808
- };
3809
- noteHashTree: {
3810
- root: string;
3811
- nextAvailableLeafIndex: string | number | bigint;
3812
- };
3813
- nullifierTree: {
3814
- root: string;
3815
- nextAvailableLeafIndex: string | number | bigint;
3816
- };
3817
- publicDataTree: {
3818
- root: string;
3819
- nextAvailableLeafIndex: string | number | bigint;
3820
- };
3821
- };
3822
- endGasUsed: {
3823
- daGas: string | number | bigint;
3824
- l2Gas: string | number | bigint;
3825
- };
3826
- accumulatedData: {
3827
- noteHashes: string[];
3828
- nullifiers: string[];
3829
- l2ToL1Msgs: {
3830
- message: {
3831
- counter: number;
3832
- recipient: string;
3833
- content: string;
3834
- };
3835
- contractAddress?: any;
3836
- }[];
3837
- publicLogs: any[];
3838
- publicDataWrites: {
3839
- value: string;
3840
- leafSlot: string;
3841
- }[];
3842
- };
3843
- transactionFee: string;
3844
- reverted: boolean;
3845
- feePayer?: any;
3846
- };
3847
4072
  };
3848
4073
  }>, z.ZodObject<{
3849
4074
  type: z.ZodLiteral<ProvingRequestType.BASE_PARITY>;