@aztec/stdlib 0.82.2-alpha-testnet.4 → 0.82.3

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 (114) hide show
  1. package/dest/avm/avm.d.ts +919 -1252
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +138 -111
  4. package/dest/avm/avm_proving_request.d.ts +400 -575
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/block/l2_block_downloader/l2_block_stream.d.ts +1 -0
  7. package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +1 -1
  8. package/dest/block/l2_block_downloader/l2_block_stream.js +6 -0
  9. package/dest/database-version/version_manager.d.ts +4 -2
  10. package/dest/database-version/version_manager.d.ts.map +1 -1
  11. package/dest/database-version/version_manager.js +13 -9
  12. package/dest/epoch-helpers/index.d.ts +2 -0
  13. package/dest/epoch-helpers/index.d.ts.map +1 -1
  14. package/dest/epoch-helpers/index.js +3 -0
  15. package/dest/file-store/factory.d.ts +7 -0
  16. package/dest/file-store/factory.d.ts.map +1 -0
  17. package/dest/file-store/factory.js +46 -0
  18. package/dest/file-store/gcs.d.ts +22 -0
  19. package/dest/file-store/gcs.d.ts.map +1 -0
  20. package/dest/file-store/gcs.js +115 -0
  21. package/dest/file-store/http.d.ts +15 -0
  22. package/dest/file-store/http.d.ts.map +1 -0
  23. package/dest/file-store/http.js +53 -0
  24. package/dest/file-store/index.d.ts +3 -0
  25. package/dest/file-store/index.d.ts.map +1 -0
  26. package/dest/file-store/index.js +2 -0
  27. package/dest/file-store/interface.d.ts +24 -0
  28. package/dest/file-store/interface.d.ts.map +1 -0
  29. package/dest/file-store/interface.js +1 -0
  30. package/dest/file-store/local.d.ts +16 -0
  31. package/dest/file-store/local.d.ts.map +1 -0
  32. package/dest/file-store/local.js +40 -0
  33. package/dest/interfaces/aztec-node-admin.d.ts +9 -1
  34. package/dest/interfaces/aztec-node-admin.d.ts.map +1 -1
  35. package/dest/interfaces/aztec-node-admin.js +2 -1
  36. package/dest/interfaces/aztec-node.d.ts +3 -0
  37. package/dest/interfaces/aztec-node.d.ts.map +1 -1
  38. package/dest/interfaces/aztec-node.js +2 -0
  39. package/dest/interfaces/p2p.d.ts +2 -0
  40. package/dest/interfaces/p2p.d.ts.map +1 -1
  41. package/dest/interfaces/p2p.js +2 -1
  42. package/dest/interfaces/prover-node.d.ts +4 -0
  43. package/dest/interfaces/prover-node.d.ts.map +1 -1
  44. package/dest/interfaces/prover-node.js +5 -1
  45. package/dest/interfaces/proving-job.d.ts +400 -575
  46. package/dest/interfaces/proving-job.d.ts.map +1 -1
  47. package/dest/interfaces/service.d.ts +3 -0
  48. package/dest/interfaces/service.d.ts.map +1 -1
  49. package/dest/interfaces/service.js +7 -0
  50. package/dest/interfaces/world_state.d.ts +13 -15
  51. package/dest/interfaces/world_state.d.ts.map +1 -1
  52. package/dest/snapshots/download.d.ts +9 -0
  53. package/dest/snapshots/download.d.ts.map +1 -0
  54. package/dest/snapshots/download.js +37 -0
  55. package/dest/snapshots/index.d.ts +4 -0
  56. package/dest/snapshots/index.d.ts.map +1 -0
  57. package/dest/snapshots/index.js +3 -0
  58. package/dest/snapshots/types.d.ts +97 -0
  59. package/dest/snapshots/types.d.ts.map +1 -0
  60. package/dest/snapshots/types.js +27 -0
  61. package/dest/snapshots/upload.d.ts +5 -0
  62. package/dest/snapshots/upload.d.ts.map +1 -0
  63. package/dest/snapshots/upload.js +37 -0
  64. package/dest/tests/factories.d.ts +13 -7
  65. package/dest/tests/factories.d.ts.map +1 -1
  66. package/dest/tests/factories.js +37 -25
  67. package/dest/trees/merkle_tree_id.d.ts +8 -0
  68. package/dest/trees/merkle_tree_id.d.ts.map +1 -1
  69. package/dest/trees/merkle_tree_id.js +10 -0
  70. package/dest/trees/nullifier_leaf.d.ts +11 -2
  71. package/dest/trees/nullifier_leaf.d.ts.map +1 -1
  72. package/dest/trees/nullifier_leaf.js +12 -7
  73. package/dest/trees/nullifier_membership_witness.d.ts +7 -7
  74. package/dest/trees/public_data_leaf.d.ts +13 -0
  75. package/dest/trees/public_data_leaf.d.ts.map +1 -1
  76. package/dest/trees/public_data_leaf.js +6 -0
  77. package/dest/trees/public_data_witness.d.ts +7 -7
  78. package/dest/validators/index.d.ts +3 -0
  79. package/dest/validators/index.d.ts.map +1 -0
  80. package/dest/validators/index.js +1 -0
  81. package/dest/validators/schemas.d.ts +342 -0
  82. package/dest/validators/schemas.d.ts.map +1 -0
  83. package/dest/validators/schemas.js +40 -0
  84. package/dest/validators/types.d.ts +39 -0
  85. package/dest/validators/types.d.ts.map +1 -0
  86. package/dest/validators/types.js +1 -0
  87. package/package.json +11 -7
  88. package/src/avm/avm.ts +131 -106
  89. package/src/block/l2_block_downloader/l2_block_stream.ts +6 -0
  90. package/src/database-version/version_manager.ts +12 -8
  91. package/src/epoch-helpers/index.ts +8 -0
  92. package/src/file-store/factory.ts +61 -0
  93. package/src/file-store/gcs.ts +121 -0
  94. package/src/file-store/http.ts +58 -0
  95. package/src/file-store/index.ts +2 -0
  96. package/src/file-store/interface.ts +19 -0
  97. package/src/file-store/local.ts +46 -0
  98. package/src/interfaces/aztec-node-admin.ts +11 -1
  99. package/src/interfaces/aztec-node.ts +7 -0
  100. package/src/interfaces/p2p.ts +4 -0
  101. package/src/interfaces/prover-node.ts +10 -0
  102. package/src/interfaces/service.ts +13 -0
  103. package/src/interfaces/world_state.ts +17 -15
  104. package/src/snapshots/download.ts +60 -0
  105. package/src/snapshots/index.ts +3 -0
  106. package/src/snapshots/types.ts +58 -0
  107. package/src/snapshots/upload.ts +53 -0
  108. package/src/tests/factories.ts +74 -54
  109. package/src/trees/merkle_tree_id.ts +12 -0
  110. package/src/trees/nullifier_leaf.ts +9 -5
  111. package/src/trees/public_data_leaf.ts +9 -0
  112. package/src/validators/index.ts +3 -0
  113. package/src/validators/schemas.ts +53 -0
  114. package/src/validators/types.ts +37 -0
package/dest/avm/avm_proving_request.d.ts CHANGED
@@ -146,357 +146,248 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
146
146
  classId: string;
147
147
  commitment: string;
148
148
  }>, "many">;
149
- publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
150
- leafPreimage: z.ZodEffects<z.ZodObject<{
151
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
152
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
153
- nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
154
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
149
+ getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
150
+ hintKey: z.ZodEffects<z.ZodObject<{
151
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
152
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
155
153
  }, "strip", z.ZodTypeAny, {
156
- value: import("@aztec/foundation/schemas").Fr;
157
- slot: import("@aztec/foundation/schemas").Fr;
158
- nextIndex: bigint;
159
- nextSlot: import("@aztec/foundation/schemas").Fr;
154
+ root: import("@aztec/foundation/schemas").Fr;
155
+ nextAvailableLeafIndex: number;
160
156
  }, {
161
- value: string;
162
- slot: string;
163
- nextIndex: string | number | bigint;
164
- nextSlot: string;
165
- }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
166
- value: string;
167
- slot: string;
168
- nextIndex: string | number | bigint;
169
- nextSlot: string;
157
+ root: string;
158
+ nextAvailableLeafIndex: string | number | bigint;
159
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
160
+ root: string;
161
+ nextAvailableLeafIndex: string | number | bigint;
170
162
  }>;
171
- leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
172
- siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
163
+ treeId: z.ZodNumber;
164
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
165
+ path: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
173
166
  }, "strip", z.ZodTypeAny, {
174
- leafIndex: import("@aztec/foundation/schemas").Fr;
175
- siblingPath: import("@aztec/foundation/schemas").Fr[];
176
- leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
167
+ path: import("@aztec/foundation/schemas").Fr[];
168
+ index: bigint;
169
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
170
+ treeId: number;
177
171
  }, {
178
- leafIndex: string;
179
- siblingPath: string[];
180
- leafPreimage: {
181
- value: string;
182
- slot: string;
183
- nextIndex: string | number | bigint;
184
- nextSlot: string;
185
- };
186
- }>, import("./avm.js").AvmPublicDataReadTreeHint, {
187
- leafIndex: string;
188
- siblingPath: string[];
189
- leafPreimage: {
190
- value: string;
191
- slot: string;
192
- nextIndex: string | number | bigint;
193
- nextSlot: string;
172
+ path: string[];
173
+ index: string | number | bigint;
174
+ hintKey: {
175
+ root: string;
176
+ nextAvailableLeafIndex: string | number | bigint;
177
+ };
178
+ treeId: number;
179
+ }>, import("./avm.js").AvmGetSiblingPathHint, {
180
+ path: string[];
181
+ index: string | number | bigint;
182
+ hintKey: {
183
+ root: string;
184
+ nextAvailableLeafIndex: string | number | bigint;
194
185
  };
186
+ treeId: number;
195
187
  }>, "many">;
196
- publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
197
- lowLeafRead: z.ZodEffects<z.ZodObject<{
198
- leafPreimage: z.ZodEffects<z.ZodObject<{
199
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
200
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
201
- nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
202
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
203
- }, "strip", z.ZodTypeAny, {
204
- value: import("@aztec/foundation/schemas").Fr;
205
- slot: import("@aztec/foundation/schemas").Fr;
206
- nextIndex: bigint;
207
- nextSlot: import("@aztec/foundation/schemas").Fr;
208
- }, {
209
- value: string;
210
- slot: string;
211
- nextIndex: string | number | bigint;
212
- nextSlot: string;
213
- }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
214
- value: string;
215
- slot: string;
216
- nextIndex: string | number | bigint;
217
- nextSlot: string;
218
- }>;
219
- leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
220
- siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
221
- }, "strip", z.ZodTypeAny, {
222
- leafIndex: import("@aztec/foundation/schemas").Fr;
223
- siblingPath: import("@aztec/foundation/schemas").Fr[];
224
- leafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
225
- }, {
226
- leafIndex: string;
227
- siblingPath: string[];
228
- leafPreimage: {
229
- value: string;
230
- slot: string;
231
- nextIndex: string | number | bigint;
232
- nextSlot: string;
233
- };
234
- }>, import("./avm.js").AvmPublicDataReadTreeHint, {
235
- leafIndex: string;
236
- siblingPath: string[];
237
- leafPreimage: {
238
- value: string;
239
- slot: string;
240
- nextIndex: string | number | bigint;
241
- nextSlot: string;
242
- };
243
- }>;
244
- newLeafPreimage: z.ZodEffects<z.ZodObject<{
245
- slot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
246
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
247
- nextSlot: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
248
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
188
+ getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
189
+ hintKey: z.ZodEffects<z.ZodObject<{
190
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
191
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
249
192
  }, "strip", z.ZodTypeAny, {
250
- value: import("@aztec/foundation/schemas").Fr;
251
- slot: import("@aztec/foundation/schemas").Fr;
252
- nextIndex: bigint;
253
- nextSlot: import("@aztec/foundation/schemas").Fr;
193
+ root: import("@aztec/foundation/schemas").Fr;
194
+ nextAvailableLeafIndex: number;
254
195
  }, {
255
- value: string;
256
- slot: string;
257
- nextIndex: string | number | bigint;
258
- nextSlot: string;
259
- }>, import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
260
- value: string;
261
- slot: string;
262
- nextIndex: string | number | bigint;
263
- nextSlot: string;
196
+ root: string;
197
+ nextAvailableLeafIndex: string | number | bigint;
198
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
199
+ root: string;
200
+ nextAvailableLeafIndex: string | number | bigint;
264
201
  }>;
265
- insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
202
+ treeId: z.ZodNumber;
203
+ value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
204
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
205
+ alreadyPresent: z.ZodBoolean;
266
206
  }, "strip", z.ZodTypeAny, {
267
- lowLeafRead: import("./avm.js").AvmPublicDataReadTreeHint;
268
- insertionPath: import("@aztec/foundation/schemas").Fr[];
269
- newLeafPreimage: import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage;
207
+ value: import("@aztec/foundation/schemas").Fr;
208
+ index: bigint;
209
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
210
+ treeId: number;
211
+ alreadyPresent: boolean;
270
212
  }, {
271
- lowLeafRead: {
272
- leafIndex: string;
273
- siblingPath: string[];
274
- leafPreimage: {
275
- value: string;
276
- slot: string;
277
- nextIndex: string | number | bigint;
278
- nextSlot: string;
279
- };
280
- };
281
- insertionPath: string[];
282
- newLeafPreimage: {
283
- value: string;
284
- slot: string;
285
- nextIndex: string | number | bigint;
286
- nextSlot: string;
287
- };
288
- }>, import("./avm.js").AvmPublicDataWriteTreeHint, {
289
- lowLeafRead: {
290
- leafIndex: string;
291
- siblingPath: string[];
292
- leafPreimage: {
293
- value: string;
294
- slot: string;
295
- nextIndex: string | number | bigint;
296
- nextSlot: string;
297
- };
213
+ value: string;
214
+ index: string | number | bigint;
215
+ hintKey: {
216
+ root: string;
217
+ nextAvailableLeafIndex: string | number | bigint;
298
218
  };
299
- insertionPath: string[];
300
- newLeafPreimage: {
301
- value: string;
302
- slot: string;
303
- nextIndex: string | number | bigint;
304
- nextSlot: string;
219
+ treeId: number;
220
+ alreadyPresent: boolean;
221
+ }>, import("./avm.js").AvmGetPreviousValueIndexHint, {
222
+ value: string;
223
+ index: string | number | bigint;
224
+ hintKey: {
225
+ root: string;
226
+ nextAvailableLeafIndex: string | number | bigint;
305
227
  };
228
+ treeId: number;
229
+ alreadyPresent: boolean;
306
230
  }>, "many">;
307
- nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
308
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
309
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
310
- nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
311
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
231
+ getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
232
+ hintKey: z.ZodEffects<z.ZodObject<{
233
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
234
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
312
235
  }, "strip", z.ZodTypeAny, {
313
- nullifier: import("@aztec/foundation/schemas").Fr;
314
- nextNullifier: import("@aztec/foundation/schemas").Fr;
315
- nextIndex: bigint;
236
+ root: import("@aztec/foundation/schemas").Fr;
237
+ nextAvailableLeafIndex: number;
316
238
  }, {
317
- nullifier: string;
318
- nextNullifier: string;
319
- nextIndex: string | number | bigint;
320
- }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
321
- nullifier: string;
322
- nextNullifier: string;
323
- nextIndex: string | number | bigint;
239
+ root: string;
240
+ nextAvailableLeafIndex: string | number | bigint;
241
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
242
+ root: string;
243
+ nextAvailableLeafIndex: string | number | bigint;
324
244
  }>;
325
- lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
326
- lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
245
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
246
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
247
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
248
+ nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
327
249
  }, "strip", z.ZodTypeAny, {
328
- lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
329
- lowLeafIndex: import("@aztec/foundation/schemas").Fr;
330
- lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
250
+ index: bigint;
251
+ nextIndex: bigint;
252
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
253
+ nextValue: import("@aztec/foundation/schemas").Fr;
254
+ leaf?: any;
255
+ }, {
256
+ index: string | number | bigint;
257
+ nextIndex: string | number | bigint;
258
+ hintKey: {
259
+ root: string;
260
+ nextAvailableLeafIndex: string | number | bigint;
261
+ };
262
+ nextValue: string;
263
+ leaf?: any;
264
+ }>, {
265
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
266
+ readonly index: bigint;
267
+ readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
268
+ readonly nextIndex: bigint;
269
+ readonly nextValue: import("@aztec/foundation/schemas").Fr;
331
270
  }, {
332
- lowLeafPreimage: {
333
- nullifier: string;
334
- nextNullifier: string;
335
- nextIndex: string | number | bigint;
336
- };
337
- lowLeafIndex: string;
338
- lowLeafSiblingPath: string[];
339
- }>, import("./avm.js").AvmNullifierReadTreeHint, {
340
- lowLeafPreimage: {
341
- nullifier: string;
342
- nextNullifier: string;
343
- nextIndex: string | number | bigint;
344
- };
345
- lowLeafIndex: string;
346
- lowLeafSiblingPath: string[];
271
+ index: string | number | bigint;
272
+ nextIndex: string | number | bigint;
273
+ hintKey: {
274
+ root: string;
275
+ nextAvailableLeafIndex: string | number | bigint;
276
+ };
277
+ nextValue: string;
278
+ leaf?: any;
347
279
  }>, "many">;
348
- nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
349
- lowLeafRead: z.ZodEffects<z.ZodObject<{
350
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
351
- nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
352
- nextNullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
353
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
354
- }, "strip", z.ZodTypeAny, {
355
- nullifier: import("@aztec/foundation/schemas").Fr;
356
- nextNullifier: import("@aztec/foundation/schemas").Fr;
357
- nextIndex: bigint;
358
- }, {
359
- nullifier: string;
360
- nextNullifier: string;
361
- nextIndex: string | number | bigint;
362
- }>, import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
363
- nullifier: string;
364
- nextNullifier: string;
365
- nextIndex: string | number | bigint;
366
- }>;
367
- lowLeafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
368
- lowLeafSiblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
280
+ getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
281
+ hintKey: z.ZodEffects<z.ZodObject<{
282
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
283
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
369
284
  }, "strip", z.ZodTypeAny, {
370
- lowLeafPreimage: import("../trees/nullifier_leaf.js").NullifierLeafPreimage;
371
- lowLeafIndex: import("@aztec/foundation/schemas").Fr;
372
- lowLeafSiblingPath: import("@aztec/foundation/schemas").Fr[];
285
+ root: import("@aztec/foundation/schemas").Fr;
286
+ nextAvailableLeafIndex: number;
373
287
  }, {
374
- lowLeafPreimage: {
375
- nullifier: string;
376
- nextNullifier: string;
377
- nextIndex: string | number | bigint;
378
- };
379
- lowLeafIndex: string;
380
- lowLeafSiblingPath: string[];
381
- }>, import("./avm.js").AvmNullifierReadTreeHint, {
382
- lowLeafPreimage: {
383
- nullifier: string;
384
- nextNullifier: string;
385
- nextIndex: string | number | bigint;
386
- };
387
- lowLeafIndex: string;
388
- lowLeafSiblingPath: string[];
288
+ root: string;
289
+ nextAvailableLeafIndex: string | number | bigint;
290
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
291
+ root: string;
292
+ nextAvailableLeafIndex: string | number | bigint;
389
293
  }>;
390
- insertionPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
294
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
295
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
296
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
297
+ nextValue: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
391
298
  }, "strip", z.ZodTypeAny, {
392
- lowLeafRead: import("./avm.js").AvmNullifierReadTreeHint;
393
- insertionPath: import("@aztec/foundation/schemas").Fr[];
299
+ index: bigint;
300
+ nextIndex: bigint;
301
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
302
+ nextValue: import("@aztec/foundation/schemas").Fr;
303
+ leaf?: any;
394
304
  }, {
395
- lowLeafRead: {
396
- lowLeafPreimage: {
397
- nullifier: string;
398
- nextNullifier: string;
399
- nextIndex: string | number | bigint;
400
- };
401
- lowLeafIndex: string;
402
- lowLeafSiblingPath: string[];
403
- };
404
- insertionPath: string[];
405
- }>, import("./avm.js").AvmNullifierWriteTreeHint, {
406
- lowLeafRead: {
407
- lowLeafPreimage: {
408
- nullifier: string;
409
- nextNullifier: string;
410
- nextIndex: string | number | bigint;
411
- };
412
- lowLeafIndex: string;
413
- lowLeafSiblingPath: string[];
305
+ index: string | number | bigint;
306
+ nextIndex: string | number | bigint;
307
+ hintKey: {
308
+ root: string;
309
+ nextAvailableLeafIndex: string | number | bigint;
414
310
  };
415
- insertionPath: string[];
416
- }>, "many">;
417
- noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
418
- leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
419
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
420
- siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
421
- }, "strip", z.ZodTypeAny, {
422
- value: import("@aztec/foundation/schemas").Fr;
423
- leafIndex: import("@aztec/foundation/schemas").Fr;
424
- siblingPath: import("@aztec/foundation/schemas").Fr[];
425
- }, {
426
- value: string;
427
- leafIndex: string;
428
- siblingPath: string[];
429
- }>, import("./avm.js").AvmAppendTreeHint, {
430
- value: string;
431
- leafIndex: string;
432
- siblingPath: string[];
433
- }>, "many">;
434
- noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
435
- leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
436
- value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
437
- siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
438
- }, "strip", z.ZodTypeAny, {
439
- value: import("@aztec/foundation/schemas").Fr;
440
- leafIndex: import("@aztec/foundation/schemas").Fr;
441
- siblingPath: import("@aztec/foundation/schemas").Fr[];
311
+ nextValue: string;
312
+ leaf?: any;
313
+ }>, {
314
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
315
+ readonly index: bigint;
316
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
317
+ readonly nextIndex: bigint;
318
+ readonly nextValue: import("@aztec/foundation/schemas").Fr;
442
319
  }, {
443
- value: string;
444
- leafIndex: string;
445
- siblingPath: string[];
446
- }>, import("./avm.js").AvmAppendTreeHint, {
447
- value: string;
448
- leafIndex: string;
449
- siblingPath: string[];
320
+ index: string | number | bigint;
321
+ nextIndex: string | number | bigint;
322
+ hintKey: {
323
+ root: string;
324
+ nextAvailableLeafIndex: string | number | bigint;
325
+ };
326
+ nextValue: string;
327
+ leaf?: any;
450
328
  }>, "many">;
451
- l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
452
- leafIndex: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
329
+ getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
330
+ hintKey: z.ZodEffects<z.ZodObject<{
331
+ root: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
332
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
333
+ }, "strip", z.ZodTypeAny, {
334
+ root: import("@aztec/foundation/schemas").Fr;
335
+ nextAvailableLeafIndex: number;
336
+ }, {
337
+ root: string;
338
+ nextAvailableLeafIndex: string | number | bigint;
339
+ }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
340
+ root: string;
341
+ nextAvailableLeafIndex: string | number | bigint;
342
+ }>;
343
+ treeId: z.ZodNumber;
344
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
453
345
  value: z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>;
454
- siblingPath: z.ZodArray<z.ZodType<import("@aztec/foundation/schemas").Fr, any, string>, "many">;
455
346
  }, "strip", z.ZodTypeAny, {
456
347
  value: import("@aztec/foundation/schemas").Fr;
457
- leafIndex: import("@aztec/foundation/schemas").Fr;
458
- siblingPath: import("@aztec/foundation/schemas").Fr[];
348
+ index: bigint;
349
+ hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
350
+ treeId: number;
459
351
  }, {
460
352
  value: string;
461
- leafIndex: string;
462
- siblingPath: string[];
463
- }>, import("./avm.js").AvmAppendTreeHint, {
353
+ index: string | number | bigint;
354
+ hintKey: {
355
+ root: string;
356
+ nextAvailableLeafIndex: string | number | bigint;
357
+ };
358
+ treeId: number;
359
+ }>, import("./avm.js").AvmGetLeafValueHint, {
464
360
  value: string;
465
- leafIndex: string;
466
- siblingPath: string[];
361
+ index: string | number | bigint;
362
+ hintKey: {
363
+ root: string;
364
+ nextAvailableLeafIndex: string | number | bigint;
365
+ };
366
+ treeId: number;
467
367
  }>, "many">;
468
368
  }, "strip", z.ZodTypeAny, {
469
- publicDataWrites: import("./avm.js").AvmPublicDataWriteTreeHint[];
470
369
  enqueuedCalls: import("./avm.js").AvmEnqueuedCallHint[];
471
370
  contractInstances: import("./avm.js").AvmContractInstanceHint[];
472
371
  contractClasses: import("./avm.js").AvmContractClassHint[];
473
372
  bytecodeCommitments: import("./avm.js").AvmBytecodeCommitmentHint[];
474
- publicDataReads: import("./avm.js").AvmPublicDataReadTreeHint[];
475
- nullifierReads: import("./avm.js").AvmNullifierReadTreeHint[];
476
- nullifierWrites: import("./avm.js").AvmNullifierWriteTreeHint[];
477
- noteHashReads: import("./avm.js").AvmAppendTreeHint[];
478
- noteHashWrites: import("./avm.js").AvmAppendTreeHint[];
479
- l1ToL2MessageReads: import("./avm.js").AvmAppendTreeHint[];
373
+ getSiblingPathHints: import("./avm.js").AvmGetSiblingPathHint[];
374
+ getPreviousValueIndexHints: import("./avm.js").AvmGetPreviousValueIndexHint[];
375
+ getLeafPreimageHintsPublicDataTree: {
376
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
377
+ readonly index: bigint;
378
+ readonly leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
379
+ readonly nextIndex: bigint;
380
+ readonly nextValue: import("@aztec/foundation/schemas").Fr;
381
+ }[];
382
+ getLeafPreimageHintsNullifierTree: {
383
+ readonly hintKey: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
384
+ readonly index: bigint;
385
+ readonly leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
386
+ readonly nextIndex: bigint;
387
+ readonly nextValue: import("@aztec/foundation/schemas").Fr;
388
+ }[];
389
+ getLeafValueHints: import("./avm.js").AvmGetLeafValueHint[];
480
390
  }, {
481
- publicDataWrites: {
482
- lowLeafRead: {
483
- leafIndex: string;
484
- siblingPath: string[];
485
- leafPreimage: {
486
- value: string;
487
- slot: string;
488
- nextIndex: string | number | bigint;
489
- nextSlot: string;
490
- };
491
- };
492
- insertionPath: string[];
493
- newLeafPreimage: {
494
- value: string;
495
- slot: string;
496
- nextIndex: string | number | bigint;
497
- nextSlot: string;
498
- };
499
- }[];
500
391
  enqueuedCalls: {
501
392
  isStaticCall: boolean;
502
393
  calldata: string[];
@@ -530,72 +421,55 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
530
421
  classId: string;
531
422
  commitment: string;
532
423
  }[];
533
- publicDataReads: {
534
- leafIndex: string;
535
- siblingPath: string[];
536
- leafPreimage: {
537
- value: string;
538
- slot: string;
539
- nextIndex: string | number | bigint;
540
- nextSlot: string;
424
+ getSiblingPathHints: {
425
+ path: string[];
426
+ index: string | number | bigint;
427
+ hintKey: {
428
+ root: string;
429
+ nextAvailableLeafIndex: string | number | bigint;
541
430
  };
431
+ treeId: number;
542
432
  }[];
543
- nullifierReads: {
544
- lowLeafPreimage: {
545
- nullifier: string;
546
- nextNullifier: string;
547
- nextIndex: string | number | bigint;
548
- };
549
- lowLeafIndex: string;
550
- lowLeafSiblingPath: string[];
551
- }[];
552
- nullifierWrites: {
553
- lowLeafRead: {
554
- lowLeafPreimage: {
555
- nullifier: string;
556
- nextNullifier: string;
557
- nextIndex: string | number | bigint;
558
- };
559
- lowLeafIndex: string;
560
- lowLeafSiblingPath: string[];
433
+ getPreviousValueIndexHints: {
434
+ value: string;
435
+ index: string | number | bigint;
436
+ hintKey: {
437
+ root: string;
438
+ nextAvailableLeafIndex: string | number | bigint;
561
439
  };
562
- insertionPath: string[];
440
+ treeId: number;
441
+ alreadyPresent: boolean;
563
442
  }[];
564
- noteHashReads: {
565
- value: string;
566
- leafIndex: string;
567
- siblingPath: string[];
443
+ getLeafPreimageHintsPublicDataTree: {
444
+ index: string | number | bigint;
445
+ nextIndex: string | number | bigint;
446
+ hintKey: {
447
+ root: string;
448
+ nextAvailableLeafIndex: string | number | bigint;
449
+ };
450
+ nextValue: string;
451
+ leaf?: any;
568
452
  }[];
569
- noteHashWrites: {
570
- value: string;
571
- leafIndex: string;
572
- siblingPath: string[];
453
+ getLeafPreimageHintsNullifierTree: {
454
+ index: string | number | bigint;
455
+ nextIndex: string | number | bigint;
456
+ hintKey: {
457
+ root: string;
458
+ nextAvailableLeafIndex: string | number | bigint;
459
+ };
460
+ nextValue: string;
461
+ leaf?: any;
573
462
  }[];
574
- l1ToL2MessageReads: {
463
+ getLeafValueHints: {
575
464
  value: string;
576
- leafIndex: string;
577
- siblingPath: string[];
578
- }[];
579
- }>, import("./avm.js").AvmExecutionHints, {
580
- publicDataWrites: {
581
- lowLeafRead: {
582
- leafIndex: string;
583
- siblingPath: string[];
584
- leafPreimage: {
585
- value: string;
586
- slot: string;
587
- nextIndex: string | number | bigint;
588
- nextSlot: string;
589
- };
590
- };
591
- insertionPath: string[];
592
- newLeafPreimage: {
593
- value: string;
594
- slot: string;
595
- nextIndex: string | number | bigint;
596
- nextSlot: string;
465
+ index: string | number | bigint;
466
+ hintKey: {
467
+ root: string;
468
+ nextAvailableLeafIndex: string | number | bigint;
597
469
  };
470
+ treeId: number;
598
471
  }[];
472
+ }>, import("./avm.js").AvmExecutionHints, {
599
473
  enqueuedCalls: {
600
474
  isStaticCall: boolean;
601
475
  calldata: string[];
@@ -629,51 +503,53 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
629
503
  classId: string;
630
504
  commitment: string;
631
505
  }[];
632
- publicDataReads: {
633
- leafIndex: string;
634
- siblingPath: string[];
635
- leafPreimage: {
636
- value: string;
637
- slot: string;
638
- nextIndex: string | number | bigint;
639
- nextSlot: string;
506
+ getSiblingPathHints: {
507
+ path: string[];
508
+ index: string | number | bigint;
509
+ hintKey: {
510
+ root: string;
511
+ nextAvailableLeafIndex: string | number | bigint;
640
512
  };
513
+ treeId: number;
641
514
  }[];
642
- nullifierReads: {
643
- lowLeafPreimage: {
644
- nullifier: string;
645
- nextNullifier: string;
646
- nextIndex: string | number | bigint;
647
- };
648
- lowLeafIndex: string;
649
- lowLeafSiblingPath: string[];
650
- }[];
651
- nullifierWrites: {
652
- lowLeafRead: {
653
- lowLeafPreimage: {
654
- nullifier: string;
655
- nextNullifier: string;
656
- nextIndex: string | number | bigint;
657
- };
658
- lowLeafIndex: string;
659
- lowLeafSiblingPath: string[];
515
+ getPreviousValueIndexHints: {
516
+ value: string;
517
+ index: string | number | bigint;
518
+ hintKey: {
519
+ root: string;
520
+ nextAvailableLeafIndex: string | number | bigint;
660
521
  };
661
- insertionPath: string[];
522
+ treeId: number;
523
+ alreadyPresent: boolean;
662
524
  }[];
663
- noteHashReads: {
664
- value: string;
665
- leafIndex: string;
666
- siblingPath: string[];
525
+ getLeafPreimageHintsPublicDataTree: {
526
+ index: string | number | bigint;
527
+ nextIndex: string | number | bigint;
528
+ hintKey: {
529
+ root: string;
530
+ nextAvailableLeafIndex: string | number | bigint;
531
+ };
532
+ nextValue: string;
533
+ leaf?: any;
667
534
  }[];
668
- noteHashWrites: {
669
- value: string;
670
- leafIndex: string;
671
- siblingPath: string[];
535
+ getLeafPreimageHintsNullifierTree: {
536
+ index: string | number | bigint;
537
+ nextIndex: string | number | bigint;
538
+ hintKey: {
539
+ root: string;
540
+ nextAvailableLeafIndex: string | number | bigint;
541
+ };
542
+ nextValue: string;
543
+ leaf?: any;
672
544
  }[];
673
- l1ToL2MessageReads: {
545
+ getLeafValueHints: {
674
546
  value: string;
675
- leafIndex: string;
676
- siblingPath: string[];
547
+ index: string | number | bigint;
548
+ hintKey: {
549
+ root: string;
550
+ nextAvailableLeafIndex: string | number | bigint;
551
+ };
552
+ treeId: number;
677
553
  }[];
678
554
  }>;
679
555
  publicInputs: z.ZodEffects<z.ZodObject<{
@@ -1688,25 +1564,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1688
1564
  calldata: string[];
1689
1565
  functionName: string;
1690
1566
  hints: {
1691
- publicDataWrites: {
1692
- lowLeafRead: {
1693
- leafIndex: string;
1694
- siblingPath: string[];
1695
- leafPreimage: {
1696
- value: string;
1697
- slot: string;
1698
- nextIndex: string | number | bigint;
1699
- nextSlot: string;
1700
- };
1701
- };
1702
- insertionPath: string[];
1703
- newLeafPreimage: {
1704
- value: string;
1705
- slot: string;
1706
- nextIndex: string | number | bigint;
1707
- nextSlot: string;
1708
- };
1709
- }[];
1710
1567
  enqueuedCalls: {
1711
1568
  isStaticCall: boolean;
1712
1569
  calldata: string[];
@@ -1740,51 +1597,53 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1740
1597
  classId: string;
1741
1598
  commitment: string;
1742
1599
  }[];
1743
- publicDataReads: {
1744
- leafIndex: string;
1745
- siblingPath: string[];
1746
- leafPreimage: {
1747
- value: string;
1748
- slot: string;
1749
- nextIndex: string | number | bigint;
1750
- nextSlot: string;
1600
+ getSiblingPathHints: {
1601
+ path: string[];
1602
+ index: string | number | bigint;
1603
+ hintKey: {
1604
+ root: string;
1605
+ nextAvailableLeafIndex: string | number | bigint;
1751
1606
  };
1607
+ treeId: number;
1752
1608
  }[];
1753
- nullifierReads: {
1754
- lowLeafPreimage: {
1755
- nullifier: string;
1756
- nextNullifier: string;
1757
- nextIndex: string | number | bigint;
1758
- };
1759
- lowLeafIndex: string;
1760
- lowLeafSiblingPath: string[];
1761
- }[];
1762
- nullifierWrites: {
1763
- lowLeafRead: {
1764
- lowLeafPreimage: {
1765
- nullifier: string;
1766
- nextNullifier: string;
1767
- nextIndex: string | number | bigint;
1768
- };
1769
- lowLeafIndex: string;
1770
- lowLeafSiblingPath: string[];
1609
+ getPreviousValueIndexHints: {
1610
+ value: string;
1611
+ index: string | number | bigint;
1612
+ hintKey: {
1613
+ root: string;
1614
+ nextAvailableLeafIndex: string | number | bigint;
1771
1615
  };
1772
- insertionPath: string[];
1616
+ treeId: number;
1617
+ alreadyPresent: boolean;
1773
1618
  }[];
1774
- noteHashReads: {
1775
- value: string;
1776
- leafIndex: string;
1777
- siblingPath: string[];
1619
+ getLeafPreimageHintsPublicDataTree: {
1620
+ index: string | number | bigint;
1621
+ nextIndex: string | number | bigint;
1622
+ hintKey: {
1623
+ root: string;
1624
+ nextAvailableLeafIndex: string | number | bigint;
1625
+ };
1626
+ nextValue: string;
1627
+ leaf?: any;
1778
1628
  }[];
1779
- noteHashWrites: {
1780
- value: string;
1781
- leafIndex: string;
1782
- siblingPath: string[];
1629
+ getLeafPreimageHintsNullifierTree: {
1630
+ index: string | number | bigint;
1631
+ nextIndex: string | number | bigint;
1632
+ hintKey: {
1633
+ root: string;
1634
+ nextAvailableLeafIndex: string | number | bigint;
1635
+ };
1636
+ nextValue: string;
1637
+ leaf?: any;
1783
1638
  }[];
1784
- l1ToL2MessageReads: {
1639
+ getLeafValueHints: {
1785
1640
  value: string;
1786
- leafIndex: string;
1787
- siblingPath: string[];
1641
+ index: string | number | bigint;
1642
+ hintKey: {
1643
+ root: string;
1644
+ nextAvailableLeafIndex: string | number | bigint;
1645
+ };
1646
+ treeId: number;
1788
1647
  }[];
1789
1648
  };
1790
1649
  publicInputs: {
@@ -1940,25 +1799,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1940
1799
  calldata: string[];
1941
1800
  functionName: string;
1942
1801
  hints: {
1943
- publicDataWrites: {
1944
- lowLeafRead: {
1945
- leafIndex: string;
1946
- siblingPath: string[];
1947
- leafPreimage: {
1948
- value: string;
1949
- slot: string;
1950
- nextIndex: string | number | bigint;
1951
- nextSlot: string;
1952
- };
1953
- };
1954
- insertionPath: string[];
1955
- newLeafPreimage: {
1956
- value: string;
1957
- slot: string;
1958
- nextIndex: string | number | bigint;
1959
- nextSlot: string;
1960
- };
1961
- }[];
1962
1802
  enqueuedCalls: {
1963
1803
  isStaticCall: boolean;
1964
1804
  calldata: string[];
@@ -1992,51 +1832,53 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
1992
1832
  classId: string;
1993
1833
  commitment: string;
1994
1834
  }[];
1995
- publicDataReads: {
1996
- leafIndex: string;
1997
- siblingPath: string[];
1998
- leafPreimage: {
1999
- value: string;
2000
- slot: string;
2001
- nextIndex: string | number | bigint;
2002
- nextSlot: string;
1835
+ getSiblingPathHints: {
1836
+ path: string[];
1837
+ index: string | number | bigint;
1838
+ hintKey: {
1839
+ root: string;
1840
+ nextAvailableLeafIndex: string | number | bigint;
2003
1841
  };
1842
+ treeId: number;
2004
1843
  }[];
2005
- nullifierReads: {
2006
- lowLeafPreimage: {
2007
- nullifier: string;
2008
- nextNullifier: string;
2009
- nextIndex: string | number | bigint;
2010
- };
2011
- lowLeafIndex: string;
2012
- lowLeafSiblingPath: string[];
2013
- }[];
2014
- nullifierWrites: {
2015
- lowLeafRead: {
2016
- lowLeafPreimage: {
2017
- nullifier: string;
2018
- nextNullifier: string;
2019
- nextIndex: string | number | bigint;
2020
- };
2021
- lowLeafIndex: string;
2022
- lowLeafSiblingPath: string[];
1844
+ getPreviousValueIndexHints: {
1845
+ value: string;
1846
+ index: string | number | bigint;
1847
+ hintKey: {
1848
+ root: string;
1849
+ nextAvailableLeafIndex: string | number | bigint;
2023
1850
  };
2024
- insertionPath: string[];
1851
+ treeId: number;
1852
+ alreadyPresent: boolean;
2025
1853
  }[];
2026
- noteHashReads: {
2027
- value: string;
2028
- leafIndex: string;
2029
- siblingPath: string[];
1854
+ getLeafPreimageHintsPublicDataTree: {
1855
+ index: string | number | bigint;
1856
+ nextIndex: string | number | bigint;
1857
+ hintKey: {
1858
+ root: string;
1859
+ nextAvailableLeafIndex: string | number | bigint;
1860
+ };
1861
+ nextValue: string;
1862
+ leaf?: any;
2030
1863
  }[];
2031
- noteHashWrites: {
2032
- value: string;
2033
- leafIndex: string;
2034
- siblingPath: string[];
1864
+ getLeafPreimageHintsNullifierTree: {
1865
+ index: string | number | bigint;
1866
+ nextIndex: string | number | bigint;
1867
+ hintKey: {
1868
+ root: string;
1869
+ nextAvailableLeafIndex: string | number | bigint;
1870
+ };
1871
+ nextValue: string;
1872
+ leaf?: any;
2035
1873
  }[];
2036
- l1ToL2MessageReads: {
1874
+ getLeafValueHints: {
2037
1875
  value: string;
2038
- leafIndex: string;
2039
- siblingPath: string[];
1876
+ index: string | number | bigint;
1877
+ hintKey: {
1878
+ root: string;
1879
+ nextAvailableLeafIndex: string | number | bigint;
1880
+ };
1881
+ treeId: number;
2040
1882
  }[];
2041
1883
  };
2042
1884
  publicInputs: {
@@ -2198,25 +2040,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2198
2040
  calldata: string[];
2199
2041
  functionName: string;
2200
2042
  hints: {
2201
- publicDataWrites: {
2202
- lowLeafRead: {
2203
- leafIndex: string;
2204
- siblingPath: string[];
2205
- leafPreimage: {
2206
- value: string;
2207
- slot: string;
2208
- nextIndex: string | number | bigint;
2209
- nextSlot: string;
2210
- };
2211
- };
2212
- insertionPath: string[];
2213
- newLeafPreimage: {
2214
- value: string;
2215
- slot: string;
2216
- nextIndex: string | number | bigint;
2217
- nextSlot: string;
2218
- };
2219
- }[];
2220
2043
  enqueuedCalls: {
2221
2044
  isStaticCall: boolean;
2222
2045
  calldata: string[];
@@ -2250,51 +2073,53 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
2250
2073
  classId: string;
2251
2074
  commitment: string;
2252
2075
  }[];
2253
- publicDataReads: {
2254
- leafIndex: string;
2255
- siblingPath: string[];
2256
- leafPreimage: {
2257
- value: string;
2258
- slot: string;
2259
- nextIndex: string | number | bigint;
2260
- nextSlot: string;
2076
+ getSiblingPathHints: {
2077
+ path: string[];
2078
+ index: string | number | bigint;
2079
+ hintKey: {
2080
+ root: string;
2081
+ nextAvailableLeafIndex: string | number | bigint;
2261
2082
  };
2083
+ treeId: number;
2262
2084
  }[];
2263
- nullifierReads: {
2264
- lowLeafPreimage: {
2265
- nullifier: string;
2266
- nextNullifier: string;
2267
- nextIndex: string | number | bigint;
2268
- };
2269
- lowLeafIndex: string;
2270
- lowLeafSiblingPath: string[];
2271
- }[];
2272
- nullifierWrites: {
2273
- lowLeafRead: {
2274
- lowLeafPreimage: {
2275
- nullifier: string;
2276
- nextNullifier: string;
2277
- nextIndex: string | number | bigint;
2278
- };
2279
- lowLeafIndex: string;
2280
- lowLeafSiblingPath: string[];
2085
+ getPreviousValueIndexHints: {
2086
+ value: string;
2087
+ index: string | number | bigint;
2088
+ hintKey: {
2089
+ root: string;
2090
+ nextAvailableLeafIndex: string | number | bigint;
2281
2091
  };
2282
- insertionPath: string[];
2092
+ treeId: number;
2093
+ alreadyPresent: boolean;
2283
2094
  }[];
2284
- noteHashReads: {
2285
- value: string;
2286
- leafIndex: string;
2287
- siblingPath: string[];
2095
+ getLeafPreimageHintsPublicDataTree: {
2096
+ index: string | number | bigint;
2097
+ nextIndex: string | number | bigint;
2098
+ hintKey: {
2099
+ root: string;
2100
+ nextAvailableLeafIndex: string | number | bigint;
2101
+ };
2102
+ nextValue: string;
2103
+ leaf?: any;
2288
2104
  }[];
2289
- noteHashWrites: {
2290
- value: string;
2291
- leafIndex: string;
2292
- siblingPath: string[];
2105
+ getLeafPreimageHintsNullifierTree: {
2106
+ index: string | number | bigint;
2107
+ nextIndex: string | number | bigint;
2108
+ hintKey: {
2109
+ root: string;
2110
+ nextAvailableLeafIndex: string | number | bigint;
2111
+ };
2112
+ nextValue: string;
2113
+ leaf?: any;
2293
2114
  }[];
2294
- l1ToL2MessageReads: {
2115
+ getLeafValueHints: {
2295
2116
  value: string;
2296
- leafIndex: string;
2297
- siblingPath: string[];
2117
+ index: string | number | bigint;
2118
+ hintKey: {
2119
+ root: string;
2120
+ nextAvailableLeafIndex: string | number | bigint;
2121
+ };
2122
+ treeId: number;
2298
2123
  }[];
2299
2124
  };
2300
2125
  publicInputs: {