@aztec/txe 0.0.1-commit.6c91f13 → 0.0.1-commit.6d63667d

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 (52) hide show
  1. package/dest/oracle/interfaces.d.ts +3 -3
  2. package/dest/oracle/interfaces.d.ts.map +1 -1
  3. package/dest/oracle/txe_oracle_public_context.d.ts +3 -3
  4. package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
  5. package/dest/oracle/txe_oracle_public_context.js +6 -6
  6. package/dest/oracle/txe_oracle_top_level_context.d.ts +3 -2
  7. package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
  8. package/dest/oracle/txe_oracle_top_level_context.js +39 -24
  9. package/dest/rpc_translator.d.ts +17 -11
  10. package/dest/rpc_translator.d.ts.map +1 -1
  11. package/dest/rpc_translator.js +73 -48
  12. package/dest/state_machine/archiver.d.ts +20 -67
  13. package/dest/state_machine/archiver.d.ts.map +1 -1
  14. package/dest/state_machine/archiver.js +59 -178
  15. package/dest/state_machine/dummy_p2p_client.d.ts +8 -7
  16. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  17. package/dest/state_machine/dummy_p2p_client.js +13 -10
  18. package/dest/state_machine/global_variable_builder.d.ts +2 -2
  19. package/dest/state_machine/global_variable_builder.d.ts.map +1 -1
  20. package/dest/state_machine/global_variable_builder.js +1 -1
  21. package/dest/state_machine/index.d.ts +5 -5
  22. package/dest/state_machine/index.d.ts.map +1 -1
  23. package/dest/state_machine/index.js +34 -11
  24. package/dest/state_machine/mock_epoch_cache.d.ts +7 -6
  25. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  26. package/dest/state_machine/mock_epoch_cache.js +10 -7
  27. package/dest/state_machine/synchronizer.d.ts +3 -3
  28. package/dest/state_machine/synchronizer.d.ts.map +1 -1
  29. package/dest/txe_session.d.ts +5 -3
  30. package/dest/txe_session.d.ts.map +1 -1
  31. package/dest/txe_session.js +34 -15
  32. package/dest/util/encoding.d.ts +17 -17
  33. package/dest/utils/block_creation.d.ts +4 -4
  34. package/dest/utils/block_creation.d.ts.map +1 -1
  35. package/dest/utils/block_creation.js +18 -5
  36. package/dest/utils/tx_effect_creation.d.ts +2 -3
  37. package/dest/utils/tx_effect_creation.d.ts.map +1 -1
  38. package/dest/utils/tx_effect_creation.js +3 -6
  39. package/package.json +16 -16
  40. package/src/oracle/interfaces.ts +2 -2
  41. package/src/oracle/txe_oracle_public_context.ts +6 -8
  42. package/src/oracle/txe_oracle_top_level_context.ts +75 -28
  43. package/src/rpc_translator.ts +76 -50
  44. package/src/state_machine/archiver.ts +54 -220
  45. package/src/state_machine/dummy_p2p_client.ts +18 -13
  46. package/src/state_machine/global_variable_builder.ts +1 -1
  47. package/src/state_machine/index.ts +48 -11
  48. package/src/state_machine/mock_epoch_cache.ts +10 -11
  49. package/src/state_machine/synchronizer.ts +2 -2
  50. package/src/txe_session.ts +43 -21
  51. package/src/utils/block_creation.ts +19 -16
  52. package/src/utils/tx_effect_creation.ts +3 -11
@@ -1,204 +1,48 @@
1
- import { ArchiverStoreHelper, KVArchiverDataStore } from '@aztec/archiver';
1
+ import { ArchiverDataSourceBase, ArchiverDataStoreUpdater, KVArchiverDataStore } from '@aztec/archiver';
2
2
  import { GENESIS_ARCHIVE_ROOT } from '@aztec/constants';
3
- import { BlockNumber, CheckpointNumber, EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
3
+ import { CheckpointNumber, type EpochNumber, type SlotNumber } from '@aztec/foundation/branded-types';
4
4
  import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import type { EthAddress } from '@aztec/foundation/eth-address';
6
- import { isDefined } from '@aztec/foundation/types';
7
6
  import type { AztecAsyncKVStore } from '@aztec/kv-store';
8
- import type { AztecAddress } from '@aztec/stdlib/aztec-address';
9
- import {
10
- CommitteeAttestation,
11
- L2Block,
12
- type L2BlockId,
13
- type L2BlockNew,
14
- type L2BlockSource,
15
- type L2Tips,
16
- PublishedL2Block,
17
- type ValidateBlockResult,
18
- } from '@aztec/stdlib/block';
19
- import { Checkpoint, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
20
- import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
7
+ import type { CheckpointId, L2BlockId, L2TipId, L2Tips, ValidateCheckpointResult } from '@aztec/stdlib/block';
8
+ import type { PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
21
9
  import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
22
- import type { BlockHeader } from '@aztec/stdlib/tx';
23
- import type { UInt64 } from '@aztec/stdlib/types';
24
10
 
25
- // We are extending the ArchiverDataStoreHelper here because it provides most of the endpoints needed by the
26
- // node for reading from and writing to state, without needing any of the extra overhead that the Archiver itself
27
- // requires (i.e. an L1 client)
28
- export class TXEArchiver extends ArchiverStoreHelper implements L2BlockSource {
29
- constructor(db: AztecAsyncKVStore) {
30
- super(new KVArchiverDataStore(db, 9999));
31
- }
32
-
33
- public async getBlock(number: BlockNumber): Promise<L2Block | undefined> {
34
- if (number === 0) {
35
- return undefined;
36
- }
37
- const publishedBlocks = await this.getPublishedBlocks(number, 1);
38
- if (publishedBlocks.length === 0) {
39
- return undefined;
40
- }
41
- return publishedBlocks[0].block;
42
- }
43
-
44
- public async getBlocks(from: BlockNumber, limit: number, proven?: boolean): Promise<L2Block[]> {
45
- const publishedBlocks = await this.getPublishedBlocks(from, limit, proven);
46
- return publishedBlocks.map(x => x.block);
47
- }
48
-
49
- public override async addCheckpoints(
50
- checkpoints: PublishedCheckpoint[],
51
- _result?: ValidateBlockResult,
52
- ): Promise<boolean> {
53
- const allBlocks = checkpoints.flatMap(ch => ch.checkpoint.blocks);
54
- const opResults = await Promise.all([this.store.addLogs(allBlocks), this.store.addCheckpoints(checkpoints)]);
55
-
56
- return opResults.every(Boolean);
57
- }
58
-
59
- /**
60
- * Gets the number of the latest L2 block processed by the block source implementation.
61
- * @returns The number of the latest L2 block processed by the block source implementation.
62
- */
63
- public getBlockNumber(): Promise<BlockNumber> {
64
- return this.store.getLatestBlockNumber();
65
- }
66
-
67
- /**
68
- * Gets the number of the latest L2 block proven seen by the block source implementation.
69
- * @returns The number of the latest L2 block proven seen by the block source implementation.
70
- */
71
- public override getProvenBlockNumber(): Promise<BlockNumber> {
72
- return this.store.getProvenBlockNumber();
73
- }
74
-
75
- /**
76
- * Gets a published l2 block. If a negative number is passed, the block returned is the most recent.
77
- * @param number - The block number to return (inclusive).
78
- * @returns The requested L2 block.
79
- */
80
- public async getPublishedBlock(number: number): Promise<PublishedL2Block | undefined> {
81
- // If the number provided is -ve, then return the latest block.
82
- if (number < 0) {
83
- number = await this.store.getLatestBlockNumber();
84
- }
85
- if (number == 0) {
86
- return undefined;
87
- }
88
- const publishedBlocks = await this.retrievePublishedBlocks(BlockNumber(number), 1);
89
- return publishedBlocks.length === 0 ? undefined : publishedBlocks[0];
90
- }
91
-
92
- getPublishedBlocks(from: BlockNumber, limit: number, proven?: boolean): Promise<PublishedL2Block[]> {
93
- return this.retrievePublishedBlocks(from, limit, proven);
94
- }
95
-
96
- private async retrievePublishedBlocks(
97
- from: BlockNumber,
98
- limit: number,
99
- proven?: boolean,
100
- ): Promise<PublishedL2Block[]> {
101
- const checkpoints = await this.store.getRangeOfCheckpoints(CheckpointNumber(from), limit);
102
- const provenCheckpointNumber = await this.store.getProvenCheckpointNumber();
103
- const blocks = (
104
- await Promise.all(checkpoints.map(ch => this.store.getBlocksForCheckpoint(ch.checkpointNumber)))
105
- ).filter(isDefined);
11
+ /**
12
+ * TXE Archiver implementation.
13
+ * Provides most of the endpoints needed by the node for reading from and writing to state,
14
+ * without needing any of the extra overhead that the Archiver itself requires (i.e. an L1 client).
15
+ */
16
+ export class TXEArchiver extends ArchiverDataSourceBase {
17
+ private readonly updater = new ArchiverDataStoreUpdater(this.store);
106
18
 
107
- const olbBlocks: PublishedL2Block[] = [];
108
- for (let i = 0; i < checkpoints.length; i++) {
109
- const blockForCheckpoint = blocks[i][0];
110
- const checkpoint = checkpoints[i];
111
- if (proven === true && checkpoint.checkpointNumber > provenCheckpointNumber) {
112
- continue;
113
- }
114
- const oldCheckpoint = new Checkpoint(
115
- blockForCheckpoint.archive,
116
- checkpoint.header,
117
- [blockForCheckpoint],
118
- checkpoint.checkpointNumber,
119
- );
120
- const oldBlock = L2Block.fromCheckpoint(oldCheckpoint);
121
- const publishedBlock = new PublishedL2Block(
122
- oldBlock,
123
- checkpoint.l1,
124
- checkpoint.attestations.map(x => CommitteeAttestation.fromBuffer(x)),
125
- );
126
- olbBlocks.push(publishedBlock);
127
- }
128
- return olbBlocks;
129
- }
130
-
131
- /**
132
- * Gets an l2 block. If a negative number is passed, the block returned is the most recent.
133
- * @param number - The block number to return (inclusive).
134
- * @returns The requested L2 block.
135
- */
136
- public getL2Block(number: BlockNumber | 'latest'): Promise<L2Block | undefined> {
137
- return this.getPublishedBlock(number != 'latest' ? number : -1).then(b => b?.block);
138
- }
139
-
140
- /**
141
- * Gets an L2 block (new format).
142
- * @param number - The block number to return.
143
- * @returns The requested L2 block.
144
- */
145
- public getL2BlockNew(number: BlockNumber): Promise<L2BlockNew | undefined> {
146
- if (number === 0) {
147
- return Promise.resolve(undefined);
148
- }
149
- return this.store.getBlock(number);
150
- }
151
-
152
- /**
153
- * Gets an l2 block header.
154
- * @param number - The block number to return or 'latest' for the most recent one.
155
- * @returns The requested L2 block header.
156
- */
157
- public async getBlockHeader(number: number | 'latest'): Promise<BlockHeader | undefined> {
158
- if (number === 'latest') {
159
- number = await this.store.getLatestBlockNumber();
160
- }
161
- if (number === 0) {
162
- return undefined;
163
- }
164
- const headers = await this.store.getBlockHeaders(BlockNumber(number), 1);
165
- return headers.length === 0 ? undefined : headers[0];
166
- }
167
-
168
- public getBlockRange(from: number, limit: number, _proven?: boolean): Promise<L2Block[]> {
169
- return this.getPublishedBlocks(BlockNumber(from), limit).then(blocks => blocks.map(b => b.block));
170
- }
171
-
172
- public getPublishedCheckpoints(_from: CheckpointNumber, _limit: number): Promise<PublishedCheckpoint[]> {
173
- throw new Error('TXE Archiver does not implement "getPublishedCheckpoints"');
174
- }
175
-
176
- public getCheckpointByArchive(_archive: Fr): Promise<Checkpoint | undefined> {
177
- throw new Error('TXE Archiver does not implement "getCheckpointByArchive"');
19
+ constructor(db: AztecAsyncKVStore) {
20
+ const store = new KVArchiverDataStore(db, 9999, { epochDuration: 32 });
21
+ super(store);
178
22
  }
179
23
 
180
- public getL2SlotNumber(): Promise<SlotNumber | undefined> {
181
- throw new Error('TXE Archiver does not implement "getL2SlotNumber"');
24
+ public async addCheckpoints(checkpoints: PublishedCheckpoint[], result?: ValidateCheckpointResult): Promise<void> {
25
+ await this.updater.addCheckpoints(checkpoints, result);
182
26
  }
183
27
 
184
- public getL2EpochNumber(): Promise<EpochNumber> {
185
- throw new Error('TXE Archiver does not implement "getL2EpochNumber"');
28
+ public getRollupAddress(): Promise<EthAddress> {
29
+ throw new Error('TXE Archiver does not implement "getRollupAddress"');
186
30
  }
187
31
 
188
- public getCheckpointsForEpoch(_epochNumber: EpochNumber): Promise<Checkpoint[]> {
189
- throw new Error('TXE Archiver does not implement "getCheckpointsForEpoch"');
32
+ public getRegistryAddress(): Promise<EthAddress> {
33
+ throw new Error('TXE Archiver does not implement "getRegistryAddress"');
190
34
  }
191
35
 
192
- public getBlocksForEpoch(_epochNumber: EpochNumber): Promise<L2Block[]> {
193
- throw new Error('TXE Archiver does not implement "getBlocksForEpoch"');
36
+ public getL1Constants(): Promise<L1RollupConstants> {
37
+ throw new Error('TXE Archiver does not implement "getL1Constants"');
194
38
  }
195
39
 
196
- public getBlockHeadersForEpoch(_epochNumber: EpochNumber): Promise<BlockHeader[]> {
197
- throw new Error('TXE Archiver does not implement "getBlockHeadersForEpoch"');
40
+ public getGenesisValues(): Promise<{ genesisArchiveRoot: Fr }> {
41
+ return Promise.resolve({ genesisArchiveRoot: new Fr(GENESIS_ARCHIVE_ROOT) });
198
42
  }
199
43
 
200
- public isEpochComplete(_epochNumber: EpochNumber): Promise<boolean> {
201
- throw new Error('TXE Archiver does not implement "isEpochComplete"');
44
+ public getL1Timestamp(): Promise<bigint | undefined> {
45
+ throw new Error('TXE Archiver does not implement "getL1Timestamp"');
202
46
  }
203
47
 
204
48
  public async getL2Tips(): Promise<L2Tips> {
@@ -211,53 +55,43 @@ export class TXEArchiver extends ArchiverStoreHelper implements L2BlockSource {
211
55
 
212
56
  const number = blockHeader.globalVariables.blockNumber;
213
57
  const hash = (await blockHeader.hash()).toString();
58
+ const checkpointedBlock = await this.getCheckpointedBlock(number);
59
+ if (!checkpointedBlock) {
60
+ throw new Error(`L2Tips requested from TXE Archiver but no checkpointed block found for block number ${number}`);
61
+ }
62
+ // TXE uses 1-block-per-checkpoint for testing simplicity, so we can use block number as checkpoint number.
63
+ // This uses the deprecated fromBlockNumber method intentionally for the TXE testing environment.
64
+ const checkpoint = await this.store.getRangeOfCheckpoints(CheckpointNumber.fromBlockNumber(number), 1);
65
+ if (checkpoint.length === 0) {
66
+ throw new Error(`L2Tips requested from TXE Archiver but no checkpoint found for block number ${number}`);
67
+ }
68
+ const blockId: L2BlockId = { number, hash };
69
+ const checkpointId: CheckpointId = {
70
+ number: checkpoint[0].checkpointNumber,
71
+ hash: checkpoint[0].header.hash().toString(),
72
+ };
73
+ const tipId: L2TipId = { block: blockId, checkpoint: checkpointId };
214
74
  return {
215
- latest: { number, hash } as L2BlockId,
216
- proven: { number, hash } as L2BlockId,
217
- finalized: { number, hash } as L2BlockId,
75
+ proposed: blockId,
76
+ proven: tipId,
77
+ finalized: tipId,
78
+ checkpointed: tipId,
218
79
  };
219
80
  }
220
81
 
221
- public getL1Constants(): Promise<L1RollupConstants> {
222
- throw new Error('TXE Archiver does not implement "getL2Constants"');
223
- }
224
-
225
- public getGenesisValues(): Promise<{ genesisArchiveRoot: Fr }> {
226
- return Promise.resolve({ genesisArchiveRoot: new Fr(GENESIS_ARCHIVE_ROOT) });
227
- }
228
-
229
- public syncImmediate(): Promise<void> {
230
- throw new Error('TXE Archiver does not implement "syncImmediate"');
231
- }
232
-
233
- public getContract(_address: AztecAddress, _timestamp?: UInt64): Promise<ContractInstanceWithAddress | undefined> {
234
- throw new Error('TXE Archiver does not implement "getContract"');
235
- }
236
-
237
- public getRollupAddress(): Promise<EthAddress> {
238
- throw new Error('TXE Archiver does not implement "getRollupAddress"');
239
- }
240
-
241
- public getRegistryAddress(): Promise<EthAddress> {
242
- throw new Error('TXE Archiver does not implement "getRegistryAddress"');
243
- }
244
-
245
- public getL1Timestamp(): Promise<bigint> {
246
- throw new Error('TXE Archiver does not implement "getL1Timestamp"');
82
+ public getL2SlotNumber(): Promise<SlotNumber | undefined> {
83
+ throw new Error('TXE Archiver does not implement "getL2SlotNumber"');
247
84
  }
248
85
 
249
- public isPendingChainInvalid(): Promise<boolean> {
250
- return Promise.resolve(false);
86
+ public getL2EpochNumber(): Promise<EpochNumber | undefined> {
87
+ throw new Error('TXE Archiver does not implement "getL2EpochNumber"');
251
88
  }
252
89
 
253
- public override getPendingChainValidationStatus(): Promise<ValidateBlockResult> {
254
- return Promise.resolve({ valid: true });
90
+ public isEpochComplete(_epochNumber: EpochNumber): Promise<boolean> {
91
+ throw new Error('TXE Archiver does not implement "isEpochComplete"');
255
92
  }
256
93
 
257
- getPublishedBlockByHash(_blockHash: Fr): Promise<PublishedL2Block | undefined> {
258
- throw new Error('Method not implemented.');
259
- }
260
- getPublishedBlockByArchive(_archive: Fr): Promise<PublishedL2Block | undefined> {
261
- throw new Error('Method not implemented.');
94
+ public syncImmediate(): Promise<void> {
95
+ throw new Error('TXE Archiver does not implement "syncImmediate"');
262
96
  }
263
97
  }
@@ -4,6 +4,7 @@ import type {
4
4
  ENR,
5
5
  P2P,
6
6
  P2PBlockReceivedCallback,
7
+ P2PCheckpointReceivedCallback,
7
8
  P2PConfig,
8
9
  P2PSyncState,
9
10
  PeerId,
@@ -14,14 +15,10 @@ import type {
14
15
  } from '@aztec/p2p';
15
16
  import type { EthAddress, L2BlockStreamEvent, L2Tips } from '@aztec/stdlib/block';
16
17
  import type { PeerInfo } from '@aztec/stdlib/interfaces/server';
17
- import type { BlockAttestation, BlockProposal } from '@aztec/stdlib/p2p';
18
+ import type { BlockProposal, CheckpointAttestation, CheckpointProposal } from '@aztec/stdlib/p2p';
18
19
  import type { Tx, TxHash } from '@aztec/stdlib/tx';
19
20
 
20
21
  export class DummyP2P implements P2P {
21
- public broadcastAttestations(_attestations: BlockAttestation[]): Promise<void> {
22
- return Promise.resolve();
23
- }
24
-
25
22
  public validate(_txs: Tx[]): Promise<void> {
26
23
  return Promise.resolve();
27
24
  }
@@ -46,10 +43,22 @@ export class DummyP2P implements P2P {
46
43
  throw new Error('DummyP2P does not implement "broadcastProposal"');
47
44
  }
48
45
 
46
+ public broadcastCheckpointProposal(_proposal: CheckpointProposal): Promise<void> {
47
+ throw new Error('DummyP2P does not implement "broadcastCheckpointProposal"');
48
+ }
49
+
50
+ public broadcastCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void> {
51
+ throw new Error('DummyP2P does not implement "broadcastCheckpointAttestations"');
52
+ }
53
+
49
54
  public registerBlockProposalHandler(_handler: P2PBlockReceivedCallback): void {
50
55
  throw new Error('DummyP2P does not implement "registerBlockProposalHandler"');
51
56
  }
52
57
 
58
+ public registerCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void {
59
+ throw new Error('DummyP2P does not implement "registerCheckpointProposalHandler"');
60
+ }
61
+
53
62
  public requestTxs(_txHashes: TxHash[]): Promise<(Tx | undefined)[]> {
54
63
  throw new Error('DummyP2P does not implement "requestTxs"');
55
64
  }
@@ -120,16 +129,12 @@ export class DummyP2P implements P2P {
120
129
  throw new Error('DummyP2P does not implement "getTxsByHash"');
121
130
  }
122
131
 
123
- public getAttestationsForSlot(_slot: SlotNumber, _proposalId?: string): Promise<BlockAttestation[]> {
124
- throw new Error('DummyP2P does not implement "getAttestationForSlot"');
125
- }
126
-
127
- public deleteAttestation(_attestation: BlockAttestation): Promise<void> {
128
- return Promise.resolve();
132
+ public getCheckpointAttestationsForSlot(_slot: SlotNumber, _proposalId?: string): Promise<CheckpointAttestation[]> {
133
+ throw new Error('DummyP2P does not implement "getCheckpointAttestationsForSlot"');
129
134
  }
130
135
 
131
- public addAttestations(_attestations: BlockAttestation[]): Promise<void> {
132
- throw new Error('DummyP2P does not implement "addAttestations"');
136
+ public addCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void> {
137
+ throw new Error('DummyP2P does not implement "addCheckpointAttestations"');
133
138
  }
134
139
 
135
140
  public getL2BlockHash(_number: number): Promise<string | undefined> {
@@ -6,7 +6,7 @@ import { makeGlobalVariables } from '@aztec/stdlib/testing';
6
6
  import { type CheckpointGlobalVariables, type GlobalVariableBuilder, GlobalVariables } from '@aztec/stdlib/tx';
7
7
 
8
8
  export class TXEGlobalVariablesBuilder implements GlobalVariableBuilder {
9
- public getCurrentBaseFees(): Promise<GasFees> {
9
+ public getCurrentMinFees(): Promise<GasFees> {
10
10
  return Promise.resolve(new GasFees(0, 0));
11
11
  }
12
12
 
@@ -1,11 +1,13 @@
1
1
  import { type AztecNodeConfig, AztecNodeService } from '@aztec/aztec-node';
2
2
  import { TestCircuitVerifier } from '@aztec/bb-prover/test';
3
+ import { CheckpointNumber } from '@aztec/foundation/branded-types';
4
+ import { Fr } from '@aztec/foundation/curves/bn254';
3
5
  import { createLogger } from '@aztec/foundation/log';
4
- import type { AztecAsyncKVStore } from '@aztec/kv-store';
5
- import { AnchorBlockStore } from '@aztec/pxe/server';
6
+ import { type AnchorBlockStore, type ContractStore, ContractSyncService, type NoteStore } from '@aztec/pxe/server';
6
7
  import { L2Block } from '@aztec/stdlib/block';
7
- import { L1PublishedData, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
8
+ import { Checkpoint, L1PublishedData, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
8
9
  import type { AztecNode } from '@aztec/stdlib/interfaces/client';
10
+ import { CheckpointHeader } from '@aztec/stdlib/rollup';
9
11
  import { getPackageVersion } from '@aztec/stdlib/update-checker';
10
12
 
11
13
  import { TXEArchiver } from './archiver.js';
@@ -23,13 +25,16 @@ export class TXEStateMachine {
23
25
  public synchronizer: TXESynchronizer,
24
26
  public archiver: TXEArchiver,
25
27
  public anchorBlockStore: AnchorBlockStore,
28
+ public contractSyncService: ContractSyncService,
26
29
  ) {}
27
30
 
28
- public static async create(db: AztecAsyncKVStore) {
29
- const archiver = new TXEArchiver(db);
31
+ public static async create(
32
+ archiver: TXEArchiver,
33
+ anchorBlockStore: AnchorBlockStore,
34
+ contractStore: ContractStore,
35
+ noteStore: NoteStore,
36
+ ) {
30
37
  const synchronizer = await TXESynchronizer.create();
31
- const anchorBlockStore = new AnchorBlockStore(db);
32
-
33
38
  const aztecNodeConfig = {} as AztecNodeConfig;
34
39
 
35
40
  const log = createLogger('txe_node');
@@ -55,11 +60,40 @@ export class TXEStateMachine {
55
60
  log,
56
61
  );
57
62
 
58
- return new this(node, synchronizer, archiver, anchorBlockStore);
63
+ const contractSyncService = new ContractSyncService(
64
+ node,
65
+ contractStore,
66
+ noteStore,
67
+ createLogger('txe:contract_sync'),
68
+ );
69
+
70
+ return new this(node, synchronizer, archiver, anchorBlockStore, contractSyncService);
59
71
  }
60
72
 
61
73
  public async handleL2Block(block: L2Block) {
62
- const checkpoint = block.toCheckpoint();
74
+ // Create a checkpoint from the block manually.
75
+ // TXE uses 1-block-per-checkpoint for testing simplicity, so we can use block number as checkpoint number.
76
+ // This uses the deprecated fromBlockNumber method intentionally for the TXE testing environment.
77
+ const checkpointNumber = CheckpointNumber.fromBlockNumber(block.number);
78
+ const checkpoint = new Checkpoint(
79
+ block.archive,
80
+ CheckpointHeader.from({
81
+ lastArchiveRoot: block.header.lastArchive.root,
82
+ inHash: Fr.ZERO,
83
+ blobsHash: Fr.ZERO,
84
+ blockHeadersHash: Fr.ZERO,
85
+ epochOutHash: Fr.ZERO,
86
+ slotNumber: block.header.globalVariables.slotNumber,
87
+ timestamp: block.header.globalVariables.timestamp,
88
+ coinbase: block.header.globalVariables.coinbase,
89
+ feeRecipient: block.header.globalVariables.feeRecipient,
90
+ gasFees: block.header.globalVariables.gasFees,
91
+ totalManaUsed: block.header.totalManaUsed,
92
+ }),
93
+ [block],
94
+ checkpointNumber,
95
+ );
96
+
63
97
  const publishedCheckpoint = new PublishedCheckpoint(
64
98
  checkpoint,
65
99
  new L1PublishedData(
@@ -69,10 +103,13 @@ export class TXEStateMachine {
69
103
  ),
70
104
  [],
71
105
  );
106
+ // Wipe contract sync cache when anchor block changes (mirrors BlockSynchronizer behavior)
107
+ this.contractSyncService.wipe();
108
+
72
109
  await Promise.all([
73
- this.synchronizer.handleL2Block(block.toL2Block()),
110
+ this.synchronizer.handleL2Block(block),
74
111
  this.archiver.addCheckpoints([publishedCheckpoint], undefined),
75
- this.anchorBlockStore.setHeader(block.getBlockHeader()),
112
+ this.anchorBlockStore.setHeader(block.header),
76
113
  ]);
77
114
  }
78
115
  }
@@ -12,14 +12,16 @@ export class MockEpochCache implements EpochCacheInterface {
12
12
  committee: undefined,
13
13
  seed: 0n,
14
14
  epoch: EpochNumber.ZERO,
15
+ isEscapeHatchOpen: false,
15
16
  });
16
17
  }
17
18
 
18
- getEpochAndSlotNow(): EpochAndSlot {
19
+ getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
19
20
  return {
20
21
  epoch: EpochNumber.ZERO,
21
22
  slot: SlotNumber(0),
22
23
  ts: 0n,
24
+ nowMs: 0n,
23
25
  };
24
26
  }
25
27
 
@@ -40,18 +42,15 @@ export class MockEpochCache implements EpochCacheInterface {
40
42
  return 0n;
41
43
  }
42
44
 
43
- getProposerAttesterAddressInCurrentOrNextSlot(): Promise<{
44
- currentProposer: EthAddress | undefined;
45
- nextProposer: EthAddress | undefined;
46
- currentSlot: SlotNumber;
47
- nextSlot: SlotNumber;
48
- }> {
49
- return Promise.resolve({
50
- currentProposer: undefined,
51
- nextProposer: undefined,
45
+ getCurrentAndNextSlot(): { currentSlot: SlotNumber; nextSlot: SlotNumber } {
46
+ return {
52
47
  currentSlot: SlotNumber(0),
53
48
  nextSlot: SlotNumber(0),
54
- });
49
+ };
50
+ }
51
+
52
+ getProposerAttesterAddressInSlot(_slot: SlotNumber): Promise<EthAddress | undefined> {
53
+ return Promise.resolve(undefined);
55
54
  }
56
55
 
57
56
  isInCommittee(_slot: SlotTag, _validator: EthAddress): Promise<boolean> {
@@ -1,7 +1,7 @@
1
1
  import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP } from '@aztec/constants';
2
2
  import { BlockNumber } from '@aztec/foundation/branded-types';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
- import type { L2BlockNew } from '@aztec/stdlib/block';
4
+ import type { L2Block } from '@aztec/stdlib/block';
5
5
  import type {
6
6
  MerkleTreeReadOperations,
7
7
  MerkleTreeWriteOperations,
@@ -23,7 +23,7 @@ export class TXESynchronizer implements WorldStateSynchronizer {
23
23
  return new this(nativeWorldStateService);
24
24
  }
25
25
 
26
- public async handleL2Block(block: L2BlockNew) {
26
+ public async handleL2Block(block: L2Block) {
27
27
  await this.nativeWorldStateService.handleL2BlockAndMessages(
28
28
  block,
29
29
  Array(NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP).fill(0).map(Fr.zero),