@aztec/stdlib 0.84.0-nightly.20250409 → 0.84.0-nightly.20250412

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 (61) hide show
  1. package/dest/avm/avm.d.ts +627 -5
  2. package/dest/avm/avm.d.ts.map +1 -1
  3. package/dest/avm/avm.js +13 -7
  4. package/dest/avm/avm_proving_request.d.ts +331 -0
  5. package/dest/avm/avm_proving_request.d.ts.map +1 -1
  6. package/dest/block/index.d.ts +1 -1
  7. package/dest/block/index.d.ts.map +1 -1
  8. package/dest/block/index.js +1 -1
  9. package/dest/block/l2_block_source.d.ts +2 -0
  10. package/dest/block/l2_block_source.d.ts.map +1 -1
  11. package/dest/block/l2_block_source.js +9 -0
  12. package/dest/block/l2_block_stream/index.d.ts +4 -0
  13. package/dest/block/l2_block_stream/index.d.ts.map +1 -0
  14. package/dest/block/l2_block_stream/index.js +3 -0
  15. package/dest/block/l2_block_stream/interfaces.d.ts +26 -0
  16. package/dest/block/l2_block_stream/interfaces.d.ts.map +1 -0
  17. package/dest/block/l2_block_stream/interfaces.js +1 -0
  18. package/dest/block/{l2_block_downloader → l2_block_stream}/l2_block_stream.d.ts +4 -24
  19. package/dest/block/l2_block_stream/l2_block_stream.d.ts.map +1 -0
  20. package/dest/block/{l2_block_downloader → l2_block_stream}/l2_block_stream.js +29 -10
  21. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts +18 -0
  22. package/dest/block/l2_block_stream/l2_tips_memory_store.d.ts.map +1 -0
  23. package/dest/block/l2_block_stream/l2_tips_memory_store.js +70 -0
  24. package/dest/block/test/index.d.ts +2 -0
  25. package/dest/block/test/index.d.ts.map +1 -0
  26. package/dest/block/test/index.js +1 -0
  27. package/dest/block/test/l2_tips_store_test_suite.d.ts +3 -0
  28. package/dest/block/test/l2_tips_store_test_suite.d.ts.map +1 -0
  29. package/dest/block/test/l2_tips_store_test_suite.js +107 -0
  30. package/dest/database-version/version_manager.d.ts +21 -5
  31. package/dest/database-version/version_manager.d.ts.map +1 -1
  32. package/dest/database-version/version_manager.js +25 -15
  33. package/dest/interfaces/proving-job.d.ts +331 -0
  34. package/dest/interfaces/proving-job.d.ts.map +1 -1
  35. package/dest/proofs/proof.d.ts +4 -1
  36. package/dest/proofs/proof.d.ts.map +1 -1
  37. package/dest/proofs/proof.js +9 -17
  38. package/dest/tests/factories.d.ts.map +1 -1
  39. package/dest/tests/factories.js +3 -2
  40. package/package.json +8 -6
  41. package/src/avm/avm.ts +19 -2
  42. package/src/block/index.ts +1 -1
  43. package/src/block/l2_block_source.ts +8 -0
  44. package/src/block/l2_block_stream/index.ts +3 -0
  45. package/src/block/l2_block_stream/interfaces.ts +33 -0
  46. package/src/block/{l2_block_downloader → l2_block_stream}/l2_block_stream.ts +34 -44
  47. package/src/block/l2_block_stream/l2_tips_memory_store.ts +75 -0
  48. package/src/block/test/index.ts +1 -0
  49. package/src/block/test/l2_tips_store_test_suite.ts +87 -0
  50. package/src/database-version/version_manager.ts +56 -17
  51. package/src/proofs/proof.ts +9 -19
  52. package/src/tests/factories.ts +3 -0
  53. package/dest/block/l2_block_downloader/index.d.ts +0 -3
  54. package/dest/block/l2_block_downloader/index.d.ts.map +0 -1
  55. package/dest/block/l2_block_downloader/index.js +0 -2
  56. package/dest/block/l2_block_downloader/l2_block_downloader.d.ts +0 -58
  57. package/dest/block/l2_block_downloader/l2_block_downloader.d.ts.map +0 -1
  58. package/dest/block/l2_block_downloader/l2_block_downloader.js +0 -124
  59. package/dest/block/l2_block_downloader/l2_block_stream.d.ts.map +0 -1
  60. package/src/block/l2_block_downloader/index.ts +0 -2
  61. package/src/block/l2_block_downloader/l2_block_downloader.ts +0 -149
package/dest/avm/avm.d.ts CHANGED
@@ -8,7 +8,7 @@ import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
8
8
  import { MerkleTreeId } from '../trees/merkle_tree_id.js';
9
9
  import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
10
10
  import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
11
- import { TreeSnapshots, type Tx } from '../tx/index.js';
11
+ import { GlobalVariables, TreeSnapshots, type Tx } from '../tx/index.js';
12
12
  import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
13
13
  export declare class AvmContractClassHint {
14
14
  readonly classId: Fr;
@@ -1746,6 +1746,7 @@ export declare class AvmEnqueuedCallHint {
1746
1746
  }
1747
1747
  export declare class AvmTxHint {
1748
1748
  readonly hash: string;
1749
+ readonly globalVariables: GlobalVariables;
1749
1750
  readonly nonRevertibleAccumulatedData: {
1750
1751
  noteHashes: Fr[];
1751
1752
  nullifiers: Fr[];
@@ -1757,7 +1758,7 @@ export declare class AvmTxHint {
1757
1758
  readonly setupEnqueuedCalls: AvmEnqueuedCallHint[];
1758
1759
  readonly appLogicEnqueuedCalls: AvmEnqueuedCallHint[];
1759
1760
  readonly teardownEnqueuedCall: AvmEnqueuedCallHint | null;
1760
- constructor(hash: string, nonRevertibleAccumulatedData: {
1761
+ constructor(hash: string, globalVariables: GlobalVariables, nonRevertibleAccumulatedData: {
1761
1762
  noteHashes: Fr[];
1762
1763
  nullifiers: Fr[];
1763
1764
  }, revertibleAccumulatedData: {
@@ -1768,6 +1769,61 @@ export declare class AvmTxHint {
1768
1769
  static empty(): AvmTxHint;
1769
1770
  static get schema(): z.ZodEffects<z.ZodObject<{
1770
1771
  hash: z.ZodString;
1772
+ globalVariables: z.ZodEffects<z.ZodObject<{
1773
+ chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
1774
+ version: import("@aztec/foundation/schemas").ZodFor<Fr>;
1775
+ blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
1776
+ slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
1777
+ timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
1778
+ coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
1779
+ feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
1780
+ gasFees: z.ZodEffects<z.ZodObject<{
1781
+ feePerDaGas: z.ZodType<Fr, any, string>;
1782
+ feePerL2Gas: z.ZodType<Fr, any, string>;
1783
+ }, "strip", z.ZodTypeAny, {
1784
+ feePerDaGas: Fr;
1785
+ feePerL2Gas: Fr;
1786
+ }, {
1787
+ feePerDaGas: string;
1788
+ feePerL2Gas: string;
1789
+ }>, import("../gas/gas_fees.js").GasFees, {
1790
+ feePerDaGas: string;
1791
+ feePerL2Gas: string;
1792
+ }>;
1793
+ }, "strip", z.ZodTypeAny, {
1794
+ chainId: Fr;
1795
+ version: Fr;
1796
+ blockNumber: Fr;
1797
+ slotNumber: Fr;
1798
+ timestamp: Fr;
1799
+ coinbase: import("@aztec/foundation/schemas").EthAddress;
1800
+ feeRecipient: AztecAddress;
1801
+ gasFees: import("../gas/gas_fees.js").GasFees;
1802
+ }, {
1803
+ gasFees: {
1804
+ feePerDaGas: string;
1805
+ feePerL2Gas: string;
1806
+ };
1807
+ chainId?: any;
1808
+ version?: any;
1809
+ blockNumber?: any;
1810
+ slotNumber?: any;
1811
+ timestamp?: any;
1812
+ coinbase?: any;
1813
+ feeRecipient?: any;
1814
+ }>, GlobalVariables, {
1815
+ gasFees: {
1816
+ feePerDaGas: string;
1817
+ feePerL2Gas: string;
1818
+ };
1819
+ chainId?: any;
1820
+ version?: any;
1821
+ blockNumber?: any;
1822
+ slotNumber?: any;
1823
+ timestamp?: any;
1824
+ coinbase?: any;
1825
+ feeRecipient?: any;
1826
+ }>;
1771
1827
  nonRevertibleAccumulatedData: z.ZodObject<{
1772
1828
  noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1773
1829
  nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -1853,6 +1909,7 @@ export declare class AvmTxHint {
1853
1909
  }>>;
1854
1910
  }, "strip", z.ZodTypeAny, {
1855
1911
  hash: string;
1912
+ globalVariables: GlobalVariables;
1856
1913
  nonRevertibleAccumulatedData: {
1857
1914
  noteHashes: Fr[];
1858
1915
  nullifiers: Fr[];
@@ -1866,6 +1923,19 @@ export declare class AvmTxHint {
1866
1923
  teardownEnqueuedCall: AvmEnqueuedCallHint | null;
1867
1924
  }, {
1868
1925
  hash: string;
1926
+ globalVariables: {
1927
+ gasFees: {
1928
+ feePerDaGas: string;
1929
+ feePerL2Gas: string;
1930
+ };
1931
+ chainId?: any;
1932
+ version?: any;
1933
+ blockNumber?: any;
1934
+ slotNumber?: any;
1935
+ timestamp?: any;
1936
+ coinbase?: any;
1937
+ feeRecipient?: any;
1938
+ };
1869
1939
  nonRevertibleAccumulatedData: {
1870
1940
  noteHashes: string[];
1871
1941
  nullifiers: string[];
@@ -1894,6 +1964,19 @@ export declare class AvmTxHint {
1894
1964
  } | null;
1895
1965
  }>, AvmTxHint, {
1896
1966
  hash: string;
1967
+ globalVariables: {
1968
+ gasFees: {
1969
+ feePerDaGas: string;
1970
+ feePerL2Gas: string;
1971
+ };
1972
+ chainId?: any;
1973
+ version?: any;
1974
+ blockNumber?: any;
1975
+ slotNumber?: any;
1976
+ timestamp?: any;
1977
+ coinbase?: any;
1978
+ feeRecipient?: any;
1979
+ };
1897
1980
  nonRevertibleAccumulatedData: {
1898
1981
  noteHashes: string[];
1899
1982
  nullifiers: string[];
@@ -1927,6 +2010,7 @@ export declare class AvmExecutionHints {
1927
2010
  readonly contractInstances: AvmContractInstanceHint[];
1928
2011
  readonly contractClasses: AvmContractClassHint[];
1929
2012
  readonly bytecodeCommitments: AvmBytecodeCommitmentHint[];
2013
+ startingTreeRoots: TreeSnapshots;
1930
2014
  readonly getSiblingPathHints: AvmGetSiblingPathHint[];
1931
2015
  readonly getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
1932
2016
  readonly getLeafPreimageHintsPublicDataTree: AvmGetLeafPreimageHintPublicDataTree[];
@@ -1938,11 +2022,66 @@ export declare class AvmExecutionHints {
1938
2022
  readonly createCheckpointHints: AvmCreateCheckpointHint[];
1939
2023
  readonly commitCheckpointHints: AvmCommitCheckpointHint[];
1940
2024
  readonly revertCheckpointHints: AvmRevertCheckpointHint[];
1941
- constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
2025
+ constructor(tx: AvmTxHint, contractInstances?: AvmContractInstanceHint[], contractClasses?: AvmContractClassHint[], bytecodeCommitments?: AvmBytecodeCommitmentHint[], startingTreeRoots?: TreeSnapshots, getSiblingPathHints?: AvmGetSiblingPathHint[], getPreviousValueIndexHints?: AvmGetPreviousValueIndexHint[], getLeafPreimageHintsPublicDataTree?: AvmGetLeafPreimageHintPublicDataTree[], getLeafPreimageHintsNullifierTree?: AvmGetLeafPreimageHintNullifierTree[], getLeafValueHints?: AvmGetLeafValueHint[], sequentialInsertHintsPublicDataTree?: AvmSequentialInsertHintPublicDataTree[], sequentialInsertHintsNullifierTree?: AvmSequentialInsertHintNullifierTree[], appendLeavesHints?: AvmAppendLeavesHint[], createCheckpointHints?: AvmCreateCheckpointHint[], commitCheckpointHints?: AvmCommitCheckpointHint[], revertCheckpointHints?: AvmRevertCheckpointHint[]);
1942
2026
  static empty(): AvmExecutionHints;
1943
2027
  static get schema(): z.ZodEffects<z.ZodObject<{
1944
2028
  tx: z.ZodEffects<z.ZodObject<{
1945
2029
  hash: z.ZodString;
2030
+ globalVariables: z.ZodEffects<z.ZodObject<{
2031
+ chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
2032
+ version: import("@aztec/foundation/schemas").ZodFor<Fr>;
2033
+ blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
2034
+ slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
2035
+ timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
2036
+ coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
2037
+ feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
2038
+ gasFees: z.ZodEffects<z.ZodObject<{
2039
+ feePerDaGas: z.ZodType<Fr, any, string>;
2040
+ feePerL2Gas: z.ZodType<Fr, any, string>;
2041
+ }, "strip", z.ZodTypeAny, {
2042
+ feePerDaGas: Fr;
2043
+ feePerL2Gas: Fr;
2044
+ }, {
2045
+ feePerDaGas: string;
2046
+ feePerL2Gas: string;
2047
+ }>, import("../gas/gas_fees.js").GasFees, {
2048
+ feePerDaGas: string;
2049
+ feePerL2Gas: string;
2050
+ }>;
2051
+ }, "strip", z.ZodTypeAny, {
2052
+ chainId: Fr;
2053
+ version: Fr;
2054
+ blockNumber: Fr;
2055
+ slotNumber: Fr;
2056
+ timestamp: Fr;
2057
+ coinbase: import("@aztec/foundation/schemas").EthAddress;
2058
+ feeRecipient: AztecAddress;
2059
+ gasFees: import("../gas/gas_fees.js").GasFees;
2060
+ }, {
2061
+ gasFees: {
2062
+ feePerDaGas: string;
2063
+ feePerL2Gas: string;
2064
+ };
2065
+ chainId?: any;
2066
+ version?: any;
2067
+ blockNumber?: any;
2068
+ slotNumber?: any;
2069
+ timestamp?: any;
2070
+ coinbase?: any;
2071
+ feeRecipient?: any;
2072
+ }>, GlobalVariables, {
2073
+ gasFees: {
2074
+ feePerDaGas: string;
2075
+ feePerL2Gas: string;
2076
+ };
2077
+ chainId?: any;
2078
+ version?: any;
2079
+ blockNumber?: any;
2080
+ slotNumber?: any;
2081
+ timestamp?: any;
2082
+ coinbase?: any;
2083
+ feeRecipient?: any;
2084
+ }>;
1946
2085
  nonRevertibleAccumulatedData: z.ZodObject<{
1947
2086
  noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
1948
2087
  nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -2028,6 +2167,7 @@ export declare class AvmExecutionHints {
2028
2167
  }>>;
2029
2168
  }, "strip", z.ZodTypeAny, {
2030
2169
  hash: string;
2170
+ globalVariables: GlobalVariables;
2031
2171
  nonRevertibleAccumulatedData: {
2032
2172
  noteHashes: Fr[];
2033
2173
  nullifiers: Fr[];
@@ -2041,6 +2181,19 @@ export declare class AvmExecutionHints {
2041
2181
  teardownEnqueuedCall: AvmEnqueuedCallHint | null;
2042
2182
  }, {
2043
2183
  hash: string;
2184
+ globalVariables: {
2185
+ gasFees: {
2186
+ feePerDaGas: string;
2187
+ feePerL2Gas: string;
2188
+ };
2189
+ chainId?: any;
2190
+ version?: any;
2191
+ blockNumber?: any;
2192
+ slotNumber?: any;
2193
+ timestamp?: any;
2194
+ coinbase?: any;
2195
+ feeRecipient?: any;
2196
+ };
2044
2197
  nonRevertibleAccumulatedData: {
2045
2198
  noteHashes: string[];
2046
2199
  nullifiers: string[];
@@ -2069,6 +2222,19 @@ export declare class AvmExecutionHints {
2069
2222
  } | null;
2070
2223
  }>, AvmTxHint, {
2071
2224
  hash: string;
2225
+ globalVariables: {
2226
+ gasFees: {
2227
+ feePerDaGas: string;
2228
+ feePerL2Gas: string;
2229
+ };
2230
+ chainId?: any;
2231
+ version?: any;
2232
+ blockNumber?: any;
2233
+ slotNumber?: any;
2234
+ timestamp?: any;
2235
+ coinbase?: any;
2236
+ feeRecipient?: any;
2237
+ };
2072
2238
  nonRevertibleAccumulatedData: {
2073
2239
  noteHashes: string[];
2074
2240
  nullifiers: string[];
@@ -2211,6 +2377,99 @@ export declare class AvmExecutionHints {
2211
2377
  classId: string;
2212
2378
  commitment: string;
2213
2379
  }>, "many">;
2380
+ startingTreeRoots: z.ZodEffects<z.ZodObject<{
2381
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
2382
+ root: z.ZodType<Fr, any, string>;
2383
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2384
+ }, "strip", z.ZodTypeAny, {
2385
+ root: Fr;
2386
+ nextAvailableLeafIndex: number;
2387
+ }, {
2388
+ root: string;
2389
+ nextAvailableLeafIndex: string | number | bigint;
2390
+ }>, AppendOnlyTreeSnapshot, {
2391
+ root: string;
2392
+ nextAvailableLeafIndex: string | number | bigint;
2393
+ }>;
2394
+ noteHashTree: z.ZodEffects<z.ZodObject<{
2395
+ root: z.ZodType<Fr, any, string>;
2396
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2397
+ }, "strip", z.ZodTypeAny, {
2398
+ root: Fr;
2399
+ nextAvailableLeafIndex: number;
2400
+ }, {
2401
+ root: string;
2402
+ nextAvailableLeafIndex: string | number | bigint;
2403
+ }>, AppendOnlyTreeSnapshot, {
2404
+ root: string;
2405
+ nextAvailableLeafIndex: string | number | bigint;
2406
+ }>;
2407
+ nullifierTree: z.ZodEffects<z.ZodObject<{
2408
+ root: z.ZodType<Fr, any, string>;
2409
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2410
+ }, "strip", z.ZodTypeAny, {
2411
+ root: Fr;
2412
+ nextAvailableLeafIndex: number;
2413
+ }, {
2414
+ root: string;
2415
+ nextAvailableLeafIndex: string | number | bigint;
2416
+ }>, AppendOnlyTreeSnapshot, {
2417
+ root: string;
2418
+ nextAvailableLeafIndex: string | number | bigint;
2419
+ }>;
2420
+ publicDataTree: z.ZodEffects<z.ZodObject<{
2421
+ root: z.ZodType<Fr, any, string>;
2422
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
2423
+ }, "strip", z.ZodTypeAny, {
2424
+ root: Fr;
2425
+ nextAvailableLeafIndex: number;
2426
+ }, {
2427
+ root: string;
2428
+ nextAvailableLeafIndex: string | number | bigint;
2429
+ }>, AppendOnlyTreeSnapshot, {
2430
+ root: string;
2431
+ nextAvailableLeafIndex: string | number | bigint;
2432
+ }>;
2433
+ }, "strip", z.ZodTypeAny, {
2434
+ noteHashTree: AppendOnlyTreeSnapshot;
2435
+ nullifierTree: AppendOnlyTreeSnapshot;
2436
+ publicDataTree: AppendOnlyTreeSnapshot;
2437
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
2438
+ }, {
2439
+ noteHashTree: {
2440
+ root: string;
2441
+ nextAvailableLeafIndex: string | number | bigint;
2442
+ };
2443
+ nullifierTree: {
2444
+ root: string;
2445
+ nextAvailableLeafIndex: string | number | bigint;
2446
+ };
2447
+ publicDataTree: {
2448
+ root: string;
2449
+ nextAvailableLeafIndex: string | number | bigint;
2450
+ };
2451
+ l1ToL2MessageTree: {
2452
+ root: string;
2453
+ nextAvailableLeafIndex: string | number | bigint;
2454
+ };
2455
+ }>, TreeSnapshots, {
2456
+ noteHashTree: {
2457
+ root: string;
2458
+ nextAvailableLeafIndex: string | number | bigint;
2459
+ };
2460
+ nullifierTree: {
2461
+ root: string;
2462
+ nextAvailableLeafIndex: string | number | bigint;
2463
+ };
2464
+ publicDataTree: {
2465
+ root: string;
2466
+ nextAvailableLeafIndex: string | number | bigint;
2467
+ };
2468
+ l1ToL2MessageTree: {
2469
+ root: string;
2470
+ nextAvailableLeafIndex: string | number | bigint;
2471
+ };
2472
+ }>;
2214
2473
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
2215
2474
  hintKey: z.ZodEffects<z.ZodObject<{
2216
2475
  root: z.ZodType<Fr, any, string>;
@@ -3679,6 +3938,7 @@ export declare class AvmExecutionHints {
3679
3938
  contractInstances: AvmContractInstanceHint[];
3680
3939
  contractClasses: AvmContractClassHint[];
3681
3940
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
3941
+ startingTreeRoots: TreeSnapshots;
3682
3942
  getSiblingPathHints: AvmGetSiblingPathHint[];
3683
3943
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
3684
3944
  getLeafPreimageHintsPublicDataTree: {
@@ -3731,6 +3991,19 @@ export declare class AvmExecutionHints {
3731
3991
  }, {
3732
3992
  tx: {
3733
3993
  hash: string;
3994
+ globalVariables: {
3995
+ gasFees: {
3996
+ feePerDaGas: string;
3997
+ feePerL2Gas: string;
3998
+ };
3999
+ chainId?: any;
4000
+ version?: any;
4001
+ blockNumber?: any;
4002
+ slotNumber?: any;
4003
+ timestamp?: any;
4004
+ coinbase?: any;
4005
+ feeRecipient?: any;
4006
+ };
3734
4007
  nonRevertibleAccumulatedData: {
3735
4008
  noteHashes: string[];
3736
4009
  nullifiers: string[];
@@ -3785,6 +4058,24 @@ export declare class AvmExecutionHints {
3785
4058
  classId: string;
3786
4059
  commitment: string;
3787
4060
  }[];
4061
+ startingTreeRoots: {
4062
+ noteHashTree: {
4063
+ root: string;
4064
+ nextAvailableLeafIndex: string | number | bigint;
4065
+ };
4066
+ nullifierTree: {
4067
+ root: string;
4068
+ nextAvailableLeafIndex: string | number | bigint;
4069
+ };
4070
+ publicDataTree: {
4071
+ root: string;
4072
+ nextAvailableLeafIndex: string | number | bigint;
4073
+ };
4074
+ l1ToL2MessageTree: {
4075
+ root: string;
4076
+ nextAvailableLeafIndex: string | number | bigint;
4077
+ };
4078
+ };
3788
4079
  getSiblingPathHints: {
3789
4080
  path: string[];
3790
4081
  index: string | number | bigint;
@@ -4027,6 +4318,19 @@ export declare class AvmExecutionHints {
4027
4318
  }>, AvmExecutionHints, {
4028
4319
  tx: {
4029
4320
  hash: string;
4321
+ globalVariables: {
4322
+ gasFees: {
4323
+ feePerDaGas: string;
4324
+ feePerL2Gas: string;
4325
+ };
4326
+ chainId?: any;
4327
+ version?: any;
4328
+ blockNumber?: any;
4329
+ slotNumber?: any;
4330
+ timestamp?: any;
4331
+ coinbase?: any;
4332
+ feeRecipient?: any;
4333
+ };
4030
4334
  nonRevertibleAccumulatedData: {
4031
4335
  noteHashes: string[];
4032
4336
  nullifiers: string[];
@@ -4081,6 +4385,24 @@ export declare class AvmExecutionHints {
4081
4385
  classId: string;
4082
4386
  commitment: string;
4083
4387
  }[];
4388
+ startingTreeRoots: {
4389
+ noteHashTree: {
4390
+ root: string;
4391
+ nextAvailableLeafIndex: string | number | bigint;
4392
+ };
4393
+ nullifierTree: {
4394
+ root: string;
4395
+ nextAvailableLeafIndex: string | number | bigint;
4396
+ };
4397
+ publicDataTree: {
4398
+ root: string;
4399
+ nextAvailableLeafIndex: string | number | bigint;
4400
+ };
4401
+ l1ToL2MessageTree: {
4402
+ root: string;
4403
+ nextAvailableLeafIndex: string | number | bigint;
4404
+ };
4405
+ };
4084
4406
  getSiblingPathHints: {
4085
4407
  path: string[];
4086
4408
  index: string | number | bigint;
@@ -4331,6 +4653,61 @@ export declare class AvmCircuitInputs {
4331
4653
  hints: z.ZodEffects<z.ZodObject<{
4332
4654
  tx: z.ZodEffects<z.ZodObject<{
4333
4655
  hash: z.ZodString;
4656
+ globalVariables: z.ZodEffects<z.ZodObject<{
4657
+ chainId: import("@aztec/foundation/schemas").ZodFor<Fr>;
4658
+ version: import("@aztec/foundation/schemas").ZodFor<Fr>;
4659
+ blockNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
4660
+ slotNumber: import("@aztec/foundation/schemas").ZodFor<Fr>;
4661
+ timestamp: import("@aztec/foundation/schemas").ZodFor<Fr>;
4662
+ coinbase: import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").EthAddress>;
4663
+ feeRecipient: import("@aztec/foundation/schemas").ZodFor<AztecAddress>;
4664
+ gasFees: z.ZodEffects<z.ZodObject<{
4665
+ feePerDaGas: z.ZodType<Fr, any, string>;
4666
+ feePerL2Gas: z.ZodType<Fr, any, string>;
4667
+ }, "strip", z.ZodTypeAny, {
4668
+ feePerDaGas: Fr;
4669
+ feePerL2Gas: Fr;
4670
+ }, {
4671
+ feePerDaGas: string;
4672
+ feePerL2Gas: string;
4673
+ }>, import("../gas/gas_fees.js").GasFees, {
4674
+ feePerDaGas: string;
4675
+ feePerL2Gas: string;
4676
+ }>;
4677
+ }, "strip", z.ZodTypeAny, {
4678
+ chainId: Fr;
4679
+ version: Fr;
4680
+ blockNumber: Fr;
4681
+ slotNumber: Fr;
4682
+ timestamp: Fr;
4683
+ coinbase: import("@aztec/foundation/schemas").EthAddress;
4684
+ feeRecipient: AztecAddress;
4685
+ gasFees: import("../gas/gas_fees.js").GasFees;
4686
+ }, {
4687
+ gasFees: {
4688
+ feePerDaGas: string;
4689
+ feePerL2Gas: string;
4690
+ };
4691
+ chainId?: any;
4692
+ version?: any;
4693
+ blockNumber?: any;
4694
+ slotNumber?: any;
4695
+ timestamp?: any;
4696
+ coinbase?: any;
4697
+ feeRecipient?: any;
4698
+ }>, GlobalVariables, {
4699
+ gasFees: {
4700
+ feePerDaGas: string;
4701
+ feePerL2Gas: string;
4702
+ };
4703
+ chainId?: any;
4704
+ version?: any;
4705
+ blockNumber?: any;
4706
+ slotNumber?: any;
4707
+ timestamp?: any;
4708
+ coinbase?: any;
4709
+ feeRecipient?: any;
4710
+ }>;
4334
4711
  nonRevertibleAccumulatedData: z.ZodObject<{
4335
4712
  noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
4336
4713
  nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
@@ -4416,6 +4793,7 @@ export declare class AvmCircuitInputs {
4416
4793
  }>>;
4417
4794
  }, "strip", z.ZodTypeAny, {
4418
4795
  hash: string;
4796
+ globalVariables: GlobalVariables;
4419
4797
  nonRevertibleAccumulatedData: {
4420
4798
  noteHashes: Fr[];
4421
4799
  nullifiers: Fr[];
@@ -4429,6 +4807,19 @@ export declare class AvmCircuitInputs {
4429
4807
  teardownEnqueuedCall: AvmEnqueuedCallHint | null;
4430
4808
  }, {
4431
4809
  hash: string;
4810
+ globalVariables: {
4811
+ gasFees: {
4812
+ feePerDaGas: string;
4813
+ feePerL2Gas: string;
4814
+ };
4815
+ chainId?: any;
4816
+ version?: any;
4817
+ blockNumber?: any;
4818
+ slotNumber?: any;
4819
+ timestamp?: any;
4820
+ coinbase?: any;
4821
+ feeRecipient?: any;
4822
+ };
4432
4823
  nonRevertibleAccumulatedData: {
4433
4824
  noteHashes: string[];
4434
4825
  nullifiers: string[];
@@ -4457,6 +4848,19 @@ export declare class AvmCircuitInputs {
4457
4848
  } | null;
4458
4849
  }>, AvmTxHint, {
4459
4850
  hash: string;
4851
+ globalVariables: {
4852
+ gasFees: {
4853
+ feePerDaGas: string;
4854
+ feePerL2Gas: string;
4855
+ };
4856
+ chainId?: any;
4857
+ version?: any;
4858
+ blockNumber?: any;
4859
+ slotNumber?: any;
4860
+ timestamp?: any;
4861
+ coinbase?: any;
4862
+ feeRecipient?: any;
4863
+ };
4460
4864
  nonRevertibleAccumulatedData: {
4461
4865
  noteHashes: string[];
4462
4866
  nullifiers: string[];
@@ -4599,6 +5003,99 @@ export declare class AvmCircuitInputs {
4599
5003
  classId: string;
4600
5004
  commitment: string;
4601
5005
  }>, "many">;
5006
+ startingTreeRoots: z.ZodEffects<z.ZodObject<{
5007
+ l1ToL2MessageTree: z.ZodEffects<z.ZodObject<{
5008
+ root: z.ZodType<Fr, any, string>;
5009
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5010
+ }, "strip", z.ZodTypeAny, {
5011
+ root: Fr;
5012
+ nextAvailableLeafIndex: number;
5013
+ }, {
5014
+ root: string;
5015
+ nextAvailableLeafIndex: string | number | bigint;
5016
+ }>, AppendOnlyTreeSnapshot, {
5017
+ root: string;
5018
+ nextAvailableLeafIndex: string | number | bigint;
5019
+ }>;
5020
+ noteHashTree: z.ZodEffects<z.ZodObject<{
5021
+ root: z.ZodType<Fr, any, string>;
5022
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5023
+ }, "strip", z.ZodTypeAny, {
5024
+ root: Fr;
5025
+ nextAvailableLeafIndex: number;
5026
+ }, {
5027
+ root: string;
5028
+ nextAvailableLeafIndex: string | number | bigint;
5029
+ }>, AppendOnlyTreeSnapshot, {
5030
+ root: string;
5031
+ nextAvailableLeafIndex: string | number | bigint;
5032
+ }>;
5033
+ nullifierTree: z.ZodEffects<z.ZodObject<{
5034
+ root: z.ZodType<Fr, any, string>;
5035
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5036
+ }, "strip", z.ZodTypeAny, {
5037
+ root: Fr;
5038
+ nextAvailableLeafIndex: number;
5039
+ }, {
5040
+ root: string;
5041
+ nextAvailableLeafIndex: string | number | bigint;
5042
+ }>, AppendOnlyTreeSnapshot, {
5043
+ root: string;
5044
+ nextAvailableLeafIndex: string | number | bigint;
5045
+ }>;
5046
+ publicDataTree: z.ZodEffects<z.ZodObject<{
5047
+ root: z.ZodType<Fr, any, string>;
5048
+ nextAvailableLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
5049
+ }, "strip", z.ZodTypeAny, {
5050
+ root: Fr;
5051
+ nextAvailableLeafIndex: number;
5052
+ }, {
5053
+ root: string;
5054
+ nextAvailableLeafIndex: string | number | bigint;
5055
+ }>, AppendOnlyTreeSnapshot, {
5056
+ root: string;
5057
+ nextAvailableLeafIndex: string | number | bigint;
5058
+ }>;
5059
+ }, "strip", z.ZodTypeAny, {
5060
+ noteHashTree: AppendOnlyTreeSnapshot;
5061
+ nullifierTree: AppendOnlyTreeSnapshot;
5062
+ publicDataTree: AppendOnlyTreeSnapshot;
5063
+ l1ToL2MessageTree: AppendOnlyTreeSnapshot;
5064
+ }, {
5065
+ noteHashTree: {
5066
+ root: string;
5067
+ nextAvailableLeafIndex: string | number | bigint;
5068
+ };
5069
+ nullifierTree: {
5070
+ root: string;
5071
+ nextAvailableLeafIndex: string | number | bigint;
5072
+ };
5073
+ publicDataTree: {
5074
+ root: string;
5075
+ nextAvailableLeafIndex: string | number | bigint;
5076
+ };
5077
+ l1ToL2MessageTree: {
5078
+ root: string;
5079
+ nextAvailableLeafIndex: string | number | bigint;
5080
+ };
5081
+ }>, TreeSnapshots, {
5082
+ noteHashTree: {
5083
+ root: string;
5084
+ nextAvailableLeafIndex: string | number | bigint;
5085
+ };
5086
+ nullifierTree: {
5087
+ root: string;
5088
+ nextAvailableLeafIndex: string | number | bigint;
5089
+ };
5090
+ publicDataTree: {
5091
+ root: string;
5092
+ nextAvailableLeafIndex: string | number | bigint;
5093
+ };
5094
+ l1ToL2MessageTree: {
5095
+ root: string;
5096
+ nextAvailableLeafIndex: string | number | bigint;
5097
+ };
5098
+ }>;
4602
5099
  getSiblingPathHints: z.ZodArray<z.ZodEffects<z.ZodObject<{
4603
5100
  hintKey: z.ZodEffects<z.ZodObject<{
4604
5101
  root: z.ZodType<Fr, any, string>;
@@ -6067,6 +6564,7 @@ export declare class AvmCircuitInputs {
6067
6564
  contractInstances: AvmContractInstanceHint[];
6068
6565
  contractClasses: AvmContractClassHint[];
6069
6566
  bytecodeCommitments: AvmBytecodeCommitmentHint[];
6567
+ startingTreeRoots: TreeSnapshots;
6070
6568
  getSiblingPathHints: AvmGetSiblingPathHint[];
6071
6569
  getPreviousValueIndexHints: AvmGetPreviousValueIndexHint[];
6072
6570
  getLeafPreimageHintsPublicDataTree: {
@@ -6119,6 +6617,19 @@ export declare class AvmCircuitInputs {
6119
6617
  }, {
6120
6618
  tx: {
6121
6619
  hash: string;
6620
+ globalVariables: {
6621
+ gasFees: {
6622
+ feePerDaGas: string;
6623
+ feePerL2Gas: string;
6624
+ };
6625
+ chainId?: any;
6626
+ version?: any;
6627
+ blockNumber?: any;
6628
+ slotNumber?: any;
6629
+ timestamp?: any;
6630
+ coinbase?: any;
6631
+ feeRecipient?: any;
6632
+ };
6122
6633
  nonRevertibleAccumulatedData: {
6123
6634
  noteHashes: string[];
6124
6635
  nullifiers: string[];
@@ -6173,6 +6684,24 @@ export declare class AvmCircuitInputs {
6173
6684
  classId: string;
6174
6685
  commitment: string;
6175
6686
  }[];
6687
+ startingTreeRoots: {
6688
+ noteHashTree: {
6689
+ root: string;
6690
+ nextAvailableLeafIndex: string | number | bigint;
6691
+ };
6692
+ nullifierTree: {
6693
+ root: string;
6694
+ nextAvailableLeafIndex: string | number | bigint;
6695
+ };
6696
+ publicDataTree: {
6697
+ root: string;
6698
+ nextAvailableLeafIndex: string | number | bigint;
6699
+ };
6700
+ l1ToL2MessageTree: {
6701
+ root: string;
6702
+ nextAvailableLeafIndex: string | number | bigint;
6703
+ };
6704
+ };
6176
6705
  getSiblingPathHints: {
6177
6706
  path: string[];
6178
6707
  index: string | number | bigint;
@@ -6415,6 +6944,19 @@ export declare class AvmCircuitInputs {
6415
6944
  }>, AvmExecutionHints, {
6416
6945
  tx: {
6417
6946
  hash: string;
6947
+ globalVariables: {
6948
+ gasFees: {
6949
+ feePerDaGas: string;
6950
+ feePerL2Gas: string;
6951
+ };
6952
+ chainId?: any;
6953
+ version?: any;
6954
+ blockNumber?: any;
6955
+ slotNumber?: any;
6956
+ timestamp?: any;
6957
+ coinbase?: any;
6958
+ feeRecipient?: any;
6959
+ };
6418
6960
  nonRevertibleAccumulatedData: {
6419
6961
  noteHashes: string[];
6420
6962
  nullifiers: string[];
@@ -6469,6 +7011,24 @@ export declare class AvmCircuitInputs {
6469
7011
  classId: string;
6470
7012
  commitment: string;
6471
7013
  }[];
7014
+ startingTreeRoots: {
7015
+ noteHashTree: {
7016
+ root: string;
7017
+ nextAvailableLeafIndex: string | number | bigint;
7018
+ };
7019
+ nullifierTree: {
7020
+ root: string;
7021
+ nextAvailableLeafIndex: string | number | bigint;
7022
+ };
7023
+ publicDataTree: {
7024
+ root: string;
7025
+ nextAvailableLeafIndex: string | number | bigint;
7026
+ };
7027
+ l1ToL2MessageTree: {
7028
+ root: string;
7029
+ nextAvailableLeafIndex: string | number | bigint;
7030
+ };
7031
+ };
6472
7032
  getSiblingPathHints: {
6473
7033
  path: string[];
6474
7034
  index: string | number | bigint;
@@ -6752,7 +7312,7 @@ export declare class AvmCircuitInputs {
6752
7312
  timestamp?: any;
6753
7313
  coinbase?: any;
6754
7314
  feeRecipient?: any;
6755
- }>, import("../tx/global_variables.js").GlobalVariables, {
7315
+ }>, GlobalVariables, {
6756
7316
  gasFees: {
6757
7317
  feePerDaGas: string;
6758
7318
  feePerL2Gas: string;
@@ -7398,7 +7958,7 @@ export declare class AvmCircuitInputs {
7398
7958
  transactionFee: z.ZodType<Fr, any, string>;
7399
7959
  reverted: z.ZodBoolean;
7400
7960
  }, "strip", z.ZodTypeAny, {
7401
- globalVariables: import("../tx/global_variables.js").GlobalVariables;
7961
+ globalVariables: GlobalVariables;
7402
7962
  gasSettings: import("../gas/gas_settings.js").GasSettings;
7403
7963
  publicTeardownCallRequest: import("../kernel/public_call_request.js").PublicCallRequest;
7404
7964
  transactionFee: Fr;
@@ -7868,6 +8428,19 @@ export declare class AvmCircuitInputs {
7868
8428
  hints: {
7869
8429
  tx: {
7870
8430
  hash: string;
8431
+ globalVariables: {
8432
+ gasFees: {
8433
+ feePerDaGas: string;
8434
+ feePerL2Gas: string;
8435
+ };
8436
+ chainId?: any;
8437
+ version?: any;
8438
+ blockNumber?: any;
8439
+ slotNumber?: any;
8440
+ timestamp?: any;
8441
+ coinbase?: any;
8442
+ feeRecipient?: any;
8443
+ };
7871
8444
  nonRevertibleAccumulatedData: {
7872
8445
  noteHashes: string[];
7873
8446
  nullifiers: string[];
@@ -7922,6 +8495,24 @@ export declare class AvmCircuitInputs {
7922
8495
  classId: string;
7923
8496
  commitment: string;
7924
8497
  }[];
8498
+ startingTreeRoots: {
8499
+ noteHashTree: {
8500
+ root: string;
8501
+ nextAvailableLeafIndex: string | number | bigint;
8502
+ };
8503
+ nullifierTree: {
8504
+ root: string;
8505
+ nextAvailableLeafIndex: string | number | bigint;
8506
+ };
8507
+ publicDataTree: {
8508
+ root: string;
8509
+ nextAvailableLeafIndex: string | number | bigint;
8510
+ };
8511
+ l1ToL2MessageTree: {
8512
+ root: string;
8513
+ nextAvailableLeafIndex: string | number | bigint;
8514
+ };
8515
+ };
7925
8516
  getSiblingPathHints: {
7926
8517
  path: string[];
7927
8518
  index: string | number | bigint;
@@ -8315,6 +8906,19 @@ export declare class AvmCircuitInputs {
8315
8906
  hints: {
8316
8907
  tx: {
8317
8908
  hash: string;
8909
+ globalVariables: {
8910
+ gasFees: {
8911
+ feePerDaGas: string;
8912
+ feePerL2Gas: string;
8913
+ };
8914
+ chainId?: any;
8915
+ version?: any;
8916
+ blockNumber?: any;
8917
+ slotNumber?: any;
8918
+ timestamp?: any;
8919
+ coinbase?: any;
8920
+ feeRecipient?: any;
8921
+ };
8318
8922
  nonRevertibleAccumulatedData: {
8319
8923
  noteHashes: string[];
8320
8924
  nullifiers: string[];
@@ -8369,6 +8973,24 @@ export declare class AvmCircuitInputs {
8369
8973
  classId: string;
8370
8974
  commitment: string;
8371
8975
  }[];
8976
+ startingTreeRoots: {
8977
+ noteHashTree: {
8978
+ root: string;
8979
+ nextAvailableLeafIndex: string | number | bigint;
8980
+ };
8981
+ nullifierTree: {
8982
+ root: string;
8983
+ nextAvailableLeafIndex: string | number | bigint;
8984
+ };
8985
+ publicDataTree: {
8986
+ root: string;
8987
+ nextAvailableLeafIndex: string | number | bigint;
8988
+ };
8989
+ l1ToL2MessageTree: {
8990
+ root: string;
8991
+ nextAvailableLeafIndex: string | number | bigint;
8992
+ };
8993
+ };
8372
8994
  getSiblingPathHints: {
8373
8995
  path: string[];
8374
8996
  index: string | number | bigint;