@aztec/validator-client 0.0.1-commit.f504929 → 0.0.1-commit.f650c0a5c

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 (39) hide show
  1. package/README.md +41 -2
  2. package/dest/checkpoint_builder.d.ts +14 -4
  3. package/dest/checkpoint_builder.d.ts.map +1 -1
  4. package/dest/checkpoint_builder.js +97 -29
  5. package/dest/config.d.ts +1 -1
  6. package/dest/config.d.ts.map +1 -1
  7. package/dest/config.js +22 -6
  8. package/dest/duties/validation_service.d.ts +3 -4
  9. package/dest/duties/validation_service.d.ts.map +1 -1
  10. package/dest/duties/validation_service.js +10 -21
  11. package/dest/factory.d.ts +7 -4
  12. package/dest/factory.d.ts.map +1 -1
  13. package/dest/factory.js +5 -5
  14. package/dest/index.d.ts +2 -2
  15. package/dest/index.d.ts.map +1 -1
  16. package/dest/index.js +1 -1
  17. package/dest/key_store/ha_key_store.js +1 -1
  18. package/dest/metrics.d.ts +2 -2
  19. package/dest/metrics.d.ts.map +1 -1
  20. package/dest/proposal_handler.d.ts +107 -0
  21. package/dest/proposal_handler.d.ts.map +1 -0
  22. package/dest/proposal_handler.js +966 -0
  23. package/dest/validator.d.ts +11 -16
  24. package/dest/validator.d.ts.map +1 -1
  25. package/dest/validator.js +60 -220
  26. package/package.json +19 -19
  27. package/src/checkpoint_builder.ts +120 -34
  28. package/src/config.ts +22 -6
  29. package/src/duties/validation_service.ts +10 -23
  30. package/src/factory.ts +9 -4
  31. package/src/index.ts +1 -1
  32. package/src/key_store/ha_key_store.ts +1 -1
  33. package/src/metrics.ts +1 -1
  34. package/src/proposal_handler.ts +1033 -0
  35. package/src/validator.ts +80 -249
  36. package/dest/block_proposal_handler.d.ts +0 -63
  37. package/dest/block_proposal_handler.d.ts.map +0 -1
  38. package/dest/block_proposal_handler.js +0 -532
  39. package/src/block_proposal_handler.ts +0 -535
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/validator-client",
3
- "version": "0.0.1-commit.f504929",
3
+ "version": "0.0.1-commit.f650c0a5c",
4
4
  "main": "dest/index.js",
5
5
  "type": "module",
6
6
  "exports": {
@@ -64,30 +64,30 @@
64
64
  ]
65
65
  },
66
66
  "dependencies": {
67
- "@aztec/blob-client": "0.0.1-commit.f504929",
68
- "@aztec/blob-lib": "0.0.1-commit.f504929",
69
- "@aztec/constants": "0.0.1-commit.f504929",
70
- "@aztec/epoch-cache": "0.0.1-commit.f504929",
71
- "@aztec/ethereum": "0.0.1-commit.f504929",
72
- "@aztec/foundation": "0.0.1-commit.f504929",
73
- "@aztec/node-keystore": "0.0.1-commit.f504929",
74
- "@aztec/noir-protocol-circuits-types": "0.0.1-commit.f504929",
75
- "@aztec/p2p": "0.0.1-commit.f504929",
76
- "@aztec/protocol-contracts": "0.0.1-commit.f504929",
77
- "@aztec/prover-client": "0.0.1-commit.f504929",
78
- "@aztec/simulator": "0.0.1-commit.f504929",
79
- "@aztec/slasher": "0.0.1-commit.f504929",
80
- "@aztec/stdlib": "0.0.1-commit.f504929",
81
- "@aztec/telemetry-client": "0.0.1-commit.f504929",
82
- "@aztec/validator-ha-signer": "0.0.1-commit.f504929",
67
+ "@aztec/blob-client": "0.0.1-commit.f650c0a5c",
68
+ "@aztec/blob-lib": "0.0.1-commit.f650c0a5c",
69
+ "@aztec/constants": "0.0.1-commit.f650c0a5c",
70
+ "@aztec/epoch-cache": "0.0.1-commit.f650c0a5c",
71
+ "@aztec/ethereum": "0.0.1-commit.f650c0a5c",
72
+ "@aztec/foundation": "0.0.1-commit.f650c0a5c",
73
+ "@aztec/node-keystore": "0.0.1-commit.f650c0a5c",
74
+ "@aztec/noir-protocol-circuits-types": "0.0.1-commit.f650c0a5c",
75
+ "@aztec/p2p": "0.0.1-commit.f650c0a5c",
76
+ "@aztec/protocol-contracts": "0.0.1-commit.f650c0a5c",
77
+ "@aztec/prover-client": "0.0.1-commit.f650c0a5c",
78
+ "@aztec/simulator": "0.0.1-commit.f650c0a5c",
79
+ "@aztec/slasher": "0.0.1-commit.f650c0a5c",
80
+ "@aztec/stdlib": "0.0.1-commit.f650c0a5c",
81
+ "@aztec/telemetry-client": "0.0.1-commit.f650c0a5c",
82
+ "@aztec/validator-ha-signer": "0.0.1-commit.f650c0a5c",
83
83
  "koa": "^2.16.1",
84
84
  "koa-router": "^13.1.1",
85
85
  "tslib": "^2.4.0",
86
86
  "viem": "npm:@aztec/viem@2.38.2"
87
87
  },
88
88
  "devDependencies": {
89
- "@aztec/archiver": "0.0.1-commit.f504929",
90
- "@aztec/world-state": "0.0.1-commit.f504929",
89
+ "@aztec/archiver": "0.0.1-commit.f650c0a5c",
90
+ "@aztec/world-state": "0.0.1-commit.f650c0a5c",
91
91
  "@electric-sql/pglite": "^0.3.14",
92
92
  "@jest/globals": "^30.0.0",
93
93
  "@types/jest": "^30.0.0",
@@ -1,5 +1,7 @@
1
+ import { NUM_CHECKPOINT_END_MARKER_FIELDS, getNumBlockEndBlobFields } from '@aztec/blob-lib/encoding';
2
+ import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
1
3
  import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
2
- import { merge, pick } from '@aztec/foundation/collection';
4
+ import { merge, pick, sum } from '@aztec/foundation/collection';
3
5
  import { Fr } from '@aztec/foundation/curves/bn254';
4
6
  import { type Logger, type LoggerBindings, createLogger } from '@aztec/foundation/log';
5
7
  import { bufferToHex } from '@aztec/foundation/string';
@@ -18,13 +20,14 @@ import type { ContractDataSource } from '@aztec/stdlib/contract';
18
20
  import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
19
21
  import { Gas } from '@aztec/stdlib/gas';
20
22
  import {
23
+ type BlockBuilderOptions,
21
24
  type BuildBlockInCheckpointResult,
22
25
  type FullNodeBlockBuilderConfig,
23
26
  FullNodeBlockBuilderConfigKeys,
24
27
  type ICheckpointBlockBuilder,
25
28
  type ICheckpointsBuilder,
29
+ InsufficientValidTxsError,
26
30
  type MerkleTreeWriteOperations,
27
- NoValidTxsError,
28
31
  type PublicProcessorLimits,
29
32
  type WorldStateSynchronizer,
30
33
  } from '@aztec/stdlib/interfaces/server';
@@ -32,6 +35,7 @@ import { type DebugLogStore, NullDebugLogStore } from '@aztec/stdlib/logs';
32
35
  import { MerkleTreeId } from '@aztec/stdlib/trees';
33
36
  import { type CheckpointGlobalVariables, GlobalVariables, StateReference, Tx } from '@aztec/stdlib/tx';
34
37
  import { type TelemetryClient, getTelemetryClient } from '@aztec/telemetry-client';
38
+ import { ForkCheckpoint } from '@aztec/world-state';
35
39
 
36
40
  // Re-export for backward compatibility
37
41
  export type { BuildBlockInCheckpointResult } from '@aztec/stdlib/interfaces/server';
@@ -43,6 +47,9 @@ export type { BuildBlockInCheckpointResult } from '@aztec/stdlib/interfaces/serv
43
47
  export class CheckpointBuilder implements ICheckpointBlockBuilder {
44
48
  private log: Logger;
45
49
 
50
+ /** Persistent contracts DB shared across all blocks in this checkpoint. */
51
+ protected contractsDB: PublicContractsDB;
52
+
46
53
  constructor(
47
54
  private checkpointBuilder: LightweightCheckpointBuilder,
48
55
  private fork: MerkleTreeWriteOperations,
@@ -57,6 +64,7 @@ export class CheckpointBuilder implements ICheckpointBlockBuilder {
57
64
  ...bindings,
58
65
  instanceId: `checkpoint-${checkpointBuilder.checkpointNumber}`,
59
66
  });
67
+ this.contractsDB = new PublicContractsDB(this.contractDataSource, this.log.getBindings());
60
68
  }
61
69
 
62
70
  getConstantData(): CheckpointGlobalVariables {
@@ -65,12 +73,13 @@ export class CheckpointBuilder implements ICheckpointBlockBuilder {
65
73
 
66
74
  /**
67
75
  * Builds a single block within this checkpoint.
76
+ * Automatically caps gas and blob field limits based on checkpoint-level budgets and prior blocks.
68
77
  */
69
78
  async buildBlock(
70
79
  pendingTxs: Iterable<Tx> | AsyncIterable<Tx>,
71
80
  blockNumber: BlockNumber,
72
81
  timestamp: bigint,
73
- opts: PublicProcessorLimits & { expectedEndState?: StateReference } = {},
82
+ opts: BlockBuilderOptions & { expectedEndState?: StateReference },
74
83
  ): Promise<BuildBlockInCheckpointResult> {
75
84
  const slot = this.checkpointBuilder.constants.slotNumber;
76
85
 
@@ -94,39 +103,60 @@ export class CheckpointBuilder implements ICheckpointBlockBuilder {
94
103
  });
95
104
  const { processor, validator } = await this.makeBlockBuilderDeps(globalVariables, this.fork);
96
105
 
97
- const [publicProcessorDuration, [processedTxs, failedTxs, usedTxs, _, usedTxBlobFields]] = await elapsed(() =>
98
- processor.process(pendingTxs, opts, validator),
99
- );
100
-
101
- // Throw if we didn't collect a single valid tx and we're not allowed to build empty blocks
102
- // (only the first block in a checkpoint can be empty)
103
- if (processedTxs.length === 0 && this.checkpointBuilder.getBlockCount() > 0) {
104
- throw new NoValidTxsError(failedTxs);
105
- }
106
-
107
- // Add block to checkpoint
108
- const { block } = await this.checkpointBuilder.addBlock(globalVariables, processedTxs, {
109
- expectedEndState: opts.expectedEndState,
110
- });
106
+ // Cap gas limits amd available blob fields by remaining checkpoint-level budgets
107
+ const cappedOpts: PublicProcessorLimits & { expectedEndState?: StateReference } = {
108
+ ...opts,
109
+ ...this.capLimitsByCheckpointBudgets(opts),
110
+ };
111
111
 
112
- // How much public gas was processed
113
- const publicGas = processedTxs.reduce((acc, tx) => acc.add(tx.gasUsed.publicGas), Gas.empty());
112
+ // Create a block-level checkpoint on the contracts DB so we can roll back on failure
113
+ this.contractsDB.createCheckpoint();
114
+ // We execute all merkle tree operations on a world state fork checkpoint
115
+ // This enables us to discard all modifications in the event that we fail to successfully process sufficient transactions
116
+ const forkCheckpoint = await ForkCheckpoint.new(this.fork);
114
117
 
115
- this.log.debug('Built block within checkpoint', {
116
- header: block.header.toInspect(),
117
- processedTxs: processedTxs.map(tx => tx.hash.toString()),
118
- failedTxs: failedTxs.map(tx => tx.tx.txHash.toString()),
119
- });
118
+ try {
119
+ const [publicProcessorDuration, [processedTxs, failedTxs, usedTxs]] = await elapsed(() =>
120
+ processor.process(pendingTxs, cappedOpts, validator),
121
+ );
120
122
 
121
- return {
122
- block,
123
- publicGas,
124
- publicProcessorDuration,
125
- numTxs: processedTxs.length,
126
- failedTxs,
127
- usedTxs,
128
- usedTxBlobFields,
129
- };
123
+ // Throw before updating state if we don't have enough valid txs
124
+ const minValidTxs = opts.minValidTxs ?? 0;
125
+ if (processedTxs.length < minValidTxs) {
126
+ throw new InsufficientValidTxsError(processedTxs.length, minValidTxs, failedTxs);
127
+ }
128
+
129
+ // Commit the fork checkpoint
130
+ await forkCheckpoint.commit();
131
+
132
+ // Add block to checkpoint
133
+ const { block } = await this.checkpointBuilder.addBlock(globalVariables, processedTxs, {
134
+ expectedEndState: opts.expectedEndState,
135
+ });
136
+
137
+ this.contractsDB.commitCheckpoint();
138
+
139
+ this.log.debug('Built block within checkpoint', {
140
+ header: block.header.toInspect(),
141
+ processedTxs: processedTxs.map(tx => tx.hash.toString()),
142
+ failedTxs: failedTxs.map(tx => tx.tx.txHash.toString()),
143
+ });
144
+
145
+ return {
146
+ block,
147
+ publicProcessorDuration,
148
+ numTxs: processedTxs.length,
149
+ failedTxs,
150
+ usedTxs,
151
+ };
152
+ } catch (err) {
153
+ // Revert all changes to contracts db
154
+ this.contractsDB.revertCheckpoint();
155
+ // If we reached the point of committing the checkpoint, this does nothing
156
+ // Otherwise it reverts any changes made to the fork for this failed block
157
+ await forkCheckpoint.revert();
158
+ throw err;
159
+ }
130
160
  }
131
161
 
132
162
  /** Completes the checkpoint and returns it. */
@@ -147,12 +177,68 @@ export class CheckpointBuilder implements ICheckpointBlockBuilder {
147
177
  return this.checkpointBuilder.clone().completeCheckpoint();
148
178
  }
149
179
 
180
+ /**
181
+ * Caps per-block gas and blob field limits by remaining checkpoint-level budgets.
182
+ * When building a proposal (isBuildingProposal=true), computes a fair share of remaining budget
183
+ * across remaining blocks scaled by the multiplier. When validating, only caps by per-block limit
184
+ * and remaining checkpoint budget (no redistribution or multiplier).
185
+ */
186
+ protected capLimitsByCheckpointBudgets(
187
+ opts: BlockBuilderOptions,
188
+ ): Pick<PublicProcessorLimits, 'maxBlockGas' | 'maxBlobFields' | 'maxTransactions'> {
189
+ const existingBlocks = this.checkpointBuilder.getBlocks();
190
+
191
+ // Remaining L2 gas (mana)
192
+ // IMPORTANT: This assumes mana is computed solely based on L2 gas used in transactions.
193
+ // This may change in the future.
194
+ const usedMana = sum(existingBlocks.map(b => b.header.totalManaUsed.toNumber()));
195
+ const remainingMana = this.config.rollupManaLimit - usedMana;
196
+
197
+ // Remaining DA gas
198
+ const usedDAGas = sum(existingBlocks.map(b => b.computeDAGasUsed())) ?? 0;
199
+ const remainingDAGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT - usedDAGas;
200
+
201
+ // Remaining blob fields (block blob fields include both tx data and block-end overhead)
202
+ const usedBlobFields = sum(existingBlocks.map(b => b.toBlobFields().length));
203
+ const totalBlobCapacity = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB - NUM_CHECKPOINT_END_MARKER_FIELDS;
204
+ const isFirstBlock = existingBlocks.length === 0;
205
+ const blockEndOverhead = getNumBlockEndBlobFields(isFirstBlock);
206
+ const maxBlobFieldsForTxs = totalBlobCapacity - usedBlobFields - blockEndOverhead;
207
+
208
+ // Remaining txs
209
+ const usedTxs = sum(existingBlocks.map(b => b.body.txEffects.length));
210
+ const remainingTxs = Math.max(0, (this.config.maxTxsPerCheckpoint ?? Infinity) - usedTxs);
211
+
212
+ // Cap by per-block limit + remaining checkpoint budget
213
+ let cappedL2Gas = Math.min(opts.maxBlockGas?.l2Gas ?? Infinity, remainingMana);
214
+ let cappedDAGas = Math.min(opts.maxBlockGas?.daGas ?? Infinity, remainingDAGas);
215
+ let cappedBlobFields = Math.min(opts.maxBlobFields ?? Infinity, maxBlobFieldsForTxs);
216
+ let cappedMaxTransactions = Math.min(opts.maxTransactions ?? Infinity, remainingTxs);
217
+
218
+ // Proposer mode: further cap by fair share of remaining budget across remaining blocks
219
+ if (opts.isBuildingProposal) {
220
+ const remainingBlocks = Math.max(1, opts.maxBlocksPerCheckpoint - existingBlocks.length);
221
+ const multiplier = opts.perBlockAllocationMultiplier;
222
+
223
+ cappedL2Gas = Math.min(cappedL2Gas, Math.ceil((remainingMana / remainingBlocks) * multiplier));
224
+ cappedDAGas = Math.min(cappedDAGas, Math.ceil((remainingDAGas / remainingBlocks) * multiplier));
225
+ cappedBlobFields = Math.min(cappedBlobFields, Math.ceil((maxBlobFieldsForTxs / remainingBlocks) * multiplier));
226
+ cappedMaxTransactions = Math.min(cappedMaxTransactions, Math.ceil((remainingTxs / remainingBlocks) * multiplier));
227
+ }
228
+
229
+ return {
230
+ maxBlockGas: new Gas(cappedDAGas, cappedL2Gas),
231
+ maxBlobFields: cappedBlobFields,
232
+ maxTransactions: Number.isFinite(cappedMaxTransactions) ? cappedMaxTransactions : undefined,
233
+ };
234
+ }
235
+
150
236
  protected async makeBlockBuilderDeps(globalVariables: GlobalVariables, fork: MerkleTreeWriteOperations) {
151
237
  const txPublicSetupAllowList = [
152
238
  ...(await getDefaultAllowedSetupFunctions()),
153
239
  ...(this.config.txPublicSetupAllowListExtend ?? []),
154
240
  ];
155
- const contractsDB = new PublicContractsDB(this.contractDataSource, this.log.getBindings());
241
+ const contractsDB = this.contractsDB;
156
242
  const guardedFork = new GuardedMerkleTreeOperations(fork);
157
243
 
158
244
  const collectDebugLogs = this.debugLogStore.isEnabled;
package/src/config.ts CHANGED
@@ -6,7 +6,7 @@ import {
6
6
  secretValueConfigHelper,
7
7
  } from '@aztec/foundation/config';
8
8
  import { EthAddress } from '@aztec/foundation/eth-address';
9
- import { validatorHASignerConfigMappings } from '@aztec/stdlib/ha-signing';
9
+ import { localSignerConfigMappings, validatorHASignerConfigMappings } from '@aztec/stdlib/ha-signing';
10
10
  import type { ValidatorClientConfig } from '@aztec/stdlib/interfaces/server';
11
11
 
12
12
  export type { ValidatorClientConfig };
@@ -49,11 +49,6 @@ export const validatorClientConfigMappings: ConfigMappingsType<ValidatorClientCo
49
49
  description: 'Interval between polling for new attestations',
50
50
  ...numberConfigHelper(200),
51
51
  },
52
- validatorReexecute: {
53
- env: 'VALIDATOR_REEXECUTE',
54
- description: 'Re-execute transactions before attesting',
55
- ...booleanConfigHelper(true),
56
- },
57
52
  alwaysReexecuteBlockProposals: {
58
53
  description:
59
54
  'Whether to always reexecute block proposals, even for non-validator nodes (useful for monitoring network status).',
@@ -77,6 +72,27 @@ export const validatorClientConfigMappings: ConfigMappingsType<ValidatorClientCo
77
72
  description: 'Agree to attest to equivocated checkpoint proposals (for testing purposes only)',
78
73
  ...booleanConfigHelper(false),
79
74
  },
75
+ validateMaxL2BlockGas: {
76
+ env: 'VALIDATOR_MAX_L2_BLOCK_GAS',
77
+ description: 'Maximum L2 block gas for validation. Proposals exceeding this limit are rejected.',
78
+ parseEnv: (val: string) => (val ? parseInt(val, 10) : undefined),
79
+ },
80
+ validateMaxDABlockGas: {
81
+ env: 'VALIDATOR_MAX_DA_BLOCK_GAS',
82
+ description: 'Maximum DA block gas for validation. Proposals exceeding this limit are rejected.',
83
+ parseEnv: (val: string) => (val ? parseInt(val, 10) : undefined),
84
+ },
85
+ validateMaxTxsPerBlock: {
86
+ env: 'VALIDATOR_MAX_TX_PER_BLOCK',
87
+ description: 'Maximum transactions per block for validation. Proposals exceeding this limit are rejected.',
88
+ parseEnv: (val: string) => (val ? parseInt(val, 10) : undefined),
89
+ },
90
+ validateMaxTxsPerCheckpoint: {
91
+ env: 'VALIDATOR_MAX_TX_PER_CHECKPOINT',
92
+ description: 'Maximum transactions per checkpoint for validation. Proposals exceeding this limit are rejected.',
93
+ parseEnv: (val: string) => (val ? parseInt(val, 10) : undefined),
94
+ },
95
+ ...localSignerConfigMappings,
80
96
  ...validatorHASignerConfigMappings,
81
97
  };
82
98
 
@@ -11,7 +11,6 @@ import type { EthAddress } from '@aztec/foundation/eth-address';
11
11
  import type { Signature } from '@aztec/foundation/eth-signature';
12
12
  import { createLogger } from '@aztec/foundation/log';
13
13
  import type { CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
14
- import type { CreateCheckpointProposalLastBlockData } from '@aztec/stdlib/interfaces/server';
15
14
  import {
16
15
  BlockProposal,
17
16
  type BlockProposalOptions,
@@ -86,7 +85,7 @@ export class ValidationService {
86
85
  *
87
86
  * @param checkpointHeader - The checkpoint header containing aggregated data
88
87
  * @param archive - The archive of the checkpoint
89
- * @param lastBlockInfo - Info about the last block (header, index, txs) or undefined
88
+ * @param lastBlockProposal - Signed block proposal for the last block in the checkpoint, or undefined
90
89
  * @param proposerAttesterAddress - The address of the proposer
91
90
  * @param options - Checkpoint proposal options
92
91
  *
@@ -96,13 +95,15 @@ export class ValidationService {
96
95
  checkpointHeader: CheckpointHeader,
97
96
  archive: Fr,
98
97
  feeAssetPriceModifier: bigint,
99
- lastBlockInfo: CreateCheckpointProposalLastBlockData | undefined,
98
+ lastBlockProposal: BlockProposal | undefined,
100
99
  proposerAttesterAddress: EthAddress | undefined,
101
100
  options: CheckpointProposalOptions,
102
101
  ): Promise<CheckpointProposal> {
103
- // For testing: change the archive to trigger state_mismatch validation failure
102
+ // For testing: change the archive to trigger state_mismatch validation failure.
103
+ // If there's a last block proposal, use its (already invalid) archive to keep signatures consistent
104
+ // so P2P validation passes and the slasher can detect the offense.
104
105
  if (options.broadcastInvalidCheckpointProposal) {
105
- archive = Fr.random();
106
+ archive = lastBlockProposal?.archiveRoot ?? Fr.random();
106
107
  this.log.warn(`Creating INVALID checkpoint proposal for slot ${checkpointHeader.slotNumber}`);
107
108
  }
108
109
 
@@ -112,19 +113,11 @@ export class ValidationService {
112
113
  return this.keyStore.signMessageWithAddress(address, payload, context);
113
114
  };
114
115
 
115
- // Last block to include in the proposal
116
- const lastBlock = lastBlockInfo && {
117
- blockHeader: lastBlockInfo.blockHeader,
118
- indexWithinCheckpoint: lastBlockInfo.indexWithinCheckpoint,
119
- txHashes: lastBlockInfo.txs.map(tx => tx.getTxHash()),
120
- txs: options.publishFullTxs ? lastBlockInfo.txs : undefined,
121
- };
122
-
123
116
  return CheckpointProposal.createProposalFromSigner(
124
117
  checkpointHeader,
125
118
  archive,
126
119
  feeAssetPriceModifier,
127
- lastBlock,
120
+ lastBlockProposal,
128
121
  payloadSigner,
129
122
  );
130
123
  }
@@ -150,16 +143,10 @@ export class ValidationService {
150
143
  );
151
144
 
152
145
  // TODO(spy/ha): Use checkpointNumber instead of blockNumber once CheckpointHeader includes it.
153
- // Currently using lastBlock.blockNumber as a proxy for checkpoint identification in HA signing.
146
+ // CheckpointProposalCore doesn't have lastBlock info, so use 0 as a proxy.
154
147
  // blockNumber is NOT used for the primary key so it's safe to use here.
155
148
  // See CheckpointHeader TODO and SigningContext types documentation.
156
- let blockNumber: BlockNumber;
157
- try {
158
- blockNumber = proposal.blockNumber;
159
- } catch {
160
- // Checkpoint proposal may not have lastBlock, use 0 as fallback
161
- blockNumber = BlockNumber(0);
162
- }
149
+ const blockNumber = BlockNumber(0);
163
150
  const context: SigningContext = {
164
151
  slot: proposal.slotNumber,
165
152
  blockNumber,
@@ -183,7 +170,7 @@ export class ValidationService {
183
170
  } else {
184
171
  const error = result.reason;
185
172
  if (error instanceof DutyAlreadySignedError || error instanceof SlashingProtectionError) {
186
- this.log.info(
173
+ this.log.verbose(
187
174
  `Attestation for slot ${proposal.slotNumber} by ${attestors[i]} already signed by another High-Availability node`,
188
175
  );
189
176
  // Continue with remaining attestors
package/src/factory.ts CHANGED
@@ -7,13 +7,14 @@ import type { L2BlockSink, L2BlockSource } from '@aztec/stdlib/block';
7
7
  import type { ValidatorClientFullConfig, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
8
8
  import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
9
9
  import type { TelemetryClient } from '@aztec/telemetry-client';
10
+ import type { SlashingProtectionDatabase } from '@aztec/validator-ha-signer/types';
10
11
 
11
- import { BlockProposalHandler } from './block_proposal_handler.js';
12
12
  import type { FullNodeCheckpointsBuilder } from './checkpoint_builder.js';
13
13
  import { ValidatorMetrics } from './metrics.js';
14
+ import { ProposalHandler } from './proposal_handler.js';
14
15
  import { ValidatorClient } from './validator.js';
15
16
 
16
- export function createBlockProposalHandler(
17
+ export function createProposalHandler(
17
18
  config: ValidatorClientFullConfig,
18
19
  deps: {
19
20
  checkpointsBuilder: FullNodeCheckpointsBuilder;
@@ -22,6 +23,7 @@ export function createBlockProposalHandler(
22
23
  l1ToL2MessageSource: L1ToL2MessageSource;
23
24
  p2pClient: P2PClient;
24
25
  epochCache: EpochCache;
26
+ blobClient: BlobClientInterface;
25
27
  dateProvider: DateProvider;
26
28
  telemetry: TelemetryClient;
27
29
  },
@@ -29,9 +31,9 @@ export function createBlockProposalHandler(
29
31
  const metrics = new ValidatorMetrics(deps.telemetry);
30
32
  const blockProposalValidator = new BlockProposalValidator(deps.epochCache, {
31
33
  txsPermitted: !config.disableTransactions,
32
- maxTxsPerBlock: config.maxTxsPerBlock,
34
+ maxTxsPerBlock: config.validateMaxTxsPerBlock ?? config.validateMaxTxsPerCheckpoint,
33
35
  });
34
- return new BlockProposalHandler(
36
+ return new ProposalHandler(
35
37
  deps.checkpointsBuilder,
36
38
  deps.worldState,
37
39
  deps.blockSource,
@@ -40,6 +42,7 @@ export function createBlockProposalHandler(
40
42
  blockProposalValidator,
41
43
  deps.epochCache,
42
44
  config,
45
+ deps.blobClient,
43
46
  metrics,
44
47
  deps.dateProvider,
45
48
  deps.telemetry,
@@ -59,6 +62,7 @@ export function createValidatorClient(
59
62
  epochCache: EpochCache;
60
63
  keyStoreManager: KeystoreManager | undefined;
61
64
  blobClient: BlobClientInterface;
65
+ slashingProtectionDb?: SlashingProtectionDatabase;
62
66
  },
63
67
  ) {
64
68
  if (config.disableValidator || !deps.keyStoreManager) {
@@ -79,5 +83,6 @@ export function createValidatorClient(
79
83
  deps.blobClient,
80
84
  deps.dateProvider,
81
85
  deps.telemetry,
86
+ deps.slashingProtectionDb,
82
87
  );
83
88
  }
package/src/index.ts CHANGED
@@ -1,4 +1,4 @@
1
- export * from './block_proposal_handler.js';
1
+ export * from './proposal_handler.js';
2
2
  export * from './checkpoint_builder.js';
3
3
  export * from './config.js';
4
4
  export * from './factory.js';
@@ -240,7 +240,7 @@ export class HAKeyStore implements ExtendedValidatorKeyStore {
240
240
  }
241
241
 
242
242
  if (error instanceof SlashingProtectionError) {
243
- this.log.warn(`Duty already signed by another node with different payload`, {
243
+ this.log.info(`Duty already signed by another node with different payload`, {
244
244
  dutyType: context.dutyType,
245
245
  slot: context.slot,
246
246
  existingMessageHash: error.existingMessageHash,
package/src/metrics.ts CHANGED
@@ -11,7 +11,7 @@ import {
11
11
  createUpDownCounterWithDefault,
12
12
  } from '@aztec/telemetry-client';
13
13
 
14
- import type { BlockProposalValidationFailureReason } from './block_proposal_handler.js';
14
+ import type { BlockProposalValidationFailureReason } from './proposal_handler.js';
15
15
 
16
16
  export class ValidatorMetrics {
17
17
  private failedReexecutionCounter: UpDownCounter;