@aztec/sequencer-client 0.0.1-commit.fcb71a6 → 0.0.1-commit.fffb133c

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 (71) hide show
  1. package/dest/client/sequencer-client.d.ts +4 -5
  2. package/dest/client/sequencer-client.d.ts.map +1 -1
  3. package/dest/config.d.ts +1 -1
  4. package/dest/config.d.ts.map +1 -1
  5. package/dest/config.js +6 -1
  6. package/dest/global_variable_builder/global_builder.d.ts +4 -4
  7. package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
  8. package/dest/global_variable_builder/global_builder.js +13 -13
  9. package/dest/index.d.ts +2 -3
  10. package/dest/index.d.ts.map +1 -1
  11. package/dest/index.js +1 -2
  12. package/dest/publisher/sequencer-publisher-metrics.d.ts +1 -1
  13. package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
  14. package/dest/publisher/sequencer-publisher-metrics.js +15 -86
  15. package/dest/publisher/sequencer-publisher.d.ts +17 -16
  16. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  17. package/dest/publisher/sequencer-publisher.js +442 -49
  18. package/dest/sequencer/checkpoint_proposal_job.d.ts +14 -9
  19. package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -1
  20. package/dest/sequencer/checkpoint_proposal_job.js +562 -39
  21. package/dest/sequencer/checkpoint_voter.d.ts +3 -2
  22. package/dest/sequencer/checkpoint_voter.d.ts.map +1 -1
  23. package/dest/sequencer/checkpoint_voter.js +34 -10
  24. package/dest/sequencer/index.d.ts +1 -3
  25. package/dest/sequencer/index.d.ts.map +1 -1
  26. package/dest/sequencer/index.js +0 -2
  27. package/dest/sequencer/metrics.d.ts +3 -3
  28. package/dest/sequencer/metrics.d.ts.map +1 -1
  29. package/dest/sequencer/metrics.js +30 -121
  30. package/dest/sequencer/sequencer.d.ts +25 -15
  31. package/dest/sequencer/sequencer.d.ts.map +1 -1
  32. package/dest/sequencer/sequencer.js +486 -42
  33. package/dest/test/index.d.ts +2 -3
  34. package/dest/test/index.d.ts.map +1 -1
  35. package/dest/test/mock_checkpoint_builder.d.ts +23 -11
  36. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -1
  37. package/dest/test/mock_checkpoint_builder.js +50 -7
  38. package/dest/test/utils.d.ts +13 -9
  39. package/dest/test/utils.d.ts.map +1 -1
  40. package/dest/test/utils.js +26 -17
  41. package/package.json +30 -28
  42. package/src/client/sequencer-client.ts +3 -4
  43. package/src/config.ts +5 -0
  44. package/src/global_variable_builder/global_builder.ts +13 -13
  45. package/src/index.ts +1 -9
  46. package/src/publisher/sequencer-publisher-metrics.ts +14 -70
  47. package/src/publisher/sequencer-publisher.ts +84 -73
  48. package/src/sequencer/checkpoint_proposal_job.ts +197 -58
  49. package/src/sequencer/checkpoint_voter.ts +32 -7
  50. package/src/sequencer/index.ts +0 -2
  51. package/src/sequencer/metrics.ts +23 -131
  52. package/src/sequencer/sequencer.ts +124 -41
  53. package/src/test/index.ts +1 -2
  54. package/src/test/mock_checkpoint_builder.ts +92 -28
  55. package/src/test/utils.ts +55 -28
  56. package/dest/sequencer/block_builder.d.ts +0 -26
  57. package/dest/sequencer/block_builder.d.ts.map +0 -1
  58. package/dest/sequencer/block_builder.js +0 -129
  59. package/dest/sequencer/checkpoint_builder.d.ts +0 -63
  60. package/dest/sequencer/checkpoint_builder.d.ts.map +0 -1
  61. package/dest/sequencer/checkpoint_builder.js +0 -131
  62. package/dest/tx_validator/nullifier_cache.d.ts +0 -14
  63. package/dest/tx_validator/nullifier_cache.d.ts.map +0 -1
  64. package/dest/tx_validator/nullifier_cache.js +0 -24
  65. package/dest/tx_validator/tx_validator_factory.d.ts +0 -18
  66. package/dest/tx_validator/tx_validator_factory.d.ts.map +0 -1
  67. package/dest/tx_validator/tx_validator_factory.js +0 -53
  68. package/src/sequencer/block_builder.ts +0 -217
  69. package/src/sequencer/checkpoint_builder.ts +0 -217
  70. package/src/tx_validator/nullifier_cache.ts +0 -30
  71. package/src/tx_validator/tx_validator_factory.ts +0 -133
@@ -1,9 +1,376 @@
1
- function _ts_decorate(decorators, target, key, desc) {
2
- var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
3
- if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
4
- else for(var i = decorators.length - 1; i >= 0; i--)if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
5
- return c > 3 && r && Object.defineProperty(target, key, r), r;
1
+ function applyDecs2203RFactory() {
2
+ function createAddInitializerMethod(initializers, decoratorFinishedRef) {
3
+ return function addInitializer(initializer) {
4
+ assertNotFinished(decoratorFinishedRef, "addInitializer");
5
+ assertCallable(initializer, "An initializer");
6
+ initializers.push(initializer);
7
+ };
8
+ }
9
+ function memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value) {
10
+ var kindStr;
11
+ switch(kind){
12
+ case 1:
13
+ kindStr = "accessor";
14
+ break;
15
+ case 2:
16
+ kindStr = "method";
17
+ break;
18
+ case 3:
19
+ kindStr = "getter";
20
+ break;
21
+ case 4:
22
+ kindStr = "setter";
23
+ break;
24
+ default:
25
+ kindStr = "field";
26
+ }
27
+ var ctx = {
28
+ kind: kindStr,
29
+ name: isPrivate ? "#" + name : name,
30
+ static: isStatic,
31
+ private: isPrivate,
32
+ metadata: metadata
33
+ };
34
+ var decoratorFinishedRef = {
35
+ v: false
36
+ };
37
+ ctx.addInitializer = createAddInitializerMethod(initializers, decoratorFinishedRef);
38
+ var get, set;
39
+ if (kind === 0) {
40
+ if (isPrivate) {
41
+ get = desc.get;
42
+ set = desc.set;
43
+ } else {
44
+ get = function() {
45
+ return this[name];
46
+ };
47
+ set = function(v) {
48
+ this[name] = v;
49
+ };
50
+ }
51
+ } else if (kind === 2) {
52
+ get = function() {
53
+ return desc.value;
54
+ };
55
+ } else {
56
+ if (kind === 1 || kind === 3) {
57
+ get = function() {
58
+ return desc.get.call(this);
59
+ };
60
+ }
61
+ if (kind === 1 || kind === 4) {
62
+ set = function(v) {
63
+ desc.set.call(this, v);
64
+ };
65
+ }
66
+ }
67
+ ctx.access = get && set ? {
68
+ get: get,
69
+ set: set
70
+ } : get ? {
71
+ get: get
72
+ } : {
73
+ set: set
74
+ };
75
+ try {
76
+ return dec(value, ctx);
77
+ } finally{
78
+ decoratorFinishedRef.v = true;
79
+ }
80
+ }
81
+ function assertNotFinished(decoratorFinishedRef, fnName) {
82
+ if (decoratorFinishedRef.v) {
83
+ throw new Error("attempted to call " + fnName + " after decoration was finished");
84
+ }
85
+ }
86
+ function assertCallable(fn, hint) {
87
+ if (typeof fn !== "function") {
88
+ throw new TypeError(hint + " must be a function");
89
+ }
90
+ }
91
+ function assertValidReturnValue(kind, value) {
92
+ var type = typeof value;
93
+ if (kind === 1) {
94
+ if (type !== "object" || value === null) {
95
+ throw new TypeError("accessor decorators must return an object with get, set, or init properties or void 0");
96
+ }
97
+ if (value.get !== undefined) {
98
+ assertCallable(value.get, "accessor.get");
99
+ }
100
+ if (value.set !== undefined) {
101
+ assertCallable(value.set, "accessor.set");
102
+ }
103
+ if (value.init !== undefined) {
104
+ assertCallable(value.init, "accessor.init");
105
+ }
106
+ } else if (type !== "function") {
107
+ var hint;
108
+ if (kind === 0) {
109
+ hint = "field";
110
+ } else if (kind === 10) {
111
+ hint = "class";
112
+ } else {
113
+ hint = "method";
114
+ }
115
+ throw new TypeError(hint + " decorators must return a function or void 0");
116
+ }
117
+ }
118
+ function applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata) {
119
+ var decs = decInfo[0];
120
+ var desc, init, value;
121
+ if (isPrivate) {
122
+ if (kind === 0 || kind === 1) {
123
+ desc = {
124
+ get: decInfo[3],
125
+ set: decInfo[4]
126
+ };
127
+ } else if (kind === 3) {
128
+ desc = {
129
+ get: decInfo[3]
130
+ };
131
+ } else if (kind === 4) {
132
+ desc = {
133
+ set: decInfo[3]
134
+ };
135
+ } else {
136
+ desc = {
137
+ value: decInfo[3]
138
+ };
139
+ }
140
+ } else if (kind !== 0) {
141
+ desc = Object.getOwnPropertyDescriptor(base, name);
142
+ }
143
+ if (kind === 1) {
144
+ value = {
145
+ get: desc.get,
146
+ set: desc.set
147
+ };
148
+ } else if (kind === 2) {
149
+ value = desc.value;
150
+ } else if (kind === 3) {
151
+ value = desc.get;
152
+ } else if (kind === 4) {
153
+ value = desc.set;
154
+ }
155
+ var newValue, get, set;
156
+ if (typeof decs === "function") {
157
+ newValue = memberDec(decs, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
158
+ if (newValue !== void 0) {
159
+ assertValidReturnValue(kind, newValue);
160
+ if (kind === 0) {
161
+ init = newValue;
162
+ } else if (kind === 1) {
163
+ init = newValue.init;
164
+ get = newValue.get || value.get;
165
+ set = newValue.set || value.set;
166
+ value = {
167
+ get: get,
168
+ set: set
169
+ };
170
+ } else {
171
+ value = newValue;
172
+ }
173
+ }
174
+ } else {
175
+ for(var i = decs.length - 1; i >= 0; i--){
176
+ var dec = decs[i];
177
+ newValue = memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
178
+ if (newValue !== void 0) {
179
+ assertValidReturnValue(kind, newValue);
180
+ var newInit;
181
+ if (kind === 0) {
182
+ newInit = newValue;
183
+ } else if (kind === 1) {
184
+ newInit = newValue.init;
185
+ get = newValue.get || value.get;
186
+ set = newValue.set || value.set;
187
+ value = {
188
+ get: get,
189
+ set: set
190
+ };
191
+ } else {
192
+ value = newValue;
193
+ }
194
+ if (newInit !== void 0) {
195
+ if (init === void 0) {
196
+ init = newInit;
197
+ } else if (typeof init === "function") {
198
+ init = [
199
+ init,
200
+ newInit
201
+ ];
202
+ } else {
203
+ init.push(newInit);
204
+ }
205
+ }
206
+ }
207
+ }
208
+ }
209
+ if (kind === 0 || kind === 1) {
210
+ if (init === void 0) {
211
+ init = function(instance, init) {
212
+ return init;
213
+ };
214
+ } else if (typeof init !== "function") {
215
+ var ownInitializers = init;
216
+ init = function(instance, init) {
217
+ var value = init;
218
+ for(var i = 0; i < ownInitializers.length; i++){
219
+ value = ownInitializers[i].call(instance, value);
220
+ }
221
+ return value;
222
+ };
223
+ } else {
224
+ var originalInitializer = init;
225
+ init = function(instance, init) {
226
+ return originalInitializer.call(instance, init);
227
+ };
228
+ }
229
+ ret.push(init);
230
+ }
231
+ if (kind !== 0) {
232
+ if (kind === 1) {
233
+ desc.get = value.get;
234
+ desc.set = value.set;
235
+ } else if (kind === 2) {
236
+ desc.value = value;
237
+ } else if (kind === 3) {
238
+ desc.get = value;
239
+ } else if (kind === 4) {
240
+ desc.set = value;
241
+ }
242
+ if (isPrivate) {
243
+ if (kind === 1) {
244
+ ret.push(function(instance, args) {
245
+ return value.get.call(instance, args);
246
+ });
247
+ ret.push(function(instance, args) {
248
+ return value.set.call(instance, args);
249
+ });
250
+ } else if (kind === 2) {
251
+ ret.push(value);
252
+ } else {
253
+ ret.push(function(instance, args) {
254
+ return value.call(instance, args);
255
+ });
256
+ }
257
+ } else {
258
+ Object.defineProperty(base, name, desc);
259
+ }
260
+ }
261
+ }
262
+ function applyMemberDecs(Class, decInfos, metadata) {
263
+ var ret = [];
264
+ var protoInitializers;
265
+ var staticInitializers;
266
+ var existingProtoNonFields = new Map();
267
+ var existingStaticNonFields = new Map();
268
+ for(var i = 0; i < decInfos.length; i++){
269
+ var decInfo = decInfos[i];
270
+ if (!Array.isArray(decInfo)) continue;
271
+ var kind = decInfo[1];
272
+ var name = decInfo[2];
273
+ var isPrivate = decInfo.length > 3;
274
+ var isStatic = kind >= 5;
275
+ var base;
276
+ var initializers;
277
+ if (isStatic) {
278
+ base = Class;
279
+ kind = kind - 5;
280
+ staticInitializers = staticInitializers || [];
281
+ initializers = staticInitializers;
282
+ } else {
283
+ base = Class.prototype;
284
+ protoInitializers = protoInitializers || [];
285
+ initializers = protoInitializers;
286
+ }
287
+ if (kind !== 0 && !isPrivate) {
288
+ var existingNonFields = isStatic ? existingStaticNonFields : existingProtoNonFields;
289
+ var existingKind = existingNonFields.get(name) || 0;
290
+ if (existingKind === true || existingKind === 3 && kind !== 4 || existingKind === 4 && kind !== 3) {
291
+ throw new Error("Attempted to decorate a public method/accessor that has the same name as a previously decorated public method/accessor. This is not currently supported by the decorators plugin. Property name was: " + name);
292
+ } else if (!existingKind && kind > 2) {
293
+ existingNonFields.set(name, kind);
294
+ } else {
295
+ existingNonFields.set(name, true);
296
+ }
297
+ }
298
+ applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata);
299
+ }
300
+ pushInitializers(ret, protoInitializers);
301
+ pushInitializers(ret, staticInitializers);
302
+ return ret;
303
+ }
304
+ function pushInitializers(ret, initializers) {
305
+ if (initializers) {
306
+ ret.push(function(instance) {
307
+ for(var i = 0; i < initializers.length; i++){
308
+ initializers[i].call(instance);
309
+ }
310
+ return instance;
311
+ });
312
+ }
313
+ }
314
+ function applyClassDecs(targetClass, classDecs, metadata) {
315
+ if (classDecs.length > 0) {
316
+ var initializers = [];
317
+ var newClass = targetClass;
318
+ var name = targetClass.name;
319
+ for(var i = classDecs.length - 1; i >= 0; i--){
320
+ var decoratorFinishedRef = {
321
+ v: false
322
+ };
323
+ try {
324
+ var nextNewClass = classDecs[i](newClass, {
325
+ kind: "class",
326
+ name: name,
327
+ addInitializer: createAddInitializerMethod(initializers, decoratorFinishedRef),
328
+ metadata
329
+ });
330
+ } finally{
331
+ decoratorFinishedRef.v = true;
332
+ }
333
+ if (nextNewClass !== undefined) {
334
+ assertValidReturnValue(10, nextNewClass);
335
+ newClass = nextNewClass;
336
+ }
337
+ }
338
+ return [
339
+ defineMetadata(newClass, metadata),
340
+ function() {
341
+ for(var i = 0; i < initializers.length; i++){
342
+ initializers[i].call(newClass);
343
+ }
344
+ }
345
+ ];
346
+ }
347
+ }
348
+ function defineMetadata(Class, metadata) {
349
+ return Object.defineProperty(Class, Symbol.metadata || Symbol.for("Symbol.metadata"), {
350
+ configurable: true,
351
+ enumerable: true,
352
+ value: metadata
353
+ });
354
+ }
355
+ return function applyDecs2203R(targetClass, memberDecs, classDecs, parentClass) {
356
+ if (parentClass !== void 0) {
357
+ var parentMetadata = parentClass[Symbol.metadata || Symbol.for("Symbol.metadata")];
358
+ }
359
+ var metadata = Object.create(parentMetadata === void 0 ? null : parentMetadata);
360
+ var e = applyMemberDecs(targetClass, memberDecs, metadata);
361
+ if (!classDecs.length) defineMetadata(targetClass, metadata);
362
+ return {
363
+ e: e,
364
+ get c () {
365
+ return applyClassDecs(targetClass, classDecs, metadata);
366
+ }
367
+ };
368
+ };
369
+ }
370
+ function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
371
+ return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
6
372
  }
373
+ var _dec, _dec1, _dec2, _dec3, _initProto;
7
374
  import { getKzg } from '@aztec/blob-lib';
8
375
  import { INITIAL_L2_BLOCK_NUM } from '@aztec/constants';
9
376
  import { NoCommitteeError } from '@aztec/ethereum/contracts';
@@ -17,7 +384,7 @@ import { getSlotAtTimestamp, getSlotStartBuildTimestamp } from '@aztec/stdlib/ep
17
384
  import { SequencerConfigSchema } from '@aztec/stdlib/interfaces/server';
18
385
  import { pickFromSchema } from '@aztec/stdlib/schemas';
19
386
  import { MerkleTreeId } from '@aztec/stdlib/trees';
20
- import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
387
+ import { Attributes, getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
21
388
  import EventEmitter from 'node:events';
22
389
  import { DefaultSequencerConfig } from '../config.js';
23
390
  import { CheckpointProposalJob } from './checkpoint_proposal_job.js';
@@ -27,6 +394,11 @@ import { SequencerMetrics } from './metrics.js';
27
394
  import { SequencerTimetable } from './timetable.js';
28
395
  import { SequencerState } from './utils.js';
29
396
  export { SequencerState };
397
+ _dec = trackSpan('Sequencer.work'), _dec1 = trackSpan('Sequencer.prepareCheckpointProposal'), _dec2 = trackSpan('Seqeuencer.tryVoteWhenSyncFails', ({ slot })=>({
398
+ [Attributes.SLOT_NUMBER]: slot
399
+ })), _dec3 = trackSpan('Sequencer.tryVoteWhenEscapeHatchOpen', ({ slot })=>({
400
+ [Attributes.SLOT_NUMBER]: slot
401
+ }));
30
402
  /**
31
403
  * Sequencer client
32
404
  * - Checks whether it is elected as proposer for the next slot
@@ -50,10 +422,34 @@ export { SequencerState };
50
422
  rollupContract;
51
423
  telemetry;
52
424
  log;
425
+ static{
426
+ ({ e: [_initProto] } = _apply_decs_2203_r(this, [
427
+ [
428
+ _dec,
429
+ 2,
430
+ "work"
431
+ ],
432
+ [
433
+ _dec1,
434
+ 2,
435
+ "prepareCheckpointProposal"
436
+ ],
437
+ [
438
+ _dec2,
439
+ 2,
440
+ "tryVoteWhenSyncFails"
441
+ ],
442
+ [
443
+ _dec3,
444
+ 2,
445
+ "tryVoteWhenEscapeHatchOpen"
446
+ ]
447
+ ], []));
448
+ }
53
449
  runningPromise;
54
450
  state;
55
451
  metrics;
56
- /** The last slot for which we attempted to vote when sync failed, to prevent duplicate attempts. */ lastSlotForVoteWhenSyncFailed;
452
+ /** The last slot for which we attempted to perform our voting duties with degraded block production */ lastSlotForFallbackVote;
57
453
  /** The last slot for which we triggered a checkpoint proposal job, to prevent duplicate attempts. */ lastSlotForCheckpointProposalJob;
58
454
  /** Last successful checkpoint proposed */ lastCheckpointProposed;
59
455
  /** The last epoch for which we logged strategy comparison in fisherman mode. */ lastEpochForStrategyComparison;
@@ -67,7 +463,7 @@ export { SequencerState };
67
463
  publisher;
68
464
  /** Config for the sequencer */ config;
69
465
  constructor(publisherFactory, validatorClient, globalsBuilder, p2pClient, worldState, slasherClient, l2BlockSource, l1ToL2MessageSource, checkpointsBuilder, l1Constants, dateProvider, epochCache, rollupContract, config, telemetry = getTelemetryClient(), log = createLogger('sequencer')){
70
- super(), this.publisherFactory = publisherFactory, this.validatorClient = validatorClient, this.globalsBuilder = globalsBuilder, this.p2pClient = p2pClient, this.worldState = worldState, this.slasherClient = slasherClient, this.l2BlockSource = l2BlockSource, this.l1ToL2MessageSource = l1ToL2MessageSource, this.checkpointsBuilder = checkpointsBuilder, this.l1Constants = l1Constants, this.dateProvider = dateProvider, this.epochCache = epochCache, this.rollupContract = rollupContract, this.telemetry = telemetry, this.log = log, this.state = SequencerState.STOPPED, this.config = DefaultSequencerConfig;
466
+ super(), this.publisherFactory = publisherFactory, this.validatorClient = validatorClient, this.globalsBuilder = globalsBuilder, this.p2pClient = p2pClient, this.worldState = worldState, this.slasherClient = slasherClient, this.l2BlockSource = l2BlockSource, this.l1ToL2MessageSource = l1ToL2MessageSource, this.checkpointsBuilder = checkpointsBuilder, this.l1Constants = l1Constants, this.dateProvider = dateProvider, this.epochCache = epochCache, this.rollupContract = rollupContract, this.telemetry = telemetry, this.log = log, this.state = (_initProto(this), SequencerState.STOPPED), this.config = DefaultSequencerConfig;
71
467
  // Add [FISHERMAN] prefix to logger if in fisherman mode
72
468
  if (config.fishermanMode) {
73
469
  this.log = log.createChild('[FISHERMAN]');
@@ -112,7 +508,7 @@ export { SequencerState };
112
508
  });
113
509
  this.log.info('Stopped sequencer');
114
510
  }
115
- async safeWork() {
511
+ /** Main sequencer loop with a try/catch */ async safeWork() {
116
512
  try {
117
513
  await this.work();
118
514
  } catch (err) {
@@ -153,7 +549,7 @@ export { SequencerState };
153
549
  this.setState(SequencerState.SYNCHRONIZING, undefined);
154
550
  const { slot, ts, now, epoch } = this.epochCache.getEpochAndSlotInNextL1Slot();
155
551
  // Check if we are synced and it's our slot, grab a publisher, check previous block invalidation, etc
156
- const checkpointProposalJob = await this.prepareCheckpointProposal(slot, ts, now);
552
+ const checkpointProposalJob = await this.prepareCheckpointProposal(epoch, slot, ts, now);
157
553
  if (!checkpointProposalJob) {
158
554
  return;
159
555
  }
@@ -174,7 +570,7 @@ export { SequencerState };
174
570
  * Prepares the checkpoint proposal by performing all necessary checks and setup.
175
571
  * This is the initial step in the main loop.
176
572
  * @returns CheckpointProposalJob if successful, undefined if we are not yet synced or are not the proposer.
177
- */ async prepareCheckpointProposal(slot, ts, now) {
573
+ */ async prepareCheckpointProposal(epoch, slot, ts, now) {
178
574
  // Check we have not already processed this slot (cheapest check)
179
575
  // We only check this if enforce timetable is set, since we want to keep processing the same slot if we are not
180
576
  // running against actual time (eg when we use sandbox-style automining)
@@ -199,8 +595,28 @@ export { SequencerState };
199
595
  });
200
596
  return undefined;
201
597
  }
202
- // TODO(palla/mbps): Compute proper checkpoint number
203
- const checkpointNumber = CheckpointNumber.fromBlockNumber(BlockNumber(syncedTo.blockNumber + 1));
598
+ // If escape hatch is open for this epoch, do not start checkpoint proposal work and do not attempt invalidations.
599
+ // Still perform governance/slashing voting (as proposer) once per slot.
600
+ const isEscapeHatchOpen = await this.epochCache.isEscapeHatchOpen(epoch);
601
+ if (isEscapeHatchOpen) {
602
+ this.setState(SequencerState.PROPOSER_CHECK, slot);
603
+ const [canPropose, proposer] = await this.checkCanPropose(slot);
604
+ if (canPropose) {
605
+ await this.tryVoteWhenEscapeHatchOpen({
606
+ slot,
607
+ proposer
608
+ });
609
+ } else {
610
+ this.log.trace(`Escape hatch open but we are not proposer, skipping vote-only actions`, {
611
+ slot,
612
+ epoch,
613
+ proposer
614
+ });
615
+ }
616
+ return undefined;
617
+ }
618
+ // Next checkpoint follows from the last synced one
619
+ const checkpointNumber = CheckpointNumber(syncedTo.checkpointNumber + 1);
204
620
  const logCtx = {
205
621
  now,
206
622
  syncedToL1Ts: syncedTo.l1Timestamp,
@@ -213,9 +629,9 @@ export { SequencerState };
213
629
  // Check that we are a proposer for the next slot
214
630
  this.setState(SequencerState.PROPOSER_CHECK, slot);
215
631
  const [canPropose, proposer] = await this.checkCanPropose(slot);
216
- // If we are not a proposer check if we should invalidate a invalid block, and bail
632
+ // If we are not a proposer check if we should invalidate an invalid checkpoint, and bail
217
633
  if (!canPropose) {
218
- await this.considerInvalidatingBlock(syncedTo, slot);
634
+ await this.considerInvalidatingCheckpoint(syncedTo, slot);
219
635
  return undefined;
220
636
  }
221
637
  // Check that the slot is not taken by a block already (should never happen, since only us can propose for this slot)
@@ -241,11 +657,10 @@ export { SequencerState };
241
657
  this.log.debug(`Set proposer address ${proposer} for simulation in fisherman mode`);
242
658
  }
243
659
  // Prepare invalidation request if the pending chain is invalid (returns undefined if no need)
244
- // TODO(palla/mbps): We need to invalidate checkpoints, not blocks
245
- const invalidateBlock = await publisher.simulateInvalidateBlock(syncedTo.pendingChainValidationStatus);
660
+ const invalidateCheckpoint = await publisher.simulateInvalidateCheckpoint(syncedTo.pendingChainValidationStatus);
246
661
  // Check with the rollup contract if we can indeed propose at the next L2 slot. This check should not fail
247
662
  // if all the previous checks are good, but we do it just in case.
248
- const canProposeCheck = await publisher.canProposeAtNextEthBlock(syncedTo.archive, proposer ?? EthAddress.ZERO, invalidateBlock);
663
+ const canProposeCheck = await publisher.canProposeAtNextEthBlock(syncedTo.archive, proposer ?? EthAddress.ZERO, invalidateCheckpoint);
249
664
  if (canProposeCheck === undefined) {
250
665
  this.log.warn(`Cannot propose checkpoint ${checkpointNumber} at slot ${slot} due to failed rollup contract check`, logCtx);
251
666
  this.emit('proposer-rollup-check-failed', {
@@ -287,10 +702,10 @@ export { SequencerState };
287
702
  proposer
288
703
  });
289
704
  // Create and return the checkpoint proposal job
290
- return this.createCheckpointProposalJob(slot, checkpointNumber, syncedTo.blockNumber, proposer, publisher, attestorAddress, invalidateBlock);
705
+ return this.createCheckpointProposalJob(epoch, slot, checkpointNumber, syncedTo.blockNumber, proposer, publisher, attestorAddress, invalidateCheckpoint);
291
706
  }
292
- createCheckpointProposalJob(slot, checkpointNumber, syncedToBlockNumber, proposer, publisher, attestorAddress, invalidateBlock) {
293
- return new CheckpointProposalJob(slot, checkpointNumber, syncedToBlockNumber, proposer, publisher, attestorAddress, invalidateBlock, this.validatorClient, this.globalsBuilder, this.p2pClient, this.worldState, this.l1ToL2MessageSource, this.checkpointsBuilder, this.l1Constants, this.config, this.timetable, this.slasherClient, this.epochCache, this.dateProvider, this.metrics, this, this.setState.bind(this), this.log);
707
+ createCheckpointProposalJob(epoch, slot, checkpointNumber, syncedToBlockNumber, proposer, publisher, attestorAddress, invalidateCheckpoint) {
708
+ return new CheckpointProposalJob(epoch, slot, checkpointNumber, syncedToBlockNumber, proposer, publisher, attestorAddress, invalidateCheckpoint, this.validatorClient, this.globalsBuilder, this.p2pClient, this.worldState, this.l1ToL2MessageSource, this.l2BlockSource, this.checkpointsBuilder, this.l2BlockSource, this.l1Constants, this.config, this.timetable, this.slasherClient, this.epochCache, this.dateProvider, this.metrics, this, this.setState.bind(this), this.log, this.tracer);
294
709
  }
295
710
  /**
296
711
  * Internal helper for setting the sequencer state and checks if we have enough time left in the slot to transition to the new state.
@@ -350,14 +765,15 @@ export { SequencerState };
350
765
  number: syncSummary.latestBlockNumber,
351
766
  hash: syncSummary.latestBlockHash
352
767
  })),
353
- this.l2BlockSource.getL2Tips().then((t)=>t.latest),
768
+ this.l2BlockSource.getL2Tips().then((t)=>t.proposed),
354
769
  this.p2pClient.getStatus().then((p2p)=>p2p.syncedToL2Block),
355
- this.l1ToL2MessageSource.getL2Tips().then((t)=>t.latest),
770
+ this.l1ToL2MessageSource.getL2Tips().then((t)=>t.proposed),
356
771
  this.l2BlockSource.getPendingChainValidationStatus()
357
772
  ]);
358
773
  const [worldState, l2BlockSource, p2p, l1ToL2MessageSource, pendingChainValidationStatus] = syncedBlocks;
359
774
  // Handle zero as a special case, since the block hash won't match across services if we're changing the prefilled data for the genesis block,
360
775
  // as the world state can compute the new genesis block hash, but other components use the hardcoded constant.
776
+ // TODO(palla/mbps): Fix the above. All components should be able to handle dynamic genesis block hashes.
361
777
  const result = l2BlockSource.number === 0 && worldState.number === 0 && p2p.number === 0 && l1ToL2MessageSource.number === 0 || worldState.hash === l2BlockSource.hash && p2p.hash === l2BlockSource.hash && l1ToL2MessageSource.hash === l2BlockSource.hash;
362
778
  if (!result) {
363
779
  this.log.debug(`Sequencer sync check failed`, {
@@ -373,13 +789,14 @@ export { SequencerState };
373
789
  if (blockNumber < INITIAL_L2_BLOCK_NUM) {
374
790
  const archive = new Fr((await this.worldState.getCommitted().getTreeInfo(MerkleTreeId.ARCHIVE)).root);
375
791
  return {
376
- blockNumber: BlockNumber(INITIAL_L2_BLOCK_NUM - 1),
792
+ checkpointNumber: CheckpointNumber.ZERO,
793
+ blockNumber: BlockNumber.ZERO,
377
794
  archive,
378
795
  l1Timestamp,
379
796
  pendingChainValidationStatus
380
797
  };
381
798
  }
382
- const block = await this.l2BlockSource.getL2BlockNew(blockNumber);
799
+ const block = await this.l2BlockSource.getL2Block(blockNumber);
383
800
  if (!block) {
384
801
  // this shouldn't really happen because a moment ago we checked that all components were in sync
385
802
  this.log.error(`Failed to get L2 block ${blockNumber} from the archiver with all components in sync`);
@@ -388,6 +805,7 @@ export { SequencerState };
388
805
  return {
389
806
  block,
390
807
  blockNumber: block.number,
808
+ checkpointNumber: block.checkpointNumber,
391
809
  archive: block.archive.root,
392
810
  l1Timestamp,
393
811
  pendingChainValidationStatus
@@ -451,7 +869,7 @@ export { SequencerState };
451
869
  */ async tryVoteWhenSyncFails(args) {
452
870
  const { slot } = args;
453
871
  // Prevent duplicate attempts in the same slot
454
- if (this.lastSlotForVoteWhenSyncFailed === slot) {
872
+ if (this.lastSlotForFallbackVote === slot) {
455
873
  this.log.trace(`Already attempted to vote in slot ${slot} (skipping)`);
456
874
  return;
457
875
  }
@@ -481,7 +899,7 @@ export { SequencerState };
481
899
  return;
482
900
  }
483
901
  // Mark this slot as attempted
484
- this.lastSlotForVoteWhenSyncFailed = slot;
902
+ this.lastSlotForFallbackVote = slot;
485
903
  // Get a publisher for voting
486
904
  const { attestorAddress, publisher } = await this.publisherFactory.create(proposer);
487
905
  this.log.debug(`Attempting to vote despite sync failure at slot ${slot}`, {
@@ -502,24 +920,53 @@ export { SequencerState };
502
920
  await publisher.sendRequests();
503
921
  }
504
922
  /**
923
+ * Tries to vote on slashing actions and governance proposals when escape hatch is open.
924
+ * This allows the sequencer to participate in voting without performing checkpoint proposal work.
925
+ */ async tryVoteWhenEscapeHatchOpen(args) {
926
+ const { slot, proposer } = args;
927
+ // Prevent duplicate attempts in the same slot
928
+ if (this.lastSlotForFallbackVote === slot) {
929
+ this.log.trace(`Already attempted to vote in slot ${slot} (escape hatch open, skipping)`);
930
+ return;
931
+ }
932
+ // Mark this slot as attempted
933
+ this.lastSlotForFallbackVote = slot;
934
+ const { attestorAddress, publisher } = await this.publisherFactory.create(proposer);
935
+ this.log.debug(`Escape hatch open for slot ${slot}, attempting vote-only actions`, {
936
+ slot,
937
+ attestorAddress
938
+ });
939
+ const voter = new CheckpointVoter(slot, publisher, attestorAddress, this.validatorClient, this.slasherClient, this.l1Constants, this.config, this.metrics, this.log);
940
+ const votesPromises = voter.enqueueVotes();
941
+ const votes = await Promise.all(votesPromises);
942
+ if (votes.every((p)=>!p)) {
943
+ this.log.debug(`No votes to enqueue for slot ${slot} (escape hatch open)`);
944
+ return;
945
+ }
946
+ this.log.info(`Voting in slot ${slot} (escape hatch open)`, {
947
+ slot
948
+ });
949
+ await publisher.sendRequests();
950
+ }
951
+ /**
505
952
  * Considers invalidating a block if the pending chain is invalid. Depends on how long the invalid block
506
953
  * has been there without being invalidated and whether the sequencer is in the committee or not. We always
507
954
  * have the proposer try to invalidate, but if they fail, the sequencers in the committee are expected to try,
508
955
  * and if they fail, any sequencer will try as well.
509
- */ async considerInvalidatingBlock(syncedTo, currentSlot) {
956
+ */ async considerInvalidatingCheckpoint(syncedTo, currentSlot) {
510
957
  const { pendingChainValidationStatus, l1Timestamp } = syncedTo;
511
958
  if (pendingChainValidationStatus.valid) {
512
959
  return;
513
960
  }
514
- const invalidBlockNumber = pendingChainValidationStatus.block.blockNumber;
515
- const invalidBlockTimestamp = pendingChainValidationStatus.block.timestamp;
516
- const timeSinceChainInvalid = this.dateProvider.nowInSeconds() - Number(invalidBlockTimestamp);
961
+ const invalidCheckpointNumber = pendingChainValidationStatus.checkpoint.checkpointNumber;
962
+ const invalidCheckpointTimestamp = pendingChainValidationStatus.checkpoint.timestamp;
963
+ const timeSinceChainInvalid = this.dateProvider.nowInSeconds() - Number(invalidCheckpointTimestamp);
517
964
  const ourValidatorAddresses = this.validatorClient.getValidatorAddresses();
518
965
  const { secondsBeforeInvalidatingBlockAsCommitteeMember, secondsBeforeInvalidatingBlockAsNonCommitteeMember } = this.config;
519
966
  const logData = {
520
- invalidL1Timestamp: invalidBlockTimestamp,
967
+ invalidL1Timestamp: invalidCheckpointTimestamp,
521
968
  l1Timestamp,
522
- invalidBlock: pendingChainValidationStatus.block,
969
+ invalidCheckpoint: pendingChainValidationStatus.checkpoint,
523
970
  secondsBeforeInvalidatingBlockAsCommitteeMember,
524
971
  secondsBeforeInvalidatingBlockAsNonCommitteeMember,
525
972
  ourValidatorAddresses,
@@ -547,17 +994,17 @@ export { SequencerState };
547
994
  validatorToUse = ourValidatorAddresses[0];
548
995
  }
549
996
  const { publisher } = await this.publisherFactory.create(validatorToUse);
550
- const invalidateBlock = await publisher.simulateInvalidateBlock(pendingChainValidationStatus);
551
- if (!invalidateBlock) {
552
- this.log.warn(`Failed to simulate invalidate block`, logData);
997
+ const invalidateCheckpoint = await publisher.simulateInvalidateCheckpoint(pendingChainValidationStatus);
998
+ if (!invalidateCheckpoint) {
999
+ this.log.warn(`Failed to simulate invalidate checkpoint`, logData);
553
1000
  return;
554
1001
  }
555
- this.log.info(invalidateAsCommitteeMember ? `Invalidating block ${invalidBlockNumber} as committee member` : `Invalidating block ${invalidBlockNumber} as non-committee member`, logData);
556
- publisher.enqueueInvalidateBlock(invalidateBlock);
1002
+ this.log.info(invalidateAsCommitteeMember ? `Invalidating checkpoint ${invalidCheckpointNumber} as committee member` : `Invalidating checkpoint ${invalidCheckpointNumber} as non-committee member`, logData);
1003
+ publisher.enqueueInvalidateCheckpoint(invalidateCheckpoint);
557
1004
  if (!this.config.fishermanMode) {
558
1005
  await publisher.sendRequests();
559
1006
  } else {
560
- this.log.info('Invalidating block in fisherman mode, clearing pending requests');
1007
+ this.log.info('Invalidating checkpoint in fisherman mode, clearing pending requests');
561
1008
  publisher.clearPendingRequests();
562
1009
  }
563
1010
  }
@@ -616,6 +1063,3 @@ export { SequencerState };
616
1063
  return this.config.l1PublishingTime ?? this.l1Constants.ethereumSlotDuration;
617
1064
  }
618
1065
  }
619
- _ts_decorate([
620
- trackSpan('Sequencer.work')
621
- ], Sequencer.prototype, "safeWork", null);