@aztec/sequencer-client 0.0.1-commit.29c6b1a3 → 0.0.1-commit.2b2662070

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 (107) hide show
  1. package/dest/client/sequencer-client.d.ts +17 -7
  2. package/dest/client/sequencer-client.d.ts.map +1 -1
  3. package/dest/client/sequencer-client.js +63 -30
  4. package/dest/config.d.ts +26 -7
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +52 -36
  7. package/dest/global_variable_builder/fee_predictor.d.ts +37 -0
  8. package/dest/global_variable_builder/fee_predictor.d.ts.map +1 -0
  9. package/dest/global_variable_builder/fee_predictor.js +128 -0
  10. package/dest/global_variable_builder/fee_provider.d.ts +21 -0
  11. package/dest/global_variable_builder/fee_provider.d.ts.map +1 -0
  12. package/dest/global_variable_builder/fee_provider.js +58 -0
  13. package/dest/global_variable_builder/global_builder.d.ts +15 -16
  14. package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
  15. package/dest/global_variable_builder/global_builder.js +16 -50
  16. package/dest/global_variable_builder/index.d.ts +4 -2
  17. package/dest/global_variable_builder/index.d.ts.map +1 -1
  18. package/dest/global_variable_builder/index.js +2 -0
  19. package/dest/publisher/config.d.ts +47 -17
  20. package/dest/publisher/config.d.ts.map +1 -1
  21. package/dest/publisher/config.js +121 -42
  22. package/dest/publisher/index.d.ts +2 -1
  23. package/dest/publisher/index.d.ts.map +1 -1
  24. package/dest/publisher/l1_tx_failed_store/factory.d.ts +11 -0
  25. package/dest/publisher/l1_tx_failed_store/factory.d.ts.map +1 -0
  26. package/dest/publisher/l1_tx_failed_store/factory.js +22 -0
  27. package/dest/publisher/l1_tx_failed_store/failed_tx_store.d.ts +58 -0
  28. package/dest/publisher/l1_tx_failed_store/failed_tx_store.d.ts.map +1 -0
  29. package/dest/publisher/l1_tx_failed_store/failed_tx_store.js +1 -0
  30. package/dest/publisher/l1_tx_failed_store/file_store_failed_tx_store.d.ts +15 -0
  31. package/dest/publisher/l1_tx_failed_store/file_store_failed_tx_store.d.ts.map +1 -0
  32. package/dest/publisher/l1_tx_failed_store/file_store_failed_tx_store.js +34 -0
  33. package/dest/publisher/l1_tx_failed_store/index.d.ts +4 -0
  34. package/dest/publisher/l1_tx_failed_store/index.d.ts.map +1 -0
  35. package/dest/publisher/l1_tx_failed_store/index.js +2 -0
  36. package/dest/publisher/sequencer-publisher-factory.d.ts +11 -5
  37. package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
  38. package/dest/publisher/sequencer-publisher-factory.js +27 -3
  39. package/dest/publisher/sequencer-publisher-metrics.d.ts +1 -1
  40. package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
  41. package/dest/publisher/sequencer-publisher-metrics.js +12 -4
  42. package/dest/publisher/sequencer-publisher.d.ts +75 -49
  43. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  44. package/dest/publisher/sequencer-publisher.js +470 -156
  45. package/dest/sequencer/chain_state_overrides.d.ts +25 -0
  46. package/dest/sequencer/chain_state_overrides.d.ts.map +1 -0
  47. package/dest/sequencer/chain_state_overrides.js +39 -0
  48. package/dest/sequencer/checkpoint_proposal_job.d.ts +53 -13
  49. package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -1
  50. package/dest/sequencer/checkpoint_proposal_job.js +430 -240
  51. package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts +34 -0
  52. package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts.map +1 -0
  53. package/dest/sequencer/checkpoint_proposal_job_metrics.js +72 -0
  54. package/dest/sequencer/checkpoint_voter.d.ts +1 -2
  55. package/dest/sequencer/checkpoint_voter.d.ts.map +1 -1
  56. package/dest/sequencer/checkpoint_voter.js +2 -5
  57. package/dest/sequencer/events.d.ts +2 -1
  58. package/dest/sequencer/events.d.ts.map +1 -1
  59. package/dest/sequencer/metrics.d.ts +19 -8
  60. package/dest/sequencer/metrics.d.ts.map +1 -1
  61. package/dest/sequencer/metrics.js +120 -36
  62. package/dest/sequencer/sequencer.d.ts +45 -17
  63. package/dest/sequencer/sequencer.d.ts.map +1 -1
  64. package/dest/sequencer/sequencer.js +160 -94
  65. package/dest/sequencer/timetable.d.ts +17 -6
  66. package/dest/sequencer/timetable.d.ts.map +1 -1
  67. package/dest/sequencer/timetable.js +51 -46
  68. package/dest/sequencer/types.d.ts +2 -2
  69. package/dest/sequencer/types.d.ts.map +1 -1
  70. package/dest/test/index.d.ts +3 -5
  71. package/dest/test/index.d.ts.map +1 -1
  72. package/dest/test/mock_checkpoint_builder.d.ts +12 -12
  73. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -1
  74. package/dest/test/mock_checkpoint_builder.js +45 -36
  75. package/dest/test/utils.d.ts +3 -3
  76. package/dest/test/utils.d.ts.map +1 -1
  77. package/dest/test/utils.js +5 -4
  78. package/package.json +27 -28
  79. package/src/client/sequencer-client.ts +81 -30
  80. package/src/config.ts +70 -46
  81. package/src/global_variable_builder/README.md +44 -0
  82. package/src/global_variable_builder/fee_predictor.ts +172 -0
  83. package/src/global_variable_builder/fee_provider.ts +75 -0
  84. package/src/global_variable_builder/global_builder.ts +27 -63
  85. package/src/global_variable_builder/index.ts +3 -1
  86. package/src/publisher/config.ts +157 -45
  87. package/src/publisher/index.ts +3 -0
  88. package/src/publisher/l1_tx_failed_store/factory.ts +32 -0
  89. package/src/publisher/l1_tx_failed_store/failed_tx_store.ts +57 -0
  90. package/src/publisher/l1_tx_failed_store/file_store_failed_tx_store.ts +46 -0
  91. package/src/publisher/l1_tx_failed_store/index.ts +3 -0
  92. package/src/publisher/sequencer-publisher-factory.ts +38 -9
  93. package/src/publisher/sequencer-publisher-metrics.ts +7 -3
  94. package/src/publisher/sequencer-publisher.ts +531 -214
  95. package/src/sequencer/README.md +83 -13
  96. package/src/sequencer/chain_state_overrides.ts +87 -0
  97. package/src/sequencer/checkpoint_proposal_job.ts +568 -276
  98. package/src/sequencer/checkpoint_proposal_job_metrics.ts +128 -0
  99. package/src/sequencer/checkpoint_voter.ts +1 -12
  100. package/src/sequencer/events.ts +1 -1
  101. package/src/sequencer/metrics.ts +136 -40
  102. package/src/sequencer/sequencer.ts +232 -107
  103. package/src/sequencer/timetable.ts +70 -57
  104. package/src/sequencer/types.ts +1 -1
  105. package/src/test/index.ts +2 -4
  106. package/src/test/mock_checkpoint_builder.ts +65 -53
  107. package/src/test/utils.ts +5 -2
@@ -1,15 +1,20 @@
1
- import { createLogger } from '@aztec/aztec.js/log';
1
+ import type { Logger } from '@aztec/foundation/log';
2
+ import {
3
+ CHECKPOINT_ASSEMBLE_TIME,
4
+ CHECKPOINT_INITIALIZATION_TIME,
5
+ type CheckpointTiming,
6
+ DEFAULT_P2P_PROPAGATION_TIME,
7
+ MIN_EXECUTION_TIME,
8
+ createCheckpointTimingModel,
9
+ } from '@aztec/stdlib/timetable';
2
10
 
3
- import { DEFAULT_ATTESTATION_PROPAGATION_TIME as DEFAULT_P2P_PROPAGATION_TIME } from '../config.js';
4
11
  import { SequencerTooSlowError } from './errors.js';
5
12
  import type { SequencerMetrics } from './metrics.js';
6
13
  import { SequencerState } from './utils.js';
7
14
 
8
- export const MIN_EXECUTION_TIME = 2;
9
- export const CHECKPOINT_INITIALIZATION_TIME = 1;
10
- export const CHECKPOINT_ASSEMBLE_TIME = 1;
11
-
12
15
  export class SequencerTimetable {
16
+ private readonly checkpointTiming: CheckpointTiming;
17
+
13
18
  /**
14
19
  * How late into the slot can we be to start working. Computed as the total time needed for assembling and publishing a block,
15
20
  * assuming an execution time equal to `minExecutionTime`, subtracted from the slot duration. This means that, if the proposer
@@ -69,6 +74,15 @@ export class SequencerTimetable {
69
74
  /** Maximum number of blocks that can be built in this slot configuration */
70
75
  public readonly maxNumberOfBlocks: number;
71
76
 
77
+ /** Whether pipelining is enabled (checkpoint finalization deferred to next slot). */
78
+ public readonly pipelining: boolean;
79
+
80
+ /**
81
+ * How far into the target slot attestation collection can extend when pipelining.
82
+ * Covers validator re-execution (one block duration) plus one-way attestation return.
83
+ */
84
+ public readonly pipeliningAttestationGracePeriod: number;
85
+
72
86
  constructor(
73
87
  opts: {
74
88
  ethereumSlotDuration: number;
@@ -77,61 +91,41 @@ export class SequencerTimetable {
77
91
  p2pPropagationTime?: number;
78
92
  blockDurationMs?: number;
79
93
  enforce: boolean;
94
+ pipelining?: boolean;
80
95
  },
81
96
  private readonly metrics?: SequencerMetrics,
82
- private readonly log = createLogger('sequencer:timetable'),
97
+ private readonly log?: Logger,
83
98
  ) {
84
99
  this.ethereumSlotDuration = opts.ethereumSlotDuration;
85
100
  this.aztecSlotDuration = opts.aztecSlotDuration;
86
101
  this.l1PublishingTime = opts.l1PublishingTime;
87
- this.p2pPropagationTime = opts.p2pPropagationTime ?? DEFAULT_P2P_PROPAGATION_TIME;
88
102
  this.blockDuration = opts.blockDurationMs ? opts.blockDurationMs / 1000 : undefined;
89
103
  this.enforce = opts.enforce;
104
+ this.pipelining = opts.pipelining ?? false;
105
+
106
+ this.checkpointTiming = createCheckpointTimingModel({
107
+ aztecSlotDuration: this.aztecSlotDuration,
108
+ ethereumSlotDuration: this.ethereumSlotDuration,
109
+ blockDuration: this.blockDuration,
110
+ l1PublishingTime: this.l1PublishingTime,
111
+ p2pPropagationTime: opts.p2pPropagationTime ?? DEFAULT_P2P_PROPAGATION_TIME,
112
+ pipelining: this.pipelining,
113
+ });
90
114
 
91
- // Assume zero-cost propagation time and faster runs in test environments where L1 slot duration is shortened
92
- if (this.ethereumSlotDuration < 8) {
93
- this.p2pPropagationTime = 0;
94
- this.checkpointAssembleTime = 0.5;
95
- this.checkpointInitializationTime = 0.5;
96
- this.minExecutionTime = 1;
97
- }
98
-
99
- // Min execution time cannot be less than the block duration if set
100
- if (this.blockDuration !== undefined && this.minExecutionTime > this.blockDuration) {
101
- this.minExecutionTime = this.blockDuration;
102
- }
115
+ this.p2pPropagationTime = this.checkpointTiming.p2pPropagationTime;
116
+ this.checkpointAssembleTime = this.checkpointTiming.checkpointAssembleTime;
117
+ this.checkpointInitializationTime = this.checkpointTiming.checkpointInitializationTime;
118
+ this.minExecutionTime = this.checkpointTiming.minExecutionTime;
103
119
 
104
120
  // Calculate initialization offset - estimate of time needed for sync + proposer check
105
121
  // This is the baseline for all sub-slot deadlines
106
- this.initializationOffset = this.checkpointInitializationTime;
107
-
108
- // Calculate total checkpoint finalization time (assembly + attestations + L1 publishing)
109
- this.checkpointFinalizationTime =
110
- this.checkpointAssembleTime +
111
- this.p2pPropagationTime * 2 + // Round-trip propagation
112
- this.l1PublishingTime; // L1 publishing
113
-
114
- // Calculate maximum number of blocks that fit in this slot
115
- if (!this.blockDuration) {
116
- this.maxNumberOfBlocks = 1; // Single block per slot
117
- } else {
118
- const timeReservedAtEnd =
119
- this.blockDuration + // Last sub-slot for validator re-execution
120
- this.checkpointFinalizationTime; // Checkpoint finalization
121
- const timeAvailableForBlocks = this.aztecSlotDuration - this.initializationOffset - timeReservedAtEnd;
122
- this.maxNumberOfBlocks = Math.floor(timeAvailableForBlocks / this.blockDuration);
123
- }
122
+ this.initializationOffset = this.checkpointTiming.checkpointInitializationTime;
123
+ this.checkpointFinalizationTime = this.checkpointTiming.checkpointFinalizationTime;
124
+ this.pipeliningAttestationGracePeriod = this.checkpointTiming.pipeliningAttestationGracePeriod;
125
+ this.maxNumberOfBlocks = this.checkpointTiming.calculateMaxBlocksPerSlot();
126
+ this.initializeDeadline = this.checkpointTiming.initializeDeadline;
124
127
 
125
- // Minimum work to do within a slot for building a block with the minimum time for execution and publishing its checkpoint
126
- const minWorkToDo =
127
- this.initializationOffset +
128
- this.minExecutionTime * 2 + // Execution and reexecution
129
- this.checkpointFinalizationTime;
130
-
131
- const initializeDeadline = this.aztecSlotDuration - minWorkToDo;
132
- this.initializeDeadline = initializeDeadline;
133
-
134
- this.log.verbose(
128
+ this.log?.info(
135
129
  `Sequencer timetable initialized with ${this.maxNumberOfBlocks} blocks per slot (${this.enforce ? 'enforced' : 'not enforced'})`,
136
130
  {
137
131
  ethereumSlotDuration: this.ethereumSlotDuration,
@@ -143,19 +137,37 @@ export class SequencerTimetable {
143
137
  blockAssembleTime: this.checkpointAssembleTime,
144
138
  initializeDeadline: this.initializeDeadline,
145
139
  enforce: this.enforce,
146
- minWorkToDo,
140
+ pipelining: this.pipelining,
141
+ pipeliningAttestationGracePeriod: this.pipeliningAttestationGracePeriod,
142
+ minWorkToDo: this.checkpointTiming.minimumBuildSlotWork,
147
143
  blockDuration: this.blockDuration,
148
144
  maxNumberOfBlocks: this.maxNumberOfBlocks,
149
145
  },
150
146
  );
151
147
 
152
- if (initializeDeadline <= 0) {
148
+ if (this.initializeDeadline <= 0) {
153
149
  throw new Error(
154
- `Block proposal initialize deadline cannot be negative (got ${initializeDeadline} from total time needed ${minWorkToDo} and a slot duration of ${this.aztecSlotDuration}).`,
150
+ `Block proposal initialize deadline cannot be negative (got ${this.initializeDeadline} from total time needed ${this.checkpointTiming.minimumBuildSlotWork} and a slot duration of ${this.aztecSlotDuration}).`,
155
151
  );
156
152
  }
157
153
  }
158
154
 
155
+ public getCheckpointAssemblyDeadline(): number {
156
+ return this.checkpointTiming.checkpointAssemblyDeadline;
157
+ }
158
+
159
+ public getCheckpointAttestationDeadline(): number {
160
+ return this.checkpointTiming.checkpointAttestationDeadline;
161
+ }
162
+
163
+ public getCheckpointAttestationStartDeadline(): number {
164
+ return this.checkpointTiming.checkpointAttestationStartDeadline;
165
+ }
166
+
167
+ public getCheckpointPublishingDeadline(): number {
168
+ return this.checkpointTiming.checkpointPublishingDeadline;
169
+ }
170
+
159
171
  public getMaxAllowedTime(
160
172
  state: Extract<SequencerState, SequencerState.STOPPED | SequencerState.IDLE | SequencerState.SYNCHRONIZING>,
161
173
  ): undefined;
@@ -178,10 +190,11 @@ export class SequencerTimetable {
178
190
  case SequencerState.WAITING_UNTIL_NEXT_BLOCK:
179
191
  return this.initializeDeadline + this.checkpointInitializationTime;
180
192
  case SequencerState.ASSEMBLING_CHECKPOINT:
193
+ return this.getCheckpointAssemblyDeadline();
181
194
  case SequencerState.COLLECTING_ATTESTATIONS:
182
- return this.aztecSlotDuration - this.l1PublishingTime - 2 * this.p2pPropagationTime;
195
+ return this.getCheckpointAttestationStartDeadline();
183
196
  case SequencerState.PUBLISHING_CHECKPOINT:
184
- return this.aztecSlotDuration - this.l1PublishingTime;
197
+ return this.getCheckpointPublishingDeadline();
185
198
  default: {
186
199
  const _exhaustiveCheck: never = state;
187
200
  throw new Error(`Unexpected state: ${state}`);
@@ -205,7 +218,7 @@ export class SequencerTimetable {
205
218
  }
206
219
 
207
220
  this.metrics?.recordStateTransitionBufferMs(Math.floor(bufferSeconds * 1000), newState);
208
- this.log.trace(`Enough time to transition to ${newState}`, { maxAllowedTime, secondsIntoSlot });
221
+ this.log?.trace(`Enough time to transition to ${newState}`, { maxAllowedTime, secondsIntoSlot });
209
222
  }
210
223
 
211
224
  /**
@@ -241,7 +254,7 @@ export class SequencerTimetable {
241
254
  const canStart = available >= this.minExecutionTime;
242
255
  const deadline = secondsIntoSlot + available;
243
256
 
244
- this.log.verbose(
257
+ this.log?.verbose(
245
258
  `${canStart ? 'Can' : 'Cannot'} start single-block checkpoint at ${secondsIntoSlot}s into slot`,
246
259
  { secondsIntoSlot, maxAllowed, available, deadline },
247
260
  );
@@ -261,7 +274,7 @@ export class SequencerTimetable {
261
274
  // Found an available sub-slot! Is this the last one?
262
275
  const isLastBlock = subSlot === this.maxNumberOfBlocks;
263
276
 
264
- this.log.verbose(
277
+ this.log?.verbose(
265
278
  `Can start ${isLastBlock ? 'last block' : 'block'} in sub-slot ${subSlot} with deadline ${deadline}s`,
266
279
  { secondsIntoSlot, deadline, timeUntilDeadline, subSlot, maxBlocks: this.maxNumberOfBlocks },
267
280
  );
@@ -271,7 +284,7 @@ export class SequencerTimetable {
271
284
  }
272
285
 
273
286
  // No sub-slots available with enough time
274
- this.log.verbose(`No time left to start any more blocks`, {
287
+ this.log?.verbose(`No time left to start any more blocks`, {
275
288
  secondsIntoSlot,
276
289
  maxBlocks: this.maxNumberOfBlocks,
277
290
  initializationOffset: this.initializationOffset,
@@ -2,5 +2,5 @@ import type { L1RollupConstants } from '@aztec/stdlib/epoch-helpers';
2
2
 
3
3
  export type SequencerRollupConstants = Pick<
4
4
  L1RollupConstants,
5
- 'ethereumSlotDuration' | 'l1GenesisTime' | 'slotDuration'
5
+ 'ethereumSlotDuration' | 'l1GenesisTime' | 'slotDuration' | 'rollupManaLimit'
6
6
  >;
package/src/test/index.ts CHANGED
@@ -1,18 +1,16 @@
1
- import type { L1TxUtilsWithBlobs } from '@aztec/ethereum/l1-tx-utils-with-blobs';
1
+ import type { L1TxUtils } from '@aztec/ethereum/l1-tx-utils';
2
2
  import type { PublisherManager } from '@aztec/ethereum/publisher-manager';
3
3
  import type { PublicProcessorFactory } from '@aztec/simulator/server';
4
4
  import type { FullNodeCheckpointsBuilder, ValidatorClient } from '@aztec/validator-client';
5
5
 
6
6
  import { SequencerClient } from '../client/sequencer-client.js';
7
7
  import type { SequencerPublisherFactory } from '../publisher/sequencer-publisher-factory.js';
8
- import type { SequencerPublisher } from '../publisher/sequencer-publisher.js';
9
8
  import { Sequencer } from '../sequencer/sequencer.js';
10
9
  import type { SequencerTimetable } from '../sequencer/timetable.js';
11
10
 
12
11
  class TestSequencer_ extends Sequencer {
13
12
  declare public publicProcessorFactory: PublicProcessorFactory;
14
13
  declare public timetable: SequencerTimetable;
15
- declare public publisher: SequencerPublisher;
16
14
  declare public publisherFactory: SequencerPublisherFactory;
17
15
  declare public validatorClient: ValidatorClient;
18
16
  declare public checkpointsBuilder: FullNodeCheckpointsBuilder;
@@ -22,7 +20,7 @@ export type TestSequencer = TestSequencer_;
22
20
 
23
21
  class TestSequencerClient_ extends SequencerClient {
24
22
  declare public sequencer: TestSequencer;
25
- declare public publisherManager: PublisherManager<L1TxUtilsWithBlobs>;
23
+ declare public publisherManager: PublisherManager<L1TxUtils>;
26
24
  }
27
25
 
28
26
  export type TestSequencerClient = TestSequencerClient_;
@@ -1,20 +1,19 @@
1
- import { type BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
1
+ import { type BlockNumber, CheckpointNumber, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
2
2
  import { Fr } from '@aztec/foundation/curves/bn254';
3
- import { Timer } from '@aztec/foundation/timer';
3
+ import { unfreeze } from '@aztec/foundation/types';
4
4
  import { L2Block } from '@aztec/stdlib/block';
5
5
  import { Checkpoint } from '@aztec/stdlib/checkpoint';
6
- import { Gas } from '@aztec/stdlib/gas';
7
6
  import type {
7
+ BlockBuilderOptions,
8
8
  FullNodeBlockBuilderConfig,
9
9
  ICheckpointBlockBuilder,
10
10
  ICheckpointsBuilder,
11
11
  MerkleTreeWriteOperations,
12
- PublicProcessorLimits,
13
12
  } from '@aztec/stdlib/interfaces/server';
14
13
  import { CheckpointHeader } from '@aztec/stdlib/rollup';
15
14
  import { makeAppendOnlyTreeSnapshot } from '@aztec/stdlib/testing';
16
15
  import type { CheckpointGlobalVariables, Tx } from '@aztec/stdlib/tx';
17
- import type { BuildBlockInCheckpointResultWithTimer } from '@aztec/validator-client';
16
+ import type { BuildBlockInCheckpointResult } from '@aztec/validator-client';
18
17
 
19
18
  /**
20
19
  * A fake CheckpointBuilder for testing that implements the same interface as the real one.
@@ -33,7 +32,7 @@ export class MockCheckpointBuilder implements ICheckpointBlockBuilder {
33
32
  public buildBlockCalls: Array<{
34
33
  blockNumber: BlockNumber;
35
34
  timestamp: bigint;
36
- opts: PublicProcessorLimits;
35
+ opts: BlockBuilderOptions;
37
36
  }> = [];
38
37
  /** Track all consumed transaction hashes across buildBlock calls */
39
38
  public consumedTxHashes: Set<string> = new Set();
@@ -75,8 +74,8 @@ export class MockCheckpointBuilder implements ICheckpointBlockBuilder {
75
74
  pendingTxs: Iterable<Tx> | AsyncIterable<Tx>,
76
75
  blockNumber: BlockNumber,
77
76
  timestamp: bigint,
78
- opts: PublicProcessorLimits,
79
- ): Promise<BuildBlockInCheckpointResultWithTimer> {
77
+ opts: BlockBuilderOptions,
78
+ ): Promise<BuildBlockInCheckpointResult> {
80
79
  this.buildBlockCalls.push({ blockNumber, timestamp, opts });
81
80
 
82
81
  if (this.errorOnBuild) {
@@ -87,8 +86,10 @@ export class MockCheckpointBuilder implements ICheckpointBlockBuilder {
87
86
  let usedTxs: Tx[];
88
87
 
89
88
  if (this.blockProvider) {
90
- // Dynamic mode: get block from provider
91
- block = this.blockProvider();
89
+ // Dynamic mode: get block from provider, cloning to avoid shared references across multiple buildBlock calls
90
+ block = L2Block.fromBuffer(this.blockProvider().toBuffer());
91
+ block.header.globalVariables.blockNumber = blockNumber;
92
+ await block.header.recomputeHash();
92
93
  usedTxs = [];
93
94
  this.builtBlocks.push(block);
94
95
  } else {
@@ -114,82 +115,79 @@ export class MockCheckpointBuilder implements ICheckpointBlockBuilder {
114
115
 
115
116
  return {
116
117
  block,
117
- publicGas: Gas.empty(),
118
118
  publicProcessorDuration: 0,
119
119
  numTxs: block?.body?.txEffects?.length ?? usedTxs.length,
120
- blockBuildingTimer: new Timer(),
121
120
  usedTxs,
122
121
  failedTxs: [],
123
- usedTxBlobFields: block?.body?.txEffects?.reduce((sum, tx) => sum + tx.getNumBlobFields(), 0) ?? 0,
124
122
  };
125
123
  }
126
124
 
127
125
  completeCheckpoint(): Promise<Checkpoint> {
128
126
  this.completeCheckpointCalled = true;
129
127
  const allBlocks = this.blockProvider ? this.builtBlocks : this.blocks;
130
- const lastBlock = allBlocks[allBlocks.length - 1];
131
- // Create a CheckpointHeader from the last block's header for testing
132
- const checkpointHeader = this.createCheckpointHeader(lastBlock);
133
- return Promise.resolve(
134
- new Checkpoint(
135
- makeAppendOnlyTreeSnapshot(lastBlock.header.globalVariables.blockNumber + 1),
136
- checkpointHeader,
137
- allBlocks,
138
- this.checkpointNumber,
139
- ),
140
- );
128
+ return this.buildCheckpoint(allBlocks);
141
129
  }
142
130
 
143
131
  getCheckpoint(): Promise<Checkpoint> {
144
132
  this.getCheckpointCalled = true;
145
133
  const builtBlocks = this.blockProvider ? this.builtBlocks : this.blocks.slice(0, this.blockIndex);
146
- const lastBlock = builtBlocks[builtBlocks.length - 1];
147
- if (!lastBlock) {
134
+ if (builtBlocks.length === 0) {
148
135
  throw new Error('No blocks built yet');
149
136
  }
150
- // Create a CheckpointHeader from the last block's header for testing
151
- const checkpointHeader = this.createCheckpointHeader(lastBlock);
152
- return Promise.resolve(
153
- new Checkpoint(
154
- makeAppendOnlyTreeSnapshot(lastBlock.header.globalVariables.blockNumber + 1),
155
- checkpointHeader,
156
- builtBlocks,
157
- this.checkpointNumber,
158
- ),
159
- );
137
+ return this.buildCheckpoint(builtBlocks);
160
138
  }
161
139
 
162
- /**
163
- * Creates a CheckpointHeader from a block's header for testing.
164
- * This is a simplified version that creates a minimal CheckpointHeader.
165
- */
166
- private createCheckpointHeader(block: L2Block): CheckpointHeader {
167
- const header = block.header;
168
- const gv = header.globalVariables;
169
- return CheckpointHeader.empty({
170
- lastArchiveRoot: header.lastArchive.root,
171
- blockHeadersHash: Fr.random(), // Use random for testing
140
+ /** Builds a structurally valid Checkpoint from a list of blocks, fixing up indexes and archive chaining. */
141
+ private async buildCheckpoint(blocks: L2Block[]): Promise<Checkpoint> {
142
+ // Fix up indexWithinCheckpoint and archive chaining so the checkpoint passes structural validation.
143
+ for (let i = 0; i < blocks.length; i++) {
144
+ blocks[i].indexWithinCheckpoint = IndexWithinCheckpoint(i);
145
+ if (i > 0) {
146
+ unfreeze(blocks[i].header).lastArchive = blocks[i - 1].archive;
147
+ await blocks[i].header.recomputeHash();
148
+ }
149
+ }
150
+
151
+ const firstBlock = blocks[0];
152
+ const lastBlock = blocks[blocks.length - 1];
153
+ const gv = firstBlock.header.globalVariables;
154
+
155
+ const checkpointHeader = CheckpointHeader.empty({
156
+ lastArchiveRoot: firstBlock.header.lastArchive.root,
157
+ blockHeadersHash: Fr.random(),
172
158
  slotNumber: gv.slotNumber,
173
159
  timestamp: gv.timestamp,
174
160
  coinbase: gv.coinbase,
175
161
  feeRecipient: gv.feeRecipient,
176
162
  gasFees: gv.gasFees,
177
- totalManaUsed: header.totalManaUsed,
163
+ totalManaUsed: lastBlock.header.totalManaUsed,
178
164
  });
165
+
166
+ return new Checkpoint(
167
+ makeAppendOnlyTreeSnapshot(lastBlock.header.globalVariables.blockNumber + 1),
168
+ checkpointHeader,
169
+ blocks,
170
+ this.checkpointNumber,
171
+ );
179
172
  }
180
173
 
181
- /** Reset for reuse in another test */
182
- reset(): void {
183
- this.blocks = [];
174
+ /** Resets per-checkpoint state (built blocks, consumed txs) while preserving config (blockProvider, seeded blocks). */
175
+ resetCheckpointState(): void {
184
176
  this.builtBlocks = [];
185
- this.usedTxsPerBlock = [];
186
177
  this.blockIndex = 0;
187
- this.buildBlockCalls = [];
188
178
  this.consumedTxHashes.clear();
189
179
  this.completeCheckpointCalled = false;
190
180
  this.getCheckpointCalled = false;
181
+ }
182
+
183
+ /** Reset for reuse in another test */
184
+ reset(): void {
185
+ this.blocks = [];
186
+ this.usedTxsPerBlock = [];
187
+ this.buildBlockCalls = [];
191
188
  this.errorOnBuild = undefined;
192
189
  this.blockProvider = undefined;
190
+ this.resetCheckpointState();
193
191
  }
194
192
  }
195
193
 
@@ -207,6 +205,7 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
207
205
  constants: CheckpointGlobalVariables;
208
206
  l1ToL2Messages: Fr[];
209
207
  previousCheckpointOutHashes: Fr[];
208
+ feeAssetPriceModifier: bigint;
210
209
  }> = [];
211
210
  public openCheckpointCalls: Array<{
212
211
  checkpointNumber: CheckpointNumber;
@@ -214,6 +213,7 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
214
213
  l1ToL2Messages: Fr[];
215
214
  previousCheckpointOutHashes: Fr[];
216
215
  existingBlocks: L2Block[];
216
+ feeAssetPriceModifier: bigint;
217
217
  }> = [];
218
218
  public updateConfigCalls: Array<Partial<FullNodeBlockBuilderConfig>> = [];
219
219
 
@@ -249,6 +249,7 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
249
249
  slotDuration: 24,
250
250
  l1ChainId: 1,
251
251
  rollupVersion: 1,
252
+ rollupManaLimit: 200_000_000,
252
253
  };
253
254
  }
254
255
 
@@ -259,15 +260,24 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
259
260
  startCheckpoint(
260
261
  checkpointNumber: CheckpointNumber,
261
262
  constants: CheckpointGlobalVariables,
263
+ feeAssetPriceModifier: bigint,
262
264
  l1ToL2Messages: Fr[],
263
265
  previousCheckpointOutHashes: Fr[],
264
266
  _fork: MerkleTreeWriteOperations,
265
267
  ): Promise<ICheckpointBlockBuilder> {
266
- this.startCheckpointCalls.push({ checkpointNumber, constants, l1ToL2Messages, previousCheckpointOutHashes });
268
+ this.startCheckpointCalls.push({
269
+ checkpointNumber,
270
+ constants,
271
+ l1ToL2Messages,
272
+ previousCheckpointOutHashes,
273
+ feeAssetPriceModifier,
274
+ });
267
275
 
268
276
  if (!this.checkpointBuilder) {
269
277
  // Auto-create a builder if none was set
270
278
  this.checkpointBuilder = new MockCheckpointBuilder(constants, checkpointNumber);
279
+ } else {
280
+ this.checkpointBuilder.resetCheckpointState();
271
281
  }
272
282
 
273
283
  return Promise.resolve(this.checkpointBuilder);
@@ -276,6 +286,7 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
276
286
  openCheckpoint(
277
287
  checkpointNumber: CheckpointNumber,
278
288
  constants: CheckpointGlobalVariables,
289
+ feeAssetPriceModifier: bigint,
279
290
  l1ToL2Messages: Fr[],
280
291
  previousCheckpointOutHashes: Fr[],
281
292
  _fork: MerkleTreeWriteOperations,
@@ -287,6 +298,7 @@ export class MockCheckpointsBuilder implements ICheckpointsBuilder {
287
298
  l1ToL2Messages,
288
299
  previousCheckpointOutHashes,
289
300
  existingBlocks,
301
+ feeAssetPriceModifier,
290
302
  });
291
303
 
292
304
  if (!this.checkpointBuilder) {
package/src/test/utils.ts CHANGED
@@ -56,6 +56,7 @@ export async function makeBlock(txs: Tx[], globalVariables: GlobalVariables): Pr
56
56
  export function mockPendingTxs(p2p: MockProxy<P2P>, txs: Tx[]): void {
57
57
  p2p.getPendingTxCount.mockResolvedValue(txs.length);
58
58
  p2p.iteratePendingTxs.mockImplementation(() => mockTxIterator(Promise.resolve(txs)));
59
+ p2p.iterateEligiblePendingTxs.mockImplementation(() => mockTxIterator(Promise.resolve(txs)));
59
60
  }
60
61
 
61
62
  /**
@@ -118,10 +119,11 @@ export function createCheckpointProposal(
118
119
  block: L2Block,
119
120
  checkpointSignature: Signature,
120
121
  blockSignature?: Signature,
122
+ feeAssetPriceModifier: bigint = 0n,
121
123
  ): CheckpointProposal {
122
124
  const txHashes = block.body.txEffects.map(tx => tx.txHash);
123
125
  const checkpointHeader = createCheckpointHeaderFromBlock(block);
124
- return new CheckpointProposal(checkpointHeader, block.archive.root, checkpointSignature, {
126
+ return new CheckpointProposal(checkpointHeader, block.archive.root, feeAssetPriceModifier, checkpointSignature, {
125
127
  blockHeader: block.header,
126
128
  indexWithinCheckpoint: block.indexWithinCheckpoint,
127
129
  txHashes,
@@ -138,9 +140,10 @@ export function createCheckpointAttestation(
138
140
  block: L2Block,
139
141
  signature: Signature,
140
142
  sender: EthAddress,
143
+ feeAssetPriceModifier: bigint = 0n,
141
144
  ): CheckpointAttestation {
142
145
  const checkpointHeader = createCheckpointHeaderFromBlock(block);
143
- const payload = new ConsensusPayload(checkpointHeader, block.archive.root);
146
+ const payload = new ConsensusPayload(checkpointHeader, block.archive.root, feeAssetPriceModifier);
144
147
  const attestation = new CheckpointAttestation(payload, signature, signature);
145
148
  // Set sender directly for testing (bypasses signature recovery)
146
149
  (attestation as any).sender = sender;