@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.d.ts CHANGED
@@ -4,37 +4,11 @@ import { Fr } from '@aztec/foundation/fields';
4
4
  import { z } from 'zod';
5
5
  import { AztecAddress } from '../aztec-address/index.js';
6
6
  import { PublicKeys } from '../keys/public_keys.js';
7
- import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
8
- import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
7
+ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
+ import type { MerkleTreeId } from '../trees/merkle_tree_id.js';
9
+ import { NullifierLeaf } from '../trees/nullifier_leaf.js';
10
+ import { PublicDataTreeLeaf } from '../trees/public_data_leaf.js';
9
11
  import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
10
- export declare class AvmEnqueuedCallHint {
11
- readonly msgSender: AztecAddress;
12
- readonly contractAddress: AztecAddress;
13
- readonly calldata: Fr[];
14
- isStaticCall: boolean;
15
- constructor(msgSender: AztecAddress, contractAddress: AztecAddress, calldata: Fr[], isStaticCall: boolean);
16
- static get schema(): z.ZodEffects<z.ZodObject<{
17
- msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
18
- contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
19
- calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
20
- isStaticCall: z.ZodBoolean;
21
- }, "strip", z.ZodTypeAny, {
22
- contractAddress: AztecAddress;
23
- msgSender: AztecAddress;
24
- isStaticCall: boolean;
25
- calldata: Fr[];
26
- }, {
27
- isStaticCall: boolean;
28
- calldata: string[];
29
- contractAddress?: any;
30
- msgSender?: any;
31
- }>, AvmEnqueuedCallHint, {
32
- isStaticCall: boolean;
33
- calldata: string[];
34
- contractAddress?: any;
35
- msgSender?: any;
36
- }>;
37
- }
38
12
  export declare class AvmContractClassHint {
39
13
  readonly classId: Fr;
40
14
  readonly artifactHash: Fr;
@@ -172,319 +146,295 @@ export declare class AvmContractInstanceHint {
172
146
  deployer?: any;
173
147
  }>;
174
148
  }
175
- export declare class AvmAppendTreeHint {
176
- readonly leafIndex: Fr;
177
- readonly value: Fr;
178
- readonly siblingPath: Fr[];
179
- constructor(leafIndex: Fr, value: Fr, siblingPath: Fr[]);
149
+ export declare class AvmGetSiblingPathHint {
150
+ readonly hintKey: AppendOnlyTreeSnapshot;
151
+ readonly treeId: MerkleTreeId;
152
+ readonly index: bigint;
153
+ readonly path: Fr[];
154
+ constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, path: Fr[]);
180
155
  static get schema(): z.ZodEffects<z.ZodObject<{
181
- leafIndex: z.ZodType<Fr, any, string>;
182
- value: z.ZodType<Fr, any, string>;
183
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
156
+ hintKey: z.ZodEffects<z.ZodObject<{
157
+ root: z.ZodType<Fr, any, string>;
158
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
159
+ }, "strip", z.ZodTypeAny, {
160
+ root: Fr;
161
+ nextAvailableLeafIndex: number;
162
+ }, {
163
+ root: string;
164
+ nextAvailableLeafIndex: string | number | bigint;
165
+ }>, AppendOnlyTreeSnapshot, {
166
+ root: string;
167
+ nextAvailableLeafIndex: string | number | bigint;
168
+ }>;
169
+ treeId: z.ZodNumber;
170
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
171
+ path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
184
172
  }, "strip", z.ZodTypeAny, {
185
- value: Fr;
186
- leafIndex: Fr;
187
- siblingPath: Fr[];
173
+ path: Fr[];
174
+ index: bigint;
175
+ hintKey: AppendOnlyTreeSnapshot;
176
+ treeId: number;
188
177
  }, {
189
- value: string;
190
- leafIndex: string;
191
- siblingPath: string[];
192
- }>, AvmAppendTreeHint, {
193
- value: string;
194
- leafIndex: string;
195
- siblingPath: string[];
178
+ path: string[];
179
+ index: string | number | bigint;
180
+ hintKey: {
181
+ root: string;
182
+ nextAvailableLeafIndex: string | number | bigint;
183
+ };
184
+ treeId: number;
185
+ }>, AvmGetSiblingPathHint, {
186
+ path: string[];
187
+ index: string | number | bigint;
188
+ hintKey: {
189
+ root: string;
190
+ nextAvailableLeafIndex: string | number | bigint;
191
+ };
192
+ treeId: number;
196
193
  }>;
197
194
  }
198
- export declare class AvmNullifierWriteTreeHint {
199
- lowLeafRead: AvmNullifierReadTreeHint;
200
- readonly insertionPath: Fr[];
201
- constructor(lowLeafRead: AvmNullifierReadTreeHint, insertionPath: Fr[]);
195
+ export declare class AvmGetPreviousValueIndexHint {
196
+ readonly hintKey: AppendOnlyTreeSnapshot;
197
+ readonly treeId: MerkleTreeId;
198
+ readonly value: Fr;
199
+ readonly index: bigint;
200
+ readonly alreadyPresent: boolean;
201
+ constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, value: Fr, index: bigint, alreadyPresent: boolean);
202
202
  static get schema(): z.ZodEffects<z.ZodObject<{
203
- lowLeafRead: z.ZodEffects<z.ZodObject<{
204
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
205
- nullifier: z.ZodType<Fr, any, string>;
206
- nextNullifier: z.ZodType<Fr, any, string>;
207
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
208
- }, "strip", z.ZodTypeAny, {
209
- nullifier: Fr;
210
- nextNullifier: Fr;
211
- nextIndex: bigint;
212
- }, {
213
- nullifier: string;
214
- nextNullifier: string;
215
- nextIndex: string | number | bigint;
216
- }>, NullifierLeafPreimage, {
217
- nullifier: string;
218
- nextNullifier: string;
219
- nextIndex: string | number | bigint;
220
- }>;
221
- lowLeafIndex: z.ZodType<Fr, any, string>;
222
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
203
+ hintKey: z.ZodEffects<z.ZodObject<{
204
+ root: z.ZodType<Fr, any, string>;
205
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
223
206
  }, "strip", z.ZodTypeAny, {
224
- lowLeafPreimage: NullifierLeafPreimage;
225
- lowLeafIndex: Fr;
226
- lowLeafSiblingPath: Fr[];
207
+ root: Fr;
208
+ nextAvailableLeafIndex: number;
227
209
  }, {
228
- lowLeafPreimage: {
229
- nullifier: string;
230
- nextNullifier: string;
231
- nextIndex: string | number | bigint;
232
- };
233
- lowLeafIndex: string;
234
- lowLeafSiblingPath: string[];
235
- }>, AvmNullifierReadTreeHint, {
236
- lowLeafPreimage: {
237
- nullifier: string;
238
- nextNullifier: string;
239
- nextIndex: string | number | bigint;
240
- };
241
- lowLeafIndex: string;
242
- lowLeafSiblingPath: string[];
210
+ root: string;
211
+ nextAvailableLeafIndex: string | number | bigint;
212
+ }>, AppendOnlyTreeSnapshot, {
213
+ root: string;
214
+ nextAvailableLeafIndex: string | number | bigint;
243
215
  }>;
244
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
216
+ treeId: z.ZodNumber;
217
+ value: z.ZodType<Fr, any, string>;
218
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
219
+ alreadyPresent: z.ZodBoolean;
245
220
  }, "strip", z.ZodTypeAny, {
246
- lowLeafRead: AvmNullifierReadTreeHint;
247
- insertionPath: Fr[];
221
+ value: Fr;
222
+ index: bigint;
223
+ hintKey: AppendOnlyTreeSnapshot;
224
+ treeId: number;
225
+ alreadyPresent: boolean;
248
226
  }, {
249
- lowLeafRead: {
250
- lowLeafPreimage: {
251
- nullifier: string;
252
- nextNullifier: string;
253
- nextIndex: string | number | bigint;
254
- };
255
- lowLeafIndex: string;
256
- lowLeafSiblingPath: string[];
227
+ value: string;
228
+ index: string | number | bigint;
229
+ hintKey: {
230
+ root: string;
231
+ nextAvailableLeafIndex: string | number | bigint;
257
232
  };
258
- insertionPath: string[];
259
- }>, AvmNullifierWriteTreeHint, {
260
- lowLeafRead: {
261
- lowLeafPreimage: {
262
- nullifier: string;
263
- nextNullifier: string;
264
- nextIndex: string | number | bigint;
265
- };
266
- lowLeafIndex: string;
267
- lowLeafSiblingPath: string[];
233
+ treeId: number;
234
+ alreadyPresent: boolean;
235
+ }>, AvmGetPreviousValueIndexHint, {
236
+ value: string;
237
+ index: string | number | bigint;
238
+ hintKey: {
239
+ root: string;
240
+ nextAvailableLeafIndex: string | number | bigint;
268
241
  };
269
- insertionPath: string[];
242
+ treeId: number;
243
+ alreadyPresent: boolean;
270
244
  }>;
271
245
  }
272
- export declare class AvmNullifierReadTreeHint {
273
- readonly lowLeafPreimage: NullifierLeafPreimage;
274
- readonly lowLeafIndex: Fr;
275
- readonly lowLeafSiblingPath: Fr[];
276
- constructor(lowLeafPreimage: NullifierLeafPreimage, lowLeafIndex: Fr, lowLeafSiblingPath: Fr[]);
277
- static get schema(): z.ZodEffects<z.ZodObject<{
278
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
279
- nullifier: z.ZodType<Fr, any, string>;
280
- nextNullifier: z.ZodType<Fr, any, string>;
281
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
246
+ declare const AvmGetLeafPreimageHintPublicDataTree_base: {
247
+ new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leaf: PublicDataTreeLeaf, nextIndex: bigint, nextValue: Fr): {
248
+ readonly hintKey: AppendOnlyTreeSnapshot;
249
+ readonly index: bigint;
250
+ readonly leaf: PublicDataTreeLeaf;
251
+ readonly nextIndex: bigint;
252
+ readonly nextValue: Fr;
253
+ };
254
+ readonly schema: z.ZodEffects<z.ZodObject<{
255
+ hintKey: z.ZodEffects<z.ZodObject<{
256
+ root: z.ZodType<Fr, any, string>;
257
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
282
258
  }, "strip", z.ZodTypeAny, {
283
- nullifier: Fr;
284
- nextNullifier: Fr;
285
- nextIndex: bigint;
259
+ root: Fr;
260
+ nextAvailableLeafIndex: number;
286
261
  }, {
287
- nullifier: string;
288
- nextNullifier: string;
289
- nextIndex: string | number | bigint;
290
- }>, NullifierLeafPreimage, {
291
- nullifier: string;
292
- nextNullifier: string;
293
- nextIndex: string | number | bigint;
262
+ root: string;
263
+ nextAvailableLeafIndex: string | number | bigint;
264
+ }>, AppendOnlyTreeSnapshot, {
265
+ root: string;
266
+ nextAvailableLeafIndex: string | number | bigint;
294
267
  }>;
295
- lowLeafIndex: z.ZodType<Fr, any, string>;
296
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
268
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
269
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
270
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
271
+ nextValue: z.ZodType<Fr, any, string>;
297
272
  }, "strip", z.ZodTypeAny, {
298
- lowLeafPreimage: NullifierLeafPreimage;
299
- lowLeafIndex: Fr;
300
- lowLeafSiblingPath: Fr[];
273
+ index: bigint;
274
+ nextIndex: bigint;
275
+ hintKey: AppendOnlyTreeSnapshot;
276
+ nextValue: Fr;
277
+ leaf?: any;
301
278
  }, {
302
- lowLeafPreimage: {
303
- nullifier: string;
304
- nextNullifier: string;
305
- nextIndex: string | number | bigint;
279
+ index: string | number | bigint;
280
+ nextIndex: string | number | bigint;
281
+ hintKey: {
282
+ root: string;
283
+ nextAvailableLeafIndex: string | number | bigint;
306
284
  };
307
- lowLeafIndex: string;
308
- lowLeafSiblingPath: string[];
309
- }>, AvmNullifierReadTreeHint, {
310
- lowLeafPreimage: {
311
- nullifier: string;
312
- nextNullifier: string;
313
- nextIndex: string | number | bigint;
285
+ nextValue: string;
286
+ leaf?: any;
287
+ }>, {
288
+ readonly hintKey: AppendOnlyTreeSnapshot;
289
+ readonly index: bigint;
290
+ readonly leaf: PublicDataTreeLeaf;
291
+ readonly nextIndex: bigint;
292
+ readonly nextValue: Fr;
293
+ }, {
294
+ index: string | number | bigint;
295
+ nextIndex: string | number | bigint;
296
+ hintKey: {
297
+ root: string;
298
+ nextAvailableLeafIndex: string | number | bigint;
314
299
  };
315
- lowLeafIndex: string;
316
- lowLeafSiblingPath: string[];
300
+ nextValue: string;
301
+ leaf?: any;
317
302
  }>;
303
+ };
304
+ export declare class AvmGetLeafPreimageHintPublicDataTree extends AvmGetLeafPreimageHintPublicDataTree_base {
318
305
  }
319
- export declare class AvmPublicDataReadTreeHint {
320
- readonly leafPreimage: PublicDataTreeLeafPreimage;
321
- readonly leafIndex: Fr;
322
- readonly siblingPath: Fr[];
323
- constructor(leafPreimage: PublicDataTreeLeafPreimage, leafIndex: Fr, siblingPath: Fr[]);
324
- static empty(): AvmPublicDataReadTreeHint;
325
- static get schema(): z.ZodEffects<z.ZodObject<{
326
- leafPreimage: z.ZodEffects<z.ZodObject<{
327
- slot: z.ZodType<Fr, any, string>;
328
- value: z.ZodType<Fr, any, string>;
329
- nextSlot: z.ZodType<Fr, any, string>;
330
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
306
+ declare const AvmGetLeafPreimageHintNullifierTree_base: {
307
+ new (hintKey: AppendOnlyTreeSnapshot, index: bigint, leaf: NullifierLeaf, nextIndex: bigint, nextValue: Fr): {
308
+ readonly hintKey: AppendOnlyTreeSnapshot;
309
+ readonly index: bigint;
310
+ readonly leaf: NullifierLeaf;
311
+ readonly nextIndex: bigint;
312
+ readonly nextValue: Fr;
313
+ };
314
+ readonly schema: z.ZodEffects<z.ZodObject<{
315
+ hintKey: z.ZodEffects<z.ZodObject<{
316
+ root: z.ZodType<Fr, any, string>;
317
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
331
318
  }, "strip", z.ZodTypeAny, {
332
- value: Fr;
333
- slot: Fr;
334
- nextIndex: bigint;
335
- nextSlot: Fr;
319
+ root: Fr;
320
+ nextAvailableLeafIndex: number;
336
321
  }, {
337
- value: string;
338
- slot: string;
339
- nextIndex: string | number | bigint;
340
- nextSlot: string;
341
- }>, PublicDataTreeLeafPreimage, {
342
- value: string;
343
- slot: string;
344
- nextIndex: string | number | bigint;
345
- nextSlot: string;
322
+ root: string;
323
+ nextAvailableLeafIndex: string | number | bigint;
324
+ }>, AppendOnlyTreeSnapshot, {
325
+ root: string;
326
+ nextAvailableLeafIndex: string | number | bigint;
346
327
  }>;
347
- leafIndex: z.ZodType<Fr, any, string>;
348
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
328
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
329
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
330
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
331
+ nextValue: z.ZodType<Fr, any, string>;
349
332
  }, "strip", z.ZodTypeAny, {
350
- leafIndex: Fr;
351
- siblingPath: Fr[];
352
- leafPreimage: PublicDataTreeLeafPreimage;
333
+ index: bigint;
334
+ nextIndex: bigint;
335
+ hintKey: AppendOnlyTreeSnapshot;
336
+ nextValue: Fr;
337
+ leaf?: any;
353
338
  }, {
354
- leafIndex: string;
355
- siblingPath: string[];
356
- leafPreimage: {
357
- value: string;
358
- slot: string;
359
- nextIndex: string | number | bigint;
360
- nextSlot: string;
339
+ index: string | number | bigint;
340
+ nextIndex: string | number | bigint;
341
+ hintKey: {
342
+ root: string;
343
+ nextAvailableLeafIndex: string | number | bigint;
361
344
  };
362
- }>, AvmPublicDataReadTreeHint, {
363
- leafIndex: string;
364
- siblingPath: string[];
365
- leafPreimage: {
366
- value: string;
367
- slot: string;
368
- nextIndex: string | number | bigint;
369
- nextSlot: string;
345
+ nextValue: string;
346
+ leaf?: any;
347
+ }>, {
348
+ readonly hintKey: AppendOnlyTreeSnapshot;
349
+ readonly index: bigint;
350
+ readonly leaf: NullifierLeaf;
351
+ readonly nextIndex: bigint;
352
+ readonly nextValue: Fr;
353
+ }, {
354
+ index: string | number | bigint;
355
+ nextIndex: string | number | bigint;
356
+ hintKey: {
357
+ root: string;
358
+ nextAvailableLeafIndex: string | number | bigint;
370
359
  };
360
+ nextValue: string;
361
+ leaf?: any;
371
362
  }>;
363
+ };
364
+ export declare class AvmGetLeafPreimageHintNullifierTree extends AvmGetLeafPreimageHintNullifierTree_base {
372
365
  }
373
- export declare class AvmPublicDataWriteTreeHint {
374
- readonly lowLeafRead: AvmPublicDataReadTreeHint;
375
- readonly newLeafPreimage: PublicDataTreeLeafPreimage;
376
- readonly insertionPath: Fr[];
377
- constructor(lowLeafRead: AvmPublicDataReadTreeHint, newLeafPreimage: PublicDataTreeLeafPreimage, insertionPath: Fr[]);
366
+ export declare class AvmGetLeafValueHint {
367
+ readonly hintKey: AppendOnlyTreeSnapshot;
368
+ readonly treeId: MerkleTreeId;
369
+ readonly index: bigint;
370
+ readonly value: Fr;
371
+ constructor(hintKey: AppendOnlyTreeSnapshot, treeId: MerkleTreeId, index: bigint, value: Fr);
378
372
  static get schema(): z.ZodEffects<z.ZodObject<{
379
- lowLeafRead: z.ZodEffects<z.ZodObject<{
380
- leafPreimage: z.ZodEffects<z.ZodObject<{
381
- slot: z.ZodType<Fr, any, string>;
382
- value: z.ZodType<Fr, any, string>;
383
- nextSlot: z.ZodType<Fr, any, string>;
384
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
385
- }, "strip", z.ZodTypeAny, {
386
- value: Fr;
387
- slot: Fr;
388
- nextIndex: bigint;
389
- nextSlot: Fr;
390
- }, {
391
- value: string;
392
- slot: string;
393
- nextIndex: string | number | bigint;
394
- nextSlot: string;
395
- }>, PublicDataTreeLeafPreimage, {
396
- value: string;
397
- slot: string;
398
- nextIndex: string | number | bigint;
399
- nextSlot: string;
400
- }>;
401
- leafIndex: z.ZodType<Fr, any, string>;
402
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
373
+ hintKey: z.ZodEffects<z.ZodObject<{
374
+ root: z.ZodType<Fr, any, string>;
375
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
403
376
  }, "strip", z.ZodTypeAny, {
404
- leafIndex: Fr;
405
- siblingPath: Fr[];
406
- leafPreimage: PublicDataTreeLeafPreimage;
377
+ root: Fr;
378
+ nextAvailableLeafIndex: number;
407
379
  }, {
408
- leafIndex: string;
409
- siblingPath: string[];
410
- leafPreimage: {
411
- value: string;
412
- slot: string;
413
- nextIndex: string | number | bigint;
414
- nextSlot: string;
415
- };
416
- }>, AvmPublicDataReadTreeHint, {
417
- leafIndex: string;
418
- siblingPath: string[];
419
- leafPreimage: {
420
- value: string;
421
- slot: string;
422
- nextIndex: string | number | bigint;
423
- nextSlot: string;
424
- };
380
+ root: string;
381
+ nextAvailableLeafIndex: string | number | bigint;
382
+ }>, AppendOnlyTreeSnapshot, {
383
+ root: string;
384
+ nextAvailableLeafIndex: string | number | bigint;
425
385
  }>;
426
- newLeafPreimage: z.ZodEffects<z.ZodObject<{
427
- slot: z.ZodType<Fr, any, string>;
428
- value: z.ZodType<Fr, any, string>;
429
- nextSlot: z.ZodType<Fr, any, string>;
430
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
431
- }, "strip", z.ZodTypeAny, {
432
- value: Fr;
433
- slot: Fr;
434
- nextIndex: bigint;
435
- nextSlot: Fr;
436
- }, {
437
- value: string;
438
- slot: string;
439
- nextIndex: string | number | bigint;
440
- nextSlot: string;
441
- }>, PublicDataTreeLeafPreimage, {
442
- value: string;
443
- slot: string;
444
- nextIndex: string | number | bigint;
445
- nextSlot: string;
446
- }>;
447
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
386
+ treeId: z.ZodNumber;
387
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
388
+ value: z.ZodType<Fr, any, string>;
448
389
  }, "strip", z.ZodTypeAny, {
449
- lowLeafRead: AvmPublicDataReadTreeHint;
450
- insertionPath: Fr[];
451
- newLeafPreimage: PublicDataTreeLeafPreimage;
390
+ value: Fr;
391
+ index: bigint;
392
+ hintKey: AppendOnlyTreeSnapshot;
393
+ treeId: number;
452
394
  }, {
453
- lowLeafRead: {
454
- leafIndex: string;
455
- siblingPath: string[];
456
- leafPreimage: {
457
- value: string;
458
- slot: string;
459
- nextIndex: string | number | bigint;
460
- nextSlot: string;
461
- };
462
- };
463
- insertionPath: string[];
464
- newLeafPreimage: {
465
- value: string;
466
- slot: string;
467
- nextIndex: string | number | bigint;
468
- nextSlot: string;
469
- };
470
- }>, AvmPublicDataWriteTreeHint, {
471
- lowLeafRead: {
472
- leafIndex: string;
473
- siblingPath: string[];
474
- leafPreimage: {
475
- value: string;
476
- slot: string;
477
- nextIndex: string | number | bigint;
478
- nextSlot: string;
479
- };
395
+ value: string;
396
+ index: string | number | bigint;
397
+ hintKey: {
398
+ root: string;
399
+ nextAvailableLeafIndex: string | number | bigint;
480
400
  };
481
- insertionPath: string[];
482
- newLeafPreimage: {
483
- value: string;
484
- slot: string;
485
- nextIndex: string | number | bigint;
486
- nextSlot: string;
401
+ treeId: number;
402
+ }>, AvmGetLeafValueHint, {
403
+ value: string;
404
+ index: string | number | bigint;
405
+ hintKey: {
406
+ root: string;
407
+ nextAvailableLeafIndex: string | number | bigint;
487
408
  };
409
+ treeId: number;
410
+ }>;
411
+ }
412
+ export declare class AvmEnqueuedCallHint {
413
+ readonly msgSender: AztecAddress;
414
+ readonly contractAddress: AztecAddress;
415
+ readonly calldata: Fr[];
416
+ isStaticCall: boolean;
417
+ constructor(msgSender: AztecAddress, contractAddress: AztecAddress, calldata: Fr[], isStaticCall: boolean);
418
+ static get schema(): z.ZodEffects<z.ZodObject<{
419
+ msgSender: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
420
+ contractAddress: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
421
+ calldata: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
422
+ isStaticCall: z.ZodBoolean;
423
+ }, "strip", z.ZodTypeAny, {
424
+ contractAddress: AztecAddress;
425
+ msgSender: AztecAddress;
426
+ isStaticCall: boolean;
427
+ calldata: Fr[];
428
+ }, {
429
+ isStaticCall: boolean;
430
+ calldata: string[];
431
+ contractAddress?: any;
432
+ msgSender?: any;
433
+ }>, AvmEnqueuedCallHint, {
434
+ isStaticCall: boolean;
435
+ calldata: string[];
436
+ contractAddress?: any;
437
+ msgSender?: any;
488
438
  }>;
489
439
  }
490
440
  export declare class AvmExecutionHints {
@@ -492,14 +442,12 @@ export declare class AvmExecutionHints {
492
442
  readonly contractInstances: AvmContractInstanceHint[];
493
443
  readonly contractClasses: AvmContractClassHint[];
494
444
  readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
495
- readonly publicDataReads: AvmPublicDataReadTreeHint[];
496
- readonly publicDataWrites: AvmPublicDataWriteTreeHint[];
497
- readonly nullifierReads: AvmNullifierReadTreeHint[];
498
- readonly nullifierWrites: AvmNullifierWriteTreeHint[];
499
- readonly noteHashReads: AvmAppendTreeHint[];
500
- readonly noteHashWrites: AvmAppendTreeHint[];
501
- readonly l1ToL2MessageReads: AvmAppendTreeHint[];
502
- constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], publicDataReads?: AvmPublicDataReadTreeHint[], publicDataWrites?: AvmPublicDataWriteTreeHint[], nullifierReads?: AvmNullifierReadTreeHint[], nullifierWrites?: AvmNullifierWriteTreeHint[], noteHashReads?: AvmAppendTreeHint[], noteHashWrites?: AvmAppendTreeHint[], l1ToL2MessageReads?: AvmAppendTreeHint[]);
445
+ readonly getSiblingPathHints: AvmGetSiblingPathHint[];
446
+ readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
447
+ readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
448
+ readonly getLeafPreimageHintsNullifierTree: AvmGetLeafPreimageHintNullifierTree[];
449
+ readonly getLeafValueHints: AvmGetLeafValueHint[];
450
+ constructor(enqueuedCalls?: AvmEnqueuedCallHint[], contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[]);
503
451
  static empty(): AvmExecutionHints;
504
452
  static get schema(): z.ZodEffects<z.ZodObject<{
505
453
  enqueuedCalls: z.ZodArray<z.ZodEffects<z.ZodObject<{
@@ -638,357 +586,248 @@ export declare class AvmExecutionHints {
638
586
  classId: string;
639
587
  commitment: string;
640
588
  }>, "many">;
641
- publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
642
- leafPreimage: z.ZodEffects<z.ZodObject<{
643
- slot: z.ZodType<Fr, any, string>;
644
- value: z.ZodType<Fr, any, string>;
645
- nextSlot: z.ZodType<Fr, any, string>;
646
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
589
+ getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
590
+ hintKey: z.ZodEffects<z.ZodObject<{
591
+ root: z.ZodType<Fr, any, string>;
592
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
647
593
  }, "strip", z.ZodTypeAny, {
648
- value: Fr;
649
- slot: Fr;
650
- nextIndex: bigint;
651
- nextSlot: Fr;
594
+ root: Fr;
595
+ nextAvailableLeafIndex: number;
652
596
  }, {
653
- value: string;
654
- slot: string;
655
- nextIndex: string | number | bigint;
656
- nextSlot: string;
657
- }>, PublicDataTreeLeafPreimage, {
658
- value: string;
659
- slot: string;
660
- nextIndex: string | number | bigint;
661
- nextSlot: string;
597
+ root: string;
598
+ nextAvailableLeafIndex: string | number | bigint;
599
+ }>, AppendOnlyTreeSnapshot, {
600
+ root: string;
601
+ nextAvailableLeafIndex: string | number | bigint;
662
602
  }>;
663
- leafIndex: z.ZodType<Fr, any, string>;
664
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
603
+ treeId: z.ZodNumber;
604
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
605
+ path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
665
606
  }, "strip", z.ZodTypeAny, {
666
- leafIndex: Fr;
667
- siblingPath: Fr[];
668
- leafPreimage: PublicDataTreeLeafPreimage;
607
+ path: Fr[];
608
+ index: bigint;
609
+ hintKey: AppendOnlyTreeSnapshot;
610
+ treeId: number;
669
611
  }, {
670
- leafIndex: string;
671
- siblingPath: string[];
672
- leafPreimage: {
673
- value: string;
674
- slot: string;
675
- nextIndex: string | number | bigint;
676
- nextSlot: string;
677
- };
678
- }>, AvmPublicDataReadTreeHint, {
679
- leafIndex: string;
680
- siblingPath: string[];
681
- leafPreimage: {
682
- value: string;
683
- slot: string;
684
- nextIndex: string | number | bigint;
685
- nextSlot: string;
686
- };
612
+ path: string[];
613
+ index: string | number | bigint;
614
+ hintKey: {
615
+ root: string;
616
+ nextAvailableLeafIndex: string | number | bigint;
617
+ };
618
+ treeId: number;
619
+ }>, AvmGetSiblingPathHint, {
620
+ path: string[];
621
+ index: string | number | bigint;
622
+ hintKey: {
623
+ root: string;
624
+ nextAvailableLeafIndex: string | number | bigint;
625
+ };
626
+ treeId: number;
687
627
  }>, "many">;
688
- publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
689
- lowLeafRead: z.ZodEffects<z.ZodObject<{
690
- leafPreimage: z.ZodEffects<z.ZodObject<{
691
- slot: z.ZodType<Fr, any, string>;
692
- value: z.ZodType<Fr, any, string>;
693
- nextSlot: z.ZodType<Fr, any, string>;
694
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
695
- }, "strip", z.ZodTypeAny, {
696
- value: Fr;
697
- slot: Fr;
698
- nextIndex: bigint;
699
- nextSlot: Fr;
700
- }, {
701
- value: string;
702
- slot: string;
703
- nextIndex: string | number | bigint;
704
- nextSlot: string;
705
- }>, PublicDataTreeLeafPreimage, {
706
- value: string;
707
- slot: string;
708
- nextIndex: string | number | bigint;
709
- nextSlot: string;
710
- }>;
711
- leafIndex: z.ZodType<Fr, any, string>;
712
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
628
+ getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
629
+ hintKey: z.ZodEffects<z.ZodObject<{
630
+ root: z.ZodType<Fr, any, string>;
631
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
713
632
  }, "strip", z.ZodTypeAny, {
714
- leafIndex: Fr;
715
- siblingPath: Fr[];
716
- leafPreimage: PublicDataTreeLeafPreimage;
633
+ root: Fr;
634
+ nextAvailableLeafIndex: number;
717
635
  }, {
718
- leafIndex: string;
719
- siblingPath: string[];
720
- leafPreimage: {
721
- value: string;
722
- slot: string;
723
- nextIndex: string | number | bigint;
724
- nextSlot: string;
725
- };
726
- }>, AvmPublicDataReadTreeHint, {
727
- leafIndex: string;
728
- siblingPath: string[];
729
- leafPreimage: {
730
- value: string;
731
- slot: string;
732
- nextIndex: string | number | bigint;
733
- nextSlot: string;
734
- };
636
+ root: string;
637
+ nextAvailableLeafIndex: string | number | bigint;
638
+ }>, AppendOnlyTreeSnapshot, {
639
+ root: string;
640
+ nextAvailableLeafIndex: string | number | bigint;
735
641
  }>;
736
- newLeafPreimage: z.ZodEffects<z.ZodObject<{
737
- slot: z.ZodType<Fr, any, string>;
738
- value: z.ZodType<Fr, any, string>;
739
- nextSlot: z.ZodType<Fr, any, string>;
740
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
741
- }, "strip", z.ZodTypeAny, {
742
- value: Fr;
743
- slot: Fr;
744
- nextIndex: bigint;
745
- nextSlot: Fr;
746
- }, {
747
- value: string;
748
- slot: string;
749
- nextIndex: string | number | bigint;
750
- nextSlot: string;
751
- }>, PublicDataTreeLeafPreimage, {
752
- value: string;
753
- slot: string;
754
- nextIndex: string | number | bigint;
755
- nextSlot: string;
756
- }>;
757
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
642
+ treeId: z.ZodNumber;
643
+ value: z.ZodType<Fr, any, string>;
644
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
645
+ alreadyPresent: z.ZodBoolean;
758
646
  }, "strip", z.ZodTypeAny, {
759
- lowLeafRead: AvmPublicDataReadTreeHint;
760
- insertionPath: Fr[];
761
- newLeafPreimage: PublicDataTreeLeafPreimage;
647
+ value: Fr;
648
+ index: bigint;
649
+ hintKey: AppendOnlyTreeSnapshot;
650
+ treeId: number;
651
+ alreadyPresent: boolean;
762
652
  }, {
763
- lowLeafRead: {
764
- leafIndex: string;
765
- siblingPath: string[];
766
- leafPreimage: {
767
- value: string;
768
- slot: string;
769
- nextIndex: string | number | bigint;
770
- nextSlot: string;
771
- };
772
- };
773
- insertionPath: string[];
774
- newLeafPreimage: {
775
- value: string;
776
- slot: string;
777
- nextIndex: string | number | bigint;
778
- nextSlot: string;
779
- };
780
- }>, AvmPublicDataWriteTreeHint, {
781
- lowLeafRead: {
782
- leafIndex: string;
783
- siblingPath: string[];
784
- leafPreimage: {
785
- value: string;
786
- slot: string;
787
- nextIndex: string | number | bigint;
788
- nextSlot: string;
789
- };
790
- };
791
- insertionPath: string[];
792
- newLeafPreimage: {
793
- value: string;
794
- slot: string;
795
- nextIndex: string | number | bigint;
796
- nextSlot: string;
653
+ value: string;
654
+ index: string | number | bigint;
655
+ hintKey: {
656
+ root: string;
657
+ nextAvailableLeafIndex: string | number | bigint;
658
+ };
659
+ treeId: number;
660
+ alreadyPresent: boolean;
661
+ }>, AvmGetPreviousValueIndexHint, {
662
+ value: string;
663
+ index: string | number | bigint;
664
+ hintKey: {
665
+ root: string;
666
+ nextAvailableLeafIndex: string | number | bigint;
797
667
  };
668
+ treeId: number;
669
+ alreadyPresent: boolean;
798
670
  }>, "many">;
799
- nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
800
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
801
- nullifier: z.ZodType<Fr, any, string>;
802
- nextNullifier: z.ZodType<Fr, any, string>;
803
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
671
+ getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
672
+ hintKey: z.ZodEffects<z.ZodObject<{
673
+ root: z.ZodType<Fr, any, string>;
674
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
804
675
  }, "strip", z.ZodTypeAny, {
805
- nullifier: Fr;
806
- nextNullifier: Fr;
807
- nextIndex: bigint;
676
+ root: Fr;
677
+ nextAvailableLeafIndex: number;
808
678
  }, {
809
- nullifier: string;
810
- nextNullifier: string;
811
- nextIndex: string | number | bigint;
812
- }>, NullifierLeafPreimage, {
813
- nullifier: string;
814
- nextNullifier: string;
815
- nextIndex: string | number | bigint;
679
+ root: string;
680
+ nextAvailableLeafIndex: string | number | bigint;
681
+ }>, AppendOnlyTreeSnapshot, {
682
+ root: string;
683
+ nextAvailableLeafIndex: string | number | bigint;
816
684
  }>;
817
- lowLeafIndex: z.ZodType<Fr, any, string>;
818
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
685
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
686
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
687
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
688
+ nextValue: z.ZodType<Fr, any, string>;
819
689
  }, "strip", z.ZodTypeAny, {
820
- lowLeafPreimage: NullifierLeafPreimage;
821
- lowLeafIndex: Fr;
822
- lowLeafSiblingPath: Fr[];
690
+ index: bigint;
691
+ nextIndex: bigint;
692
+ hintKey: AppendOnlyTreeSnapshot;
693
+ nextValue: Fr;
694
+ leaf?: any;
823
695
  }, {
824
- lowLeafPreimage: {
825
- nullifier: string;
826
- nextNullifier: string;
827
- nextIndex: string | number | bigint;
828
- };
829
- lowLeafIndex: string;
830
- lowLeafSiblingPath: string[];
831
- }>, AvmNullifierReadTreeHint, {
832
- lowLeafPreimage: {
833
- nullifier: string;
834
- nextNullifier: string;
835
- nextIndex: string | number | bigint;
696
+ index: string | number | bigint;
697
+ nextIndex: string | number | bigint;
698
+ hintKey: {
699
+ root: string;
700
+ nextAvailableLeafIndex: string | number | bigint;
701
+ };
702
+ nextValue: string;
703
+ leaf?: any;
704
+ }>, {
705
+ readonly hintKey: AppendOnlyTreeSnapshot;
706
+ readonly index: bigint;
707
+ readonly leaf: PublicDataTreeLeaf;
708
+ readonly nextIndex: bigint;
709
+ readonly nextValue: Fr;
710
+ }, {
711
+ index: string | number | bigint;
712
+ nextIndex: string | number | bigint;
713
+ hintKey: {
714
+ root: string;
715
+ nextAvailableLeafIndex: string | number | bigint;
836
716
  };
837
- lowLeafIndex: string;
838
- lowLeafSiblingPath: string[];
717
+ nextValue: string;
718
+ leaf?: any;
839
719
  }>, "many">;
840
- nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
841
- lowLeafRead: z.ZodEffects<z.ZodObject<{
842
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
843
- nullifier: z.ZodType<Fr, any, string>;
844
- nextNullifier: z.ZodType<Fr, any, string>;
845
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
846
- }, "strip", z.ZodTypeAny, {
847
- nullifier: Fr;
848
- nextNullifier: Fr;
849
- nextIndex: bigint;
850
- }, {
851
- nullifier: string;
852
- nextNullifier: string;
853
- nextIndex: string | number | bigint;
854
- }>, NullifierLeafPreimage, {
855
- nullifier: string;
856
- nextNullifier: string;
857
- nextIndex: string | number | bigint;
858
- }>;
859
- lowLeafIndex: z.ZodType<Fr, any, string>;
860
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
720
+ getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
721
+ hintKey: z.ZodEffects<z.ZodObject<{
722
+ root: z.ZodType<Fr, any, string>;
723
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
861
724
  }, "strip", z.ZodTypeAny, {
862
- lowLeafPreimage: NullifierLeafPreimage;
863
- lowLeafIndex: Fr;
864
- lowLeafSiblingPath: Fr[];
725
+ root: Fr;
726
+ nextAvailableLeafIndex: number;
865
727
  }, {
866
- lowLeafPreimage: {
867
- nullifier: string;
868
- nextNullifier: string;
869
- nextIndex: string | number | bigint;
870
- };
871
- lowLeafIndex: string;
872
- lowLeafSiblingPath: string[];
873
- }>, AvmNullifierReadTreeHint, {
874
- lowLeafPreimage: {
875
- nullifier: string;
876
- nextNullifier: string;
877
- nextIndex: string | number | bigint;
878
- };
879
- lowLeafIndex: string;
880
- lowLeafSiblingPath: string[];
728
+ root: string;
729
+ nextAvailableLeafIndex: string | number | bigint;
730
+ }>, AppendOnlyTreeSnapshot, {
731
+ root: string;
732
+ nextAvailableLeafIndex: string | number | bigint;
881
733
  }>;
882
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
883
- }, "strip", z.ZodTypeAny, {
884
- lowLeafRead: AvmNullifierReadTreeHint;
885
- insertionPath: Fr[];
886
- }, {
887
- lowLeafRead: {
888
- lowLeafPreimage: {
889
- nullifier: string;
890
- nextNullifier: string;
891
- nextIndex: string | number | bigint;
892
- };
893
- lowLeafIndex: string;
894
- lowLeafSiblingPath: string[];
895
- };
896
- insertionPath: string[];
897
- }>, AvmNullifierWriteTreeHint, {
898
- lowLeafRead: {
899
- lowLeafPreimage: {
900
- nullifier: string;
901
- nextNullifier: string;
902
- nextIndex: string | number | bigint;
903
- };
904
- lowLeafIndex: string;
905
- lowLeafSiblingPath: string[];
906
- };
907
- insertionPath: string[];
908
- }>, "many">;
909
- noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
910
- leafIndex: z.ZodType<Fr, any, string>;
911
- value: z.ZodType<Fr, any, string>;
912
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
734
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
735
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
736
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
737
+ nextValue: z.ZodType<Fr, any, string>;
913
738
  }, "strip", z.ZodTypeAny, {
914
- value: Fr;
915
- leafIndex: Fr;
916
- siblingPath: Fr[];
739
+ index: bigint;
740
+ nextIndex: bigint;
741
+ hintKey: AppendOnlyTreeSnapshot;
742
+ nextValue: Fr;
743
+ leaf?: any;
917
744
  }, {
918
- value: string;
919
- leafIndex: string;
920
- siblingPath: string[];
921
- }>, AvmAppendTreeHint, {
922
- value: string;
923
- leafIndex: string;
924
- siblingPath: string[];
925
- }>, "many">;
926
- noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
927
- leafIndex: z.ZodType<Fr, any, string>;
928
- value: z.ZodType<Fr, any, string>;
929
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
930
- }, "strip", z.ZodTypeAny, {
931
- value: Fr;
932
- leafIndex: Fr;
933
- siblingPath: Fr[];
745
+ index: string | number | bigint;
746
+ nextIndex: string | number | bigint;
747
+ hintKey: {
748
+ root: string;
749
+ nextAvailableLeafIndex: string | number | bigint;
750
+ };
751
+ nextValue: string;
752
+ leaf?: any;
753
+ }>, {
754
+ readonly hintKey: AppendOnlyTreeSnapshot;
755
+ readonly index: bigint;
756
+ readonly leaf: NullifierLeaf;
757
+ readonly nextIndex: bigint;
758
+ readonly nextValue: Fr;
934
759
  }, {
935
- value: string;
936
- leafIndex: string;
937
- siblingPath: string[];
938
- }>, AvmAppendTreeHint, {
939
- value: string;
940
- leafIndex: string;
941
- siblingPath: string[];
760
+ index: string | number | bigint;
761
+ nextIndex: string | number | bigint;
762
+ hintKey: {
763
+ root: string;
764
+ nextAvailableLeafIndex: string | number | bigint;
765
+ };
766
+ nextValue: string;
767
+ leaf?: any;
942
768
  }>, "many">;
943
- l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
944
- leafIndex: z.ZodType<Fr, any, string>;
769
+ getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
770
+ hintKey: z.ZodEffects<z.ZodObject<{
771
+ root: z.ZodType<Fr, any, string>;
772
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
773
+ }, "strip", z.ZodTypeAny, {
774
+ root: Fr;
775
+ nextAvailableLeafIndex: number;
776
+ }, {
777
+ root: string;
778
+ nextAvailableLeafIndex: string | number | bigint;
779
+ }>, AppendOnlyTreeSnapshot, {
780
+ root: string;
781
+ nextAvailableLeafIndex: string | number | bigint;
782
+ }>;
783
+ treeId: z.ZodNumber;
784
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
945
785
  value: z.ZodType<Fr, any, string>;
946
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
947
786
  }, "strip", z.ZodTypeAny, {
948
787
  value: Fr;
949
- leafIndex: Fr;
950
- siblingPath: Fr[];
788
+ index: bigint;
789
+ hintKey: AppendOnlyTreeSnapshot;
790
+ treeId: number;
951
791
  }, {
952
792
  value: string;
953
- leafIndex: string;
954
- siblingPath: string[];
955
- }>, AvmAppendTreeHint, {
793
+ index: string | number | bigint;
794
+ hintKey: {
795
+ root: string;
796
+ nextAvailableLeafIndex: string | number | bigint;
797
+ };
798
+ treeId: number;
799
+ }>, AvmGetLeafValueHint, {
956
800
  value: string;
957
- leafIndex: string;
958
- siblingPath: string[];
801
+ index: string | number | bigint;
802
+ hintKey: {
803
+ root: string;
804
+ nextAvailableLeafIndex: string | number | bigint;
805
+ };
806
+ treeId: number;
959
807
  }>, "many">;
960
808
  }, "strip", z.ZodTypeAny, {
961
- publicDataWrites: AvmPublicDataWriteTreeHint[];
962
809
  enqueuedCalls: AvmEnqueuedCallHint[];
963
810
  contractInstances: AvmContractInstanceHint[];
964
811
  contractClasses: AvmContractClassHint[];
965
812
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
966
- publicDataReads: AvmPublicDataReadTreeHint[];
967
- nullifierReads: AvmNullifierReadTreeHint[];
968
- nullifierWrites: AvmNullifierWriteTreeHint[];
969
- noteHashReads: AvmAppendTreeHint[];
970
- noteHashWrites: AvmAppendTreeHint[];
971
- l1ToL2MessageReads: AvmAppendTreeHint[];
972
- }, {
973
- publicDataWrites: {
974
- lowLeafRead: {
975
- leafIndex: string;
976
- siblingPath: string[];
977
- leafPreimage: {
978
- value: string;
979
- slot: string;
980
- nextIndex: string | number | bigint;
981
- nextSlot: string;
982
- };
983
- };
984
- insertionPath: string[];
985
- newLeafPreimage: {
986
- value: string;
987
- slot: string;
988
- nextIndex: string | number | bigint;
989
- nextSlot: string;
990
- };
813
+ getSiblingPathHints: AvmGetSiblingPathHint[];
814
+ getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
815
+ getLeafPreimageHintsPublicDataTree: {
816
+ readonly hintKey: AppendOnlyTreeSnapshot;
817
+ readonly index: bigint;
818
+ readonly leaf: PublicDataTreeLeaf;
819
+ readonly nextIndex: bigint;
820
+ readonly nextValue: Fr;
991
821
  }[];
822
+ getLeafPreimageHintsNullifierTree: {
823
+ readonly hintKey: AppendOnlyTreeSnapshot;
824
+ readonly index: bigint;
825
+ readonly leaf: NullifierLeaf;
826
+ readonly nextIndex: bigint;
827
+ readonly nextValue: Fr;
828
+ }[];
829
+ getLeafValueHints: AvmGetLeafValueHint[];
830
+ }, {
992
831
  enqueuedCalls: {
993
832
  isStaticCall: boolean;
994
833
  calldata: string[];
@@ -1022,72 +861,55 @@ export declare class AvmExecutionHints {
1022
861
  classId: string;
1023
862
  commitment: string;
1024
863
  }[];
1025
- publicDataReads: {
1026
- leafIndex: string;
1027
- siblingPath: string[];
1028
- leafPreimage: {
1029
- value: string;
1030
- slot: string;
1031
- nextIndex: string | number | bigint;
1032
- nextSlot: string;
1033
- };
1034
- }[];
1035
- nullifierReads: {
1036
- lowLeafPreimage: {
1037
- nullifier: string;
1038
- nextNullifier: string;
1039
- nextIndex: string | number | bigint;
1040
- };
1041
- lowLeafIndex: string;
1042
- lowLeafSiblingPath: string[];
1043
- }[];
1044
- nullifierWrites: {
1045
- lowLeafRead: {
1046
- lowLeafPreimage: {
1047
- nullifier: string;
1048
- nextNullifier: string;
1049
- nextIndex: string | number | bigint;
1050
- };
1051
- lowLeafIndex: string;
1052
- lowLeafSiblingPath: string[];
1053
- };
1054
- insertionPath: string[];
1055
- }[];
1056
- noteHashReads: {
1057
- value: string;
1058
- leafIndex: string;
1059
- siblingPath: string[];
864
+ getSiblingPathHints: {
865
+ path: string[];
866
+ index: string | number | bigint;
867
+ hintKey: {
868
+ root: string;
869
+ nextAvailableLeafIndex: string | number | bigint;
870
+ };
871
+ treeId: number;
1060
872
  }[];
1061
- noteHashWrites: {
873
+ getPreviousValueIndexHints: {
1062
874
  value: string;
1063
- leafIndex: string;
1064
- siblingPath: string[];
875
+ index: string | number | bigint;
876
+ hintKey: {
877
+ root: string;
878
+ nextAvailableLeafIndex: string | number | bigint;
879
+ };
880
+ treeId: number;
881
+ alreadyPresent: boolean;
1065
882
  }[];
1066
- l1ToL2MessageReads: {
1067
- value: string;
1068
- leafIndex: string;
1069
- siblingPath: string[];
883
+ getLeafPreimageHintsPublicDataTree: {
884
+ index: string | number | bigint;
885
+ nextIndex: string | number | bigint;
886
+ hintKey: {
887
+ root: string;
888
+ nextAvailableLeafIndex: string | number | bigint;
889
+ };
890
+ nextValue: string;
891
+ leaf?: any;
1070
892
  }[];
1071
- }>, AvmExecutionHints, {
1072
- publicDataWrites: {
1073
- lowLeafRead: {
1074
- leafIndex: string;
1075
- siblingPath: string[];
1076
- leafPreimage: {
1077
- value: string;
1078
- slot: string;
1079
- nextIndex: string | number | bigint;
1080
- nextSlot: string;
1081
- };
893
+ getLeafPreimageHintsNullifierTree: {
894
+ index: string | number | bigint;
895
+ nextIndex: string | number | bigint;
896
+ hintKey: {
897
+ root: string;
898
+ nextAvailableLeafIndex: string | number | bigint;
1082
899
  };
1083
- insertionPath: string[];
1084
- newLeafPreimage: {
1085
- value: string;
1086
- slot: string;
1087
- nextIndex: string | number | bigint;
1088
- nextSlot: string;
900
+ nextValue: string;
901
+ leaf?: any;
902
+ }[];
903
+ getLeafValueHints: {
904
+ value: string;
905
+ index: string | number | bigint;
906
+ hintKey: {
907
+ root: string;
908
+ nextAvailableLeafIndex: string | number | bigint;
1089
909
  };
910
+ treeId: number;
1090
911
  }[];
912
+ }>, AvmExecutionHints, {
1091
913
  enqueuedCalls: {
1092
914
  isStaticCall: boolean;
1093
915
  calldata: string[];
@@ -1121,51 +943,53 @@ export declare class AvmExecutionHints {
1121
943
  classId: string;
1122
944
  commitment: string;
1123
945
  }[];
1124
- publicDataReads: {
1125
- leafIndex: string;
1126
- siblingPath: string[];
1127
- leafPreimage: {
1128
- value: string;
1129
- slot: string;
1130
- nextIndex: string | number | bigint;
1131
- nextSlot: string;
1132
- };
946
+ getSiblingPathHints: {
947
+ path: string[];
948
+ index: string | number | bigint;
949
+ hintKey: {
950
+ root: string;
951
+ nextAvailableLeafIndex: string | number | bigint;
952
+ };
953
+ treeId: number;
1133
954
  }[];
1134
- nullifierReads: {
1135
- lowLeafPreimage: {
1136
- nullifier: string;
1137
- nextNullifier: string;
1138
- nextIndex: string | number | bigint;
955
+ getPreviousValueIndexHints: {
956
+ value: string;
957
+ index: string | number | bigint;
958
+ hintKey: {
959
+ root: string;
960
+ nextAvailableLeafIndex: string | number | bigint;
1139
961
  };
1140
- lowLeafIndex: string;
1141
- lowLeafSiblingPath: string[];
962
+ treeId: number;
963
+ alreadyPresent: boolean;
1142
964
  }[];
1143
- nullifierWrites: {
1144
- lowLeafRead: {
1145
- lowLeafPreimage: {
1146
- nullifier: string;
1147
- nextNullifier: string;
1148
- nextIndex: string | number | bigint;
1149
- };
1150
- lowLeafIndex: string;
1151
- lowLeafSiblingPath: string[];
965
+ getLeafPreimageHintsPublicDataTree: {
966
+ index: string | number | bigint;
967
+ nextIndex: string | number | bigint;
968
+ hintKey: {
969
+ root: string;
970
+ nextAvailableLeafIndex: string | number | bigint;
1152
971
  };
1153
- insertionPath: string[];
1154
- }[];
1155
- noteHashReads: {
1156
- value: string;
1157
- leafIndex: string;
1158
- siblingPath: string[];
972
+ nextValue: string;
973
+ leaf?: any;
1159
974
  }[];
1160
- noteHashWrites: {
1161
- value: string;
1162
- leafIndex: string;
1163
- siblingPath: string[];
975
+ getLeafPreimageHintsNullifierTree: {
976
+ index: string | number | bigint;
977
+ nextIndex: string | number | bigint;
978
+ hintKey: {
979
+ root: string;
980
+ nextAvailableLeafIndex: string | number | bigint;
981
+ };
982
+ nextValue: string;
983
+ leaf?: any;
1164
984
  }[];
1165
- l1ToL2MessageReads: {
985
+ getLeafValueHints: {
1166
986
  value: string;
1167
- leafIndex: string;
1168
- siblingPath: string[];
987
+ index: string | number | bigint;
988
+ hintKey: {
989
+ root: string;
990
+ nextAvailableLeafIndex: string | number | bigint;
991
+ };
992
+ treeId: number;
1169
993
  }[];
1170
994
  }>;
1171
995
  }
@@ -1317,357 +1141,248 @@ export declare class AvmCircuitInputs {
1317
1141
  classId: string;
1318
1142
  commitment: string;
1319
1143
  }>, "many">;
1320
- publicDataReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
1321
- leafPreimage: z.ZodEffects<z.ZodObject<{
1322
- slot: z.ZodType<Fr, any, string>;
1323
- value: z.ZodType<Fr, any, string>;
1324
- nextSlot: z.ZodType<Fr, any, string>;
1325
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1144
+ getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1145
+ hintKey: z.ZodEffects<z.ZodObject<{
1146
+ root: z.ZodType<Fr, any, string>;
1147
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1326
1148
  }, "strip", z.ZodTypeAny, {
1327
- value: Fr;
1328
- slot: Fr;
1329
- nextIndex: bigint;
1330
- nextSlot: Fr;
1149
+ root: Fr;
1150
+ nextAvailableLeafIndex: number;
1331
1151
  }, {
1332
- value: string;
1333
- slot: string;
1334
- nextIndex: string | number | bigint;
1335
- nextSlot: string;
1336
- }>, PublicDataTreeLeafPreimage, {
1337
- value: string;
1338
- slot: string;
1339
- nextIndex: string | number | bigint;
1340
- nextSlot: string;
1152
+ root: string;
1153
+ nextAvailableLeafIndex: string | number | bigint;
1154
+ }>, AppendOnlyTreeSnapshot, {
1155
+ root: string;
1156
+ nextAvailableLeafIndex: string | number | bigint;
1341
1157
  }>;
1342
- leafIndex: z.ZodType<Fr, any, string>;
1343
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1158
+ treeId: z.ZodNumber;
1159
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1160
+ path: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1344
1161
  }, "strip", z.ZodTypeAny, {
1345
- leafIndex: Fr;
1346
- siblingPath: Fr[];
1347
- leafPreimage: PublicDataTreeLeafPreimage;
1162
+ path: Fr[];
1163
+ index: bigint;
1164
+ hintKey: AppendOnlyTreeSnapshot;
1165
+ treeId: number;
1348
1166
  }, {
1349
- leafIndex: string;
1350
- siblingPath: string[];
1351
- leafPreimage: {
1352
- value: string;
1353
- slot: string;
1354
- nextIndex: string | number | bigint;
1355
- nextSlot: string;
1356
- };
1357
- }>, AvmPublicDataReadTreeHint, {
1358
- leafIndex: string;
1359
- siblingPath: string[];
1360
- leafPreimage: {
1361
- value: string;
1362
- slot: string;
1363
- nextIndex: string | number | bigint;
1364
- nextSlot: string;
1167
+ path: string[];
1168
+ index: string | number | bigint;
1169
+ hintKey: {
1170
+ root: string;
1171
+ nextAvailableLeafIndex: string | number | bigint;
1172
+ };
1173
+ treeId: number;
1174
+ }>, AvmGetSiblingPathHint, {
1175
+ path: string[];
1176
+ index: string | number | bigint;
1177
+ hintKey: {
1178
+ root: string;
1179
+ nextAvailableLeafIndex: string | number | bigint;
1365
1180
  };
1181
+ treeId: number;
1366
1182
  }>, "many">;
1367
- publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
1368
- lowLeafRead: z.ZodEffects<z.ZodObject<{
1369
- leafPreimage: z.ZodEffects<z.ZodObject<{
1370
- slot: z.ZodType<Fr, any, string>;
1371
- value: z.ZodType<Fr, any, string>;
1372
- nextSlot: z.ZodType<Fr, any, string>;
1373
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1374
- }, "strip", z.ZodTypeAny, {
1375
- value: Fr;
1376
- slot: Fr;
1377
- nextIndex: bigint;
1378
- nextSlot: Fr;
1379
- }, {
1380
- value: string;
1381
- slot: string;
1382
- nextIndex: string | number | bigint;
1383
- nextSlot: string;
1384
- }>, PublicDataTreeLeafPreimage, {
1385
- value: string;
1386
- slot: string;
1387
- nextIndex: string | number | bigint;
1388
- nextSlot: string;
1389
- }>;
1390
- leafIndex: z.ZodType<Fr, any, string>;
1391
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1392
- }, "strip", z.ZodTypeAny, {
1393
- leafIndex: Fr;
1394
- siblingPath: Fr[];
1395
- leafPreimage: PublicDataTreeLeafPreimage;
1396
- }, {
1397
- leafIndex: string;
1398
- siblingPath: string[];
1399
- leafPreimage: {
1400
- value: string;
1401
- slot: string;
1402
- nextIndex: string | number | bigint;
1403
- nextSlot: string;
1404
- };
1405
- }>, AvmPublicDataReadTreeHint, {
1406
- leafIndex: string;
1407
- siblingPath: string[];
1408
- leafPreimage: {
1409
- value: string;
1410
- slot: string;
1411
- nextIndex: string | number | bigint;
1412
- nextSlot: string;
1413
- };
1414
- }>;
1415
- newLeafPreimage: z.ZodEffects<z.ZodObject<{
1416
- slot: z.ZodType<Fr, any, string>;
1417
- value: z.ZodType<Fr, any, string>;
1418
- nextSlot: z.ZodType<Fr, any, string>;
1419
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1183
+ getPreviousValueIndexHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1184
+ hintKey: z.ZodEffects<z.ZodObject<{
1185
+ root: z.ZodType<Fr, any, string>;
1186
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1420
1187
  }, "strip", z.ZodTypeAny, {
1421
- value: Fr;
1422
- slot: Fr;
1423
- nextIndex: bigint;
1424
- nextSlot: Fr;
1188
+ root: Fr;
1189
+ nextAvailableLeafIndex: number;
1425
1190
  }, {
1426
- value: string;
1427
- slot: string;
1428
- nextIndex: string | number | bigint;
1429
- nextSlot: string;
1430
- }>, PublicDataTreeLeafPreimage, {
1431
- value: string;
1432
- slot: string;
1433
- nextIndex: string | number | bigint;
1434
- nextSlot: string;
1191
+ root: string;
1192
+ nextAvailableLeafIndex: string | number | bigint;
1193
+ }>, AppendOnlyTreeSnapshot, {
1194
+ root: string;
1195
+ nextAvailableLeafIndex: string | number | bigint;
1435
1196
  }>;
1436
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1197
+ treeId: z.ZodNumber;
1198
+ value: z.ZodType<Fr, any, string>;
1199
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1200
+ alreadyPresent: z.ZodBoolean;
1437
1201
  }, "strip", z.ZodTypeAny, {
1438
- lowLeafRead: AvmPublicDataReadTreeHint;
1439
- insertionPath: Fr[];
1440
- newLeafPreimage: PublicDataTreeLeafPreimage;
1202
+ value: Fr;
1203
+ index: bigint;
1204
+ hintKey: AppendOnlyTreeSnapshot;
1205
+ treeId: number;
1206
+ alreadyPresent: boolean;
1441
1207
  }, {
1442
- lowLeafRead: {
1443
- leafIndex: string;
1444
- siblingPath: string[];
1445
- leafPreimage: {
1446
- value: string;
1447
- slot: string;
1448
- nextIndex: string | number | bigint;
1449
- nextSlot: string;
1450
- };
1451
- };
1452
- insertionPath: string[];
1453
- newLeafPreimage: {
1454
- value: string;
1455
- slot: string;
1456
- nextIndex: string | number | bigint;
1457
- nextSlot: string;
1458
- };
1459
- }>, AvmPublicDataWriteTreeHint, {
1460
- lowLeafRead: {
1461
- leafIndex: string;
1462
- siblingPath: string[];
1463
- leafPreimage: {
1464
- value: string;
1465
- slot: string;
1466
- nextIndex: string | number | bigint;
1467
- nextSlot: string;
1468
- };
1208
+ value: string;
1209
+ index: string | number | bigint;
1210
+ hintKey: {
1211
+ root: string;
1212
+ nextAvailableLeafIndex: string | number | bigint;
1469
1213
  };
1470
- insertionPath: string[];
1471
- newLeafPreimage: {
1472
- value: string;
1473
- slot: string;
1474
- nextIndex: string | number | bigint;
1475
- nextSlot: string;
1214
+ treeId: number;
1215
+ alreadyPresent: boolean;
1216
+ }>, AvmGetPreviousValueIndexHint, {
1217
+ value: string;
1218
+ index: string | number | bigint;
1219
+ hintKey: {
1220
+ root: string;
1221
+ nextAvailableLeafIndex: string | number | bigint;
1476
1222
  };
1223
+ treeId: number;
1224
+ alreadyPresent: boolean;
1477
1225
  }>, "many">;
1478
- nullifierReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
1479
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
1480
- nullifier: z.ZodType<Fr, any, string>;
1481
- nextNullifier: z.ZodType<Fr, any, string>;
1482
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1226
+ getLeafPreimageHintsPublicDataTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1227
+ hintKey: z.ZodEffects<z.ZodObject<{
1228
+ root: z.ZodType<Fr, any, string>;
1229
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1483
1230
  }, "strip", z.ZodTypeAny, {
1484
- nullifier: Fr;
1485
- nextNullifier: Fr;
1486
- nextIndex: bigint;
1231
+ root: Fr;
1232
+ nextAvailableLeafIndex: number;
1487
1233
  }, {
1488
- nullifier: string;
1489
- nextNullifier: string;
1490
- nextIndex: string | number | bigint;
1491
- }>, NullifierLeafPreimage, {
1492
- nullifier: string;
1493
- nextNullifier: string;
1494
- nextIndex: string | number | bigint;
1234
+ root: string;
1235
+ nextAvailableLeafIndex: string | number | bigint;
1236
+ }>, AppendOnlyTreeSnapshot, {
1237
+ root: string;
1238
+ nextAvailableLeafIndex: string | number | bigint;
1495
1239
  }>;
1496
- lowLeafIndex: z.ZodType<Fr, any, string>;
1497
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1240
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1241
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
1242
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1243
+ nextValue: z.ZodType<Fr, any, string>;
1498
1244
  }, "strip", z.ZodTypeAny, {
1499
- lowLeafPreimage: NullifierLeafPreimage;
1500
- lowLeafIndex: Fr;
1501
- lowLeafSiblingPath: Fr[];
1245
+ index: bigint;
1246
+ nextIndex: bigint;
1247
+ hintKey: AppendOnlyTreeSnapshot;
1248
+ nextValue: Fr;
1249
+ leaf?: any;
1250
+ }, {
1251
+ index: string | number | bigint;
1252
+ nextIndex: string | number | bigint;
1253
+ hintKey: {
1254
+ root: string;
1255
+ nextAvailableLeafIndex: string | number | bigint;
1256
+ };
1257
+ nextValue: string;
1258
+ leaf?: any;
1259
+ }>, {
1260
+ readonly hintKey: AppendOnlyTreeSnapshot;
1261
+ readonly index: bigint;
1262
+ readonly leaf: PublicDataTreeLeaf;
1263
+ readonly nextIndex: bigint;
1264
+ readonly nextValue: Fr;
1502
1265
  }, {
1503
- lowLeafPreimage: {
1504
- nullifier: string;
1505
- nextNullifier: string;
1506
- nextIndex: string | number | bigint;
1507
- };
1508
- lowLeafIndex: string;
1509
- lowLeafSiblingPath: string[];
1510
- }>, AvmNullifierReadTreeHint, {
1511
- lowLeafPreimage: {
1512
- nullifier: string;
1513
- nextNullifier: string;
1514
- nextIndex: string | number | bigint;
1515
- };
1516
- lowLeafIndex: string;
1517
- lowLeafSiblingPath: string[];
1266
+ index: string | number | bigint;
1267
+ nextIndex: string | number | bigint;
1268
+ hintKey: {
1269
+ root: string;
1270
+ nextAvailableLeafIndex: string | number | bigint;
1271
+ };
1272
+ nextValue: string;
1273
+ leaf?: any;
1518
1274
  }>, "many">;
1519
- nullifierWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
1520
- lowLeafRead: z.ZodEffects<z.ZodObject<{
1521
- lowLeafPreimage: z.ZodEffects<z.ZodObject<{
1522
- nullifier: z.ZodType<Fr, any, string>;
1523
- nextNullifier: z.ZodType<Fr, any, string>;
1524
- nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1525
- }, "strip", z.ZodTypeAny, {
1526
- nullifier: Fr;
1527
- nextNullifier: Fr;
1528
- nextIndex: bigint;
1529
- }, {
1530
- nullifier: string;
1531
- nextNullifier: string;
1532
- nextIndex: string | number | bigint;
1533
- }>, NullifierLeafPreimage, {
1534
- nullifier: string;
1535
- nextNullifier: string;
1536
- nextIndex: string | number | bigint;
1537
- }>;
1538
- lowLeafIndex: z.ZodType<Fr, any, string>;
1539
- lowLeafSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1275
+ getLeafPreimageHintsNullifierTree: z.ZodArray<z.ZodEffects<z.ZodObject<{
1276
+ hintKey: z.ZodEffects<z.ZodObject<{
1277
+ root: z.ZodType<Fr, any, string>;
1278
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1540
1279
  }, "strip", z.ZodTypeAny, {
1541
- lowLeafPreimage: NullifierLeafPreimage;
1542
- lowLeafIndex: Fr;
1543
- lowLeafSiblingPath: Fr[];
1280
+ root: Fr;
1281
+ nextAvailableLeafIndex: number;
1544
1282
  }, {
1545
- lowLeafPreimage: {
1546
- nullifier: string;
1547
- nextNullifier: string;
1548
- nextIndex: string | number | bigint;
1549
- };
1550
- lowLeafIndex: string;
1551
- lowLeafSiblingPath: string[];
1552
- }>, AvmNullifierReadTreeHint, {
1553
- lowLeafPreimage: {
1554
- nullifier: string;
1555
- nextNullifier: string;
1556
- nextIndex: string | number | bigint;
1557
- };
1558
- lowLeafIndex: string;
1559
- lowLeafSiblingPath: string[];
1283
+ root: string;
1284
+ nextAvailableLeafIndex: string | number | bigint;
1285
+ }>, AppendOnlyTreeSnapshot, {
1286
+ root: string;
1287
+ nextAvailableLeafIndex: string | number | bigint;
1560
1288
  }>;
1561
- insertionPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1289
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1290
+ leaf: z.ZodType<any, z.ZodTypeDef, any>;
1291
+ nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1292
+ nextValue: z.ZodType<Fr, any, string>;
1562
1293
  }, "strip", z.ZodTypeAny, {
1563
- lowLeafRead: AvmNullifierReadTreeHint;
1564
- insertionPath: Fr[];
1294
+ index: bigint;
1295
+ nextIndex: bigint;
1296
+ hintKey: AppendOnlyTreeSnapshot;
1297
+ nextValue: Fr;
1298
+ leaf?: any;
1565
1299
  }, {
1566
- lowLeafRead: {
1567
- lowLeafPreimage: {
1568
- nullifier: string;
1569
- nextNullifier: string;
1570
- nextIndex: string | number | bigint;
1571
- };
1572
- lowLeafIndex: string;
1573
- lowLeafSiblingPath: string[];
1574
- };
1575
- insertionPath: string[];
1576
- }>, AvmNullifierWriteTreeHint, {
1577
- lowLeafRead: {
1578
- lowLeafPreimage: {
1579
- nullifier: string;
1580
- nextNullifier: string;
1581
- nextIndex: string | number | bigint;
1582
- };
1583
- lowLeafIndex: string;
1584
- lowLeafSiblingPath: string[];
1300
+ index: string | number | bigint;
1301
+ nextIndex: string | number | bigint;
1302
+ hintKey: {
1303
+ root: string;
1304
+ nextAvailableLeafIndex: string | number | bigint;
1585
1305
  };
1586
- insertionPath: string[];
1587
- }>, "many">;
1588
- noteHashReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
1589
- leafIndex: z.ZodType<Fr, any, string>;
1590
- value: z.ZodType<Fr, any, string>;
1591
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1592
- }, "strip", z.ZodTypeAny, {
1593
- value: Fr;
1594
- leafIndex: Fr;
1595
- siblingPath: Fr[];
1306
+ nextValue: string;
1307
+ leaf?: any;
1308
+ }>, {
1309
+ readonly hintKey: AppendOnlyTreeSnapshot;
1310
+ readonly index: bigint;
1311
+ readonly leaf: NullifierLeaf;
1312
+ readonly nextIndex: bigint;
1313
+ readonly nextValue: Fr;
1596
1314
  }, {
1597
- value: string;
1598
- leafIndex: string;
1599
- siblingPath: string[];
1600
- }>, AvmAppendTreeHint, {
1601
- value: string;
1602
- leafIndex: string;
1603
- siblingPath: string[];
1604
- }>, "many">;
1605
- noteHashWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
1606
- leafIndex: z.ZodType<Fr, any, string>;
1607
- value: z.ZodType<Fr, any, string>;
1608
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1609
- }, "strip", z.ZodTypeAny, {
1610
- value: Fr;
1611
- leafIndex: Fr;
1612
- siblingPath: Fr[];
1613
- }, {
1614
- value: string;
1615
- leafIndex: string;
1616
- siblingPath: string[];
1617
- }>, AvmAppendTreeHint, {
1618
- value: string;
1619
- leafIndex: string;
1620
- siblingPath: string[];
1315
+ index: string | number | bigint;
1316
+ nextIndex: string | number | bigint;
1317
+ hintKey: {
1318
+ root: string;
1319
+ nextAvailableLeafIndex: string | number | bigint;
1320
+ };
1321
+ nextValue: string;
1322
+ leaf?: any;
1621
1323
  }>, "many">;
1622
- l1ToL2MessageReads: z.ZodArray<z.ZodEffects<z.ZodObject<{
1623
- leafIndex: z.ZodType<Fr, any, string>;
1324
+ getLeafValueHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
1325
+ hintKey: z.ZodEffects<z.ZodObject<{
1326
+ root: z.ZodType<Fr, any, string>;
1327
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
1328
+ }, "strip", z.ZodTypeAny, {
1329
+ root: Fr;
1330
+ nextAvailableLeafIndex: number;
1331
+ }, {
1332
+ root: string;
1333
+ nextAvailableLeafIndex: string | number | bigint;
1334
+ }>, AppendOnlyTreeSnapshot, {
1335
+ root: string;
1336
+ nextAvailableLeafIndex: string | number | bigint;
1337
+ }>;
1338
+ treeId: z.ZodNumber;
1339
+ index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
1624
1340
  value: z.ZodType<Fr, any, string>;
1625
- siblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1626
1341
  }, "strip", z.ZodTypeAny, {
1627
1342
  value: Fr;
1628
- leafIndex: Fr;
1629
- siblingPath: Fr[];
1343
+ index: bigint;
1344
+ hintKey: AppendOnlyTreeSnapshot;
1345
+ treeId: number;
1630
1346
  }, {
1631
1347
  value: string;
1632
- leafIndex: string;
1633
- siblingPath: string[];
1634
- }>, AvmAppendTreeHint, {
1348
+ index: string | number | bigint;
1349
+ hintKey: {
1350
+ root: string;
1351
+ nextAvailableLeafIndex: string | number | bigint;
1352
+ };
1353
+ treeId: number;
1354
+ }>, AvmGetLeafValueHint, {
1635
1355
  value: string;
1636
- leafIndex: string;
1637
- siblingPath: string[];
1356
+ index: string | number | bigint;
1357
+ hintKey: {
1358
+ root: string;
1359
+ nextAvailableLeafIndex: string | number | bigint;
1360
+ };
1361
+ treeId: number;
1638
1362
  }>, "many">;
1639
1363
  }, "strip", z.ZodTypeAny, {
1640
- publicDataWrites: AvmPublicDataWriteTreeHint[];
1641
1364
  enqueuedCalls: AvmEnqueuedCallHint[];
1642
1365
  contractInstances: AvmContractInstanceHint[];
1643
1366
  contractClasses: AvmContractClassHint[];
1644
1367
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
1645
- publicDataReads: AvmPublicDataReadTreeHint[];
1646
- nullifierReads: AvmNullifierReadTreeHint[];
1647
- nullifierWrites: AvmNullifierWriteTreeHint[];
1648
- noteHashReads: AvmAppendTreeHint[];
1649
- noteHashWrites: AvmAppendTreeHint[];
1650
- l1ToL2MessageReads: AvmAppendTreeHint[];
1651
- }, {
1652
- publicDataWrites: {
1653
- lowLeafRead: {
1654
- leafIndex: string;
1655
- siblingPath: string[];
1656
- leafPreimage: {
1657
- value: string;
1658
- slot: string;
1659
- nextIndex: string | number | bigint;
1660
- nextSlot: string;
1661
- };
1662
- };
1663
- insertionPath: string[];
1664
- newLeafPreimage: {
1665
- value: string;
1666
- slot: string;
1667
- nextIndex: string | number | bigint;
1668
- nextSlot: string;
1669
- };
1368
+ getSiblingPathHints: AvmGetSiblingPathHint[];
1369
+ getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
1370
+ getLeafPreimageHintsPublicDataTree: {
1371
+ readonly hintKey: AppendOnlyTreeSnapshot;
1372
+ readonly index: bigint;
1373
+ readonly leaf: PublicDataTreeLeaf;
1374
+ readonly nextIndex: bigint;
1375
+ readonly nextValue: Fr;
1376
+ }[];
1377
+ getLeafPreimageHintsNullifierTree: {
1378
+ readonly hintKey: AppendOnlyTreeSnapshot;
1379
+ readonly index: bigint;
1380
+ readonly leaf: NullifierLeaf;
1381
+ readonly nextIndex: bigint;
1382
+ readonly nextValue: Fr;
1670
1383
  }[];
1384
+ getLeafValueHints: AvmGetLeafValueHint[];
1385
+ }, {
1671
1386
  enqueuedCalls: {
1672
1387
  isStaticCall: boolean;
1673
1388
  calldata: string[];
@@ -1701,72 +1416,55 @@ export declare class AvmCircuitInputs {
1701
1416
  classId: string;
1702
1417
  commitment: string;
1703
1418
  }[];
1704
- publicDataReads: {
1705
- leafIndex: string;
1706
- siblingPath: string[];
1707
- leafPreimage: {
1708
- value: string;
1709
- slot: string;
1710
- nextIndex: string | number | bigint;
1711
- nextSlot: string;
1419
+ getSiblingPathHints: {
1420
+ path: string[];
1421
+ index: string | number | bigint;
1422
+ hintKey: {
1423
+ root: string;
1424
+ nextAvailableLeafIndex: string | number | bigint;
1712
1425
  };
1426
+ treeId: number;
1713
1427
  }[];
1714
- nullifierReads: {
1715
- lowLeafPreimage: {
1716
- nullifier: string;
1717
- nextNullifier: string;
1718
- nextIndex: string | number | bigint;
1719
- };
1720
- lowLeafIndex: string;
1721
- lowLeafSiblingPath: string[];
1722
- }[];
1723
- nullifierWrites: {
1724
- lowLeafRead: {
1725
- lowLeafPreimage: {
1726
- nullifier: string;
1727
- nextNullifier: string;
1728
- nextIndex: string | number | bigint;
1729
- };
1730
- lowLeafIndex: string;
1731
- lowLeafSiblingPath: string[];
1428
+ getPreviousValueIndexHints: {
1429
+ value: string;
1430
+ index: string | number | bigint;
1431
+ hintKey: {
1432
+ root: string;
1433
+ nextAvailableLeafIndex: string | number | bigint;
1732
1434
  };
1733
- insertionPath: string[];
1435
+ treeId: number;
1436
+ alreadyPresent: boolean;
1734
1437
  }[];
1735
- noteHashReads: {
1736
- value: string;
1737
- leafIndex: string;
1738
- siblingPath: string[];
1438
+ getLeafPreimageHintsPublicDataTree: {
1439
+ index: string | number | bigint;
1440
+ nextIndex: string | number | bigint;
1441
+ hintKey: {
1442
+ root: string;
1443
+ nextAvailableLeafIndex: string | number | bigint;
1444
+ };
1445
+ nextValue: string;
1446
+ leaf?: any;
1739
1447
  }[];
1740
- noteHashWrites: {
1741
- value: string;
1742
- leafIndex: string;
1743
- siblingPath: string[];
1448
+ getLeafPreimageHintsNullifierTree: {
1449
+ index: string | number | bigint;
1450
+ nextIndex: string | number | bigint;
1451
+ hintKey: {
1452
+ root: string;
1453
+ nextAvailableLeafIndex: string | number | bigint;
1454
+ };
1455
+ nextValue: string;
1456
+ leaf?: any;
1744
1457
  }[];
1745
- l1ToL2MessageReads: {
1458
+ getLeafValueHints: {
1746
1459
  value: string;
1747
- leafIndex: string;
1748
- siblingPath: string[];
1749
- }[];
1750
- }>, AvmExecutionHints, {
1751
- publicDataWrites: {
1752
- lowLeafRead: {
1753
- leafIndex: string;
1754
- siblingPath: string[];
1755
- leafPreimage: {
1756
- value: string;
1757
- slot: string;
1758
- nextIndex: string | number | bigint;
1759
- nextSlot: string;
1760
- };
1761
- };
1762
- insertionPath: string[];
1763
- newLeafPreimage: {
1764
- value: string;
1765
- slot: string;
1766
- nextIndex: string | number | bigint;
1767
- nextSlot: string;
1460
+ index: string | number | bigint;
1461
+ hintKey: {
1462
+ root: string;
1463
+ nextAvailableLeafIndex: string | number | bigint;
1768
1464
  };
1465
+ treeId: number;
1769
1466
  }[];
1467
+ }>, AvmExecutionHints, {
1770
1468
  enqueuedCalls: {
1771
1469
  isStaticCall: boolean;
1772
1470
  calldata: string[];
@@ -1800,51 +1498,53 @@ export declare class AvmCircuitInputs {
1800
1498
  classId: string;
1801
1499
  commitment: string;
1802
1500
  }[];
1803
- publicDataReads: {
1804
- leafIndex: string;
1805
- siblingPath: string[];
1806
- leafPreimage: {
1807
- value: string;
1808
- slot: string;
1809
- nextIndex: string | number | bigint;
1810
- nextSlot: string;
1501
+ getSiblingPathHints: {
1502
+ path: string[];
1503
+ index: string | number | bigint;
1504
+ hintKey: {
1505
+ root: string;
1506
+ nextAvailableLeafIndex: string | number | bigint;
1811
1507
  };
1508
+ treeId: number;
1812
1509
  }[];
1813
- nullifierReads: {
1814
- lowLeafPreimage: {
1815
- nullifier: string;
1816
- nextNullifier: string;
1817
- nextIndex: string | number | bigint;
1818
- };
1819
- lowLeafIndex: string;
1820
- lowLeafSiblingPath: string[];
1821
- }[];
1822
- nullifierWrites: {
1823
- lowLeafRead: {
1824
- lowLeafPreimage: {
1825
- nullifier: string;
1826
- nextNullifier: string;
1827
- nextIndex: string | number | bigint;
1828
- };
1829
- lowLeafIndex: string;
1830
- lowLeafSiblingPath: string[];
1510
+ getPreviousValueIndexHints: {
1511
+ value: string;
1512
+ index: string | number | bigint;
1513
+ hintKey: {
1514
+ root: string;
1515
+ nextAvailableLeafIndex: string | number | bigint;
1831
1516
  };
1832
- insertionPath: string[];
1517
+ treeId: number;
1518
+ alreadyPresent: boolean;
1833
1519
  }[];
1834
- noteHashReads: {
1835
- value: string;
1836
- leafIndex: string;
1837
- siblingPath: string[];
1520
+ getLeafPreimageHintsPublicDataTree: {
1521
+ index: string | number | bigint;
1522
+ nextIndex: string | number | bigint;
1523
+ hintKey: {
1524
+ root: string;
1525
+ nextAvailableLeafIndex: string | number | bigint;
1526
+ };
1527
+ nextValue: string;
1528
+ leaf?: any;
1838
1529
  }[];
1839
- noteHashWrites: {
1840
- value: string;
1841
- leafIndex: string;
1842
- siblingPath: string[];
1530
+ getLeafPreimageHintsNullifierTree: {
1531
+ index: string | number | bigint;
1532
+ nextIndex: string | number | bigint;
1533
+ hintKey: {
1534
+ root: string;
1535
+ nextAvailableLeafIndex: string | number | bigint;
1536
+ };
1537
+ nextValue: string;
1538
+ leaf?: any;
1843
1539
  }[];
1844
- l1ToL2MessageReads: {
1540
+ getLeafValueHints: {
1845
1541
  value: string;
1846
- leafIndex: string;
1847
- siblingPath: string[];
1542
+ index: string | number | bigint;
1543
+ hintKey: {
1544
+ root: string;
1545
+ nextAvailableLeafIndex: string | number | bigint;
1546
+ };
1547
+ treeId: number;
1848
1548
  }[];
1849
1549
  }>;
1850
1550
  publicInputs: z.ZodEffects<z.ZodObject<{
@@ -1913,7 +1613,7 @@ export declare class AvmCircuitInputs {
1913
1613
  }, {
1914
1614
  root: string;
1915
1615
  nextAvailableLeafIndex: string | number | bigint;
1916
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1616
+ }>, AppendOnlyTreeSnapshot, {
1917
1617
  root: string;
1918
1618
  nextAvailableLeafIndex: string | number | bigint;
1919
1619
  }>;
@@ -1926,7 +1626,7 @@ export declare class AvmCircuitInputs {
1926
1626
  }, {
1927
1627
  root: string;
1928
1628
  nextAvailableLeafIndex: string | number | bigint;
1929
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1629
+ }>, AppendOnlyTreeSnapshot, {
1930
1630
  root: string;
1931
1631
  nextAvailableLeafIndex: string | number | bigint;
1932
1632
  }>;
@@ -1939,7 +1639,7 @@ export declare class AvmCircuitInputs {
1939
1639
  }, {
1940
1640
  root: string;
1941
1641
  nextAvailableLeafIndex: string | number | bigint;
1942
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1642
+ }>, AppendOnlyTreeSnapshot, {
1943
1643
  root: string;
1944
1644
  nextAvailableLeafIndex: string | number | bigint;
1945
1645
  }>;
@@ -1952,15 +1652,15 @@ export declare class AvmCircuitInputs {
1952
1652
  }, {
1953
1653
  root: string;
1954
1654
  nextAvailableLeafIndex: string | number | bigint;
1955
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
1655
+ }>, AppendOnlyTreeSnapshot, {
1956
1656
  root: string;
1957
1657
  nextAvailableLeafIndex: string | number | bigint;
1958
1658
  }>;
1959
1659
  }, "strip", z.ZodTypeAny, {
1960
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1961
- noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1962
- nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1963
- publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
1660
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
1661
+ noteHashTree: AppendOnlyTreeSnapshot;
1662
+ nullifierTree: AppendOnlyTreeSnapshot;
1663
+ publicDataTree: AppendOnlyTreeSnapshot;
1964
1664
  }, {
1965
1665
  l1ToL2MessageTree: {
1966
1666
  root: string;
@@ -2344,7 +2044,7 @@ export declare class AvmCircuitInputs {
2344
2044
  }, {
2345
2045
  root: string;
2346
2046
  nextAvailableLeafIndex: string | number | bigint;
2347
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
2047
+ }>, AppendOnlyTreeSnapshot, {
2348
2048
  root: string;
2349
2049
  nextAvailableLeafIndex: string | number | bigint;
2350
2050
  }>;
@@ -2357,7 +2057,7 @@ export declare class AvmCircuitInputs {
2357
2057
  }, {
2358
2058
  root: string;
2359
2059
  nextAvailableLeafIndex: string | number | bigint;
2360
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
2060
+ }>, AppendOnlyTreeSnapshot, {
2361
2061
  root: string;
2362
2062
  nextAvailableLeafIndex: string | number | bigint;
2363
2063
  }>;
@@ -2370,7 +2070,7 @@ export declare class AvmCircuitInputs {
2370
2070
  }, {
2371
2071
  root: string;
2372
2072
  nextAvailableLeafIndex: string | number | bigint;
2373
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
2073
+ }>, AppendOnlyTreeSnapshot, {
2374
2074
  root: string;
2375
2075
  nextAvailableLeafIndex: string | number | bigint;
2376
2076
  }>;
@@ -2383,15 +2083,15 @@ export declare class AvmCircuitInputs {
2383
2083
  }, {
2384
2084
  root: string;
2385
2085
  nextAvailableLeafIndex: string | number | bigint;
2386
- }>, import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot, {
2086
+ }>, AppendOnlyTreeSnapshot, {
2387
2087
  root: string;
2388
2088
  nextAvailableLeafIndex: string | number | bigint;
2389
2089
  }>;
2390
2090
  }, "strip", z.ZodTypeAny, {
2391
- l1ToL2MessageTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2392
- noteHashTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2393
- nullifierTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2394
- publicDataTree: import("../trees/append_only_tree_snapshot.js").AppendOnlyTreeSnapshot;
2091
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
2092
+ noteHashTree: AppendOnlyTreeSnapshot;
2093
+ nullifierTree: AppendOnlyTreeSnapshot;
2094
+ publicDataTree: AppendOnlyTreeSnapshot;
2395
2095
  }, {
2396
2096
  l1ToL2MessageTree: {
2397
2097
  root: string;
@@ -2859,25 +2559,6 @@ export declare class AvmCircuitInputs {
2859
2559
  calldata: string[];
2860
2560
  functionName: string;
2861
2561
  hints: {
2862
- publicDataWrites: {
2863
- lowLeafRead: {
2864
- leafIndex: string;
2865
- siblingPath: string[];
2866
- leafPreimage: {
2867
- value: string;
2868
- slot: string;
2869
- nextIndex: string | number | bigint;
2870
- nextSlot: string;
2871
- };
2872
- };
2873
- insertionPath: string[];
2874
- newLeafPreimage: {
2875
- value: string;
2876
- slot: string;
2877
- nextIndex: string | number | bigint;
2878
- nextSlot: string;
2879
- };
2880
- }[];
2881
2562
  enqueuedCalls: {
2882
2563
  isStaticCall: boolean;
2883
2564
  calldata: string[];
@@ -2911,51 +2592,53 @@ export declare class AvmCircuitInputs {
2911
2592
  classId: string;
2912
2593
  commitment: string;
2913
2594
  }[];
2914
- publicDataReads: {
2915
- leafIndex: string;
2916
- siblingPath: string[];
2917
- leafPreimage: {
2918
- value: string;
2919
- slot: string;
2920
- nextIndex: string | number | bigint;
2921
- nextSlot: string;
2595
+ getSiblingPathHints: {
2596
+ path: string[];
2597
+ index: string | number | bigint;
2598
+ hintKey: {
2599
+ root: string;
2600
+ nextAvailableLeafIndex: string | number | bigint;
2922
2601
  };
2602
+ treeId: number;
2923
2603
  }[];
2924
- nullifierReads: {
2925
- lowLeafPreimage: {
2926
- nullifier: string;
2927
- nextNullifier: string;
2928
- nextIndex: string | number | bigint;
2929
- };
2930
- lowLeafIndex: string;
2931
- lowLeafSiblingPath: string[];
2932
- }[];
2933
- nullifierWrites: {
2934
- lowLeafRead: {
2935
- lowLeafPreimage: {
2936
- nullifier: string;
2937
- nextNullifier: string;
2938
- nextIndex: string | number | bigint;
2939
- };
2940
- lowLeafIndex: string;
2941
- lowLeafSiblingPath: string[];
2604
+ getPreviousValueIndexHints: {
2605
+ value: string;
2606
+ index: string | number | bigint;
2607
+ hintKey: {
2608
+ root: string;
2609
+ nextAvailableLeafIndex: string | number | bigint;
2942
2610
  };
2943
- insertionPath: string[];
2611
+ treeId: number;
2612
+ alreadyPresent: boolean;
2944
2613
  }[];
2945
- noteHashReads: {
2946
- value: string;
2947
- leafIndex: string;
2948
- siblingPath: string[];
2614
+ getLeafPreimageHintsPublicDataTree: {
2615
+ index: string | number | bigint;
2616
+ nextIndex: string | number | bigint;
2617
+ hintKey: {
2618
+ root: string;
2619
+ nextAvailableLeafIndex: string | number | bigint;
2620
+ };
2621
+ nextValue: string;
2622
+ leaf?: any;
2949
2623
  }[];
2950
- noteHashWrites: {
2951
- value: string;
2952
- leafIndex: string;
2953
- siblingPath: string[];
2624
+ getLeafPreimageHintsNullifierTree: {
2625
+ index: string | number | bigint;
2626
+ nextIndex: string | number | bigint;
2627
+ hintKey: {
2628
+ root: string;
2629
+ nextAvailableLeafIndex: string | number | bigint;
2630
+ };
2631
+ nextValue: string;
2632
+ leaf?: any;
2954
2633
  }[];
2955
- l1ToL2MessageReads: {
2634
+ getLeafValueHints: {
2956
2635
  value: string;
2957
- leafIndex: string;
2958
- siblingPath: string[];
2636
+ index: string | number | bigint;
2637
+ hintKey: {
2638
+ root: string;
2639
+ nextAvailableLeafIndex: string | number | bigint;
2640
+ };
2641
+ treeId: number;
2959
2642
  }[];
2960
2643
  };
2961
2644
  publicInputs: {
@@ -3111,25 +2794,6 @@ export declare class AvmCircuitInputs {
3111
2794
  calldata: string[];
3112
2795
  functionName: string;
3113
2796
  hints: {
3114
- publicDataWrites: {
3115
- lowLeafRead: {
3116
- leafIndex: string;
3117
- siblingPath: string[];
3118
- leafPreimage: {
3119
- value: string;
3120
- slot: string;
3121
- nextIndex: string | number | bigint;
3122
- nextSlot: string;
3123
- };
3124
- };
3125
- insertionPath: string[];
3126
- newLeafPreimage: {
3127
- value: string;
3128
- slot: string;
3129
- nextIndex: string | number | bigint;
3130
- nextSlot: string;
3131
- };
3132
- }[];
3133
2797
  enqueuedCalls: {
3134
2798
  isStaticCall: boolean;
3135
2799
  calldata: string[];
@@ -3163,51 +2827,53 @@ export declare class AvmCircuitInputs {
3163
2827
  classId: string;
3164
2828
  commitment: string;
3165
2829
  }[];
3166
- publicDataReads: {
3167
- leafIndex: string;
3168
- siblingPath: string[];
3169
- leafPreimage: {
3170
- value: string;
3171
- slot: string;
3172
- nextIndex: string | number | bigint;
3173
- nextSlot: string;
2830
+ getSiblingPathHints: {
2831
+ path: string[];
2832
+ index: string | number | bigint;
2833
+ hintKey: {
2834
+ root: string;
2835
+ nextAvailableLeafIndex: string | number | bigint;
3174
2836
  };
2837
+ treeId: number;
3175
2838
  }[];
3176
- nullifierReads: {
3177
- lowLeafPreimage: {
3178
- nullifier: string;
3179
- nextNullifier: string;
3180
- nextIndex: string | number | bigint;
3181
- };
3182
- lowLeafIndex: string;
3183
- lowLeafSiblingPath: string[];
3184
- }[];
3185
- nullifierWrites: {
3186
- lowLeafRead: {
3187
- lowLeafPreimage: {
3188
- nullifier: string;
3189
- nextNullifier: string;
3190
- nextIndex: string | number | bigint;
3191
- };
3192
- lowLeafIndex: string;
3193
- lowLeafSiblingPath: string[];
2839
+ getPreviousValueIndexHints: {
2840
+ value: string;
2841
+ index: string | number | bigint;
2842
+ hintKey: {
2843
+ root: string;
2844
+ nextAvailableLeafIndex: string | number | bigint;
3194
2845
  };
3195
- insertionPath: string[];
2846
+ treeId: number;
2847
+ alreadyPresent: boolean;
3196
2848
  }[];
3197
- noteHashReads: {
3198
- value: string;
3199
- leafIndex: string;
3200
- siblingPath: string[];
2849
+ getLeafPreimageHintsPublicDataTree: {
2850
+ index: string | number | bigint;
2851
+ nextIndex: string | number | bigint;
2852
+ hintKey: {
2853
+ root: string;
2854
+ nextAvailableLeafIndex: string | number | bigint;
2855
+ };
2856
+ nextValue: string;
2857
+ leaf?: any;
3201
2858
  }[];
3202
- noteHashWrites: {
3203
- value: string;
3204
- leafIndex: string;
3205
- siblingPath: string[];
2859
+ getLeafPreimageHintsNullifierTree: {
2860
+ index: string | number | bigint;
2861
+ nextIndex: string | number | bigint;
2862
+ hintKey: {
2863
+ root: string;
2864
+ nextAvailableLeafIndex: string | number | bigint;
2865
+ };
2866
+ nextValue: string;
2867
+ leaf?: any;
3206
2868
  }[];
3207
- l1ToL2MessageReads: {
2869
+ getLeafValueHints: {
3208
2870
  value: string;
3209
- leafIndex: string;
3210
- siblingPath: string[];
2871
+ index: string | number | bigint;
2872
+ hintKey: {
2873
+ root: string;
2874
+ nextAvailableLeafIndex: string | number | bigint;
2875
+ };
2876
+ treeId: number;
3211
2877
  }[];
3212
2878
  };
3213
2879
  publicInputs: {
@@ -3364,4 +3030,5 @@ export declare class AvmCircuitInputs {
3364
3030
  toBuffer(): Buffer;
3365
3031
  static fromBuffer(buf: Buffer): Promise<AvmCircuitInputs>;
3366
3032
  }
3033
+ export {};
3367
3034
  //# sourceMappingURL=avm.d.ts.map