@aztec/txe 0.0.1-commit.c31f2472 → 0.0.1-commit.c52d6e7

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 (174) hide show
  1. package/dest/AuthRegistry-QVGDDH5X.js +3 -0
  2. package/dest/AuthRegistry-QVGDDH5X.js.map +7 -0
  3. package/dest/ContractClassRegistry-PVNCKGG7.js +3 -0
  4. package/dest/ContractClassRegistry-PVNCKGG7.js.map +7 -0
  5. package/dest/ContractInstanceRegistry-WLOZKTR6.js +3 -0
  6. package/dest/ContractInstanceRegistry-WLOZKTR6.js.map +7 -0
  7. package/dest/FeeJuice-MAQJU53K.js +3 -0
  8. package/dest/FeeJuice-MAQJU53K.js.map +7 -0
  9. package/dest/HandshakeRegistry-GY5CPEPS.js +3 -0
  10. package/dest/HandshakeRegistry-GY5CPEPS.js.map +7 -0
  11. package/dest/MultiCallEntrypoint-QG5H33ZZ.js +3 -0
  12. package/dest/MultiCallEntrypoint-QG5H33ZZ.js.map +7 -0
  13. package/dest/SchnorrAccount-ADD65DYA.js +3 -0
  14. package/dest/SchnorrAccount-ADD65DYA.js.map +7 -0
  15. package/dest/SchnorrInitializerlessAccount-TWGKRUSY.js +3 -0
  16. package/dest/SchnorrInitializerlessAccount-TWGKRUSY.js.map +7 -0
  17. package/dest/bin/check_txe_oracle_version.d.ts +2 -0
  18. package/dest/bin/check_txe_oracle_version.d.ts.map +1 -0
  19. package/dest/bin/check_txe_oracle_version.js +22 -0
  20. package/dest/bin/index.js +3 -30
  21. package/dest/bin/index.js.map +7 -0
  22. package/dest/bin/oracle_test_server.d.ts +3 -0
  23. package/dest/bin/oracle_test_server.d.ts.map +1 -0
  24. package/dest/bin/oracle_test_server.js +41 -0
  25. package/dest/chunk-32UHX7YY.js +3 -0
  26. package/dest/chunk-32UHX7YY.js.map +7 -0
  27. package/dest/chunk-RVEPNDEP.js +304 -0
  28. package/dest/chunk-RVEPNDEP.js.map +7 -0
  29. package/dest/chunk-XWIMXLKD.js +258 -0
  30. package/dest/chunk-XWIMXLKD.js.map +7 -0
  31. package/dest/constants.d.ts +5 -1
  32. package/dest/constants.d.ts.map +1 -1
  33. package/dest/constants.js +9 -1
  34. package/dest/dispatcher_pool.d.ts +67 -0
  35. package/dest/dispatcher_pool.d.ts.map +1 -0
  36. package/dest/dispatcher_pool.js +286 -0
  37. package/dest/index.d.ts +51 -7
  38. package/dest/index.d.ts.map +1 -1
  39. package/dest/index.js +73 -157
  40. package/dest/metafile.json +38833 -0
  41. package/dest/msgpackr_fr_extension.d.ts +2 -0
  42. package/dest/msgpackr_fr_extension.d.ts.map +1 -0
  43. package/dest/msgpackr_fr_extension.js +21 -0
  44. package/dest/oracle/interfaces.d.ts +69 -30
  45. package/dest/oracle/interfaces.d.ts.map +1 -1
  46. package/dest/oracle/tagging_secret_strategy.d.ts +12 -0
  47. package/dest/oracle/tagging_secret_strategy.d.ts.map +1 -0
  48. package/dest/oracle/tagging_secret_strategy.js +12 -0
  49. package/dest/oracle/test-resolver/default_fixtures.d.ts +16 -0
  50. package/dest/oracle/test-resolver/default_fixtures.d.ts.map +1 -0
  51. package/dest/oracle/test-resolver/default_fixtures.js +200 -0
  52. package/dest/oracle/test-resolver/index.d.ts +9 -0
  53. package/dest/oracle/test-resolver/index.d.ts.map +1 -0
  54. package/dest/oracle/test-resolver/index.js +32 -0
  55. package/dest/oracle/test-resolver/resolver.d.ts +48 -0
  56. package/dest/oracle/test-resolver/resolver.d.ts.map +1 -0
  57. package/dest/oracle/test-resolver/resolver.js +181 -0
  58. package/dest/oracle/txe_oracle_public_context.d.ts +38 -14
  59. package/dest/oracle/txe_oracle_public_context.d.ts.map +1 -1
  60. package/dest/oracle/txe_oracle_public_context.js +61 -13
  61. package/dest/oracle/txe_oracle_registry.d.ts +172 -0
  62. package/dest/oracle/txe_oracle_registry.d.ts.map +1 -0
  63. package/dest/oracle/txe_oracle_registry.js +767 -0
  64. package/dest/oracle/txe_oracle_top_level_context.d.ts +69 -29
  65. package/dest/oracle/txe_oracle_top_level_context.d.ts.map +1 -1
  66. package/dest/oracle/txe_oracle_top_level_context.js +607 -279
  67. package/dest/oracle/txe_oracle_version.d.ts +17 -0
  68. package/dest/oracle/txe_oracle_version.d.ts.map +1 -0
  69. package/dest/oracle/txe_oracle_version.js +14 -0
  70. package/dest/oracle/txe_private_execution_oracle.d.ts +17 -0
  71. package/dest/oracle/txe_private_execution_oracle.d.ts.map +1 -0
  72. package/dest/oracle/txe_private_execution_oracle.js +15 -0
  73. package/dest/rpc_server.d.ts +14 -0
  74. package/dest/rpc_server.d.ts.map +1 -0
  75. package/dest/rpc_server.js +78 -0
  76. package/dest/rpc_translator.d.ts +116 -228
  77. package/dest/rpc_translator.d.ts.map +1 -1
  78. package/dest/rpc_translator.js +909 -612
  79. package/dest/server.bundle.js +3 -0
  80. package/dest/server.bundle.js.map +7 -0
  81. package/dest/state_machine/archiver.d.ts +6 -5
  82. package/dest/state_machine/archiver.d.ts.map +1 -1
  83. package/dest/state_machine/archiver.js +30 -20
  84. package/dest/state_machine/dummy_p2p_client.d.ts +29 -16
  85. package/dest/state_machine/dummy_p2p_client.d.ts.map +1 -1
  86. package/dest/state_machine/dummy_p2p_client.js +53 -20
  87. package/dest/state_machine/global_variable_builder.d.ts +10 -6
  88. package/dest/state_machine/global_variable_builder.d.ts.map +1 -1
  89. package/dest/state_machine/global_variable_builder.js +8 -5
  90. package/dest/state_machine/index.d.ts +13 -7
  91. package/dest/state_machine/index.d.ts.map +1 -1
  92. package/dest/state_machine/index.js +60 -15
  93. package/dest/state_machine/mock_epoch_cache.d.ts +19 -3
  94. package/dest/state_machine/mock_epoch_cache.d.ts.map +1 -1
  95. package/dest/state_machine/mock_epoch_cache.js +36 -2
  96. package/dest/state_machine/synchronizer.d.ts +14 -6
  97. package/dest/state_machine/synchronizer.d.ts.map +1 -1
  98. package/dest/state_machine/synchronizer.js +22 -9
  99. package/dest/txe_session.d.ts +92 -16
  100. package/dest/txe_session.d.ts.map +1 -1
  101. package/dest/txe_session.js +380 -57
  102. package/dest/utils/block_creation.d.ts +2 -2
  103. package/dest/utils/block_creation.d.ts.map +1 -1
  104. package/dest/utils/block_creation.js +5 -3
  105. package/dest/utils/encoding.d.ts +194 -0
  106. package/dest/utils/encoding.d.ts.map +1 -0
  107. package/dest/{util → utils}/encoding.js +7 -2
  108. package/dest/{util → utils}/expected_failure_error.d.ts +1 -1
  109. package/dest/utils/expected_failure_error.d.ts.map +1 -0
  110. package/dest/utils/tx_effect_creation.d.ts +1 -1
  111. package/dest/utils/tx_effect_creation.d.ts.map +1 -1
  112. package/dest/utils/tx_effect_creation.js +0 -1
  113. package/dest/{util → utils}/txe_account_store.d.ts +1 -1
  114. package/dest/utils/txe_account_store.d.ts.map +1 -0
  115. package/dest/utils/txe_artifact_resolver.d.ts +37 -0
  116. package/dest/utils/txe_artifact_resolver.d.ts.map +1 -0
  117. package/dest/utils/txe_artifact_resolver.js +161 -0
  118. package/dest/utils/txe_public_contract_data_source.d.ts +20 -0
  119. package/dest/utils/txe_public_contract_data_source.d.ts.map +1 -0
  120. package/dest/utils/txe_public_contract_data_source.js +51 -0
  121. package/dest/worker.bundle.js +3 -0
  122. package/dest/worker.bundle.js.map +7 -0
  123. package/dest/worker.d.ts +2 -0
  124. package/dest/worker.d.ts.map +1 -0
  125. package/dest/worker.js +92 -0
  126. package/package.json +38 -21
  127. package/src/bin/check_txe_oracle_version.ts +31 -0
  128. package/src/bin/index.ts +11 -2
  129. package/src/bin/oracle_test_server.ts +51 -0
  130. package/src/constants.ts +11 -1
  131. package/src/dispatcher_pool.ts +317 -0
  132. package/src/index.ts +99 -190
  133. package/src/msgpackr_fr_extension.ts +23 -0
  134. package/src/oracle/interfaces.ts +75 -35
  135. package/src/oracle/tagging_secret_strategy.ts +25 -0
  136. package/src/oracle/test-resolver/default_fixtures.ts +271 -0
  137. package/src/oracle/test-resolver/index.ts +44 -0
  138. package/src/oracle/test-resolver/resolver.ts +245 -0
  139. package/src/oracle/txe_oracle_public_context.ts +74 -12
  140. package/src/oracle/txe_oracle_registry.ts +556 -0
  141. package/src/oracle/txe_oracle_top_level_context.ts +464 -178
  142. package/src/oracle/txe_oracle_version.ts +17 -0
  143. package/src/oracle/txe_private_execution_oracle.ts +30 -0
  144. package/src/rpc_server.ts +87 -0
  145. package/src/rpc_translator.ts +1126 -987
  146. package/src/state_machine/archiver.ts +43 -20
  147. package/src/state_machine/dummy_p2p_client.ts +83 -32
  148. package/src/state_machine/global_variable_builder.ts +12 -11
  149. package/src/state_machine/index.ts +84 -33
  150. package/src/state_machine/mock_epoch_cache.ts +47 -3
  151. package/src/state_machine/synchronizer.ts +31 -10
  152. package/src/txe_session.ts +625 -128
  153. package/src/utils/block_creation.ts +5 -2
  154. package/src/{util → utils}/encoding.ts +8 -2
  155. package/src/utils/tx_effect_creation.ts +0 -2
  156. package/src/utils/txe_artifact_resolver.ts +217 -0
  157. package/src/utils/txe_public_contract_data_source.ts +60 -0
  158. package/src/worker.ts +98 -0
  159. package/dest/util/encoding.d.ts +0 -720
  160. package/dest/util/encoding.d.ts.map +0 -1
  161. package/dest/util/expected_failure_error.d.ts.map +0 -1
  162. package/dest/util/txe_account_store.d.ts.map +0 -1
  163. package/dest/util/txe_contract_store.d.ts +0 -12
  164. package/dest/util/txe_contract_store.d.ts.map +0 -1
  165. package/dest/util/txe_contract_store.js +0 -22
  166. package/dest/util/txe_public_contract_data_source.d.ts +0 -21
  167. package/dest/util/txe_public_contract_data_source.d.ts.map +0 -1
  168. package/dest/util/txe_public_contract_data_source.js +0 -67
  169. package/src/util/txe_contract_store.ts +0 -36
  170. package/src/util/txe_public_contract_data_source.ts +0 -86
  171. /package/dest/{util → utils}/expected_failure_error.js +0 -0
  172. /package/dest/{util → utils}/txe_account_store.js +0 -0
  173. /package/src/{util → utils}/expected_failure_error.ts +0 -0
  174. /package/src/{util → utils}/txe_account_store.ts +0 -0
@@ -1,12 +1,20 @@
1
- import { ArchiverDataSourceBase, ArchiverDataStoreUpdater, KVArchiverDataStore } from '@aztec/archiver';
1
+ import { ArchiverDataSourceBase, ArchiverDataStoreUpdater, createArchiverDataStores } from '@aztec/archiver';
2
2
  import { GENESIS_ARCHIVE_ROOT } from '@aztec/constants';
3
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
6
  import type { AztecAsyncKVStore } from '@aztec/kv-store';
7
- import type { CheckpointId, L2BlockId, L2TipId, L2Tips, ValidateCheckpointResult } from '@aztec/stdlib/block';
7
+ import {
8
+ type CheckpointId,
9
+ GENESIS_BLOCK_HEADER_HASH,
10
+ type L2BlockId,
11
+ type L2TipId,
12
+ type L2Tips,
13
+ type ValidateCheckpointResult,
14
+ } from '@aztec/stdlib/block';
8
15
  import type { PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
9
- import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
16
+ import { EmptyL1RollupConstants, type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
17
+ import { BlockHeader } from '@aztec/stdlib/tx';
10
18
 
11
19
  /**
12
20
  * TXE Archiver implementation.
@@ -14,11 +22,16 @@ import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
14
22
  * without needing any of the extra overhead that the Archiver itself requires (i.e. an L1 client).
15
23
  */
16
24
  export class TXEArchiver extends ArchiverDataSourceBase {
17
- private readonly updater = new ArchiverDataStoreUpdater(this.store);
25
+ private readonly updater = new ArchiverDataStoreUpdater(this.stores);
18
26
 
19
27
  constructor(db: AztecAsyncKVStore) {
20
- const store = new KVArchiverDataStore(db, 9999, { epochDuration: 32 });
21
- super(store);
28
+ super(
29
+ createArchiverDataStores(db, GENESIS_BLOCK_HEADER_HASH),
30
+ undefined,
31
+ BlockHeader.empty(),
32
+ GENESIS_BLOCK_HEADER_HASH,
33
+ new Fr(GENESIS_ARCHIVE_ROOT),
34
+ );
22
35
  }
23
36
 
24
37
  public async addCheckpoints(checkpoints: PublishedCheckpoint[], result?: ValidateCheckpointResult): Promise<void> {
@@ -34,7 +47,9 @@ export class TXEArchiver extends ArchiverDataSourceBase {
34
47
  }
35
48
 
36
49
  public getL1Constants(): Promise<L1RollupConstants> {
37
- throw new Error('TXE Archiver does not implement "getL1Constants"');
50
+ // The TXE has no L1, so it serves the empty constants (epochDuration=1) used throughout the TXE state machine
51
+ // (see mock_epoch_cache). The node calls this when assembling a mined tx receipt to derive the epoch number.
52
+ return Promise.resolve(EmptyL1RollupConstants);
38
53
  }
39
54
 
40
55
  public getGenesisValues(): Promise<{ genesisArchiveRoot: Fr }> {
@@ -48,18 +63,21 @@ export class TXEArchiver extends ArchiverDataSourceBase {
48
63
  public async getL2Tips(): Promise<L2Tips> {
49
64
  // In TXE there is no possibility of reorgs and no blocks are ever getting proven so we just set 'latest', 'proven'
50
65
  // and 'finalized' to the latest block.
51
- const blockHeader = await this.getBlockHeader('latest');
52
- if (!blockHeader) {
66
+ const latestBlockNumber = await this.stores.blocks.getLatestL2BlockNumber();
67
+ if (latestBlockNumber === 0) {
68
+ throw new Error('L2Tips requested from TXE Archiver but no block found');
69
+ }
70
+ const latestBlockData = await this.stores.blocks.getBlockData({ number: latestBlockNumber });
71
+ if (!latestBlockData) {
53
72
  throw new Error('L2Tips requested from TXE Archiver but no block header found');
54
73
  }
55
74
 
56
- const number = blockHeader.globalVariables.blockNumber;
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
- const checkpoint = await this.store.getRangeOfCheckpoints(CheckpointNumber.fromBlockNumber(number), 1);
75
+ const number = latestBlockData.header.globalVariables.blockNumber;
76
+ const hash = latestBlockData.blockHash.toString();
77
+
78
+ // TXE uses 1-block-per-checkpoint for testing simplicity, so we can use block number as checkpoint number.
79
+ // This uses the deprecated fromBlockNumber method intentionally for the TXE testing environment.
80
+ const checkpoint = await this.stores.blocks.getRangeOfCheckpoints(CheckpointNumber.fromBlockNumber(number), 1);
63
81
  if (checkpoint.length === 0) {
64
82
  throw new Error(`L2Tips requested from TXE Archiver but no checkpoint found for block number ${number}`);
65
83
  }
@@ -77,12 +95,12 @@ export class TXEArchiver extends ArchiverDataSourceBase {
77
95
  };
78
96
  }
79
97
 
80
- public getL2SlotNumber(): Promise<SlotNumber | undefined> {
81
- throw new Error('TXE Archiver does not implement "getL2SlotNumber"');
98
+ public getSyncedL2SlotNumber(): Promise<SlotNumber | undefined> {
99
+ throw new Error('TXE Archiver does not implement "getSyncedL2SlotNumber"');
82
100
  }
83
101
 
84
- public getL2EpochNumber(): Promise<EpochNumber | undefined> {
85
- throw new Error('TXE Archiver does not implement "getL2EpochNumber"');
102
+ public getSyncedL2EpochNumber(): Promise<EpochNumber | undefined> {
103
+ throw new Error('TXE Archiver does not implement "getSyncedL2EpochNumber"');
86
104
  }
87
105
 
88
106
  public isEpochComplete(_epochNumber: EpochNumber): Promise<boolean> {
@@ -92,4 +110,9 @@ export class TXEArchiver extends ArchiverDataSourceBase {
92
110
  public syncImmediate(): Promise<void> {
93
111
  throw new Error('TXE Archiver does not implement "syncImmediate"');
94
112
  }
113
+
114
+ public getL2ToL1MembershipWitness(): Promise<undefined> {
115
+ // TXE doesn't drive the L2-to-L1 message flow through this archiver.
116
+ return Promise.resolve(undefined);
117
+ }
95
118
  }
@@ -1,25 +1,34 @@
1
- import type { SlotNumber } from '@aztec/foundation/branded-types';
1
+ import type { CheckpointProposalHash, SlotNumber } from '@aztec/foundation/branded-types';
2
2
  import type {
3
3
  AuthRequest,
4
4
  ENR,
5
5
  P2P,
6
6
  P2PBlockReceivedCallback,
7
+ P2PCheckpointAttestationCallback,
7
8
  P2PCheckpointReceivedCallback,
8
9
  P2PConfig,
10
+ P2PDuplicateAttestationCallback,
11
+ P2PDuplicateProposalCallback,
12
+ P2POversizedProposalCallback,
9
13
  P2PSyncState,
10
14
  PeerId,
11
15
  ReqRespSubProtocol,
12
16
  ReqRespSubProtocolHandler,
13
- ReqRespSubProtocolValidators,
14
17
  StatusMessage,
15
18
  } from '@aztec/p2p';
16
19
  import type { EthAddress, L2BlockStreamEvent, L2Tips } from '@aztec/stdlib/block';
17
- import type { PeerInfo } from '@aztec/stdlib/interfaces/server';
18
- import type { BlockProposal, CheckpointAttestation, CheckpointProposal } from '@aztec/stdlib/p2p';
19
- import type { Tx, TxHash } from '@aztec/stdlib/tx';
20
+ import type { ITxProvider, PeerInfo } from '@aztec/stdlib/interfaces/server';
21
+ import type {
22
+ BlockProposal,
23
+ CheckpointAttestation,
24
+ CheckpointProposal,
25
+ CheckpointProposalCore,
26
+ TopicType,
27
+ } from '@aztec/stdlib/p2p';
28
+ import type { BlockHeader, Tx, TxHash } from '@aztec/stdlib/tx';
20
29
 
21
30
  export class DummyP2P implements P2P {
22
- public validate(_txs: Tx[]): Promise<void> {
31
+ public validateTxsReceivedInBlockProposal(_txs: Tx[]): Promise<void> {
23
32
  return Promise.resolve();
24
33
  }
25
34
 
@@ -39,6 +48,10 @@ export class DummyP2P implements P2P {
39
48
  throw new Error('DummyP2P does not implement "getPeers"');
40
49
  }
41
50
 
51
+ public getGossipMeshPeerCount(_topicType: TopicType): Promise<number> {
52
+ return Promise.resolve(0);
53
+ }
54
+
42
55
  public broadcastProposal(_proposal: BlockProposal): Promise<void> {
43
56
  throw new Error('DummyP2P does not implement "broadcastProposal"');
44
57
  }
@@ -55,8 +68,12 @@ export class DummyP2P implements P2P {
55
68
  throw new Error('DummyP2P does not implement "registerBlockProposalHandler"');
56
69
  }
57
70
 
58
- public registerCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void {
59
- throw new Error('DummyP2P does not implement "registerCheckpointProposalHandler"');
71
+ public registerValidatorCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void {
72
+ throw new Error('DummyP2P does not implement "registerValidatorCheckpointProposalHandler"');
73
+ }
74
+
75
+ public registerAllNodesCheckpointProposalHandler(_handler: P2PCheckpointReceivedCallback): void {
76
+ throw new Error('DummyP2P does not implement "registerAllNodesCheckpointProposalHandler"');
60
77
  }
61
78
 
62
79
  public requestTxs(_txHashes: TxHash[]): Promise<(Tx | undefined)[]> {
@@ -71,8 +88,8 @@ export class DummyP2P implements P2P {
71
88
  throw new Error('DummyP2P does not implement "sendTx"');
72
89
  }
73
90
 
74
- public deleteTxs(_txHashes: TxHash[]): Promise<void> {
75
- throw new Error('DummyP2P does not implement "deleteTxs"');
91
+ public handleFailedExecution(_txHashes: TxHash[]): Promise<void> {
92
+ throw new Error('DummyP2P does not implement "handleFailedExecution"');
76
93
  }
77
94
 
78
95
  public getTxByHashFromPool(_txHash: TxHash): Promise<Tx | undefined> {
@@ -97,10 +114,18 @@ export class DummyP2P implements P2P {
97
114
  throw new Error('DummyP2P does not implement "iteratePendingTxs"');
98
115
  }
99
116
 
117
+ public iterateEligiblePendingTxs(): AsyncIterableIterator<Tx> {
118
+ throw new Error('DummyP2P does not implement "iterateEligiblePendingTxs"');
119
+ }
120
+
100
121
  public getPendingTxCount(): Promise<number> {
101
122
  throw new Error('DummyP2P does not implement "getPendingTxCount"');
102
123
  }
103
124
 
125
+ public hasEligiblePendingTxs(_minCount: number): Promise<boolean> {
126
+ throw new Error('DummyP2P does not implement "hasEligiblePendingTxs"');
127
+ }
128
+
104
129
  public start(): Promise<void> {
105
130
  throw new Error('DummyP2P does not implement "start"');
106
131
  }
@@ -125,16 +150,34 @@ export class DummyP2P implements P2P {
125
150
  throw new Error('DummyP2P does not implement "isP2PClient"');
126
151
  }
127
152
 
153
+ public getTxProvider(): ITxProvider {
154
+ throw new Error('DummyP2P does not implement "getTxProvider"');
155
+ }
156
+
128
157
  public getTxsByHash(_txHashes: TxHash[]): Promise<Tx[]> {
129
158
  throw new Error('DummyP2P does not implement "getTxsByHash"');
130
159
  }
131
160
 
132
- public getCheckpointAttestationsForSlot(_slot: SlotNumber, _proposalId?: string): Promise<CheckpointAttestation[]> {
161
+ public getCheckpointAttestationsForSlot(
162
+ _slot: SlotNumber,
163
+ _proposalPayloadHash?: CheckpointProposalHash,
164
+ ): Promise<CheckpointAttestation[]> {
133
165
  throw new Error('DummyP2P does not implement "getCheckpointAttestationsForSlot"');
134
166
  }
135
167
 
136
- public addCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void> {
137
- throw new Error('DummyP2P does not implement "addCheckpointAttestations"');
168
+ public addOwnCheckpointAttestations(_attestations: CheckpointAttestation[]): Promise<void> {
169
+ throw new Error('DummyP2P does not implement "addOwnCheckpointAttestations"');
170
+ }
171
+
172
+ public getProposalsForSlot(_slot: SlotNumber): Promise<{
173
+ blockProposals: BlockProposal[];
174
+ checkpointProposals: CheckpointProposalCore[];
175
+ }> {
176
+ return Promise.resolve({ blockProposals: [], checkpointProposals: [] });
177
+ }
178
+
179
+ public hasCheckpointProposalForSlot(_slot: SlotNumber): Promise<boolean> {
180
+ return Promise.resolve(false);
138
181
  }
139
182
 
140
183
  public getL2BlockHash(_number: number): Promise<string | undefined> {
@@ -157,14 +200,6 @@ export class DummyP2P implements P2P {
157
200
  throw new Error('DummyP2P does not implement "sync"');
158
201
  }
159
202
 
160
- public requestTxsByHash(_txHashes: TxHash[]): Promise<Tx[]> {
161
- throw new Error('DummyP2P does not implement "requestTxsByHash"');
162
- }
163
-
164
- public getTxs(_filter: 'all' | 'pending' | 'mined'): Promise<Tx[]> {
165
- throw new Error('DummyP2P does not implement "getTxs"');
166
- }
167
-
168
203
  public getTxsByHashFromPool(_txHashes: TxHash[]): Promise<(Tx | undefined)[]> {
169
204
  throw new Error('DummyP2P does not implement "getTxsByHashFromPool"');
170
205
  }
@@ -173,10 +208,6 @@ export class DummyP2P implements P2P {
173
208
  throw new Error('DummyP2P does not implement "hasTxsInPool"');
174
209
  }
175
210
 
176
- public addTxsToPool(_txs: Tx[]): Promise<number> {
177
- throw new Error('DummyP2P does not implement "addTxs"');
178
- }
179
-
180
211
  public getSyncedLatestBlockNum(): Promise<number> {
181
212
  throw new Error('DummyP2P does not implement "getSyncedLatestBlockNum"');
182
213
  }
@@ -189,15 +220,15 @@ export class DummyP2P implements P2P {
189
220
  throw new Error('DummyP2P does not implement "getSyncedLatestSlot"');
190
221
  }
191
222
 
192
- markTxsAsNonEvictable(_: TxHash[]): Promise<void> {
193
- throw new Error('DummyP2P does not implement "markTxsAsNonEvictable".');
223
+ protectTxs(_txHashes: TxHash[], _blockHeader: BlockHeader): Promise<TxHash[]> {
224
+ throw new Error('DummyP2P does not implement "protectTxs".');
194
225
  }
195
226
 
196
- addReqRespSubProtocol(
197
- _subProtocol: ReqRespSubProtocol,
198
- _handler: ReqRespSubProtocolHandler,
199
- _validator?: ReqRespSubProtocolValidators[ReqRespSubProtocol],
200
- ): Promise<void> {
227
+ prepareForSlot(_slotNumber: SlotNumber): Promise<void> {
228
+ return Promise.resolve();
229
+ }
230
+
231
+ addReqRespSubProtocol(_subProtocol: ReqRespSubProtocol, _handler: ReqRespSubProtocolHandler): Promise<void> {
201
232
  throw new Error('DummyP2P does not implement "addReqRespSubProtocol".');
202
233
  }
203
234
  handleAuthRequestFromPeer(_authRequest: AuthRequest, _peerId: PeerId): Promise<StatusMessage> {
@@ -206,4 +237,24 @@ export class DummyP2P implements P2P {
206
237
 
207
238
  //This is no-op
208
239
  public registerThisValidatorAddresses(_address: EthAddress[]): void {}
240
+
241
+ public registerDuplicateProposalCallback(_callback: P2PDuplicateProposalCallback): void {
242
+ throw new Error('DummyP2P does not implement "registerDuplicateProposalCallback"');
243
+ }
244
+
245
+ public registerOversizedProposalCallback(_callback: P2POversizedProposalCallback): void {
246
+ throw new Error('DummyP2P does not implement "registerOversizedProposalCallback"');
247
+ }
248
+
249
+ public registerDuplicateAttestationCallback(_callback: P2PDuplicateAttestationCallback): void {
250
+ throw new Error('DummyP2P does not implement "registerDuplicateAttestationCallback"');
251
+ }
252
+
253
+ public registerCheckpointAttestationCallback(_callback: P2PCheckpointAttestationCallback): void {
254
+ throw new Error('DummyP2P does not implement "registerCheckpointAttestationCallback"');
255
+ }
256
+
257
+ public hasBlockProposalsForSlot(_slot: SlotNumber): Promise<boolean> {
258
+ throw new Error('DummyP2P does not implement "hasBlockProposalsForSlot"');
259
+ }
209
260
  }
@@ -1,28 +1,29 @@
1
- import { BlockNumber, type SlotNumber } from '@aztec/foundation/branded-types';
1
+ import type { SimulationOverridesPlan } from '@aztec/ethereum/contracts';
2
+ import type { SlotNumber } from '@aztec/foundation/branded-types';
3
+ import { times } from '@aztec/foundation/collection';
2
4
  import type { EthAddress } from '@aztec/foundation/eth-address';
3
5
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
4
- import { GasFees } from '@aztec/stdlib/gas';
6
+ import { FEE_ORACLE_LAG, GasFees } from '@aztec/stdlib/gas';
5
7
  import { makeGlobalVariables } from '@aztec/stdlib/testing';
6
- import { type CheckpointGlobalVariables, type GlobalVariableBuilder, GlobalVariables } from '@aztec/stdlib/tx';
8
+ import type { CheckpointGlobalVariables, FeeProvider, GlobalVariableBuilder } from '@aztec/stdlib/tx';
7
9
 
8
- export class TXEGlobalVariablesBuilder implements GlobalVariableBuilder {
10
+ /** Simple FeeProvider for TXE that returns zero fees. */
11
+ export class TXEFeeProvider implements FeeProvider {
9
12
  public getCurrentMinFees(): Promise<GasFees> {
10
13
  return Promise.resolve(new GasFees(0, 0));
11
14
  }
12
15
 
13
- public buildGlobalVariables(
14
- _blockNumber: BlockNumber,
15
- _coinbase: EthAddress,
16
- _feeRecipient: AztecAddress,
17
- _slotNumber?: SlotNumber,
18
- ): Promise<GlobalVariables> {
19
- return Promise.resolve(makeGlobalVariables());
16
+ public getPredictedMinFees(): Promise<GasFees[]> {
17
+ return Promise.resolve(times(FEE_ORACLE_LAG, () => new GasFees(0, 0)));
20
18
  }
19
+ }
21
20
 
21
+ export class TXEGlobalVariablesBuilder implements GlobalVariableBuilder {
22
22
  public buildCheckpointGlobalVariables(
23
23
  _coinbase: EthAddress,
24
24
  _feeRecipient: AztecAddress,
25
25
  _slotNumber: SlotNumber,
26
+ _simulationOverridesPlan?: SimulationOverridesPlan,
26
27
  ): Promise<CheckpointGlobalVariables> {
27
28
  const vars = makeGlobalVariables();
28
29
  return Promise.resolve({
@@ -3,22 +3,30 @@ import { TestCircuitVerifier } from '@aztec/bb-prover/test';
3
3
  import { CheckpointNumber } from '@aztec/foundation/branded-types';
4
4
  import { Fr } from '@aztec/foundation/curves/bn254';
5
5
  import { createLogger } from '@aztec/foundation/log';
6
- import type { AztecAsyncKVStore } from '@aztec/kv-store';
7
- import { AnchorBlockStore } from '@aztec/pxe/server';
8
- import { L2Block } from '@aztec/stdlib/block';
6
+ import {
7
+ type AnchorBlockStore,
8
+ ContractClassService,
9
+ type ContractStore,
10
+ ContractSyncService,
11
+ type NoteStore,
12
+ } from '@aztec/pxe/server';
13
+ import { TxResolverService } from '@aztec/pxe/simulator';
14
+ import { L2Block, type L2TipsProvider } from '@aztec/stdlib/block';
9
15
  import { Checkpoint, L1PublishedData, PublishedCheckpoint } from '@aztec/stdlib/checkpoint';
10
16
  import type { AztecNode } from '@aztec/stdlib/interfaces/client';
11
17
  import { CheckpointHeader } from '@aztec/stdlib/rollup';
12
- import { getPackageVersion } from '@aztec/stdlib/update-checker';
13
18
 
14
19
  import { TXEArchiver } from './archiver.js';
15
20
  import { DummyP2P } from './dummy_p2p_client.js';
16
- import { TXEGlobalVariablesBuilder } from './global_variable_builder.js';
21
+ import { TXEFeeProvider, TXEGlobalVariablesBuilder } from './global_variable_builder.js';
17
22
  import { MockEpochCache } from './mock_epoch_cache.js';
18
23
  import { TXESynchronizer } from './synchronizer.js';
19
24
 
20
25
  const VERSION = 1;
21
26
  const CHAIN_ID = 1;
27
+ // Hardcoded so the bundled TXE doesn't try to read stdlib's package.json at a relative path
28
+ // that becomes invalid once bundled
29
+ const PACKAGE_VERSION = 'txe';
22
30
 
23
31
  export class TXEStateMachine {
24
32
  constructor(
@@ -26,43 +34,82 @@ export class TXEStateMachine {
26
34
  public synchronizer: TXESynchronizer,
27
35
  public archiver: TXEArchiver,
28
36
  public anchorBlockStore: AnchorBlockStore,
37
+ public contractSyncService: ContractSyncService,
38
+ public contractClassService: ContractClassService,
39
+ public txResolver: TxResolverService,
29
40
  ) {}
30
41
 
31
- public static async create(db: AztecAsyncKVStore) {
32
- const archiver = new TXEArchiver(db);
42
+ public static async create(
43
+ archiver: TXEArchiver,
44
+ anchorBlockStore: AnchorBlockStore,
45
+ contractStore: ContractStore,
46
+ noteStore: NoteStore,
47
+ ) {
33
48
  const synchronizer = await TXESynchronizer.create();
34
- const anchorBlockStore = new AnchorBlockStore(db);
35
-
36
49
  const aztecNodeConfig = {} as AztecNodeConfig;
37
50
 
38
51
  const log = createLogger('txe_node');
39
- const node = new AztecNodeService(
40
- aztecNodeConfig,
41
- new DummyP2P(),
42
- archiver,
43
- archiver,
44
- archiver,
45
- archiver,
46
- synchronizer,
47
- undefined,
48
- undefined,
49
- undefined,
50
- undefined,
51
- VERSION,
52
- CHAIN_ID,
53
- new TXEGlobalVariablesBuilder(),
54
- new MockEpochCache(),
55
- getPackageVersion() ?? '',
56
- new TestCircuitVerifier(),
57
- undefined,
52
+ const node = new AztecNodeService({
53
+ config: aztecNodeConfig,
54
+ p2pClient: new DummyP2P(),
55
+ blockSource: archiver,
56
+ logsSource: archiver,
57
+ contractDataSource: archiver,
58
+ l1ToL2MessageSource: archiver,
59
+ worldStateSynchronizer: synchronizer,
60
+ sequencer: undefined,
61
+ proverNode: undefined,
62
+ slasherClient: undefined,
63
+ validatorsSentinel: undefined,
64
+ stopStartedWatchers: async () => {},
65
+ l1ChainId: CHAIN_ID,
66
+ version: VERSION,
67
+ globalVariableBuilder: new TXEGlobalVariablesBuilder(),
68
+ rollupContract: undefined,
69
+ feeProvider: new TXEFeeProvider(),
70
+ epochCache: new MockEpochCache(),
71
+ packageVersion: PACKAGE_VERSION,
72
+ peerProofVerifier: new TestCircuitVerifier(),
73
+ rpcProofVerifier: new TestCircuitVerifier(),
74
+ telemetry: undefined,
58
75
  log,
76
+ });
77
+
78
+ const contractClassService = new ContractClassService(node, contractStore);
79
+ const contractSyncService = new ContractSyncService(
80
+ node,
81
+ contractStore,
82
+ contractClassService,
83
+ noteStore,
84
+ createLogger('txe:contract_sync'),
59
85
  );
60
86
 
61
- return new this(node, synchronizer, archiver, anchorBlockStore);
87
+ const txResolver = new TxResolverService(node);
88
+
89
+ return new this(
90
+ node,
91
+ synchronizer,
92
+ archiver,
93
+ anchorBlockStore,
94
+ contractSyncService,
95
+ contractClassService,
96
+ txResolver,
97
+ );
62
98
  }
63
99
 
64
- public async handleL2Block(block: L2Block) {
65
- // Create a checkpoint from the block manually
100
+ /** Returns an {@link L2TipsProvider} backed by this node's chain tips. */
101
+ public get l2TipsProvider(): L2TipsProvider {
102
+ const node = this.node;
103
+ return {
104
+ getL2Tips: () => node.getChainTips(),
105
+ };
106
+ }
107
+
108
+ public async handleL2Block(block: L2Block, l1ToL2Messages: Fr[] = []) {
109
+ // Create a checkpoint from the block manually.
110
+ // TXE uses 1-block-per-checkpoint for testing simplicity, so we can use block number as checkpoint number.
111
+ // This uses the deprecated fromBlockNumber method intentionally for the TXE testing environment.
112
+ const checkpointNumber = CheckpointNumber.fromBlockNumber(block.number);
66
113
  const checkpoint = new Checkpoint(
67
114
  block.archive,
68
115
  CheckpointHeader.from({
@@ -77,9 +124,10 @@ export class TXEStateMachine {
77
124
  feeRecipient: block.header.globalVariables.feeRecipient,
78
125
  gasFees: block.header.globalVariables.gasFees,
79
126
  totalManaUsed: block.header.totalManaUsed,
127
+ accumulatedFees: block.header.totalFees,
80
128
  }),
81
129
  [block],
82
- CheckpointNumber.fromBlockNumber(block.number),
130
+ checkpointNumber,
83
131
  );
84
132
 
85
133
  const publishedCheckpoint = new PublishedCheckpoint(
@@ -91,8 +139,11 @@ export class TXEStateMachine {
91
139
  ),
92
140
  [],
93
141
  );
142
+ // Wipe contract sync cache when anchor block changes (mirrors BlockSynchronizer behavior)
143
+ this.contractSyncService.wipe();
144
+
94
145
  await Promise.all([
95
- this.synchronizer.handleL2Block(block),
146
+ this.synchronizer.handleL2Block(block, l1ToL2Messages),
96
147
  this.archiver.addCheckpoints([publishedCheckpoint], undefined),
97
148
  this.anchorBlockStore.setHeader(block.header),
98
149
  ]);
@@ -1,13 +1,14 @@
1
1
  import type { EpochAndSlot, EpochCacheInterface, EpochCommitteeInfo, SlotTag } from '@aztec/epoch-cache';
2
2
  import { EpochNumber, SlotNumber } from '@aztec/foundation/branded-types';
3
3
  import { EthAddress } from '@aztec/foundation/eth-address';
4
+ import { EmptyL1RollupConstants, type L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
4
5
 
5
6
  /**
6
7
  * Mock implementation of the EpochCacheInterface used to satisfy dependencies of AztecNodeService.
7
8
  * Since in TXE we don't validate transactions, mock suffices here.
8
9
  */
9
10
  export class MockEpochCache implements EpochCacheInterface {
10
- getCommittee(): Promise<EpochCommitteeInfo> {
11
+ getCommittee(_slot: SlotTag = 'now'): Promise<EpochCommitteeInfo> {
11
12
  return Promise.resolve({
12
13
  committee: undefined,
13
14
  seed: 0n,
@@ -16,6 +17,22 @@ export class MockEpochCache implements EpochCacheInterface {
16
17
  });
17
18
  }
18
19
 
20
+ getSlotNow(): SlotNumber {
21
+ return SlotNumber(0);
22
+ }
23
+
24
+ getTargetSlot(): SlotNumber {
25
+ return SlotNumber(0);
26
+ }
27
+
28
+ getEpochNow(): EpochNumber {
29
+ return EpochNumber.ZERO;
30
+ }
31
+
32
+ getTargetEpoch(): EpochNumber {
33
+ return EpochNumber.ZERO;
34
+ }
35
+
19
36
  getEpochAndSlotNow(): EpochAndSlot & { nowMs: bigint } {
20
37
  return {
21
38
  epoch: EpochNumber.ZERO,
@@ -25,15 +42,19 @@ export class MockEpochCache implements EpochCacheInterface {
25
42
  };
26
43
  }
27
44
 
28
- getEpochAndSlotInNextL1Slot(): EpochAndSlot & { now: bigint } {
45
+ getEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
29
46
  return {
30
47
  epoch: EpochNumber.ZERO,
31
48
  slot: SlotNumber(0),
32
49
  ts: 0n,
33
- now: 0n,
50
+ nowSeconds: 0n,
34
51
  };
35
52
  }
36
53
 
54
+ getTargetEpochAndSlotInNextL1Slot(): EpochAndSlot & { nowSeconds: bigint } {
55
+ return this.getEpochAndSlotInNextL1Slot();
56
+ }
57
+
37
58
  getProposerIndexEncoding(_epoch: EpochNumber, _slot: SlotNumber, _seed: bigint): `0x${string}` {
38
59
  return '0x00';
39
60
  }
@@ -49,6 +70,13 @@ export class MockEpochCache implements EpochCacheInterface {
49
70
  };
50
71
  }
51
72
 
73
+ getTargetAndNextSlot(): { targetSlot: SlotNumber; nextSlot: SlotNumber } {
74
+ return {
75
+ targetSlot: SlotNumber(0),
76
+ nextSlot: SlotNumber(0),
77
+ };
78
+ }
79
+
52
80
  getProposerAttesterAddressInSlot(_slot: SlotNumber): Promise<EthAddress | undefined> {
53
81
  return Promise.resolve(undefined);
54
82
  }
@@ -64,4 +92,20 @@ export class MockEpochCache implements EpochCacheInterface {
64
92
  filterInCommittee(_slot: SlotTag, _validators: EthAddress[]): Promise<EthAddress[]> {
65
93
  return Promise.resolve([]);
66
94
  }
95
+
96
+ isEscapeHatchOpen(_epoch: EpochNumber): Promise<boolean> {
97
+ return Promise.resolve(false);
98
+ }
99
+
100
+ isEscapeHatchOpenAtSlot(_slot: SlotTag): Promise<boolean> {
101
+ return Promise.resolve(false);
102
+ }
103
+
104
+ getL1Constants(): L1RollupConstants {
105
+ return EmptyL1RollupConstants;
106
+ }
107
+
108
+ getLagInEpochsForValidatorSet(): number {
109
+ return 0;
110
+ }
67
111
  }