@aztec/sequencer-client 0.0.1-commit.6230efd → 0.0.1-commit.64b6bbb

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 (76) 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/client/sequencer-client.js +1 -1
  4. package/dest/config.d.ts +1 -2
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +10 -9
  7. package/dest/global_variable_builder/global_builder.d.ts +4 -4
  8. package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
  9. package/dest/global_variable_builder/global_builder.js +13 -13
  10. package/dest/index.d.ts +2 -3
  11. package/dest/index.d.ts.map +1 -1
  12. package/dest/index.js +1 -2
  13. package/dest/publisher/sequencer-publisher-metrics.d.ts +1 -1
  14. package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
  15. package/dest/publisher/sequencer-publisher-metrics.js +23 -86
  16. package/dest/publisher/sequencer-publisher.d.ts +17 -17
  17. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  18. package/dest/publisher/sequencer-publisher.js +481 -67
  19. package/dest/sequencer/checkpoint_proposal_job.d.ts +40 -12
  20. package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -1
  21. package/dest/sequencer/checkpoint_proposal_job.js +606 -57
  22. package/dest/sequencer/checkpoint_voter.d.ts +3 -2
  23. package/dest/sequencer/checkpoint_voter.d.ts.map +1 -1
  24. package/dest/sequencer/checkpoint_voter.js +34 -10
  25. package/dest/sequencer/index.d.ts +1 -3
  26. package/dest/sequencer/index.d.ts.map +1 -1
  27. package/dest/sequencer/index.js +0 -2
  28. package/dest/sequencer/metrics.d.ts +4 -4
  29. package/dest/sequencer/metrics.d.ts.map +1 -1
  30. package/dest/sequencer/metrics.js +48 -129
  31. package/dest/sequencer/sequencer.d.ts +27 -15
  32. package/dest/sequencer/sequencer.d.ts.map +1 -1
  33. package/dest/sequencer/sequencer.js +492 -43
  34. package/dest/sequencer/timetable.d.ts +1 -4
  35. package/dest/sequencer/timetable.d.ts.map +1 -1
  36. package/dest/sequencer/timetable.js +1 -4
  37. package/dest/test/index.d.ts +2 -3
  38. package/dest/test/index.d.ts.map +1 -1
  39. package/dest/test/mock_checkpoint_builder.d.ts +23 -11
  40. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -1
  41. package/dest/test/mock_checkpoint_builder.js +50 -9
  42. package/dest/test/utils.d.ts +13 -9
  43. package/dest/test/utils.d.ts.map +1 -1
  44. package/dest/test/utils.js +26 -17
  45. package/package.json +30 -28
  46. package/src/client/sequencer-client.ts +4 -5
  47. package/src/config.ts +14 -11
  48. package/src/global_variable_builder/global_builder.ts +13 -13
  49. package/src/index.ts +1 -9
  50. package/src/publisher/sequencer-publisher-metrics.ts +17 -69
  51. package/src/publisher/sequencer-publisher.ts +118 -91
  52. package/src/sequencer/checkpoint_proposal_job.ts +258 -87
  53. package/src/sequencer/checkpoint_voter.ts +32 -7
  54. package/src/sequencer/index.ts +0 -2
  55. package/src/sequencer/metrics.ts +48 -138
  56. package/src/sequencer/sequencer.ts +133 -43
  57. package/src/sequencer/timetable.ts +6 -5
  58. package/src/test/index.ts +1 -2
  59. package/src/test/mock_checkpoint_builder.ts +91 -29
  60. package/src/test/utils.ts +55 -28
  61. package/dest/sequencer/block_builder.d.ts +0 -26
  62. package/dest/sequencer/block_builder.d.ts.map +0 -1
  63. package/dest/sequencer/block_builder.js +0 -129
  64. package/dest/sequencer/checkpoint_builder.d.ts +0 -63
  65. package/dest/sequencer/checkpoint_builder.d.ts.map +0 -1
  66. package/dest/sequencer/checkpoint_builder.js +0 -131
  67. package/dest/tx_validator/nullifier_cache.d.ts +0 -14
  68. package/dest/tx_validator/nullifier_cache.d.ts.map +0 -1
  69. package/dest/tx_validator/nullifier_cache.js +0 -24
  70. package/dest/tx_validator/tx_validator_factory.d.ts +0 -18
  71. package/dest/tx_validator/tx_validator_factory.d.ts.map +0 -1
  72. package/dest/tx_validator/tx_validator_factory.js +0 -53
  73. package/src/sequencer/block_builder.ts +0 -217
  74. package/src/sequencer/checkpoint_builder.ts +0 -217
  75. package/src/tx_validator/nullifier_cache.ts +0 -30
  76. 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,35 @@ 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;
453
+ /** The last slot for which we logged "no committee" warning, to avoid spam */ lastSlotForNoCommitteeWarning;
57
454
  /** The last slot for which we triggered a checkpoint proposal job, to prevent duplicate attempts. */ lastSlotForCheckpointProposalJob;
58
455
  /** Last successful checkpoint proposed */ lastCheckpointProposed;
59
456
  /** The last epoch for which we logged strategy comparison in fisherman mode. */ lastEpochForStrategyComparison;
@@ -67,7 +464,7 @@ export { SequencerState };
67
464
  publisher;
68
465
  /** Config for the sequencer */ config;
69
466
  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;
467
+ 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
468
  // Add [FISHERMAN] prefix to logger if in fisherman mode
72
469
  if (config.fishermanMode) {
73
470
  this.log = log.createChild('[FISHERMAN]');
@@ -112,7 +509,7 @@ export { SequencerState };
112
509
  });
113
510
  this.log.info('Stopped sequencer');
114
511
  }
115
- async safeWork() {
512
+ /** Main sequencer loop with a try/catch */ async safeWork() {
116
513
  try {
117
514
  await this.work();
118
515
  } catch (err) {
@@ -153,7 +550,7 @@ export { SequencerState };
153
550
  this.setState(SequencerState.SYNCHRONIZING, undefined);
154
551
  const { slot, ts, now, epoch } = this.epochCache.getEpochAndSlotInNextL1Slot();
155
552
  // 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);
553
+ const checkpointProposalJob = await this.prepareCheckpointProposal(epoch, slot, ts, now);
157
554
  if (!checkpointProposalJob) {
158
555
  return;
159
556
  }
@@ -174,7 +571,7 @@ export { SequencerState };
174
571
  * Prepares the checkpoint proposal by performing all necessary checks and setup.
175
572
  * This is the initial step in the main loop.
176
573
  * @returns CheckpointProposalJob if successful, undefined if we are not yet synced or are not the proposer.
177
- */ async prepareCheckpointProposal(slot, ts, now) {
574
+ */ async prepareCheckpointProposal(epoch, slot, ts, now) {
178
575
  // Check we have not already processed this slot (cheapest check)
179
576
  // We only check this if enforce timetable is set, since we want to keep processing the same slot if we are not
180
577
  // running against actual time (eg when we use sandbox-style automining)
@@ -199,8 +596,28 @@ export { SequencerState };
199
596
  });
200
597
  return undefined;
201
598
  }
202
- // TODO(palla/mbps): Compute proper checkpoint number
203
- const checkpointNumber = CheckpointNumber.fromBlockNumber(BlockNumber(syncedTo.blockNumber + 1));
599
+ // If escape hatch is open for this epoch, do not start checkpoint proposal work and do not attempt invalidations.
600
+ // Still perform governance/slashing voting (as proposer) once per slot.
601
+ const isEscapeHatchOpen = await this.epochCache.isEscapeHatchOpen(epoch);
602
+ if (isEscapeHatchOpen) {
603
+ this.setState(SequencerState.PROPOSER_CHECK, slot);
604
+ const [canPropose, proposer] = await this.checkCanPropose(slot);
605
+ if (canPropose) {
606
+ await this.tryVoteWhenEscapeHatchOpen({
607
+ slot,
608
+ proposer
609
+ });
610
+ } else {
611
+ this.log.trace(`Escape hatch open but we are not proposer, skipping vote-only actions`, {
612
+ slot,
613
+ epoch,
614
+ proposer
615
+ });
616
+ }
617
+ return undefined;
618
+ }
619
+ // Next checkpoint follows from the last synced one
620
+ const checkpointNumber = CheckpointNumber(syncedTo.checkpointNumber + 1);
204
621
  const logCtx = {
205
622
  now,
206
623
  syncedToL1Ts: syncedTo.l1Timestamp,
@@ -213,9 +630,9 @@ export { SequencerState };
213
630
  // Check that we are a proposer for the next slot
214
631
  this.setState(SequencerState.PROPOSER_CHECK, slot);
215
632
  const [canPropose, proposer] = await this.checkCanPropose(slot);
216
- // If we are not a proposer check if we should invalidate a invalid block, and bail
633
+ // If we are not a proposer check if we should invalidate an invalid checkpoint, and bail
217
634
  if (!canPropose) {
218
- await this.considerInvalidatingBlock(syncedTo, slot);
635
+ await this.considerInvalidatingCheckpoint(syncedTo, slot);
219
636
  return undefined;
220
637
  }
221
638
  // Check that the slot is not taken by a block already (should never happen, since only us can propose for this slot)
@@ -241,11 +658,10 @@ export { SequencerState };
241
658
  this.log.debug(`Set proposer address ${proposer} for simulation in fisherman mode`);
242
659
  }
243
660
  // 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);
661
+ const invalidateCheckpoint = await publisher.simulateInvalidateCheckpoint(syncedTo.pendingChainValidationStatus);
246
662
  // Check with the rollup contract if we can indeed propose at the next L2 slot. This check should not fail
247
663
  // 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);
664
+ const canProposeCheck = await publisher.canProposeAtNextEthBlock(syncedTo.archive, proposer ?? EthAddress.ZERO, invalidateCheckpoint);
249
665
  if (canProposeCheck === undefined) {
250
666
  this.log.warn(`Cannot propose checkpoint ${checkpointNumber} at slot ${slot} due to failed rollup contract check`, logCtx);
251
667
  this.emit('proposer-rollup-check-failed', {
@@ -282,15 +698,16 @@ export { SequencerState };
282
698
  return undefined;
283
699
  }
284
700
  this.lastSlotForCheckpointProposalJob = slot;
701
+ await this.p2pClient.prepareForSlot(slot);
285
702
  this.log.info(`Preparing checkpoint proposal ${checkpointNumber} at slot ${slot}`, {
286
703
  ...logCtx,
287
704
  proposer
288
705
  });
289
706
  // Create and return the checkpoint proposal job
290
- return this.createCheckpointProposalJob(slot, checkpointNumber, syncedTo.blockNumber, proposer, publisher, attestorAddress, invalidateBlock);
707
+ return this.createCheckpointProposalJob(epoch, slot, checkpointNumber, syncedTo.blockNumber, proposer, publisher, attestorAddress, invalidateCheckpoint);
291
708
  }
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);
709
+ createCheckpointProposalJob(epoch, slot, checkpointNumber, syncedToBlockNumber, proposer, publisher, attestorAddress, invalidateCheckpoint) {
710
+ 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.tracer, this.log.getBindings());
294
711
  }
295
712
  /**
296
713
  * 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 +767,15 @@ export { SequencerState };
350
767
  number: syncSummary.latestBlockNumber,
351
768
  hash: syncSummary.latestBlockHash
352
769
  })),
353
- this.l2BlockSource.getL2Tips().then((t)=>t.latest),
770
+ this.l2BlockSource.getL2Tips().then((t)=>t.proposed),
354
771
  this.p2pClient.getStatus().then((p2p)=>p2p.syncedToL2Block),
355
- this.l1ToL2MessageSource.getL2Tips().then((t)=>t.latest),
772
+ this.l1ToL2MessageSource.getL2Tips().then((t)=>t.proposed),
356
773
  this.l2BlockSource.getPendingChainValidationStatus()
357
774
  ]);
358
775
  const [worldState, l2BlockSource, p2p, l1ToL2MessageSource, pendingChainValidationStatus] = syncedBlocks;
359
776
  // 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
777
  // as the world state can compute the new genesis block hash, but other components use the hardcoded constant.
778
+ // TODO(palla/mbps): Fix the above. All components should be able to handle dynamic genesis block hashes.
361
779
  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
780
  if (!result) {
363
781
  this.log.debug(`Sequencer sync check failed`, {
@@ -373,13 +791,14 @@ export { SequencerState };
373
791
  if (blockNumber < INITIAL_L2_BLOCK_NUM) {
374
792
  const archive = new Fr((await this.worldState.getCommitted().getTreeInfo(MerkleTreeId.ARCHIVE)).root);
375
793
  return {
376
- blockNumber: BlockNumber(INITIAL_L2_BLOCK_NUM - 1),
794
+ checkpointNumber: CheckpointNumber.ZERO,
795
+ blockNumber: BlockNumber.ZERO,
377
796
  archive,
378
797
  l1Timestamp,
379
798
  pendingChainValidationStatus
380
799
  };
381
800
  }
382
- const block = await this.l2BlockSource.getL2BlockNew(blockNumber);
801
+ const block = await this.l2BlockSource.getL2Block(blockNumber);
383
802
  if (!block) {
384
803
  // this shouldn't really happen because a moment ago we checked that all components were in sync
385
804
  this.log.error(`Failed to get L2 block ${blockNumber} from the archiver with all components in sync`);
@@ -388,6 +807,7 @@ export { SequencerState };
388
807
  return {
389
808
  block,
390
809
  blockNumber: block.number,
810
+ checkpointNumber: block.checkpointNumber,
391
811
  archive: block.archive.root,
392
812
  l1Timestamp,
393
813
  pendingChainValidationStatus
@@ -402,7 +822,10 @@ export { SequencerState };
402
822
  proposer = await this.epochCache.getProposerAttesterAddressInSlot(slot);
403
823
  } catch (e) {
404
824
  if (e instanceof NoCommitteeError) {
405
- this.log.warn(`Cannot propose at next L2 slot ${slot} since the committee does not exist on L1`);
825
+ if (this.lastSlotForNoCommitteeWarning !== slot) {
826
+ this.lastSlotForNoCommitteeWarning = slot;
827
+ this.log.warn(`Cannot propose at next L2 slot ${slot} since the committee does not exist on L1`);
828
+ }
406
829
  return [
407
830
  false,
408
831
  undefined
@@ -451,7 +874,7 @@ export { SequencerState };
451
874
  */ async tryVoteWhenSyncFails(args) {
452
875
  const { slot } = args;
453
876
  // Prevent duplicate attempts in the same slot
454
- if (this.lastSlotForVoteWhenSyncFailed === slot) {
877
+ if (this.lastSlotForFallbackVote === slot) {
455
878
  this.log.trace(`Already attempted to vote in slot ${slot} (skipping)`);
456
879
  return;
457
880
  }
@@ -481,7 +904,7 @@ export { SequencerState };
481
904
  return;
482
905
  }
483
906
  // Mark this slot as attempted
484
- this.lastSlotForVoteWhenSyncFailed = slot;
907
+ this.lastSlotForFallbackVote = slot;
485
908
  // Get a publisher for voting
486
909
  const { attestorAddress, publisher } = await this.publisherFactory.create(proposer);
487
910
  this.log.debug(`Attempting to vote despite sync failure at slot ${slot}`, {
@@ -502,24 +925,53 @@ export { SequencerState };
502
925
  await publisher.sendRequests();
503
926
  }
504
927
  /**
928
+ * Tries to vote on slashing actions and governance proposals when escape hatch is open.
929
+ * This allows the sequencer to participate in voting without performing checkpoint proposal work.
930
+ */ async tryVoteWhenEscapeHatchOpen(args) {
931
+ const { slot, proposer } = args;
932
+ // Prevent duplicate attempts in the same slot
933
+ if (this.lastSlotForFallbackVote === slot) {
934
+ this.log.trace(`Already attempted to vote in slot ${slot} (escape hatch open, skipping)`);
935
+ return;
936
+ }
937
+ // Mark this slot as attempted
938
+ this.lastSlotForFallbackVote = slot;
939
+ const { attestorAddress, publisher } = await this.publisherFactory.create(proposer);
940
+ this.log.debug(`Escape hatch open for slot ${slot}, attempting vote-only actions`, {
941
+ slot,
942
+ attestorAddress
943
+ });
944
+ const voter = new CheckpointVoter(slot, publisher, attestorAddress, this.validatorClient, this.slasherClient, this.l1Constants, this.config, this.metrics, this.log);
945
+ const votesPromises = voter.enqueueVotes();
946
+ const votes = await Promise.all(votesPromises);
947
+ if (votes.every((p)=>!p)) {
948
+ this.log.debug(`No votes to enqueue for slot ${slot} (escape hatch open)`);
949
+ return;
950
+ }
951
+ this.log.info(`Voting in slot ${slot} (escape hatch open)`, {
952
+ slot
953
+ });
954
+ await publisher.sendRequests();
955
+ }
956
+ /**
505
957
  * Considers invalidating a block if the pending chain is invalid. Depends on how long the invalid block
506
958
  * has been there without being invalidated and whether the sequencer is in the committee or not. We always
507
959
  * have the proposer try to invalidate, but if they fail, the sequencers in the committee are expected to try,
508
960
  * and if they fail, any sequencer will try as well.
509
- */ async considerInvalidatingBlock(syncedTo, currentSlot) {
961
+ */ async considerInvalidatingCheckpoint(syncedTo, currentSlot) {
510
962
  const { pendingChainValidationStatus, l1Timestamp } = syncedTo;
511
963
  if (pendingChainValidationStatus.valid) {
512
964
  return;
513
965
  }
514
- const invalidBlockNumber = pendingChainValidationStatus.block.blockNumber;
515
- const invalidBlockTimestamp = pendingChainValidationStatus.block.timestamp;
516
- const timeSinceChainInvalid = this.dateProvider.nowInSeconds() - Number(invalidBlockTimestamp);
966
+ const invalidCheckpointNumber = pendingChainValidationStatus.checkpoint.checkpointNumber;
967
+ const invalidCheckpointTimestamp = pendingChainValidationStatus.checkpoint.timestamp;
968
+ const timeSinceChainInvalid = this.dateProvider.nowInSeconds() - Number(invalidCheckpointTimestamp);
517
969
  const ourValidatorAddresses = this.validatorClient.getValidatorAddresses();
518
970
  const { secondsBeforeInvalidatingBlockAsCommitteeMember, secondsBeforeInvalidatingBlockAsNonCommitteeMember } = this.config;
519
971
  const logData = {
520
- invalidL1Timestamp: invalidBlockTimestamp,
972
+ invalidL1Timestamp: invalidCheckpointTimestamp,
521
973
  l1Timestamp,
522
- invalidBlock: pendingChainValidationStatus.block,
974
+ invalidCheckpoint: pendingChainValidationStatus.checkpoint,
523
975
  secondsBeforeInvalidatingBlockAsCommitteeMember,
524
976
  secondsBeforeInvalidatingBlockAsNonCommitteeMember,
525
977
  ourValidatorAddresses,
@@ -547,17 +999,17 @@ export { SequencerState };
547
999
  validatorToUse = ourValidatorAddresses[0];
548
1000
  }
549
1001
  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);
1002
+ const invalidateCheckpoint = await publisher.simulateInvalidateCheckpoint(pendingChainValidationStatus);
1003
+ if (!invalidateCheckpoint) {
1004
+ this.log.warn(`Failed to simulate invalidate checkpoint`, logData);
553
1005
  return;
554
1006
  }
555
- this.log.info(invalidateAsCommitteeMember ? `Invalidating block ${invalidBlockNumber} as committee member` : `Invalidating block ${invalidBlockNumber} as non-committee member`, logData);
556
- publisher.enqueueInvalidateBlock(invalidateBlock);
1007
+ this.log.info(invalidateAsCommitteeMember ? `Invalidating checkpoint ${invalidCheckpointNumber} as committee member` : `Invalidating checkpoint ${invalidCheckpointNumber} as non-committee member`, logData);
1008
+ publisher.enqueueInvalidateCheckpoint(invalidateCheckpoint);
557
1009
  if (!this.config.fishermanMode) {
558
1010
  await publisher.sendRequests();
559
1011
  } else {
560
- this.log.info('Invalidating block in fisherman mode, clearing pending requests');
1012
+ this.log.info('Invalidating checkpoint in fisherman mode, clearing pending requests');
561
1013
  publisher.clearPendingRequests();
562
1014
  }
563
1015
  }
@@ -616,6 +1068,3 @@ export { SequencerState };
616
1068
  return this.config.l1PublishingTime ?? this.l1Constants.ethereumSlotDuration;
617
1069
  }
618
1070
  }
619
- _ts_decorate([
620
- trackSpan('Sequencer.work')
621
- ], Sequencer.prototype, "safeWork", null);