@aztec/archiver 0.0.1-commit.343b43af6 → 0.0.1-commit.350e0a4d

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 (121) hide show
  1. package/README.md +19 -11
  2. package/dest/archiver.d.ts +71 -16
  3. package/dest/archiver.d.ts.map +1 -1
  4. package/dest/archiver.js +295 -79
  5. package/dest/config.d.ts +7 -3
  6. package/dest/config.d.ts.map +1 -1
  7. package/dest/config.js +38 -14
  8. package/dest/errors.d.ts +50 -2
  9. package/dest/errors.d.ts.map +1 -1
  10. package/dest/errors.js +74 -2
  11. package/dest/factory.d.ts +12 -7
  12. package/dest/factory.d.ts.map +1 -1
  13. package/dest/factory.js +49 -32
  14. package/dest/index.d.ts +11 -3
  15. package/dest/index.d.ts.map +1 -1
  16. package/dest/index.js +10 -2
  17. package/dest/l1/calldata_retriever.d.ts +9 -1
  18. package/dest/l1/calldata_retriever.d.ts.map +1 -1
  19. package/dest/l1/calldata_retriever.js +22 -11
  20. package/dest/l1/data_retrieval.d.ts +25 -11
  21. package/dest/l1/data_retrieval.d.ts.map +1 -1
  22. package/dest/l1/data_retrieval.js +25 -32
  23. package/dest/l1/trace_tx.d.ts +12 -66
  24. package/dest/l1/trace_tx.d.ts.map +1 -1
  25. package/dest/l1/validate_historical_logs.d.ts +23 -0
  26. package/dest/l1/validate_historical_logs.d.ts.map +1 -0
  27. package/dest/l1/validate_historical_logs.js +108 -0
  28. package/dest/modules/contract_data_source_adapter.d.ts +25 -0
  29. package/dest/modules/contract_data_source_adapter.d.ts.map +1 -0
  30. package/dest/modules/contract_data_source_adapter.js +32 -0
  31. package/dest/modules/data_source_base.d.ts +71 -48
  32. package/dest/modules/data_source_base.d.ts.map +1 -1
  33. package/dest/modules/data_source_base.js +250 -144
  34. package/dest/modules/data_store_updater.d.ts +30 -13
  35. package/dest/modules/data_store_updater.d.ts.map +1 -1
  36. package/dest/modules/data_store_updater.js +169 -118
  37. package/dest/modules/instrumentation.d.ts +15 -2
  38. package/dest/modules/instrumentation.d.ts.map +1 -1
  39. package/dest/modules/instrumentation.js +48 -9
  40. package/dest/modules/l1_synchronizer.d.ts +13 -8
  41. package/dest/modules/l1_synchronizer.d.ts.map +1 -1
  42. package/dest/modules/l1_synchronizer.js +459 -221
  43. package/dest/modules/outbox_trees_resolver.d.ts +62 -0
  44. package/dest/modules/outbox_trees_resolver.d.ts.map +1 -0
  45. package/dest/modules/outbox_trees_resolver.js +162 -0
  46. package/dest/modules/validation.d.ts +30 -7
  47. package/dest/modules/validation.d.ts.map +1 -1
  48. package/dest/modules/validation.js +35 -17
  49. package/dest/store/block_store.d.ts +176 -67
  50. package/dest/store/block_store.d.ts.map +1 -1
  51. package/dest/store/block_store.js +669 -233
  52. package/dest/store/contract_class_store.d.ts +17 -4
  53. package/dest/store/contract_class_store.d.ts.map +1 -1
  54. package/dest/store/contract_class_store.js +42 -68
  55. package/dest/store/contract_instance_store.d.ts +28 -1
  56. package/dest/store/contract_instance_store.d.ts.map +1 -1
  57. package/dest/store/contract_instance_store.js +54 -2
  58. package/dest/store/data_stores.d.ts +68 -0
  59. package/dest/store/data_stores.d.ts.map +1 -0
  60. package/dest/store/data_stores.js +54 -0
  61. package/dest/store/function_names_cache.d.ts +17 -0
  62. package/dest/store/function_names_cache.d.ts.map +1 -0
  63. package/dest/store/function_names_cache.js +30 -0
  64. package/dest/store/l2_tips_cache.d.ts +13 -7
  65. package/dest/store/l2_tips_cache.d.ts.map +1 -1
  66. package/dest/store/l2_tips_cache.js +13 -76
  67. package/dest/store/log_store.d.ts +42 -37
  68. package/dest/store/log_store.d.ts.map +1 -1
  69. package/dest/store/log_store.js +262 -408
  70. package/dest/store/log_store_codec.d.ts +78 -0
  71. package/dest/store/log_store_codec.d.ts.map +1 -0
  72. package/dest/store/log_store_codec.js +110 -0
  73. package/dest/store/message_store.d.ts +11 -1
  74. package/dest/store/message_store.d.ts.map +1 -1
  75. package/dest/store/message_store.js +50 -8
  76. package/dest/test/fake_l1_state.d.ts +15 -3
  77. package/dest/test/fake_l1_state.d.ts.map +1 -1
  78. package/dest/test/fake_l1_state.js +91 -21
  79. package/dest/test/mock_l2_block_source.d.ts +48 -50
  80. package/dest/test/mock_l2_block_source.d.ts.map +1 -1
  81. package/dest/test/mock_l2_block_source.js +227 -178
  82. package/dest/test/mock_structs.d.ts +1 -1
  83. package/dest/test/mock_structs.d.ts.map +1 -1
  84. package/dest/test/mock_structs.js +2 -2
  85. package/dest/test/noop_l1_archiver.d.ts +14 -6
  86. package/dest/test/noop_l1_archiver.d.ts.map +1 -1
  87. package/dest/test/noop_l1_archiver.js +26 -10
  88. package/package.json +14 -14
  89. package/src/archiver.ts +383 -85
  90. package/src/config.ts +43 -13
  91. package/src/errors.ts +117 -2
  92. package/src/factory.ts +61 -27
  93. package/src/index.ts +18 -2
  94. package/src/l1/calldata_retriever.ts +29 -11
  95. package/src/l1/data_retrieval.ts +44 -46
  96. package/src/l1/validate_historical_logs.ts +140 -0
  97. package/src/modules/contract_data_source_adapter.ts +46 -0
  98. package/src/modules/data_source_base.ts +325 -187
  99. package/src/modules/data_store_updater.ts +204 -149
  100. package/src/modules/instrumentation.ts +43 -10
  101. package/src/modules/l1_synchronizer.ts +623 -265
  102. package/src/modules/outbox_trees_resolver.ts +199 -0
  103. package/src/modules/validation.ts +80 -23
  104. package/src/store/block_store.ts +822 -280
  105. package/src/store/contract_class_store.ts +49 -103
  106. package/src/store/contract_instance_store.ts +68 -5
  107. package/src/store/data_stores.ts +104 -0
  108. package/src/store/function_names_cache.ts +37 -0
  109. package/src/store/l2_tips_cache.ts +16 -70
  110. package/src/store/log_store.ts +302 -559
  111. package/src/store/log_store_codec.ts +143 -0
  112. package/src/store/message_store.ts +59 -9
  113. package/src/structs/inbox_message.ts +1 -1
  114. package/src/test/fake_l1_state.ts +114 -32
  115. package/src/test/mock_l2_block_source.ts +284 -225
  116. package/src/test/mock_structs.ts +5 -2
  117. package/src/test/noop_l1_archiver.ts +54 -11
  118. package/dest/store/kv_archiver_store.d.ts +0 -362
  119. package/dest/store/kv_archiver_store.d.ts.map +0 -1
  120. package/dest/store/kv_archiver_store.js +0 -476
  121. package/src/store/kv_archiver_store.ts +0 -685
@@ -1,6 +1,12 @@
1
1
  import { GENESIS_ARCHIVE_ROOT } from '@aztec/constants';
2
2
  import { DefaultL1ContractsConfig } from '@aztec/ethereum/config';
3
- import { BlockNumber, CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
3
+ import {
4
+ BlockNumber,
5
+ CheckpointNumber,
6
+ EpochNumber,
7
+ IndexWithinCheckpoint,
8
+ SlotNumber,
9
+ } from '@aztec/foundation/branded-types';
4
10
  import { Buffer32 } from '@aztec/foundation/buffer';
5
11
  import { Fr } from '@aztec/foundation/curves/bn254';
6
12
  import { EthAddress } from '@aztec/foundation/eth-address';
@@ -9,19 +15,34 @@ import type { FunctionSelector } from '@aztec/stdlib/abi';
9
15
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
10
16
  import {
11
17
  type BlockData,
12
- BlockHash,
13
- CheckpointedL2Block,
18
+ type BlockHash,
19
+ type BlockQuery,
20
+ type BlockTag,
21
+ type BlocksQuery,
22
+ Body,
23
+ type CheckpointQuery,
24
+ type CheckpointsQuery,
25
+ GENESIS_BLOCK_HEADER_HASH,
26
+ GENESIS_CHECKPOINT_HEADER_HASH,
14
27
  L2Block,
15
28
  type L2BlockSource,
16
29
  type L2Tips,
30
+ type ProposedCheckpointQuery,
17
31
  type ValidateCheckpointResult,
18
32
  } from '@aztec/stdlib/block';
19
- import { Checkpoint, type CheckpointData, L1PublishedData, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
33
+ import {
34
+ Checkpoint,
35
+ type CheckpointData,
36
+ L1PublishedData,
37
+ type ProposedCheckpointData,
38
+ PublishedCheckpoint,
39
+ } from '@aztec/stdlib/checkpoint';
20
40
  import type { ContractClassPublic, ContractDataSource, ContractInstanceWithAddress } from '@aztec/stdlib/contract';
21
41
  import { EmptyL1RollupConstants, type L1RollupConstants, getSlotRangeForEpoch } from '@aztec/stdlib/epoch-helpers';
22
42
  import { computeCheckpointOutHash } from '@aztec/stdlib/messaging';
23
43
  import { CheckpointHeader } from '@aztec/stdlib/rollup';
24
- import { type BlockHeader, TxExecutionResult, TxHash, TxReceipt, TxStatus } from '@aztec/stdlib/tx';
44
+ import { AppendOnlyTreeSnapshot } from '@aztec/stdlib/trees';
45
+ import { BlockHeader, TxHash } from '@aztec/stdlib/tx';
25
46
  import type { UInt64 } from '@aztec/stdlib/types';
26
47
 
27
48
  /**
@@ -35,8 +56,66 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
35
56
  private finalizedBlockNumber: number = 0;
36
57
  private checkpointedBlockNumber: number = 0;
37
58
 
59
+ private initialHeader: BlockHeader = BlockHeader.empty();
60
+ private initialHeaderHash: BlockHash = GENESIS_BLOCK_HEADER_HASH;
61
+ private genesisArchiveRoot?: Fr;
62
+ private genesisBlock?: L2Block;
63
+
38
64
  private log = createLogger('archiver:mock_l2_block_source');
39
65
 
66
+ /** Returns the initial header used to synthesize block 0. */
67
+ public getInitialHeader(): BlockHeader {
68
+ return this.initialHeader;
69
+ }
70
+
71
+ /**
72
+ * Sets the initial header used to synthesize block 0. Tests that wire up a real
73
+ * world-state should call this with `worldState.getInitialHeader()` so the L2BlockStream
74
+ * agrees on the genesis hash on both sides. Precomputes and caches the header hash so
75
+ * `getGenesisBlockHash()` can return synchronously.
76
+ */
77
+ public async setInitialHeader(header: BlockHeader): Promise<void> {
78
+ this.initialHeader = header;
79
+ this.initialHeaderHash = await header.hash();
80
+ this.genesisBlock = undefined;
81
+ }
82
+
83
+ /**
84
+ * Returns the precomputed hash of the genesis block header. Defaults to the static
85
+ * {@link GENESIS_BLOCK_HEADER_HASH} unless {@link setInitialHeader} has been called with a
86
+ * custom header.
87
+ */
88
+ public getGenesisBlockHash(): BlockHash {
89
+ return this.initialHeaderHash;
90
+ }
91
+
92
+ /**
93
+ * Sets the post-genesis archive root used to synthesize block 0. Mirrors the real archiver,
94
+ * whose synthetic block 0 carries `new AppendOnlyTreeSnapshot(genesisArchiveRoot, 1)` rather
95
+ * than `AppendOnlyTreeSnapshot.empty()`. Tests wiring up a real world-state should set this so
96
+ * archive-based block lookups against the mock match production semantics.
97
+ */
98
+ public setGenesisArchiveRoot(root: Fr): void {
99
+ this.genesisArchiveRoot = root;
100
+ this.genesisBlock = undefined;
101
+ }
102
+
103
+ private getGenesisBlock(): L2Block {
104
+ if (this.genesisBlock) {
105
+ return this.genesisBlock;
106
+ }
107
+ const archive = this.genesisArchiveRoot
108
+ ? new AppendOnlyTreeSnapshot(this.genesisArchiveRoot, 1)
109
+ : AppendOnlyTreeSnapshot.empty();
110
+ return (this.genesisBlock = new L2Block(
111
+ archive,
112
+ this.initialHeader,
113
+ Body.empty(),
114
+ CheckpointNumber.ZERO,
115
+ IndexWithinCheckpoint(0),
116
+ ));
117
+ }
118
+
40
119
  /** Creates blocks grouped into single-block checkpoints. */
41
120
  public async createBlocks(numBlocks: number) {
42
121
  await this.createCheckpoints(numBlocks, 1);
@@ -150,80 +229,32 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
150
229
  * Gets the number of the latest L2 block processed by the block source implementation.
151
230
  * @returns In this mock instance, returns the number of L2 blocks that we've mocked.
152
231
  */
153
- public getBlockNumber() {
154
- return Promise.resolve(BlockNumber(this.l2Blocks.length));
155
- }
156
-
157
- public getProvenBlockNumber() {
158
- return Promise.resolve(BlockNumber(this.provenBlockNumber));
159
- }
160
-
161
- public getCheckpointedL2BlockNumber() {
162
- return Promise.resolve(BlockNumber(this.checkpointedBlockNumber));
163
- }
164
-
165
- public getFinalizedL2BlockNumber() {
166
- return Promise.resolve(BlockNumber(this.finalizedBlockNumber));
167
- }
168
-
169
- public getCheckpointedBlock(number: BlockNumber): Promise<CheckpointedL2Block | undefined> {
170
- if (number > this.checkpointedBlockNumber) {
171
- return Promise.resolve(undefined);
232
+ public getBlockNumber(): Promise<BlockNumber>;
233
+ public getBlockNumber(query: BlockQuery): Promise<BlockNumber | undefined>;
234
+ public async getBlockNumber(query?: BlockQuery): Promise<BlockNumber | undefined> {
235
+ if (!query) {
236
+ return BlockNumber(this.l2Blocks.length);
172
237
  }
173
- const block = this.l2Blocks[number - 1];
174
- if (!block) {
175
- return Promise.resolve(undefined);
238
+ if ('number' in query) {
239
+ return query.number;
176
240
  }
177
- return Promise.resolve(this.toCheckpointedBlock(block));
178
- }
179
-
180
- public async getCheckpointedBlocks(from: BlockNumber, limit: number): Promise<CheckpointedL2Block[]> {
181
- const result: CheckpointedL2Block[] = [];
182
- for (let i = 0; i < limit; i++) {
183
- const blockNum = from + i;
184
- if (blockNum > this.checkpointedBlockNumber) {
185
- break;
186
- }
187
- const block = await this.getCheckpointedBlock(BlockNumber(blockNum));
188
- if (block) {
189
- result.push(block);
190
- }
241
+ if ('tag' in query) {
242
+ return BlockNumber(this.resolveBlockTag(query.tag));
191
243
  }
192
- return result;
244
+ const block = await this.getBlock(query);
245
+ return block ? block.header.globalVariables.blockNumber : undefined;
193
246
  }
194
247
 
195
- /**
196
- * Gets an l2 block.
197
- * @param number - The block number to return (inclusive).
198
- * @returns The requested L2 block.
199
- */
200
- public getBlock(number: number): Promise<L2Block | undefined> {
201
- const block = this.l2Blocks[number - 1];
202
- return Promise.resolve(block);
203
- }
204
-
205
- /**
206
- * Gets an L2 block (new format).
207
- * @param number - The block number to return.
208
- * @returns The requested L2 block.
209
- */
210
- public getL2Block(number: BlockNumber): Promise<L2Block | undefined> {
211
- const block = this.l2Blocks[number - 1];
212
- return Promise.resolve(block);
213
- }
214
-
215
- /**
216
- * Gets up to `limit` amount of L2 blocks starting from `from`.
217
- * @param from - Number of the first block to return (inclusive).
218
- * @param limit - The maximum number of blocks to return.
219
- * @returns The requested mocked L2 blocks.
220
- */
221
- public getBlocks(from: number, limit: number): Promise<L2Block[]> {
222
- return Promise.resolve(this.l2Blocks.slice(from - 1, from - 1 + limit));
248
+ public getCheckpoint(query: CheckpointQuery): Promise<PublishedCheckpoint | undefined> {
249
+ const checkpoint = this.resolveCheckpointQuery(query);
250
+ if (!checkpoint) {
251
+ return Promise.resolve(undefined);
252
+ }
253
+ return Promise.resolve(new PublishedCheckpoint(checkpoint, this.mockL1DataForCheckpoint(checkpoint), []));
223
254
  }
224
255
 
225
- public getCheckpoints(from: CheckpointNumber, limit: number) {
226
- const checkpoints = this.checkpointList.slice(from - 1, from - 1 + limit);
256
+ public getCheckpoints(query: CheckpointsQuery): Promise<PublishedCheckpoint[]> {
257
+ const checkpoints = this.resolveCheckpointsQuery(query);
227
258
  return Promise.resolve(
228
259
  checkpoints.map(checkpoint => new PublishedCheckpoint(checkpoint, this.mockL1DataForCheckpoint(checkpoint), [])),
229
260
  );
@@ -234,115 +265,72 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
234
265
  return Promise.resolve(checkpoint);
235
266
  }
236
267
 
237
- public async getCheckpointedBlockByHash(blockHash: BlockHash): Promise<CheckpointedL2Block | undefined> {
238
- for (const block of this.l2Blocks) {
239
- const hash = await block.hash();
240
- if (hash.equals(blockHash)) {
241
- return this.toCheckpointedBlock(block);
242
- }
243
- }
244
- return undefined;
245
- }
246
-
247
- public getCheckpointedBlockByArchive(archive: Fr): Promise<CheckpointedL2Block | undefined> {
248
- const block = this.l2Blocks.find(b => b.archive.root.equals(archive));
249
- if (!block) {
268
+ public getCheckpointData(query: CheckpointQuery): Promise<CheckpointData | undefined> {
269
+ const checkpoint = this.resolveCheckpointQuery(query);
270
+ if (!checkpoint) {
250
271
  return Promise.resolve(undefined);
251
272
  }
252
- return Promise.resolve(this.toCheckpointedBlock(block));
273
+ return Promise.resolve(this.checkpointToData(checkpoint));
253
274
  }
254
275
 
255
- public async getL2BlockByHash(blockHash: BlockHash): Promise<L2Block | undefined> {
256
- for (const block of this.l2Blocks) {
257
- const hash = await block.hash();
258
- if (hash.equals(blockHash)) {
259
- return block;
260
- }
261
- }
262
- return undefined;
276
+ public getCheckpointsData(query: CheckpointsQuery): Promise<CheckpointData[]> {
277
+ const checkpoints = this.resolveCheckpointsQuery(query);
278
+ return Promise.resolve(checkpoints.map(c => this.checkpointToData(c)));
263
279
  }
264
280
 
265
- public getL2BlockByArchive(archive: Fr): Promise<L2Block | undefined> {
266
- const block = this.l2Blocks.find(b => b.archive.root.equals(archive));
267
- return Promise.resolve(block);
281
+ private checkpointToData(checkpoint: Checkpoint): CheckpointData {
282
+ return {
283
+ checkpointNumber: checkpoint.number,
284
+ header: checkpoint.header,
285
+ archive: checkpoint.archive,
286
+ checkpointOutHash: computeCheckpointOutHash(
287
+ checkpoint.blocks.map(b => b.body.txEffects.map(tx => tx.l2ToL1Msgs)),
288
+ ),
289
+ startBlock: checkpoint.blocks[0].number,
290
+ blockCount: checkpoint.blocks.length,
291
+ feeAssetPriceModifier: checkpoint.feeAssetPriceModifier,
292
+ attestations: [],
293
+ l1: this.mockL1DataForCheckpoint(checkpoint),
294
+ };
268
295
  }
269
296
 
270
- public async getBlockHeaderByHash(blockHash: BlockHash): Promise<BlockHeader | undefined> {
271
- for (const block of this.l2Blocks) {
272
- const hash = await block.hash();
273
- if (hash.equals(blockHash)) {
274
- return block.header;
297
+ private resolveCheckpointQuery(query: CheckpointQuery): Checkpoint | undefined {
298
+ if ('number' in query) {
299
+ return this.checkpointList[query.number - 1];
300
+ }
301
+ if ('slot' in query) {
302
+ return this.checkpointList.find(c => c.header.slotNumber === query.slot);
303
+ }
304
+ switch (query.tag) {
305
+ case 'checkpointed':
306
+ return this.checkpointList[this.checkpointList.length - 1];
307
+ case 'proven': {
308
+ const provenCheckpoint = this.checkpointList.filter(c =>
309
+ c.blocks.some(b => b.number <= this.provenBlockNumber),
310
+ );
311
+ return provenCheckpoint.at(-1);
312
+ }
313
+ case 'finalized': {
314
+ const finalizedCheckpoint = this.checkpointList.filter(c =>
315
+ c.blocks.some(b => b.number <= this.finalizedBlockNumber),
316
+ );
317
+ return finalizedCheckpoint.at(-1);
275
318
  }
276
319
  }
277
- return undefined;
278
- }
279
-
280
- public getBlockHeaderByArchive(archive: Fr): Promise<BlockHeader | undefined> {
281
- const block = this.l2Blocks.find(b => b.archive.root.equals(archive));
282
- return Promise.resolve(block?.header);
283
320
  }
284
321
 
285
- public async getBlockData(number: BlockNumber): Promise<BlockData | undefined> {
286
- const block = this.l2Blocks[number - 1];
287
- if (!block) {
288
- return undefined;
322
+ private resolveCheckpointsQuery(query: CheckpointsQuery): Checkpoint[] {
323
+ if ('from' in query) {
324
+ return this.checkpointList.slice(query.from - 1, query.from - 1 + query.limit);
289
325
  }
290
- return {
291
- header: block.header,
292
- archive: block.archive,
293
- blockHash: await block.hash(),
294
- checkpointNumber: block.checkpointNumber,
295
- indexWithinCheckpoint: block.indexWithinCheckpoint,
296
- };
297
- }
298
-
299
- public async getBlockDataByArchive(archive: Fr): Promise<BlockData | undefined> {
300
- const block = this.l2Blocks.find(b => b.archive.root.equals(archive));
301
- if (!block) {
302
- return undefined;
326
+ if ('fromSlot' in query) {
327
+ const matching = this.checkpointList.filter(c =>
328
+ query.reverse ? c.header.slotNumber <= query.fromSlot : c.header.slotNumber >= query.fromSlot,
329
+ );
330
+ const nearestFirst = query.reverse ? matching.reverse() : matching;
331
+ return nearestFirst.slice(0, query.limit);
303
332
  }
304
- return {
305
- header: block.header,
306
- archive: block.archive,
307
- blockHash: await block.hash(),
308
- checkpointNumber: block.checkpointNumber,
309
- indexWithinCheckpoint: block.indexWithinCheckpoint,
310
- };
311
- }
312
-
313
- getBlockHeader(number: number | 'latest'): Promise<BlockHeader | undefined> {
314
- return Promise.resolve(this.l2Blocks.at(typeof number === 'number' ? number - 1 : -1)?.header);
315
- }
316
-
317
- getCheckpointsForEpoch(epochNumber: EpochNumber): Promise<Checkpoint[]> {
318
- return Promise.resolve(this.getCheckpointsInEpoch(epochNumber));
319
- }
320
-
321
- getCheckpointsDataForEpoch(epochNumber: EpochNumber): Promise<CheckpointData[]> {
322
- const checkpoints = this.getCheckpointsInEpoch(epochNumber);
323
- return Promise.resolve(
324
- checkpoints.map(
325
- (checkpoint): CheckpointData => ({
326
- checkpointNumber: checkpoint.number,
327
- header: checkpoint.header,
328
- archive: checkpoint.archive,
329
- checkpointOutHash: computeCheckpointOutHash(
330
- checkpoint.blocks.map(b => b.body.txEffects.map(tx => tx.l2ToL1Msgs)),
331
- ),
332
- startBlock: checkpoint.blocks[0].number,
333
- blockCount: checkpoint.blocks.length,
334
- attestations: [],
335
- l1: this.mockL1DataForCheckpoint(checkpoint),
336
- }),
337
- ),
338
- );
339
- }
340
-
341
- getCheckpointedBlocksForEpoch(epochNumber: EpochNumber): Promise<CheckpointedL2Block[]> {
342
- const checkpoints = this.getCheckpointsInEpoch(epochNumber);
343
- return Promise.resolve(
344
- checkpoints.flatMap(checkpoint => checkpoint.blocks.map(block => this.toCheckpointedBlock(block))),
345
- );
333
+ return this.getCheckpointsInEpoch(query.epoch);
346
334
  }
347
335
 
348
336
  getBlocksForSlot(slotNumber: SlotNumber): Promise<L2Block[]> {
@@ -350,11 +338,6 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
350
338
  return Promise.resolve(blocks);
351
339
  }
352
340
 
353
- async getCheckpointedBlockHeadersForEpoch(epochNumber: EpochNumber): Promise<BlockHeader[]> {
354
- const checkpointedBlocks = await this.getCheckpointedBlocksForEpoch(epochNumber);
355
- return checkpointedBlocks.map(b => b.block.header);
356
- }
357
-
358
341
  /**
359
342
  * Gets a tx effect.
360
343
  * @param txHash - The hash of the tx corresponding to the tx effect.
@@ -372,39 +355,20 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
372
355
  data: txEffect,
373
356
  l2BlockNumber: block.number,
374
357
  l2BlockHash: await block.hash(),
375
- txIndexInBlock: block.body.txEffects.indexOf(txEffect),
358
+ txIndexInBlock: block.body.txEffects.findIndex(t => t.txHash.equals(txHash)),
359
+ slotNumber: block.header.globalVariables.slotNumber,
376
360
  };
377
361
  }
378
362
 
379
- /**
380
- * Gets a receipt of a settled tx.
381
- * @param txHash - The hash of a tx we try to get the receipt for.
382
- * @returns The requested tx receipt (or undefined if not found).
383
- */
384
- public async getSettledTxReceipt(txHash: TxHash): Promise<TxReceipt | undefined> {
385
- for (const block of this.l2Blocks) {
386
- for (const txEffect of block.body.txEffects) {
387
- if (txEffect.txHash.equals(txHash)) {
388
- // In mock, assume all txs are checkpointed with successful execution
389
- return new TxReceipt(
390
- txHash,
391
- TxStatus.CHECKPOINTED,
392
- TxExecutionResult.SUCCESS,
393
- undefined,
394
- txEffect.transactionFee.toBigInt(),
395
- await block.hash(),
396
- block.number,
397
- );
398
- }
399
- }
400
- }
401
- return undefined;
363
+ public getL2ToL1MembershipWitness(): Promise<undefined> {
364
+ // Mock does not back the L2-to-L1 message witness flow.
365
+ return Promise.resolve(undefined);
402
366
  }
403
367
 
404
368
  async getL2Tips(): Promise<L2Tips> {
405
369
  const [latest, proven, finalized, checkpointed] = [
406
370
  await this.getBlockNumber(),
407
- await this.getProvenBlockNumber(),
371
+ this.provenBlockNumber,
408
372
  this.finalizedBlockNumber,
409
373
  this.checkpointedBlockNumber,
410
374
  ] as const;
@@ -414,30 +378,44 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
414
378
  const finalizedBlock = this.l2Blocks[finalized - 1];
415
379
  const checkpointedBlock = this.l2Blocks[checkpointed - 1];
416
380
 
381
+ // For genesis tips (block number 0) report the dynamic initial header hash so consumers
382
+ // running L2BlockStream against this mock agree at block 0 with their local tip store.
383
+ const genesisHash = (await this.initialHeader.hash()).toString();
384
+ const tipHash = async (block: L2Block | undefined, number: number): Promise<string> => {
385
+ if (block) {
386
+ return (await block.hash()).toString();
387
+ }
388
+ return number === 0 ? genesisHash : '';
389
+ };
390
+
417
391
  const latestBlockId = {
418
392
  number: BlockNumber(latest),
419
- hash: (await latestBlock?.hash())?.toString(),
393
+ hash: await tipHash(latestBlock, latest),
420
394
  };
421
395
  const provenBlockId = {
422
396
  number: BlockNumber(proven),
423
- hash: (await provenBlock?.hash())?.toString(),
397
+ hash: await tipHash(provenBlock, proven),
424
398
  };
425
399
  const finalizedBlockId = {
426
400
  number: BlockNumber(finalized),
427
- hash: (await finalizedBlock?.hash())?.toString(),
401
+ hash: await tipHash(finalizedBlock, finalized),
428
402
  };
429
403
  const checkpointedBlockId = {
430
404
  number: BlockNumber(checkpointed),
431
- hash: (await checkpointedBlock?.hash())?.toString(),
405
+ hash: await tipHash(checkpointedBlock, checkpointed),
432
406
  };
433
407
 
434
- const makeTipId = (blockId: typeof latestBlockId) => ({
435
- block: blockId,
436
- checkpoint: {
437
- number: this.findCheckpointNumberForBlock(blockId.number) ?? CheckpointNumber(0),
438
- hash: blockId.hash,
439
- },
440
- });
408
+ const makeTipId = (blockId: typeof latestBlockId) => {
409
+ const checkpointNumber = this.findCheckpointNumberForBlock(blockId.number) ?? CheckpointNumber(0);
410
+ // Match production semantics: checkpoint 0 is fully synthetic (no real checkpoint header
411
+ // exists at 0), so its hash stays at the protocol constant `GENESIS_CHECKPOINT_HEADER_HASH`
412
+ // even though the block-0 hash is dynamic. See L2TipsCache for the production path.
413
+ const hash = checkpointNumber === 0 ? GENESIS_CHECKPOINT_HEADER_HASH.toString() : blockId.hash;
414
+ return {
415
+ block: blockId,
416
+ checkpoint: { number: checkpointNumber, hash },
417
+ };
418
+ };
441
419
 
442
420
  return {
443
421
  proposed: latestBlockId,
@@ -463,8 +441,12 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
463
441
  return Promise.resolve(EmptyL1RollupConstants);
464
442
  }
465
443
 
444
+ isPruneDueAtSlot(_slot: SlotNumber): Promise<boolean> {
445
+ return Promise.resolve(false);
446
+ }
447
+
466
448
  getGenesisValues(): Promise<{ genesisArchiveRoot: Fr }> {
467
- return Promise.resolve({ genesisArchiveRoot: new Fr(GENESIS_ARCHIVE_ROOT) });
449
+ return Promise.resolve({ genesisArchiveRoot: this.genesisArchiveRoot ?? new Fr(GENESIS_ARCHIVE_ROOT) });
468
450
  }
469
451
 
470
452
  getL1Timestamp(): Promise<bigint> {
@@ -517,6 +499,95 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
517
499
  return Promise.resolve();
518
500
  }
519
501
 
502
+ async getBlock(query: BlockQuery): Promise<L2Block | undefined> {
503
+ if ('number' in query) {
504
+ if (query.number === 0) {
505
+ return this.getGenesisBlock();
506
+ }
507
+ return this.l2Blocks[query.number - 1];
508
+ }
509
+ if ('hash' in query) {
510
+ const genesis = this.getGenesisBlock();
511
+ if ((await genesis.hash()).equals(query.hash)) {
512
+ return genesis;
513
+ }
514
+ for (const b of this.l2Blocks) {
515
+ const hash = await b.hash();
516
+ if (hash.equals(query.hash)) {
517
+ return b;
518
+ }
519
+ }
520
+ return undefined;
521
+ }
522
+ if ('archive' in query) {
523
+ const genesis = this.getGenesisBlock();
524
+ if (genesis.archive.root.equals(query.archive)) {
525
+ return genesis;
526
+ }
527
+ return this.l2Blocks.find(b => b.archive.root.equals(query.archive));
528
+ }
529
+ const number = this.resolveBlockTag(query.tag);
530
+ if (number === 0) {
531
+ return this.getGenesisBlock();
532
+ }
533
+ return this.l2Blocks[number - 1];
534
+ }
535
+
536
+ private resolveBlockTag(tag: BlockTag): number {
537
+ switch (tag) {
538
+ case 'latest':
539
+ case 'proposed':
540
+ return this.l2Blocks.length;
541
+ case 'checkpointed':
542
+ return this.checkpointedBlockNumber;
543
+ case 'proven':
544
+ return this.provenBlockNumber;
545
+ case 'finalized':
546
+ return this.finalizedBlockNumber;
547
+ }
548
+ }
549
+
550
+ getBlocks(query: BlocksQuery): Promise<L2Block[]> {
551
+ let blocks: L2Block[];
552
+ if ('from' in query) {
553
+ blocks = this.l2Blocks.slice(query.from - 1, query.from - 1 + query.limit);
554
+ } else {
555
+ const epochCheckpoints = this.getCheckpointsInEpoch(query.epoch);
556
+ blocks = epochCheckpoints.flatMap(c => c.blocks);
557
+ }
558
+ if (query.onlyCheckpointed) {
559
+ blocks = blocks.filter(b => b.header.globalVariables.blockNumber <= this.checkpointedBlockNumber);
560
+ }
561
+ return Promise.resolve(blocks);
562
+ }
563
+
564
+ async getBlockData(query: BlockQuery): Promise<BlockData | undefined> {
565
+ const block = await this.getBlock(query);
566
+ if (!block) {
567
+ return undefined;
568
+ }
569
+ return {
570
+ header: block.header,
571
+ archive: block.archive,
572
+ blockHash: await block.hash(),
573
+ checkpointNumber: block.checkpointNumber,
574
+ indexWithinCheckpoint: block.indexWithinCheckpoint,
575
+ };
576
+ }
577
+
578
+ async getBlocksData(query: BlocksQuery): Promise<BlockData[]> {
579
+ const blocks = await this.getBlocks(query);
580
+ return Promise.all(
581
+ blocks.map(async block => ({
582
+ header: block.header,
583
+ archive: block.archive,
584
+ blockHash: await block.hash(),
585
+ checkpointNumber: block.checkpointNumber,
586
+ indexWithinCheckpoint: block.indexWithinCheckpoint,
587
+ })),
588
+ );
589
+ }
590
+
520
591
  isPendingChainInvalid(): Promise<boolean> {
521
592
  return Promise.resolve(false);
522
593
  }
@@ -525,6 +596,10 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
525
596
  return Promise.resolve({ valid: true });
526
597
  }
527
598
 
599
+ getProposedCheckpointData(_query?: ProposedCheckpointQuery): Promise<ProposedCheckpointData | undefined> {
600
+ return Promise.resolve(undefined);
601
+ }
602
+
528
603
  /** Returns checkpoints whose slot falls within the given epoch. */
529
604
  private getCheckpointsInEpoch(epochNumber: EpochNumber): Checkpoint[] {
530
605
  const epochDuration = DefaultL1ContractsConfig.aztecEpochDuration;
@@ -537,22 +612,6 @@ export class MockL2BlockSource implements L2BlockSource, ContractDataSource {
537
612
  return new L1PublishedData(BigInt(checkpoint.number), BigInt(checkpoint.number), Buffer32.random().toString());
538
613
  }
539
614
 
540
- /** Creates a CheckpointedL2Block from a block using stored checkpoint info. */
541
- private toCheckpointedBlock(block: L2Block): CheckpointedL2Block {
542
- const checkpoint = this.checkpointList.find(c => c.blocks.some(b => b.number === block.number));
543
- const checkpointNumber = checkpoint?.number ?? block.checkpointNumber;
544
- return new CheckpointedL2Block(
545
- checkpointNumber,
546
- block,
547
- new L1PublishedData(
548
- BigInt(block.number),
549
- BigInt(block.number),
550
- `0x${block.number.toString(16).padStart(64, '0')}`,
551
- ),
552
- [],
553
- );
554
- }
555
-
556
615
  /** Finds the checkpoint number for a block, or undefined if the block is not in any checkpoint. */
557
616
  private findCheckpointNumberForBlock(blockNumber: BlockNumber): CheckpointNumber | undefined {
558
617
  const checkpoint = this.checkpointList.find(c => c.blocks.some(b => b.number === blockNumber));
@@ -269,7 +269,10 @@ export function makePublicLogTag(blockNumber: number, txIndex: number, logIndex:
269
269
  }
270
270
 
271
271
  /** Creates a PublicLog with fields derived from the tag. */
272
- export function makePublicLog(tag: Tag, contractAddress: AztecAddress = AztecAddress.fromNumber(543254)): PublicLog {
272
+ export function makePublicLog(
273
+ tag: Tag,
274
+ contractAddress: AztecAddress = AztecAddress.fromNumberUnsafe(543254),
275
+ ): PublicLog {
273
276
  return PublicLog.from({
274
277
  contractAddress,
275
278
  fields: new Array(10).fill(null).map((_, i) => (!i ? tag.value : new Fr(tag.value.toBigInt() + BigInt(i)))),
@@ -281,7 +284,7 @@ export function makePublicLogs(
281
284
  blockNumber: number,
282
285
  txIndex: number,
283
286
  numLogsPerTx: number,
284
- contractAddress: AztecAddress = AztecAddress.fromNumber(543254),
287
+ contractAddress: AztecAddress = AztecAddress.fromNumberUnsafe(543254),
285
288
  ): PublicLog[] {
286
289
  return times(numLogsPerTx, logIndex => {
287
290
  const tag = makePublicLogTag(blockNumber, txIndex, logIndex);