@aztec/sequencer-client 0.0.1-commit.d3ec352c → 0.0.1-commit.d6f2b3f94

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 (96) hide show
  1. package/dest/client/sequencer-client.d.ts +12 -12
  2. package/dest/client/sequencer-client.d.ts.map +1 -1
  3. package/dest/client/sequencer-client.js +33 -26
  4. package/dest/config.d.ts +12 -6
  5. package/dest/config.d.ts.map +1 -1
  6. package/dest/config.js +71 -32
  7. package/dest/global_variable_builder/global_builder.d.ts +21 -12
  8. package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
  9. package/dest/global_variable_builder/global_builder.js +51 -41
  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/config.d.ts +7 -4
  14. package/dest/publisher/config.d.ts.map +1 -1
  15. package/dest/publisher/config.js +9 -3
  16. package/dest/publisher/sequencer-publisher-factory.d.ts +5 -4
  17. package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
  18. package/dest/publisher/sequencer-publisher-factory.js +1 -1
  19. package/dest/publisher/sequencer-publisher-metrics.d.ts +3 -3
  20. package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
  21. package/dest/publisher/sequencer-publisher-metrics.js +23 -86
  22. package/dest/publisher/sequencer-publisher.d.ts +48 -41
  23. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  24. package/dest/publisher/sequencer-publisher.js +600 -129
  25. package/dest/sequencer/checkpoint_proposal_job.d.ts +102 -0
  26. package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -0
  27. package/dest/sequencer/checkpoint_proposal_job.js +1191 -0
  28. package/dest/sequencer/checkpoint_voter.d.ts +35 -0
  29. package/dest/sequencer/checkpoint_voter.d.ts.map +1 -0
  30. package/dest/sequencer/checkpoint_voter.js +109 -0
  31. package/dest/sequencer/config.d.ts +3 -2
  32. package/dest/sequencer/config.d.ts.map +1 -1
  33. package/dest/sequencer/events.d.ts +46 -0
  34. package/dest/sequencer/events.d.ts.map +1 -0
  35. package/dest/sequencer/events.js +1 -0
  36. package/dest/sequencer/index.d.ts +4 -2
  37. package/dest/sequencer/index.d.ts.map +1 -1
  38. package/dest/sequencer/index.js +3 -1
  39. package/dest/sequencer/metrics.d.ts +23 -3
  40. package/dest/sequencer/metrics.d.ts.map +1 -1
  41. package/dest/sequencer/metrics.js +143 -70
  42. package/dest/sequencer/sequencer.d.ts +109 -131
  43. package/dest/sequencer/sequencer.d.ts.map +1 -1
  44. package/dest/sequencer/sequencer.js +696 -603
  45. package/dest/sequencer/timetable.d.ts +51 -14
  46. package/dest/sequencer/timetable.d.ts.map +1 -1
  47. package/dest/sequencer/timetable.js +145 -59
  48. package/dest/sequencer/types.d.ts +3 -0
  49. package/dest/sequencer/types.d.ts.map +1 -0
  50. package/dest/sequencer/types.js +1 -0
  51. package/dest/sequencer/utils.d.ts +14 -8
  52. package/dest/sequencer/utils.d.ts.map +1 -1
  53. package/dest/sequencer/utils.js +7 -4
  54. package/dest/test/index.d.ts +4 -3
  55. package/dest/test/index.d.ts.map +1 -1
  56. package/dest/test/mock_checkpoint_builder.d.ts +95 -0
  57. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -0
  58. package/dest/test/mock_checkpoint_builder.js +220 -0
  59. package/dest/test/utils.d.ts +53 -0
  60. package/dest/test/utils.d.ts.map +1 -0
  61. package/dest/test/utils.js +103 -0
  62. package/package.json +30 -28
  63. package/src/client/sequencer-client.ts +31 -42
  64. package/src/config.ts +78 -36
  65. package/src/global_variable_builder/global_builder.ts +63 -59
  66. package/src/index.ts +1 -7
  67. package/src/publisher/config.ts +12 -9
  68. package/src/publisher/sequencer-publisher-factory.ts +5 -4
  69. package/src/publisher/sequencer-publisher-metrics.ts +19 -71
  70. package/src/publisher/sequencer-publisher.ts +293 -170
  71. package/src/sequencer/README.md +531 -0
  72. package/src/sequencer/checkpoint_proposal_job.ts +877 -0
  73. package/src/sequencer/checkpoint_voter.ts +130 -0
  74. package/src/sequencer/config.ts +2 -1
  75. package/src/sequencer/events.ts +27 -0
  76. package/src/sequencer/index.ts +3 -1
  77. package/src/sequencer/metrics.ts +190 -78
  78. package/src/sequencer/sequencer.ts +438 -805
  79. package/src/sequencer/timetable.ts +175 -80
  80. package/src/sequencer/types.ts +6 -0
  81. package/src/sequencer/utils.ts +18 -9
  82. package/src/test/index.ts +3 -2
  83. package/src/test/mock_checkpoint_builder.ts +309 -0
  84. package/src/test/utils.ts +164 -0
  85. package/dest/sequencer/block_builder.d.ts +0 -28
  86. package/dest/sequencer/block_builder.d.ts.map +0 -1
  87. package/dest/sequencer/block_builder.js +0 -134
  88. package/dest/tx_validator/nullifier_cache.d.ts +0 -14
  89. package/dest/tx_validator/nullifier_cache.d.ts.map +0 -1
  90. package/dest/tx_validator/nullifier_cache.js +0 -24
  91. package/dest/tx_validator/tx_validator_factory.d.ts +0 -18
  92. package/dest/tx_validator/tx_validator_factory.d.ts.map +0 -1
  93. package/dest/tx_validator/tx_validator_factory.js +0 -53
  94. package/src/sequencer/block_builder.ts +0 -222
  95. package/src/tx_validator/nullifier_cache.ts +0 -30
  96. package/src/tx_validator/tx_validator_factory.ts +0 -133
@@ -0,0 +1,1191 @@
1
+ function _ts_add_disposable_resource(env, value, async) {
2
+ if (value !== null && value !== void 0) {
3
+ if (typeof value !== "object" && typeof value !== "function") throw new TypeError("Object expected.");
4
+ var dispose, inner;
5
+ if (async) {
6
+ if (!Symbol.asyncDispose) throw new TypeError("Symbol.asyncDispose is not defined.");
7
+ dispose = value[Symbol.asyncDispose];
8
+ }
9
+ if (dispose === void 0) {
10
+ if (!Symbol.dispose) throw new TypeError("Symbol.dispose is not defined.");
11
+ dispose = value[Symbol.dispose];
12
+ if (async) inner = dispose;
13
+ }
14
+ if (typeof dispose !== "function") throw new TypeError("Object not disposable.");
15
+ if (inner) dispose = function() {
16
+ try {
17
+ inner.call(this);
18
+ } catch (e) {
19
+ return Promise.reject(e);
20
+ }
21
+ };
22
+ env.stack.push({
23
+ value: value,
24
+ dispose: dispose,
25
+ async: async
26
+ });
27
+ } else if (async) {
28
+ env.stack.push({
29
+ async: true
30
+ });
31
+ }
32
+ return value;
33
+ }
34
+ function _ts_dispose_resources(env) {
35
+ var _SuppressedError = typeof SuppressedError === "function" ? SuppressedError : function(error, suppressed, message) {
36
+ var e = new Error(message);
37
+ return e.name = "SuppressedError", e.error = error, e.suppressed = suppressed, e;
38
+ };
39
+ return (_ts_dispose_resources = function _ts_dispose_resources(env) {
40
+ function fail(e) {
41
+ env.error = env.hasError ? new _SuppressedError(e, env.error, "An error was suppressed during disposal.") : e;
42
+ env.hasError = true;
43
+ }
44
+ var r, s = 0;
45
+ function next() {
46
+ while(r = env.stack.pop()){
47
+ try {
48
+ if (!r.async && s === 1) return s = 0, env.stack.push(r), Promise.resolve().then(next);
49
+ if (r.dispose) {
50
+ var result = r.dispose.call(r.value);
51
+ if (r.async) return s |= 2, Promise.resolve(result).then(next, function(e) {
52
+ fail(e);
53
+ return next();
54
+ });
55
+ } else s |= 1;
56
+ } catch (e) {
57
+ fail(e);
58
+ }
59
+ }
60
+ if (s === 1) return env.hasError ? Promise.reject(env.error) : Promise.resolve();
61
+ if (env.hasError) throw env.error;
62
+ }
63
+ return next();
64
+ })(env);
65
+ }
66
+ function applyDecs2203RFactory() {
67
+ function createAddInitializerMethod(initializers, decoratorFinishedRef) {
68
+ return function addInitializer(initializer) {
69
+ assertNotFinished(decoratorFinishedRef, "addInitializer");
70
+ assertCallable(initializer, "An initializer");
71
+ initializers.push(initializer);
72
+ };
73
+ }
74
+ function memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value) {
75
+ var kindStr;
76
+ switch(kind){
77
+ case 1:
78
+ kindStr = "accessor";
79
+ break;
80
+ case 2:
81
+ kindStr = "method";
82
+ break;
83
+ case 3:
84
+ kindStr = "getter";
85
+ break;
86
+ case 4:
87
+ kindStr = "setter";
88
+ break;
89
+ default:
90
+ kindStr = "field";
91
+ }
92
+ var ctx = {
93
+ kind: kindStr,
94
+ name: isPrivate ? "#" + name : name,
95
+ static: isStatic,
96
+ private: isPrivate,
97
+ metadata: metadata
98
+ };
99
+ var decoratorFinishedRef = {
100
+ v: false
101
+ };
102
+ ctx.addInitializer = createAddInitializerMethod(initializers, decoratorFinishedRef);
103
+ var get, set;
104
+ if (kind === 0) {
105
+ if (isPrivate) {
106
+ get = desc.get;
107
+ set = desc.set;
108
+ } else {
109
+ get = function() {
110
+ return this[name];
111
+ };
112
+ set = function(v) {
113
+ this[name] = v;
114
+ };
115
+ }
116
+ } else if (kind === 2) {
117
+ get = function() {
118
+ return desc.value;
119
+ };
120
+ } else {
121
+ if (kind === 1 || kind === 3) {
122
+ get = function() {
123
+ return desc.get.call(this);
124
+ };
125
+ }
126
+ if (kind === 1 || kind === 4) {
127
+ set = function(v) {
128
+ desc.set.call(this, v);
129
+ };
130
+ }
131
+ }
132
+ ctx.access = get && set ? {
133
+ get: get,
134
+ set: set
135
+ } : get ? {
136
+ get: get
137
+ } : {
138
+ set: set
139
+ };
140
+ try {
141
+ return dec(value, ctx);
142
+ } finally{
143
+ decoratorFinishedRef.v = true;
144
+ }
145
+ }
146
+ function assertNotFinished(decoratorFinishedRef, fnName) {
147
+ if (decoratorFinishedRef.v) {
148
+ throw new Error("attempted to call " + fnName + " after decoration was finished");
149
+ }
150
+ }
151
+ function assertCallable(fn, hint) {
152
+ if (typeof fn !== "function") {
153
+ throw new TypeError(hint + " must be a function");
154
+ }
155
+ }
156
+ function assertValidReturnValue(kind, value) {
157
+ var type = typeof value;
158
+ if (kind === 1) {
159
+ if (type !== "object" || value === null) {
160
+ throw new TypeError("accessor decorators must return an object with get, set, or init properties or void 0");
161
+ }
162
+ if (value.get !== undefined) {
163
+ assertCallable(value.get, "accessor.get");
164
+ }
165
+ if (value.set !== undefined) {
166
+ assertCallable(value.set, "accessor.set");
167
+ }
168
+ if (value.init !== undefined) {
169
+ assertCallable(value.init, "accessor.init");
170
+ }
171
+ } else if (type !== "function") {
172
+ var hint;
173
+ if (kind === 0) {
174
+ hint = "field";
175
+ } else if (kind === 10) {
176
+ hint = "class";
177
+ } else {
178
+ hint = "method";
179
+ }
180
+ throw new TypeError(hint + " decorators must return a function or void 0");
181
+ }
182
+ }
183
+ function applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata) {
184
+ var decs = decInfo[0];
185
+ var desc, init, value;
186
+ if (isPrivate) {
187
+ if (kind === 0 || kind === 1) {
188
+ desc = {
189
+ get: decInfo[3],
190
+ set: decInfo[4]
191
+ };
192
+ } else if (kind === 3) {
193
+ desc = {
194
+ get: decInfo[3]
195
+ };
196
+ } else if (kind === 4) {
197
+ desc = {
198
+ set: decInfo[3]
199
+ };
200
+ } else {
201
+ desc = {
202
+ value: decInfo[3]
203
+ };
204
+ }
205
+ } else if (kind !== 0) {
206
+ desc = Object.getOwnPropertyDescriptor(base, name);
207
+ }
208
+ if (kind === 1) {
209
+ value = {
210
+ get: desc.get,
211
+ set: desc.set
212
+ };
213
+ } else if (kind === 2) {
214
+ value = desc.value;
215
+ } else if (kind === 3) {
216
+ value = desc.get;
217
+ } else if (kind === 4) {
218
+ value = desc.set;
219
+ }
220
+ var newValue, get, set;
221
+ if (typeof decs === "function") {
222
+ newValue = memberDec(decs, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
223
+ if (newValue !== void 0) {
224
+ assertValidReturnValue(kind, newValue);
225
+ if (kind === 0) {
226
+ init = newValue;
227
+ } else if (kind === 1) {
228
+ init = newValue.init;
229
+ get = newValue.get || value.get;
230
+ set = newValue.set || value.set;
231
+ value = {
232
+ get: get,
233
+ set: set
234
+ };
235
+ } else {
236
+ value = newValue;
237
+ }
238
+ }
239
+ } else {
240
+ for(var i = decs.length - 1; i >= 0; i--){
241
+ var dec = decs[i];
242
+ newValue = memberDec(dec, name, desc, initializers, kind, isStatic, isPrivate, metadata, value);
243
+ if (newValue !== void 0) {
244
+ assertValidReturnValue(kind, newValue);
245
+ var newInit;
246
+ if (kind === 0) {
247
+ newInit = newValue;
248
+ } else if (kind === 1) {
249
+ newInit = newValue.init;
250
+ get = newValue.get || value.get;
251
+ set = newValue.set || value.set;
252
+ value = {
253
+ get: get,
254
+ set: set
255
+ };
256
+ } else {
257
+ value = newValue;
258
+ }
259
+ if (newInit !== void 0) {
260
+ if (init === void 0) {
261
+ init = newInit;
262
+ } else if (typeof init === "function") {
263
+ init = [
264
+ init,
265
+ newInit
266
+ ];
267
+ } else {
268
+ init.push(newInit);
269
+ }
270
+ }
271
+ }
272
+ }
273
+ }
274
+ if (kind === 0 || kind === 1) {
275
+ if (init === void 0) {
276
+ init = function(instance, init) {
277
+ return init;
278
+ };
279
+ } else if (typeof init !== "function") {
280
+ var ownInitializers = init;
281
+ init = function(instance, init) {
282
+ var value = init;
283
+ for(var i = 0; i < ownInitializers.length; i++){
284
+ value = ownInitializers[i].call(instance, value);
285
+ }
286
+ return value;
287
+ };
288
+ } else {
289
+ var originalInitializer = init;
290
+ init = function(instance, init) {
291
+ return originalInitializer.call(instance, init);
292
+ };
293
+ }
294
+ ret.push(init);
295
+ }
296
+ if (kind !== 0) {
297
+ if (kind === 1) {
298
+ desc.get = value.get;
299
+ desc.set = value.set;
300
+ } else if (kind === 2) {
301
+ desc.value = value;
302
+ } else if (kind === 3) {
303
+ desc.get = value;
304
+ } else if (kind === 4) {
305
+ desc.set = value;
306
+ }
307
+ if (isPrivate) {
308
+ if (kind === 1) {
309
+ ret.push(function(instance, args) {
310
+ return value.get.call(instance, args);
311
+ });
312
+ ret.push(function(instance, args) {
313
+ return value.set.call(instance, args);
314
+ });
315
+ } else if (kind === 2) {
316
+ ret.push(value);
317
+ } else {
318
+ ret.push(function(instance, args) {
319
+ return value.call(instance, args);
320
+ });
321
+ }
322
+ } else {
323
+ Object.defineProperty(base, name, desc);
324
+ }
325
+ }
326
+ }
327
+ function applyMemberDecs(Class, decInfos, metadata) {
328
+ var ret = [];
329
+ var protoInitializers;
330
+ var staticInitializers;
331
+ var existingProtoNonFields = new Map();
332
+ var existingStaticNonFields = new Map();
333
+ for(var i = 0; i < decInfos.length; i++){
334
+ var decInfo = decInfos[i];
335
+ if (!Array.isArray(decInfo)) continue;
336
+ var kind = decInfo[1];
337
+ var name = decInfo[2];
338
+ var isPrivate = decInfo.length > 3;
339
+ var isStatic = kind >= 5;
340
+ var base;
341
+ var initializers;
342
+ if (isStatic) {
343
+ base = Class;
344
+ kind = kind - 5;
345
+ staticInitializers = staticInitializers || [];
346
+ initializers = staticInitializers;
347
+ } else {
348
+ base = Class.prototype;
349
+ protoInitializers = protoInitializers || [];
350
+ initializers = protoInitializers;
351
+ }
352
+ if (kind !== 0 && !isPrivate) {
353
+ var existingNonFields = isStatic ? existingStaticNonFields : existingProtoNonFields;
354
+ var existingKind = existingNonFields.get(name) || 0;
355
+ if (existingKind === true || existingKind === 3 && kind !== 4 || existingKind === 4 && kind !== 3) {
356
+ 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);
357
+ } else if (!existingKind && kind > 2) {
358
+ existingNonFields.set(name, kind);
359
+ } else {
360
+ existingNonFields.set(name, true);
361
+ }
362
+ }
363
+ applyMemberDec(ret, base, decInfo, name, kind, isStatic, isPrivate, initializers, metadata);
364
+ }
365
+ pushInitializers(ret, protoInitializers);
366
+ pushInitializers(ret, staticInitializers);
367
+ return ret;
368
+ }
369
+ function pushInitializers(ret, initializers) {
370
+ if (initializers) {
371
+ ret.push(function(instance) {
372
+ for(var i = 0; i < initializers.length; i++){
373
+ initializers[i].call(instance);
374
+ }
375
+ return instance;
376
+ });
377
+ }
378
+ }
379
+ function applyClassDecs(targetClass, classDecs, metadata) {
380
+ if (classDecs.length > 0) {
381
+ var initializers = [];
382
+ var newClass = targetClass;
383
+ var name = targetClass.name;
384
+ for(var i = classDecs.length - 1; i >= 0; i--){
385
+ var decoratorFinishedRef = {
386
+ v: false
387
+ };
388
+ try {
389
+ var nextNewClass = classDecs[i](newClass, {
390
+ kind: "class",
391
+ name: name,
392
+ addInitializer: createAddInitializerMethod(initializers, decoratorFinishedRef),
393
+ metadata
394
+ });
395
+ } finally{
396
+ decoratorFinishedRef.v = true;
397
+ }
398
+ if (nextNewClass !== undefined) {
399
+ assertValidReturnValue(10, nextNewClass);
400
+ newClass = nextNewClass;
401
+ }
402
+ }
403
+ return [
404
+ defineMetadata(newClass, metadata),
405
+ function() {
406
+ for(var i = 0; i < initializers.length; i++){
407
+ initializers[i].call(newClass);
408
+ }
409
+ }
410
+ ];
411
+ }
412
+ }
413
+ function defineMetadata(Class, metadata) {
414
+ return Object.defineProperty(Class, Symbol.metadata || Symbol.for("Symbol.metadata"), {
415
+ configurable: true,
416
+ enumerable: true,
417
+ value: metadata
418
+ });
419
+ }
420
+ return function applyDecs2203R(targetClass, memberDecs, classDecs, parentClass) {
421
+ if (parentClass !== void 0) {
422
+ var parentMetadata = parentClass[Symbol.metadata || Symbol.for("Symbol.metadata")];
423
+ }
424
+ var metadata = Object.create(parentMetadata === void 0 ? null : parentMetadata);
425
+ var e = applyMemberDecs(targetClass, memberDecs, metadata);
426
+ if (!classDecs.length) defineMetadata(targetClass, metadata);
427
+ return {
428
+ e: e,
429
+ get c () {
430
+ return applyClassDecs(targetClass, classDecs, metadata);
431
+ }
432
+ };
433
+ };
434
+ }
435
+ function _apply_decs_2203_r(targetClass, memberDecs, classDecs, parentClass) {
436
+ return (_apply_decs_2203_r = applyDecs2203RFactory())(targetClass, memberDecs, classDecs, parentClass);
437
+ }
438
+ var _dec, _dec1, _dec2, _dec3, _dec4, _dec5, _dec6, _dec7, _initProto;
439
+ import { NUM_CHECKPOINT_END_MARKER_FIELDS, getNumBlockEndBlobFields } from '@aztec/blob-lib/encoding';
440
+ import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB } from '@aztec/constants';
441
+ import { BlockNumber, IndexWithinCheckpoint } from '@aztec/foundation/branded-types';
442
+ import { randomInt } from '@aztec/foundation/crypto/random';
443
+ import { Signature } from '@aztec/foundation/eth-signature';
444
+ import { filter } from '@aztec/foundation/iterator';
445
+ import { createLogger } from '@aztec/foundation/log';
446
+ import { sleep, sleepUntil } from '@aztec/foundation/sleep';
447
+ import { Timer } from '@aztec/foundation/timer';
448
+ import { isErrorClass, unfreeze } from '@aztec/foundation/types';
449
+ import { CommitteeAttestationsAndSigners, MaliciousCommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
450
+ import { getSlotStartBuildTimestamp } from '@aztec/stdlib/epoch-helpers';
451
+ import { Gas } from '@aztec/stdlib/gas';
452
+ import { NoValidTxsError } from '@aztec/stdlib/interfaces/server';
453
+ import { computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
454
+ import { orderAttestations } from '@aztec/stdlib/p2p';
455
+ import { AttestationTimeoutError } from '@aztec/stdlib/validators';
456
+ import { Attributes, trackSpan } from '@aztec/telemetry-client';
457
+ import { DutyAlreadySignedError, SlashingProtectionError } from '@aztec/validator-ha-signer/errors';
458
+ import { CheckpointVoter } from './checkpoint_voter.js';
459
+ import { SequencerInterruptedError } from './errors.js';
460
+ import { SequencerState } from './utils.js';
461
+ /** How much time to sleep while waiting for min transactions to accumulate for a block */ const TXS_POLLING_MS = 500;
462
+ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('CheckpointProposalJob.proposeCheckpoint', function() {
463
+ return {
464
+ // nullish operator needed for tests
465
+ [Attributes.COINBASE]: this.validatorClient.getCoinbaseForAttestor(this.attestorAddress)?.toString(),
466
+ [Attributes.SLOT_NUMBER]: this.slot
467
+ };
468
+ }), _dec2 = trackSpan('CheckpointProposalJob.buildBlocksForCheckpoint'), _dec3 = trackSpan('CheckpointProposalJob.waitUntilNextSubslot'), _dec4 = trackSpan('CheckpointProposalJob.buildSingleBlock'), _dec5 = trackSpan('CheckpointProposalJob.waitForMinTxs'), _dec6 = trackSpan('CheckpointProposalJob.waitForAttestations'), _dec7 = trackSpan('CheckpointProposalJob.waitUntilTimeInSlot');
469
+ /**
470
+ * Handles the execution of a checkpoint proposal after the initial preparation phase.
471
+ * This includes building blocks, collecting attestations, and publishing the checkpoint to L1,
472
+ * as well as enqueueing votes for slashing and governance proposals. This class is created from
473
+ * the Sequencer once the check for being the proposer for the slot has succeeded.
474
+ */ export class CheckpointProposalJob {
475
+ epoch;
476
+ slot;
477
+ checkpointNumber;
478
+ syncedToBlockNumber;
479
+ proposer;
480
+ publisher;
481
+ attestorAddress;
482
+ invalidateCheckpoint;
483
+ validatorClient;
484
+ globalsBuilder;
485
+ p2pClient;
486
+ worldState;
487
+ l1ToL2MessageSource;
488
+ l2BlockSource;
489
+ checkpointsBuilder;
490
+ blockSink;
491
+ l1Constants;
492
+ config;
493
+ timetable;
494
+ slasherClient;
495
+ epochCache;
496
+ dateProvider;
497
+ metrics;
498
+ eventEmitter;
499
+ setStateFn;
500
+ tracer;
501
+ static{
502
+ ({ e: [_initProto] } = _apply_decs_2203_r(this, [
503
+ [
504
+ _dec,
505
+ 2,
506
+ "execute"
507
+ ],
508
+ [
509
+ _dec1,
510
+ 2,
511
+ "proposeCheckpoint"
512
+ ],
513
+ [
514
+ _dec2,
515
+ 2,
516
+ "buildBlocksForCheckpoint"
517
+ ],
518
+ [
519
+ _dec3,
520
+ 2,
521
+ "waitUntilNextSubslot"
522
+ ],
523
+ [
524
+ _dec4,
525
+ 2,
526
+ "buildSingleBlock"
527
+ ],
528
+ [
529
+ _dec5,
530
+ 2,
531
+ "waitForMinTxs"
532
+ ],
533
+ [
534
+ _dec6,
535
+ 2,
536
+ "waitForAttestations"
537
+ ],
538
+ [
539
+ _dec7,
540
+ 2,
541
+ "waitUntilTimeInSlot"
542
+ ]
543
+ ], []));
544
+ }
545
+ log;
546
+ constructor(epoch, slot, checkpointNumber, syncedToBlockNumber, // TODO(palla/mbps): Can we remove the proposer in favor of attestorAddress? Need to check fisherman-node flows.
547
+ proposer, publisher, attestorAddress, invalidateCheckpoint, validatorClient, globalsBuilder, p2pClient, worldState, l1ToL2MessageSource, l2BlockSource, checkpointsBuilder, blockSink, l1Constants, config, timetable, slasherClient, epochCache, dateProvider, metrics, eventEmitter, setStateFn, tracer, bindings){
548
+ this.epoch = epoch;
549
+ this.slot = slot;
550
+ this.checkpointNumber = checkpointNumber;
551
+ this.syncedToBlockNumber = syncedToBlockNumber;
552
+ this.proposer = proposer;
553
+ this.publisher = publisher;
554
+ this.attestorAddress = attestorAddress;
555
+ this.invalidateCheckpoint = invalidateCheckpoint;
556
+ this.validatorClient = validatorClient;
557
+ this.globalsBuilder = globalsBuilder;
558
+ this.p2pClient = p2pClient;
559
+ this.worldState = worldState;
560
+ this.l1ToL2MessageSource = l1ToL2MessageSource;
561
+ this.l2BlockSource = l2BlockSource;
562
+ this.checkpointsBuilder = checkpointsBuilder;
563
+ this.blockSink = blockSink;
564
+ this.l1Constants = l1Constants;
565
+ this.config = config;
566
+ this.timetable = timetable;
567
+ this.slasherClient = slasherClient;
568
+ this.epochCache = epochCache;
569
+ this.dateProvider = dateProvider;
570
+ this.metrics = metrics;
571
+ this.eventEmitter = eventEmitter;
572
+ this.setStateFn = setStateFn;
573
+ this.tracer = tracer;
574
+ _initProto(this);
575
+ this.log = createLogger('sequencer:checkpoint-proposal', {
576
+ ...bindings,
577
+ instanceId: `slot-${slot}`
578
+ });
579
+ }
580
+ /**
581
+ * Executes the checkpoint proposal job.
582
+ * Returns the published checkpoint if successful, undefined otherwise.
583
+ */ async execute() {
584
+ // Enqueue governance and slashing votes (returns promises that will be awaited later)
585
+ // In fisherman mode, we simulate slashing but don't actually publish to L1
586
+ // These are constant for the whole slot, so we only enqueue them once
587
+ const votesPromises = new CheckpointVoter(this.slot, this.publisher, this.attestorAddress, this.validatorClient, this.slasherClient, this.l1Constants, this.config, this.metrics, this.log).enqueueVotes();
588
+ // Build and propose the checkpoint. This will enqueue the request on the publisher if a checkpoint is built.
589
+ const checkpoint = await this.proposeCheckpoint();
590
+ // Wait until the voting promises have resolved, so all requests are enqueued (not sent)
591
+ await Promise.all(votesPromises);
592
+ if (checkpoint) {
593
+ this.metrics.recordBlockProposalSuccess();
594
+ }
595
+ // Do not post anything to L1 if we are fishermen, but do perform L1 fee analysis
596
+ if (this.config.fishermanMode) {
597
+ await this.handleCheckpointEndAsFisherman(checkpoint);
598
+ return;
599
+ }
600
+ // Then send everything to L1
601
+ const l1Response = await this.publisher.sendRequests();
602
+ const proposedAction = l1Response?.successfulActions.find((a)=>a === 'propose');
603
+ if (proposedAction) {
604
+ this.eventEmitter.emit('checkpoint-published', {
605
+ checkpoint: this.checkpointNumber,
606
+ slot: this.slot
607
+ });
608
+ const coinbase = checkpoint?.header.coinbase;
609
+ await this.metrics.incFilledSlot(this.publisher.getSenderAddress().toString(), coinbase);
610
+ return checkpoint;
611
+ } else if (checkpoint) {
612
+ this.eventEmitter.emit('checkpoint-publish-failed', {
613
+ ...l1Response,
614
+ slot: this.slot
615
+ });
616
+ return undefined;
617
+ }
618
+ }
619
+ async proposeCheckpoint() {
620
+ try {
621
+ const env = {
622
+ stack: [],
623
+ error: void 0,
624
+ hasError: false
625
+ };
626
+ try {
627
+ // Get operator configured coinbase and fee recipient for this attestor
628
+ const coinbase = this.validatorClient.getCoinbaseForAttestor(this.attestorAddress);
629
+ const feeRecipient = this.validatorClient.getFeeRecipientForAttestor(this.attestorAddress);
630
+ // Start the checkpoint
631
+ this.setStateFn(SequencerState.INITIALIZING_CHECKPOINT, this.slot);
632
+ this.metrics.incOpenSlot(this.slot, this.proposer?.toString() ?? 'unknown');
633
+ // Enqueues checkpoint invalidation (constant for the whole slot)
634
+ if (this.invalidateCheckpoint && !this.config.skipInvalidateBlockAsProposer) {
635
+ this.publisher.enqueueInvalidateCheckpoint(this.invalidateCheckpoint);
636
+ }
637
+ // Create checkpoint builder for the slot
638
+ const checkpointGlobalVariables = await this.globalsBuilder.buildCheckpointGlobalVariables(coinbase, feeRecipient, this.slot);
639
+ // Collect L1 to L2 messages for the checkpoint and compute their hash
640
+ const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(this.checkpointNumber);
641
+ const inHash = computeInHashFromL1ToL2Messages(l1ToL2Messages);
642
+ // Collect the out hashes of all the checkpoints before this one in the same epoch
643
+ const previousCheckpoints = (await this.l2BlockSource.getCheckpointsForEpoch(this.epoch)).filter((c)=>c.number < this.checkpointNumber);
644
+ const previousCheckpointOutHashes = previousCheckpoints.map((c)=>c.getCheckpointOutHash());
645
+ const fork = _ts_add_disposable_resource(env, await this.worldState.fork(this.syncedToBlockNumber, {
646
+ closeDelayMs: 12_000
647
+ }), false);
648
+ // Create checkpoint builder for the entire slot
649
+ const checkpointBuilder = await this.checkpointsBuilder.startCheckpoint(this.checkpointNumber, checkpointGlobalVariables, l1ToL2Messages, previousCheckpointOutHashes, fork, this.log.getBindings());
650
+ // Options for the validator client when creating block and checkpoint proposals
651
+ const blockProposalOptions = {
652
+ publishFullTxs: !!this.config.publishTxsWithProposals,
653
+ broadcastInvalidBlockProposal: this.config.broadcastInvalidBlockProposal
654
+ };
655
+ const checkpointProposalOptions = {
656
+ publishFullTxs: !!this.config.publishTxsWithProposals,
657
+ broadcastInvalidCheckpointProposal: this.config.broadcastInvalidBlockProposal
658
+ };
659
+ let blocksInCheckpoint = [];
660
+ let blockPendingBroadcast = undefined;
661
+ try {
662
+ // Main loop: build blocks for the checkpoint
663
+ const result = await this.buildBlocksForCheckpoint(checkpointBuilder, checkpointGlobalVariables.timestamp, inHash, blockProposalOptions);
664
+ blocksInCheckpoint = result.blocksInCheckpoint;
665
+ blockPendingBroadcast = result.blockPendingBroadcast;
666
+ } catch (err) {
667
+ // These errors are expected in HA mode, so we yield and let another HA node handle the slot
668
+ // The only distinction between the 2 errors is SlashingProtectionError throws when the payload is different,
669
+ // which is normal for block building (may have picked different txs)
670
+ if (this.handleHASigningError(err, 'Block proposal')) {
671
+ return undefined;
672
+ }
673
+ throw err;
674
+ }
675
+ if (blocksInCheckpoint.length === 0) {
676
+ this.log.warn(`No blocks were built for slot ${this.slot}`, {
677
+ slot: this.slot
678
+ });
679
+ this.eventEmitter.emit('checkpoint-empty', {
680
+ slot: this.slot
681
+ });
682
+ return undefined;
683
+ }
684
+ // Assemble and broadcast the checkpoint proposal, including the last block that was not
685
+ // broadcasted yet, and wait to collect the committee attestations.
686
+ this.setStateFn(SequencerState.ASSEMBLING_CHECKPOINT, this.slot);
687
+ const checkpoint = await checkpointBuilder.completeCheckpoint();
688
+ // Do not collect attestations nor publish to L1 in fisherman mode
689
+ if (this.config.fishermanMode) {
690
+ this.log.info(`Built checkpoint for slot ${this.slot} with ${blocksInCheckpoint.length} blocks. ` + `Skipping proposal in fisherman mode.`, {
691
+ slot: this.slot,
692
+ checkpoint: checkpoint.header.toInspect(),
693
+ blocksBuilt: blocksInCheckpoint.length
694
+ });
695
+ this.metrics.recordCheckpointSuccess();
696
+ return checkpoint;
697
+ }
698
+ // Include the block pending broadcast in the checkpoint proposal if any
699
+ const lastBlock = blockPendingBroadcast && {
700
+ blockHeader: blockPendingBroadcast.block.header,
701
+ indexWithinCheckpoint: blockPendingBroadcast.block.indexWithinCheckpoint,
702
+ txs: blockPendingBroadcast.txs
703
+ };
704
+ // Create the checkpoint proposal and broadcast it
705
+ const proposal = await this.validatorClient.createCheckpointProposal(checkpoint.header, checkpoint.archive.root, lastBlock, this.proposer, checkpointProposalOptions);
706
+ const blockProposedAt = this.dateProvider.now();
707
+ await this.p2pClient.broadcastCheckpointProposal(proposal);
708
+ this.setStateFn(SequencerState.COLLECTING_ATTESTATIONS, this.slot);
709
+ const attestations = await this.waitForAttestations(proposal);
710
+ const blockAttestedAt = this.dateProvider.now();
711
+ this.metrics.recordCheckpointAttestationDelay(blockAttestedAt - blockProposedAt);
712
+ // Proposer must sign over the attestations before pushing them to L1
713
+ const signer = this.proposer ?? this.publisher.getSenderAddress();
714
+ let attestationsSignature;
715
+ try {
716
+ attestationsSignature = await this.validatorClient.signAttestationsAndSigners(attestations, signer, this.slot, this.checkpointNumber);
717
+ } catch (err) {
718
+ // We shouldn't really get here since we yield to another HA node
719
+ // as soon as we see these errors when creating block or checkpoint proposals.
720
+ if (this.handleHASigningError(err, 'Attestations signature')) {
721
+ return undefined;
722
+ }
723
+ throw err;
724
+ }
725
+ // Enqueue publishing the checkpoint to L1
726
+ this.setStateFn(SequencerState.PUBLISHING_CHECKPOINT, this.slot);
727
+ const aztecSlotDuration = this.l1Constants.slotDuration;
728
+ const slotStartBuildTimestamp = this.getSlotStartBuildTimestamp();
729
+ const txTimeoutAt = new Date((slotStartBuildTimestamp + aztecSlotDuration) * 1000);
730
+ await this.publisher.enqueueProposeCheckpoint(checkpoint, attestations, attestationsSignature, {
731
+ txTimeoutAt,
732
+ forcePendingCheckpointNumber: this.invalidateCheckpoint?.forcePendingCheckpointNumber
733
+ });
734
+ return checkpoint;
735
+ } catch (e) {
736
+ env.error = e;
737
+ env.hasError = true;
738
+ } finally{
739
+ _ts_dispose_resources(env);
740
+ }
741
+ } catch (err) {
742
+ if (err && (err instanceof DutyAlreadySignedError || err instanceof SlashingProtectionError)) {
743
+ // swallow this error. It's already been logged by a function deeper in the stack
744
+ return undefined;
745
+ }
746
+ this.log.error(`Error building checkpoint at slot ${this.slot}`, err);
747
+ return undefined;
748
+ }
749
+ }
750
+ /**
751
+ * Builds blocks for a checkpoint within the current slot.
752
+ */ async buildBlocksForCheckpoint(checkpointBuilder, timestamp, inHash, blockProposalOptions) {
753
+ const blocksInCheckpoint = [];
754
+ const txHashesAlreadyIncluded = new Set();
755
+ const initialBlockNumber = BlockNumber(this.syncedToBlockNumber + 1);
756
+ // Remaining blob fields available for blocks (checkpoint end marker already subtracted)
757
+ let remainingBlobFields = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB - NUM_CHECKPOINT_END_MARKER_FIELDS;
758
+ // Last block in the checkpoint will usually be flagged as pending broadcast, so we send it along with the checkpoint proposal
759
+ let blockPendingBroadcast = undefined;
760
+ while(true){
761
+ const blocksBuilt = blocksInCheckpoint.length;
762
+ const indexWithinCheckpoint = IndexWithinCheckpoint(blocksBuilt);
763
+ const blockNumber = BlockNumber(initialBlockNumber + blocksBuilt);
764
+ const secondsIntoSlot = this.getSecondsIntoSlot();
765
+ const timingInfo = this.timetable.canStartNextBlock(secondsIntoSlot);
766
+ if (!timingInfo.canStart) {
767
+ this.log.debug(`Not enough time left in slot to start another block`, {
768
+ slot: this.slot,
769
+ blocksBuilt,
770
+ secondsIntoSlot
771
+ });
772
+ break;
773
+ }
774
+ const buildResult = await this.buildSingleBlock(checkpointBuilder, {
775
+ // Create all blocks with the same timestamp
776
+ blockTimestamp: timestamp,
777
+ // Create an empty block if we haven't already and this is the last one
778
+ forceCreate: timingInfo.isLastBlock && blocksBuilt === 0 && this.config.buildCheckpointIfEmpty,
779
+ // Build deadline is only set if we are enforcing the timetable
780
+ buildDeadline: timingInfo.deadline ? new Date((this.getSlotStartBuildTimestamp() + timingInfo.deadline) * 1000) : undefined,
781
+ blockNumber,
782
+ indexWithinCheckpoint,
783
+ txHashesAlreadyIncluded,
784
+ remainingBlobFields
785
+ });
786
+ // TODO(palla/mbps): Review these conditions. We may want to keep trying in some scenarios.
787
+ if (!buildResult && timingInfo.isLastBlock) {
788
+ break;
789
+ } else if (!buildResult && timingInfo.deadline !== undefined) {
790
+ // But if there is still time for more blocks, wait until the next subslot and try again
791
+ await this.waitUntilNextSubslot(timingInfo.deadline);
792
+ continue;
793
+ } else if (!buildResult) {
794
+ break;
795
+ } else if ('error' in buildResult) {
796
+ // If there was an error building the block, just exit the loop and give up the rest of the slot
797
+ if (!(buildResult.error instanceof SequencerInterruptedError)) {
798
+ this.log.warn(`Halting block building for slot ${this.slot}`, {
799
+ slot: this.slot,
800
+ blocksBuilt,
801
+ error: buildResult.error
802
+ });
803
+ }
804
+ break;
805
+ }
806
+ const { block, usedTxs, remainingBlobFields: newRemainingBlobFields } = buildResult;
807
+ blocksInCheckpoint.push(block);
808
+ // Update remaining blob fields for the next block
809
+ remainingBlobFields = newRemainingBlobFields;
810
+ // Sync the proposed block to the archiver to make it available
811
+ // Note that the checkpoint builder uses its own fork so it should not need to wait for this syncing
812
+ // Eventually we should refactor the checkpoint builder to not need a separate long-lived fork
813
+ // Fire and forget - don't block the critical path, but log errors
814
+ this.syncProposedBlockToArchiver(block).catch((err)=>{
815
+ this.log.error(`Failed to sync proposed block ${block.number} to archiver`, {
816
+ blockNumber: block.number,
817
+ err
818
+ });
819
+ });
820
+ usedTxs.forEach((tx)=>txHashesAlreadyIncluded.add(tx.txHash.toString()));
821
+ // If this is the last block, exit the loop now so we start collecting attestations
822
+ if (timingInfo.isLastBlock) {
823
+ this.log.verbose(`Completed final block ${blockNumber} for slot ${this.slot}`, {
824
+ slot: this.slot,
825
+ blockNumber,
826
+ blocksBuilt
827
+ });
828
+ blockPendingBroadcast = {
829
+ block,
830
+ txs: usedTxs
831
+ };
832
+ break;
833
+ }
834
+ // For non-last blocks, broadcast the block proposal (unless we're in fisherman mode)
835
+ // If the block is the last one, we'll broadcast it along with the checkpoint at the end of the loop
836
+ if (!this.config.fishermanMode) {
837
+ const proposal = await this.validatorClient.createBlockProposal(block.header, block.indexWithinCheckpoint, inHash, block.archive.root, usedTxs, this.proposer, blockProposalOptions);
838
+ await this.p2pClient.broadcastProposal(proposal);
839
+ }
840
+ // Wait until the next block's start time
841
+ await this.waitUntilNextSubslot(timingInfo.deadline);
842
+ }
843
+ this.log.verbose(`Block building loop completed for slot ${this.slot}`, {
844
+ slot: this.slot,
845
+ blocksBuilt: blocksInCheckpoint.length
846
+ });
847
+ return {
848
+ blocksInCheckpoint,
849
+ blockPendingBroadcast
850
+ };
851
+ }
852
+ /** Sleeps until it is time to produce the next block in the slot */ async waitUntilNextSubslot(nextSubslotStart) {
853
+ this.setStateFn(SequencerState.WAITING_UNTIL_NEXT_BLOCK, this.slot);
854
+ this.log.verbose(`Waiting until time for the next block at ${nextSubslotStart}s into slot`, {
855
+ slot: this.slot
856
+ });
857
+ await this.waitUntilTimeInSlot(nextSubslotStart);
858
+ }
859
+ /** Builds a single block. Called from the main block building loop. */ async buildSingleBlock(checkpointBuilder, opts) {
860
+ const { blockTimestamp, forceCreate, blockNumber, indexWithinCheckpoint, buildDeadline, txHashesAlreadyIncluded, remainingBlobFields } = opts;
861
+ this.log.verbose(`Preparing block ${blockNumber} index ${indexWithinCheckpoint} at checkpoint ${this.checkpointNumber} for slot ${this.slot}`, {
862
+ ...checkpointBuilder.getConstantData(),
863
+ ...opts
864
+ });
865
+ try {
866
+ // Wait until we have enough txs to build the block
867
+ const minTxs = this.config.minTxsPerBlock;
868
+ const { availableTxs, canStartBuilding } = await this.waitForMinTxs(opts);
869
+ if (!canStartBuilding) {
870
+ this.log.warn(`Not enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.slot} (got ${availableTxs} txs but needs ${minTxs})`, {
871
+ blockNumber,
872
+ slot: this.slot,
873
+ indexWithinCheckpoint
874
+ });
875
+ this.eventEmitter.emit('block-tx-count-check-failed', {
876
+ minTxs,
877
+ availableTxs,
878
+ slot: this.slot
879
+ });
880
+ this.metrics.recordBlockProposalFailed('insufficient_txs');
881
+ return undefined;
882
+ }
883
+ // Create iterator to pending txs. We filter out txs already included in previous blocks in the checkpoint
884
+ // just in case p2p failed to sync the provisional block and didn't get to remove those txs from the mempool yet.
885
+ const pendingTxs = filter(this.p2pClient.iteratePendingTxs(), (tx)=>!txHashesAlreadyIncluded.has(tx.txHash.toString()));
886
+ this.log.debug(`Building block ${blockNumber} at index ${indexWithinCheckpoint} for slot ${this.slot} with ${availableTxs} available txs`, {
887
+ slot: this.slot,
888
+ blockNumber,
889
+ indexWithinCheckpoint
890
+ });
891
+ this.setStateFn(SequencerState.CREATING_BLOCK, this.slot);
892
+ // Calculate blob fields limit for txs (remaining capacity - this block's end overhead)
893
+ const blockEndOverhead = getNumBlockEndBlobFields(indexWithinCheckpoint === 0);
894
+ const maxBlobFieldsForTxs = remainingBlobFields - blockEndOverhead;
895
+ const blockBuilderOptions = {
896
+ maxTransactions: this.config.maxTxsPerBlock,
897
+ maxBlockSize: this.config.maxBlockSizeInBytes,
898
+ maxBlockGas: new Gas(this.config.maxDABlockGas, this.config.maxL2BlockGas),
899
+ maxBlobFields: maxBlobFieldsForTxs,
900
+ deadline: buildDeadline
901
+ };
902
+ // Actually build the block by executing txs
903
+ const buildResult = await this.buildSingleBlockWithCheckpointBuilder(checkpointBuilder, pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions);
904
+ // If any txs failed during execution, drop them from the mempool so we don't pick them up again
905
+ await this.dropFailedTxsFromP2P(buildResult.failedTxs);
906
+ // Check if we have created a block with enough txs. If there were invalid txs in the pool, or if execution took
907
+ // too long, then we may not get to minTxsPerBlock after executing public functions.
908
+ const minValidTxs = this.config.minValidTxsPerBlock ?? minTxs;
909
+ const numTxs = buildResult.status === 'no-valid-txs' ? 0 : buildResult.numTxs;
910
+ if (buildResult.status === 'no-valid-txs' || !forceCreate && numTxs < minValidTxs) {
911
+ this.log.warn(`Block ${blockNumber} at index ${indexWithinCheckpoint} on slot ${this.slot} has too few valid txs to be proposed`, {
912
+ slot: this.slot,
913
+ blockNumber,
914
+ numTxs,
915
+ indexWithinCheckpoint,
916
+ minValidTxs,
917
+ buildResult: buildResult.status
918
+ });
919
+ this.eventEmitter.emit('block-build-failed', {
920
+ reason: `Insufficient valid txs`,
921
+ slot: this.slot
922
+ });
923
+ this.metrics.recordBlockProposalFailed('insufficient_valid_txs');
924
+ return undefined;
925
+ }
926
+ // Block creation succeeded, emit stats and metrics
927
+ const { publicGas, block, publicProcessorDuration, usedTxs, usedTxBlobFields, blockBuildDuration } = buildResult;
928
+ const blockStats = {
929
+ eventName: 'l2-block-built',
930
+ duration: blockBuildDuration,
931
+ publicProcessDuration: publicProcessorDuration,
932
+ ...block.getStats()
933
+ };
934
+ const blockHash = await block.hash();
935
+ const txHashes = block.body.txEffects.map((tx)=>tx.txHash);
936
+ const manaPerSec = publicGas.l2Gas / (blockBuildDuration / 1000);
937
+ this.log.info(`Built block ${block.number} at checkpoint ${this.checkpointNumber} for slot ${this.slot} with ${numTxs} txs`, {
938
+ blockHash,
939
+ txHashes,
940
+ manaPerSec,
941
+ ...blockStats
942
+ });
943
+ this.eventEmitter.emit('block-proposed', {
944
+ blockNumber: block.number,
945
+ slot: this.slot
946
+ });
947
+ this.metrics.recordBuiltBlock(blockBuildDuration, publicGas.l2Gas);
948
+ return {
949
+ block,
950
+ usedTxs,
951
+ remainingBlobFields: maxBlobFieldsForTxs - usedTxBlobFields
952
+ };
953
+ } catch (err) {
954
+ this.eventEmitter.emit('block-build-failed', {
955
+ reason: err.message,
956
+ slot: this.slot
957
+ });
958
+ this.log.error(`Error building block`, err, {
959
+ blockNumber,
960
+ slot: this.slot
961
+ });
962
+ this.metrics.recordBlockProposalFailed(err.name || 'unknown_error');
963
+ this.metrics.recordFailedBlock();
964
+ return {
965
+ error: err
966
+ };
967
+ }
968
+ }
969
+ /** Uses the checkpoint builder to build a block, catching specific txs */ async buildSingleBlockWithCheckpointBuilder(checkpointBuilder, pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions) {
970
+ try {
971
+ const workTimer = new Timer();
972
+ const result = await checkpointBuilder.buildBlock(pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions);
973
+ const blockBuildDuration = workTimer.ms();
974
+ return {
975
+ ...result,
976
+ blockBuildDuration,
977
+ status: 'success'
978
+ };
979
+ } catch (err) {
980
+ if (isErrorClass(err, NoValidTxsError)) {
981
+ return {
982
+ failedTxs: err.failedTxs,
983
+ status: 'no-valid-txs'
984
+ };
985
+ }
986
+ throw err;
987
+ }
988
+ }
989
+ /** Waits until minTxs are available on the pool for building a block. */ async waitForMinTxs(opts) {
990
+ const { indexWithinCheckpoint, blockNumber, buildDeadline, forceCreate } = opts;
991
+ // We only allow a block with 0 txs in the first block of the checkpoint
992
+ const minTxs = indexWithinCheckpoint > 0 && this.config.minTxsPerBlock === 0 ? 1 : this.config.minTxsPerBlock;
993
+ // Deadline is undefined if we are not enforcing the timetable, meaning we'll exit immediately when out of time
994
+ const startBuildingDeadline = buildDeadline ? new Date(buildDeadline.getTime() - this.timetable.minExecutionTime * 1000) : undefined;
995
+ let availableTxs = await this.p2pClient.getPendingTxCount();
996
+ while(!forceCreate && availableTxs < minTxs){
997
+ // If we're past deadline, or we have no deadline, give up
998
+ const now = this.dateProvider.nowAsDate();
999
+ if (startBuildingDeadline === undefined || now >= startBuildingDeadline) {
1000
+ return {
1001
+ canStartBuilding: false,
1002
+ availableTxs: availableTxs
1003
+ };
1004
+ }
1005
+ // Wait a bit before checking again
1006
+ this.setStateFn(SequencerState.WAITING_FOR_TXS, this.slot);
1007
+ this.log.verbose(`Waiting for enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.slot} (have ${availableTxs} but need ${minTxs})`, {
1008
+ blockNumber,
1009
+ slot: this.slot,
1010
+ indexWithinCheckpoint
1011
+ });
1012
+ await this.waitForTxsPollingInterval();
1013
+ availableTxs = await this.p2pClient.getPendingTxCount();
1014
+ }
1015
+ return {
1016
+ canStartBuilding: true,
1017
+ availableTxs
1018
+ };
1019
+ }
1020
+ /**
1021
+ * Waits for enough attestations to be collected via p2p.
1022
+ * This is run after all blocks for the checkpoint have been built.
1023
+ */ async waitForAttestations(proposal) {
1024
+ if (this.config.fishermanMode) {
1025
+ this.log.debug('Skipping attestation collection in fisherman mode');
1026
+ return CommitteeAttestationsAndSigners.empty();
1027
+ }
1028
+ const slotNumber = proposal.slotNumber;
1029
+ const { committee, seed, epoch } = await this.epochCache.getCommittee(slotNumber);
1030
+ if (!committee) {
1031
+ throw new Error('No committee when collecting attestations');
1032
+ } else if (committee.length === 0) {
1033
+ this.log.verbose(`Attesting committee is empty`);
1034
+ return CommitteeAttestationsAndSigners.empty();
1035
+ } else {
1036
+ this.log.debug(`Attesting committee length is ${committee.length}`, {
1037
+ committee
1038
+ });
1039
+ }
1040
+ const numberOfRequiredAttestations = Math.floor(committee.length * 2 / 3) + 1;
1041
+ if (this.config.skipCollectingAttestations) {
1042
+ this.log.warn('Skipping attestation collection as per config (attesting with own keys only)');
1043
+ const attestations = await this.validatorClient?.collectOwnAttestations(proposal);
1044
+ return new CommitteeAttestationsAndSigners(orderAttestations(attestations ?? [], committee));
1045
+ }
1046
+ const attestationTimeAllowed = this.config.enforceTimeTable ? this.timetable.getMaxAllowedTime(SequencerState.PUBLISHING_CHECKPOINT) : this.l1Constants.slotDuration;
1047
+ const attestationDeadline = new Date((this.getSlotStartBuildTimestamp() + attestationTimeAllowed) * 1000);
1048
+ this.metrics.recordRequiredAttestations(numberOfRequiredAttestations, attestationTimeAllowed);
1049
+ const collectAttestationsTimer = new Timer();
1050
+ let collectedAttestationsCount = 0;
1051
+ try {
1052
+ const attestations = await this.validatorClient.collectAttestations(proposal, numberOfRequiredAttestations, attestationDeadline);
1053
+ collectedAttestationsCount = attestations.length;
1054
+ // Rollup contract requires that the signatures are provided in the order of the committee
1055
+ const sorted = orderAttestations(attestations, committee);
1056
+ // Manipulate the attestations if we've been configured to do so
1057
+ if (this.config.injectFakeAttestation || this.config.shuffleAttestationOrdering) {
1058
+ return this.manipulateAttestations(proposal.slotNumber, epoch, seed, committee, sorted);
1059
+ }
1060
+ return new CommitteeAttestationsAndSigners(sorted);
1061
+ } catch (err) {
1062
+ if (err && err instanceof AttestationTimeoutError) {
1063
+ collectedAttestationsCount = err.collectedCount;
1064
+ }
1065
+ throw err;
1066
+ } finally{
1067
+ this.metrics.recordCollectedAttestations(collectedAttestationsCount, collectAttestationsTimer.ms());
1068
+ }
1069
+ }
1070
+ /** Breaks the attestations before publishing based on attack configs */ manipulateAttestations(slotNumber, epoch, seed, committee, attestations) {
1071
+ // Compute the proposer index in the committee, since we dont want to tweak it.
1072
+ // Otherwise, the L1 rollup contract will reject the block outright.
1073
+ const proposerIndex = Number(this.epochCache.computeProposerIndex(slotNumber, epoch, seed, BigInt(committee.length)));
1074
+ if (this.config.injectFakeAttestation) {
1075
+ // Find non-empty attestations that are not from the proposer
1076
+ const nonProposerIndices = [];
1077
+ for(let i = 0; i < attestations.length; i++){
1078
+ if (!attestations[i].signature.isEmpty() && i !== proposerIndex) {
1079
+ nonProposerIndices.push(i);
1080
+ }
1081
+ }
1082
+ if (nonProposerIndices.length > 0) {
1083
+ const targetIndex = nonProposerIndices[randomInt(nonProposerIndices.length)];
1084
+ this.log.warn(`Injecting fake attestation in checkpoint for slot ${slotNumber} at index ${targetIndex}`);
1085
+ unfreeze(attestations[targetIndex]).signature = Signature.random();
1086
+ }
1087
+ return new CommitteeAttestationsAndSigners(attestations);
1088
+ }
1089
+ if (this.config.shuffleAttestationOrdering) {
1090
+ this.log.warn(`Shuffling attestation ordering in checkpoint for slot ${slotNumber} (proposer #${proposerIndex})`);
1091
+ const shuffled = [
1092
+ ...attestations
1093
+ ];
1094
+ const [i, j] = [
1095
+ (proposerIndex + 1) % shuffled.length,
1096
+ (proposerIndex + 2) % shuffled.length
1097
+ ];
1098
+ const valueI = shuffled[i];
1099
+ const valueJ = shuffled[j];
1100
+ shuffled[i] = valueJ;
1101
+ shuffled[j] = valueI;
1102
+ const signers = new CommitteeAttestationsAndSigners(attestations).getSigners();
1103
+ return new MaliciousCommitteeAttestationsAndSigners(shuffled, signers);
1104
+ }
1105
+ return new CommitteeAttestationsAndSigners(attestations);
1106
+ }
1107
+ async dropFailedTxsFromP2P(failedTxs) {
1108
+ if (failedTxs.length === 0) {
1109
+ return;
1110
+ }
1111
+ const failedTxData = failedTxs.map((fail)=>fail.tx);
1112
+ const failedTxHashes = failedTxData.map((tx)=>tx.getTxHash());
1113
+ this.log.verbose(`Dropping failed txs ${failedTxHashes.join(', ')}`);
1114
+ await this.p2pClient.handleFailedExecution(failedTxHashes);
1115
+ }
1116
+ /**
1117
+ * Adds the proposed block to the archiver so it's available via P2P.
1118
+ * Gossip doesn't echo messages back to the sender, so the proposer's archiver/world-state
1119
+ * would never receive its own block without this explicit sync.
1120
+ */ async syncProposedBlockToArchiver(block) {
1121
+ if (this.config.skipPushProposedBlocksToArchiver !== false) {
1122
+ this.log.warn(`Skipping push of proposed block ${block.number} to archiver`, {
1123
+ blockNumber: block.number,
1124
+ slot: block.header.globalVariables.slotNumber
1125
+ });
1126
+ return;
1127
+ }
1128
+ this.log.debug(`Syncing proposed block ${block.number} to archiver`, {
1129
+ blockNumber: block.number,
1130
+ slot: block.header.globalVariables.slotNumber
1131
+ });
1132
+ await this.blockSink.addBlock(block);
1133
+ }
1134
+ /** Runs fee analysis and logs checkpoint outcome as fisherman */ async handleCheckpointEndAsFisherman(checkpoint) {
1135
+ // Perform L1 fee analysis before clearing requests
1136
+ // The callback is invoked asynchronously after the next block is mined
1137
+ const feeAnalysis = await this.publisher.analyzeL1Fees(this.slot, (analysis)=>this.metrics.recordFishermanFeeAnalysis(analysis));
1138
+ if (checkpoint) {
1139
+ this.log.info(`Validation checkpoint building SUCCEEDED for slot ${this.slot}`, {
1140
+ ...checkpoint.toCheckpointInfo(),
1141
+ ...checkpoint.getStats(),
1142
+ feeAnalysisId: feeAnalysis?.id
1143
+ });
1144
+ } else {
1145
+ this.log.warn(`Validation block building FAILED for slot ${this.slot}`, {
1146
+ slot: this.slot,
1147
+ feeAnalysisId: feeAnalysis?.id
1148
+ });
1149
+ this.metrics.recordBlockProposalFailed('block_build_failed');
1150
+ }
1151
+ this.publisher.clearPendingRequests();
1152
+ }
1153
+ /**
1154
+ * Helper to handle HA double-signing errors. Returns true if the error was handled (caller should yield).
1155
+ */ handleHASigningError(err, errorContext) {
1156
+ if (err instanceof DutyAlreadySignedError) {
1157
+ this.log.info(`${errorContext} for slot ${this.slot} already signed by another HA node, yielding`, {
1158
+ slot: this.slot,
1159
+ signedByNode: err.signedByNode
1160
+ });
1161
+ return true;
1162
+ }
1163
+ if (err instanceof SlashingProtectionError) {
1164
+ this.log.info(`${errorContext} for slot ${this.slot} blocked by slashing protection, yielding`, {
1165
+ slot: this.slot,
1166
+ existingMessageHash: err.existingMessageHash,
1167
+ attemptedMessageHash: err.attemptedMessageHash
1168
+ });
1169
+ return true;
1170
+ }
1171
+ return false;
1172
+ }
1173
+ /** Waits until a specific time within the current slot */ async waitUntilTimeInSlot(targetSecondsIntoSlot) {
1174
+ const slotStartTimestamp = this.getSlotStartBuildTimestamp();
1175
+ const targetTimestamp = slotStartTimestamp + targetSecondsIntoSlot;
1176
+ await sleepUntil(new Date(targetTimestamp * 1000), this.dateProvider.nowAsDate());
1177
+ }
1178
+ /** Waits the polling interval for transactions. Extracted for test overriding. */ async waitForTxsPollingInterval() {
1179
+ await sleep(TXS_POLLING_MS);
1180
+ }
1181
+ getSlotStartBuildTimestamp() {
1182
+ return getSlotStartBuildTimestamp(this.slot, this.l1Constants);
1183
+ }
1184
+ getSecondsIntoSlot() {
1185
+ const slotStartTimestamp = this.getSlotStartBuildTimestamp();
1186
+ return Number((this.dateProvider.now() / 1000 - slotStartTimestamp).toFixed(3));
1187
+ }
1188
+ getPublisher() {
1189
+ return this.publisher;
1190
+ }
1191
+ }