@aztec/sequencer-client 0.0.1-commit.24de95ac → 0.0.1-commit.2e2504e2

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 (101) hide show
  1. package/dest/client/index.d.ts +1 -1
  2. package/dest/client/sequencer-client.d.ts +12 -12
  3. package/dest/client/sequencer-client.d.ts.map +1 -1
  4. package/dest/client/sequencer-client.js +33 -25
  5. package/dest/config.d.ts +12 -5
  6. package/dest/config.d.ts.map +1 -1
  7. package/dest/config.js +80 -28
  8. package/dest/global_variable_builder/global_builder.d.ts +22 -16
  9. package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
  10. package/dest/global_variable_builder/global_builder.js +52 -39
  11. package/dest/global_variable_builder/index.d.ts +1 -1
  12. package/dest/index.d.ts +2 -3
  13. package/dest/index.d.ts.map +1 -1
  14. package/dest/index.js +1 -2
  15. package/dest/publisher/config.d.ts +9 -4
  16. package/dest/publisher/config.d.ts.map +1 -1
  17. package/dest/publisher/config.js +14 -3
  18. package/dest/publisher/index.d.ts +1 -1
  19. package/dest/publisher/sequencer-publisher-factory.d.ts +5 -4
  20. package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
  21. package/dest/publisher/sequencer-publisher-factory.js +1 -1
  22. package/dest/publisher/sequencer-publisher-metrics.d.ts +3 -3
  23. package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
  24. package/dest/publisher/sequencer-publisher-metrics.js +23 -86
  25. package/dest/publisher/sequencer-publisher.d.ts +75 -62
  26. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  27. package/dest/publisher/sequencer-publisher.js +694 -170
  28. package/dest/sequencer/checkpoint_proposal_job.d.ts +102 -0
  29. package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -0
  30. package/dest/sequencer/checkpoint_proposal_job.js +1191 -0
  31. package/dest/sequencer/checkpoint_voter.d.ts +35 -0
  32. package/dest/sequencer/checkpoint_voter.d.ts.map +1 -0
  33. package/dest/sequencer/checkpoint_voter.js +109 -0
  34. package/dest/sequencer/config.d.ts +3 -2
  35. package/dest/sequencer/config.d.ts.map +1 -1
  36. package/dest/sequencer/errors.d.ts +1 -1
  37. package/dest/sequencer/errors.d.ts.map +1 -1
  38. package/dest/sequencer/events.d.ts +46 -0
  39. package/dest/sequencer/events.d.ts.map +1 -0
  40. package/dest/sequencer/events.js +1 -0
  41. package/dest/sequencer/index.d.ts +4 -2
  42. package/dest/sequencer/index.d.ts.map +1 -1
  43. package/dest/sequencer/index.js +3 -1
  44. package/dest/sequencer/metrics.d.ts +32 -3
  45. package/dest/sequencer/metrics.d.ts.map +1 -1
  46. package/dest/sequencer/metrics.js +165 -54
  47. package/dest/sequencer/sequencer.d.ts +112 -142
  48. package/dest/sequencer/sequencer.d.ts.map +1 -1
  49. package/dest/sequencer/sequencer.js +721 -505
  50. package/dest/sequencer/timetable.d.ts +54 -14
  51. package/dest/sequencer/timetable.d.ts.map +1 -1
  52. package/dest/sequencer/timetable.js +148 -59
  53. package/dest/sequencer/types.d.ts +3 -0
  54. package/dest/sequencer/types.d.ts.map +1 -0
  55. package/dest/sequencer/types.js +1 -0
  56. package/dest/sequencer/utils.d.ts +14 -8
  57. package/dest/sequencer/utils.d.ts.map +1 -1
  58. package/dest/sequencer/utils.js +7 -4
  59. package/dest/test/index.d.ts +4 -3
  60. package/dest/test/index.d.ts.map +1 -1
  61. package/dest/test/mock_checkpoint_builder.d.ts +95 -0
  62. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -0
  63. package/dest/test/mock_checkpoint_builder.js +220 -0
  64. package/dest/test/utils.d.ts +53 -0
  65. package/dest/test/utils.d.ts.map +1 -0
  66. package/dest/test/utils.js +103 -0
  67. package/package.json +33 -30
  68. package/src/client/sequencer-client.ts +31 -42
  69. package/src/config.ts +86 -32
  70. package/src/global_variable_builder/global_builder.ts +67 -59
  71. package/src/index.ts +1 -7
  72. package/src/publisher/config.ts +20 -9
  73. package/src/publisher/sequencer-publisher-factory.ts +7 -5
  74. package/src/publisher/sequencer-publisher-metrics.ts +19 -71
  75. package/src/publisher/sequencer-publisher.ts +411 -217
  76. package/src/sequencer/README.md +531 -0
  77. package/src/sequencer/checkpoint_proposal_job.ts +877 -0
  78. package/src/sequencer/checkpoint_voter.ts +130 -0
  79. package/src/sequencer/config.ts +2 -1
  80. package/src/sequencer/events.ts +27 -0
  81. package/src/sequencer/index.ts +3 -1
  82. package/src/sequencer/metrics.ts +222 -61
  83. package/src/sequencer/sequencer.ts +472 -697
  84. package/src/sequencer/timetable.ts +173 -79
  85. package/src/sequencer/types.ts +6 -0
  86. package/src/sequencer/utils.ts +18 -9
  87. package/src/test/index.ts +3 -2
  88. package/src/test/mock_checkpoint_builder.ts +309 -0
  89. package/src/test/utils.ts +164 -0
  90. package/dest/sequencer/block_builder.d.ts +0 -27
  91. package/dest/sequencer/block_builder.d.ts.map +0 -1
  92. package/dest/sequencer/block_builder.js +0 -130
  93. package/dest/tx_validator/nullifier_cache.d.ts +0 -14
  94. package/dest/tx_validator/nullifier_cache.d.ts.map +0 -1
  95. package/dest/tx_validator/nullifier_cache.js +0 -24
  96. package/dest/tx_validator/tx_validator_factory.d.ts +0 -17
  97. package/dest/tx_validator/tx_validator_factory.d.ts.map +0 -1
  98. package/dest/tx_validator/tx_validator_factory.js +0 -53
  99. package/src/sequencer/block_builder.ts +0 -218
  100. package/src/tx_validator/nullifier_cache.ts +0 -30
  101. package/src/tx_validator/tx_validator_factory.ts +0 -132
@@ -1,8 +1,385 @@
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);
372
+ }
373
+ var _dec, _dec1, _dec2, _initProto;
1
374
  import { Blob, getBlobsPerL1Block, getPrefixedEthBlobCommitments } from '@aztec/blob-lib';
2
- import { createBlobSinkClient } from '@aztec/blob-sink/client';
3
- import { FormattedViemError, MULTI_CALL_3_ADDRESS, Multicall3, RollupContract, formatViemError, tryExtractEvent } from '@aztec/ethereum';
375
+ import { MULTI_CALL_3_ADDRESS, Multicall3, RollupContract } from '@aztec/ethereum/contracts';
376
+ import { L1FeeAnalyzer } from '@aztec/ethereum/l1-fee-analysis';
377
+ import { MAX_L1_TX_LIMIT, WEI_CONST } from '@aztec/ethereum/l1-tx-utils';
378
+ import { FormattedViemError, formatViemError, mergeAbis, tryExtractEvent } from '@aztec/ethereum/utils';
4
379
  import { sumBigint } from '@aztec/foundation/bigint';
5
380
  import { toHex as toPaddedHex } from '@aztec/foundation/bigint-buffer';
381
+ import { CheckpointNumber, SlotNumber } from '@aztec/foundation/branded-types';
382
+ import { pick } from '@aztec/foundation/collection';
6
383
  import { EthAddress } from '@aztec/foundation/eth-address';
7
384
  import { Signature } from '@aztec/foundation/eth-signature';
8
385
  import { createLogger } from '@aztec/foundation/log';
@@ -10,8 +387,8 @@ import { bufferToHex } from '@aztec/foundation/string';
10
387
  import { Timer } from '@aztec/foundation/timer';
11
388
  import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
12
389
  import { encodeSlashConsensusVotes } from '@aztec/slasher';
13
- import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
14
- import { getTelemetryClient } from '@aztec/telemetry-client';
390
+ import { CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
391
+ import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
15
392
  import { encodeFunctionData, toHex } from 'viem';
16
393
  import { SequencerPublisherMetrics } from './sequencer-publisher-metrics.js';
17
394
  export const Actions = [
@@ -27,21 +404,40 @@ export const Actions = [
27
404
  ];
28
405
  // Sorting for actions such that invalidations go before proposals, and proposals go before votes
29
406
  export const compareActions = (a, b)=>Actions.indexOf(a) - Actions.indexOf(b);
407
+ _dec = trackSpan('SequencerPublisher.sendRequests'), _dec1 = trackSpan('SequencerPublisher.validateBlockHeader'), _dec2 = trackSpan('SequencerPublisher.validateCheckpointForSubmission');
30
408
  export class SequencerPublisher {
31
409
  config;
410
+ static{
411
+ ({ e: [_initProto] } = _apply_decs_2203_r(this, [
412
+ [
413
+ _dec,
414
+ 2,
415
+ "sendRequests"
416
+ ],
417
+ [
418
+ _dec1,
419
+ 2,
420
+ "validateBlockHeader"
421
+ ],
422
+ [
423
+ _dec2,
424
+ 2,
425
+ "validateCheckpointForSubmission"
426
+ ]
427
+ ], []));
428
+ }
32
429
  interrupted;
33
430
  metrics;
34
431
  epochCache;
35
432
  governanceLog;
36
433
  slashingLog;
37
434
  lastActions;
435
+ isPayloadEmptyCache;
38
436
  log;
39
437
  ethereumSlotDuration;
40
- blobSinkClient;
41
- // @note - with blobs, the below estimate seems too large.
42
- // Total used for full block from int_l1_pub e2e test: 1m (of which 86k is 1x blob)
43
- // Total used for emptier block from above test: 429k (of which 84k is 1x blob)
44
- static PROPOSE_GAS_GUESS = 12_000_000n;
438
+ blobClient;
439
+ /** Address to use for simulations in fisherman mode (actual proposer's address) */ proposerAddressForSimulation;
440
+ /** L1 fee analyzer for fisherman mode */ l1FeeAnalyzer;
45
441
  // A CALL to a cold address is 2700 gas
46
442
  static MULTICALL_OVERHEAD_GAS_GUESS = 5000n;
47
443
  // Gas report for VotingWithSigTest shows a max gas of 100k, but we've seen it cost 700k+ in testnet
@@ -51,23 +447,24 @@ export class SequencerPublisher {
51
447
  govProposerContract;
52
448
  slashingProposerContract;
53
449
  slashFactoryContract;
450
+ tracer;
54
451
  requests;
55
452
  constructor(config, deps){
56
453
  this.config = config;
57
- this.interrupted = false;
454
+ this.interrupted = (_initProto(this), false);
58
455
  this.governanceLog = createLogger('sequencer:publisher:governance');
59
456
  this.slashingLog = createLogger('sequencer:publisher:slashing');
60
457
  this.lastActions = {};
458
+ this.isPayloadEmptyCache = new Map();
61
459
  this.requests = [];
62
460
  this.log = deps.log ?? createLogger('sequencer:publisher');
63
461
  this.ethereumSlotDuration = BigInt(config.ethereumSlotDuration);
64
462
  this.epochCache = deps.epochCache;
65
463
  this.lastActions = deps.lastActions;
66
- this.blobSinkClient = deps.blobSinkClient ?? createBlobSinkClient(config, {
67
- logger: createLogger('sequencer:blob-sink:client')
68
- });
464
+ this.blobClient = deps.blobClient;
69
465
  const telemetry = deps.telemetry ?? getTelemetryClient();
70
466
  this.metrics = deps.metrics ?? new SequencerPublisherMetrics(telemetry, 'SequencerPublisher');
467
+ this.tracer = telemetry.getTracer('SequencerPublisher');
71
468
  this.l1TxUtils = deps.l1TxUtils;
72
469
  this.rollupContract = deps.rollupContract;
73
470
  this.govProposerContract = deps.governanceProposerContract;
@@ -78,6 +475,10 @@ export class SequencerPublisher {
78
475
  this.slashingProposerContract = newSlashingProposer;
79
476
  });
80
477
  this.slashFactoryContract = deps.slashFactoryContract;
478
+ // Initialize L1 fee analyzer for fisherman mode
479
+ if (config.fishermanMode) {
480
+ this.l1FeeAnalyzer = new L1FeeAnalyzer(this.l1TxUtils.client, deps.dateProvider, createLogger('sequencer:publisher:fee-analyzer'));
481
+ }
81
482
  }
82
483
  getRollupContract() {
83
484
  return this.rollupContract;
@@ -85,6 +486,17 @@ export class SequencerPublisher {
85
486
  getSenderAddress() {
86
487
  return this.l1TxUtils.getSenderAddress();
87
488
  }
489
+ /**
490
+ * Gets the L1 fee analyzer instance (only available in fisherman mode)
491
+ */ getL1FeeAnalyzer() {
492
+ return this.l1FeeAnalyzer;
493
+ }
494
+ /**
495
+ * Sets the proposer address to use for simulations in fisherman mode.
496
+ * @param proposerAddress - The actual proposer's address to use for balance lookups in simulations
497
+ */ setProposerAddressForSimulation(proposerAddress) {
498
+ this.proposerAddressForSimulation = proposerAddress;
499
+ }
88
500
  addRequest(request) {
89
501
  this.requests.push(request);
90
502
  }
@@ -92,6 +504,55 @@ export class SequencerPublisher {
92
504
  return this.epochCache.getEpochAndSlotNow().slot;
93
505
  }
94
506
  /**
507
+ * Clears all pending requests without sending them.
508
+ */ clearPendingRequests() {
509
+ const count = this.requests.length;
510
+ this.requests = [];
511
+ if (count > 0) {
512
+ this.log.debug(`Cleared ${count} pending request(s)`);
513
+ }
514
+ }
515
+ /**
516
+ * Analyzes L1 fees for the pending requests without sending them.
517
+ * This is used in fisherman mode to validate fee calculations.
518
+ * @param l2SlotNumber - The L2 slot number for this analysis
519
+ * @param onComplete - Optional callback to invoke when analysis completes (after block is mined)
520
+ * @returns The analysis result (incomplete until block mines), or undefined if no requests
521
+ */ async analyzeL1Fees(l2SlotNumber, onComplete) {
522
+ if (!this.l1FeeAnalyzer) {
523
+ this.log.warn('L1 fee analyzer not available (not in fisherman mode)');
524
+ return undefined;
525
+ }
526
+ const requestsToAnalyze = [
527
+ ...this.requests
528
+ ];
529
+ if (requestsToAnalyze.length === 0) {
530
+ this.log.debug('No requests to analyze for L1 fees');
531
+ return undefined;
532
+ }
533
+ // Extract blob config from requests (if any)
534
+ const blobConfigs = requestsToAnalyze.filter((request)=>request.blobConfig).map((request)=>request.blobConfig);
535
+ const blobConfig = blobConfigs[0];
536
+ // Get gas configs
537
+ const gasConfigs = requestsToAnalyze.filter((request)=>request.gasConfig).map((request)=>request.gasConfig);
538
+ const gasLimits = gasConfigs.map((g)=>g?.gasLimit).filter((g)=>g !== undefined);
539
+ const gasLimit = gasLimits.length > 0 ? gasLimits.reduce((sum, g)=>sum + g, 0n) : 0n;
540
+ // Get the transaction requests
541
+ const l1Requests = requestsToAnalyze.map((r)=>r.request);
542
+ // Start the analysis
543
+ const analysisId = await this.l1FeeAnalyzer.startAnalysis(l2SlotNumber, gasLimit > 0n ? gasLimit : MAX_L1_TX_LIMIT, l1Requests, blobConfig, onComplete);
544
+ this.log.info('Started L1 fee analysis', {
545
+ analysisId,
546
+ l2SlotNumber: l2SlotNumber.toString(),
547
+ requestCount: requestsToAnalyze.length,
548
+ hasBlobConfig: !!blobConfig,
549
+ gasLimit: gasLimit.toString(),
550
+ actions: requestsToAnalyze.map((r)=>r.action)
551
+ });
552
+ // Return the analysis result (will be incomplete until block mines)
553
+ return this.l1FeeAnalyzer.getAnalysis(analysisId);
554
+ }
555
+ /**
95
556
  * Sends all requests that are still valid.
96
557
  * @returns one of:
97
558
  * - A receipt and stats if the tx succeeded
@@ -102,7 +563,7 @@ export class SequencerPublisher {
102
563
  ...this.requests
103
564
  ];
104
565
  this.requests = [];
105
- if (this.interrupted) {
566
+ if (this.interrupted || requestsToProcess.length === 0) {
106
567
  return undefined;
107
568
  }
108
569
  const currentL2Slot = this.getCurrentL2Slot();
@@ -137,7 +598,16 @@ export class SequencerPublisher {
137
598
  const blobConfig = blobConfigs[0];
138
599
  // Merge gasConfigs. Yields the sum of gasLimits, and the earliest txTimeoutAt, or undefined if no gasConfig sets them.
139
600
  const gasLimits = gasConfigs.map((g)=>g?.gasLimit).filter((g)=>g !== undefined);
140
- const gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
601
+ let gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
602
+ // Cap at L1 block gas limit so the node accepts the tx ("gas limit too high" otherwise).
603
+ const maxGas = MAX_L1_TX_LIMIT;
604
+ if (gasLimit !== undefined && gasLimit > maxGas) {
605
+ this.log.debug('Capping bundled tx gas limit to L1 max', {
606
+ requested: gasLimit,
607
+ capped: maxGas
608
+ });
609
+ gasLimit = maxGas;
610
+ }
141
611
  const txTimeoutAts = gasConfigs.map((g)=>g?.txTimeoutAt).filter((g)=>g !== undefined);
142
612
  const txTimeoutAt = txTimeoutAts.length > 0 ? new Date(Math.min(...txTimeoutAts.map((g)=>g.getTime()))) : undefined; // earliest
143
613
  const txConfig = {
@@ -211,7 +681,9 @@ export class SequencerPublisher {
211
681
  'InvalidProposer',
212
682
  'InvalidArchive'
213
683
  ];
214
- return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), this.ethereumSlotDuration, opts).catch((err)=>{
684
+ return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), Number(this.ethereumSlotDuration), {
685
+ forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
686
+ }).catch((err)=>{
215
687
  if (err instanceof FormattedViemError && ignoredErrors.find((e)=>err.message.includes(e))) {
216
688
  this.log.warn(`Failed canProposeAtTime check with ${ignoredErrors.find((e)=>err.message.includes(e))}`, {
217
689
  error: err.message
@@ -238,13 +710,23 @@ export class SequencerPublisher {
238
710
  [],
239
711
  Signature.empty().toViemSignature(),
240
712
  `0x${'0'.repeat(64)}`,
241
- header.contentCommitment.blobsHash.toString(),
713
+ header.blobsHash.toString(),
242
714
  flags
243
715
  ];
244
716
  const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
245
- // use sender balance to simulate
246
- const balance = await this.l1TxUtils.getSenderBalance();
247
- this.log.debug(`Simulating validateHeader with balance: ${balance}`);
717
+ const stateOverrides = await this.rollupContract.makePendingCheckpointNumberOverride(opts?.forcePendingCheckpointNumber);
718
+ let balance = 0n;
719
+ if (this.config.fishermanMode) {
720
+ // In fisherman mode, we can't know where the proposer is publishing from
721
+ // so we just add sufficient balance to the multicall3 address
722
+ balance = 10n * WEI_CONST * WEI_CONST; // 10 ETH
723
+ } else {
724
+ balance = await this.l1TxUtils.getSenderBalance();
725
+ }
726
+ stateOverrides.push({
727
+ address: MULTI_CALL_3_ADDRESS,
728
+ balance
729
+ });
248
730
  await this.l1TxUtils.simulate({
249
731
  to: this.rollupContract.address,
250
732
  data: encodeFunctionData({
@@ -255,44 +737,41 @@ export class SequencerPublisher {
255
737
  from: MULTI_CALL_3_ADDRESS
256
738
  }, {
257
739
  time: ts + 1n
258
- }, [
259
- {
260
- address: MULTI_CALL_3_ADDRESS,
261
- balance
262
- },
263
- ...await this.rollupContract.makePendingBlockNumberOverride(opts?.forcePendingBlockNumber)
264
- ]);
740
+ }, stateOverrides);
265
741
  this.log.debug(`Simulated validateHeader`);
266
742
  }
267
743
  /**
268
- * Simulate making a call to invalidate a block with invalid attestations. Returns undefined if no need to invalidate.
269
- * @param block - The block to invalidate and the criteria for invalidation (as returned by the archiver)
270
- */ async simulateInvalidateBlock(validationResult) {
744
+ * Simulate making a call to invalidate a checkpoint with invalid attestations. Returns undefined if no need to invalidate.
745
+ * @param validationResult - The validation result indicating which checkpoint to invalidate (as returned by the archiver)
746
+ */ async simulateInvalidateCheckpoint(validationResult) {
271
747
  if (validationResult.valid) {
272
748
  return undefined;
273
749
  }
274
- const { reason, block } = validationResult;
275
- const blockNumber = block.blockNumber;
750
+ const { reason, checkpoint } = validationResult;
751
+ const checkpointNumber = checkpoint.checkpointNumber;
276
752
  const logData = {
277
- ...block,
753
+ ...checkpoint,
278
754
  reason
279
755
  };
280
- const currentBlockNumber = await this.rollupContract.getBlockNumber();
281
- if (currentBlockNumber < validationResult.block.blockNumber) {
282
- this.log.verbose(`Skipping block ${blockNumber} invalidation since it has already been removed from the pending chain`, {
283
- currentBlockNumber,
756
+ const currentCheckpointNumber = await this.rollupContract.getCheckpointNumber();
757
+ if (currentCheckpointNumber < checkpointNumber) {
758
+ this.log.verbose(`Skipping checkpoint ${checkpointNumber} invalidation since it has already been removed from the pending chain`, {
759
+ currentCheckpointNumber,
284
760
  ...logData
285
761
  });
286
762
  return undefined;
287
763
  }
288
- const request = this.buildInvalidateBlockRequest(validationResult);
289
- this.log.debug(`Simulating invalidate block ${blockNumber}`, {
764
+ const request = this.buildInvalidateCheckpointRequest(validationResult);
765
+ this.log.debug(`Simulating invalidate checkpoint ${checkpointNumber}`, {
290
766
  ...logData,
291
767
  request
292
768
  });
293
769
  try {
294
- const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, ErrorsAbi);
295
- this.log.verbose(`Simulation for invalidate block ${blockNumber} succeeded`, {
770
+ const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, mergeAbis([
771
+ request.abi ?? [],
772
+ ErrorsAbi
773
+ ]));
774
+ this.log.verbose(`Simulation for invalidate checkpoint ${checkpointNumber} succeeded`, {
296
775
  ...logData,
297
776
  request,
298
777
  gasUsed
@@ -300,89 +779,83 @@ export class SequencerPublisher {
300
779
  return {
301
780
  request,
302
781
  gasUsed,
303
- blockNumber,
304
- forcePendingBlockNumber: blockNumber - 1,
782
+ checkpointNumber,
783
+ forcePendingCheckpointNumber: CheckpointNumber(checkpointNumber - 1),
305
784
  reason
306
785
  };
307
786
  } catch (err) {
308
787
  const viemError = formatViemError(err);
309
- // If the error is due to the block not being in the pending chain, and it was indeed removed by someone else,
310
- // we can safely ignore it and return undefined so we go ahead with block building.
311
- if (viemError.message?.includes('Rollup__BlockNotInPendingChain')) {
312
- this.log.verbose(`Simulation for invalidate block ${blockNumber} failed due to block not being in pending chain`, {
788
+ // If the error is due to the checkpoint not being in the pending chain, and it was indeed removed by someone else,
789
+ // we can safely ignore it and return undefined so we go ahead with checkpoint building.
790
+ if (viemError.message?.includes('Rollup__CheckpointNotInPendingChain')) {
791
+ this.log.verbose(`Simulation for invalidate checkpoint ${checkpointNumber} failed due to checkpoint not being in pending chain`, {
313
792
  ...logData,
314
793
  request,
315
794
  error: viemError.message
316
795
  });
317
- const latestPendingBlockNumber = await this.rollupContract.getBlockNumber();
318
- if (latestPendingBlockNumber < blockNumber) {
319
- this.log.verbose(`Block number ${blockNumber} has already been invalidated`, {
796
+ const latestPendingCheckpointNumber = await this.rollupContract.getCheckpointNumber();
797
+ if (latestPendingCheckpointNumber < checkpointNumber) {
798
+ this.log.verbose(`Checkpoint ${checkpointNumber} has already been invalidated`, {
320
799
  ...logData
321
800
  });
322
801
  return undefined;
323
802
  } else {
324
- this.log.error(`Simulation for invalidate ${blockNumber} failed and it is still in pending chain`, viemError, logData);
325
- throw new Error(`Failed to simulate invalidate block ${blockNumber} while it is still in pending chain`, {
803
+ this.log.error(`Simulation for invalidate checkpoint ${checkpointNumber} failed and it is still in pending chain`, viemError, logData);
804
+ throw new Error(`Failed to simulate invalidate checkpoint ${checkpointNumber} while it is still in pending chain`, {
326
805
  cause: viemError
327
806
  });
328
807
  }
329
808
  }
330
- // Otherwise, throw. We cannot build the next block if we cannot invalidate the previous one.
331
- this.log.error(`Simulation for invalidate block ${blockNumber} failed`, viemError, logData);
332
- throw new Error(`Failed to simulate invalidate block ${blockNumber}`, {
809
+ // Otherwise, throw. We cannot build the next checkpoint if we cannot invalidate the previous one.
810
+ this.log.error(`Simulation for invalidate checkpoint ${checkpointNumber} failed`, viemError, logData);
811
+ throw new Error(`Failed to simulate invalidate checkpoint ${checkpointNumber}`, {
333
812
  cause: viemError
334
813
  });
335
814
  }
336
815
  }
337
- buildInvalidateBlockRequest(validationResult) {
816
+ buildInvalidateCheckpointRequest(validationResult) {
338
817
  if (validationResult.valid) {
339
- throw new Error('Cannot invalidate a valid block');
818
+ throw new Error('Cannot invalidate a valid checkpoint');
340
819
  }
341
- const { block, committee, reason } = validationResult;
820
+ const { checkpoint, committee, reason } = validationResult;
342
821
  const logData = {
343
- ...block,
822
+ ...checkpoint,
344
823
  reason
345
824
  };
346
- this.log.debug(`Simulating invalidate block ${block.blockNumber}`, logData);
825
+ this.log.debug(`Building invalidate checkpoint ${checkpoint.checkpointNumber} request`, logData);
347
826
  const attestationsAndSigners = new CommitteeAttestationsAndSigners(validationResult.attestations).getPackedAttestations();
348
827
  if (reason === 'invalid-attestation') {
349
- return this.rollupContract.buildInvalidateBadAttestationRequest(block.blockNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
828
+ return this.rollupContract.buildInvalidateBadAttestationRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
350
829
  } else if (reason === 'insufficient-attestations') {
351
- return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(block.blockNumber, attestationsAndSigners, committee);
830
+ return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee);
352
831
  } else {
353
832
  const _ = reason;
354
833
  throw new Error(`Unknown reason for invalidation`);
355
834
  }
356
835
  }
357
- /**
358
- * @notice Will simulate `propose` to make sure that the block is valid for submission
359
- *
360
- * @dev Throws if unable to propose
361
- *
362
- * @param block - The block to propose
363
- * @param attestationData - The block's attestation data
364
- *
365
- */ async validateBlockForSubmission(block, attestationsAndSigners, attestationsAndSignersSignature, options) {
836
+ /** Simulates `propose` to make sure that the checkpoint is valid for submission */ async validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, options) {
366
837
  const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
838
+ // TODO(palla/mbps): This should not be needed, there's no flow where we propose with zero attestations. Or is there?
367
839
  // If we have no attestations, we still need to provide the empty attestations
368
840
  // so that the committee is recalculated correctly
369
- const ignoreSignatures = attestationsAndSigners.attestations.length === 0;
370
- if (ignoreSignatures) {
371
- const { committee } = await this.epochCache.getCommittee(block.header.globalVariables.slotNumber.toBigInt());
372
- if (!committee) {
373
- this.log.warn(`No committee found for slot ${block.header.globalVariables.slotNumber.toBigInt()}`);
374
- throw new Error(`No committee found for slot ${block.header.globalVariables.slotNumber.toBigInt()}`);
375
- }
376
- attestationsAndSigners.attestations = committee.map((committeeMember)=>CommitteeAttestation.fromAddress(committeeMember));
377
- }
378
- const blobFields = block.getCheckpointBlobFields();
841
+ // const ignoreSignatures = attestationsAndSigners.attestations.length === 0;
842
+ // if (ignoreSignatures) {
843
+ // const { committee } = await this.epochCache.getCommittee(block.header.globalVariables.slotNumber);
844
+ // if (!committee) {
845
+ // this.log.warn(`No committee found for slot ${block.header.globalVariables.slotNumber}`);
846
+ // throw new Error(`No committee found for slot ${block.header.globalVariables.slotNumber}`);
847
+ // }
848
+ // attestationsAndSigners.attestations = committee.map(committeeMember =>
849
+ // CommitteeAttestation.fromAddress(committeeMember),
850
+ // );
851
+ // }
852
+ const blobFields = checkpoint.toBlobFields();
379
853
  const blobs = getBlobsPerL1Block(blobFields);
380
854
  const blobInput = getPrefixedEthBlobCommitments(blobs);
381
855
  const args = [
382
856
  {
383
- header: block.getCheckpointHeader().toViem(),
384
- archive: toHex(block.archive.root.toBuffer()),
385
- stateReference: block.header.state.toViem(),
857
+ header: checkpoint.header.toViem(),
858
+ archive: toHex(checkpoint.archive.root.toBuffer()),
386
859
  oracleInput: {
387
860
  feeAssetPriceModifier: 0n
388
861
  }
@@ -409,9 +882,16 @@ export class SequencerPublisher {
409
882
  }
410
883
  const round = await base.computeRound(slotNumber);
411
884
  const roundInfo = await base.getRoundInfo(this.rollupContract.address, round);
885
+ if (roundInfo.quorumReached) {
886
+ return false;
887
+ }
412
888
  if (roundInfo.lastSignalSlot >= slotNumber) {
413
889
  return false;
414
890
  }
891
+ if (await this.isPayloadEmpty(payload)) {
892
+ this.log.warn(`Skipping vote cast for payload with empty code`);
893
+ return false;
894
+ }
415
895
  const cachedLastVote = this.lastActions[signalType];
416
896
  this.lastActions[signalType] = slotNumber;
417
897
  const action = signalType;
@@ -425,7 +905,10 @@ export class SequencerPublisher {
425
905
  try {
426
906
  await this.l1TxUtils.simulate(request, {
427
907
  time: timestamp
428
- }, [], ErrorsAbi);
908
+ }, [], mergeAbis([
909
+ request.abi ?? [],
910
+ ErrorsAbi
911
+ ]));
429
912
  this.log.debug(`Simulation for ${action} at slot ${slotNumber} succeeded`, {
430
913
  request
431
914
  });
@@ -450,17 +933,27 @@ export class SequencerPublisher {
450
933
  payload: payload.toString()
451
934
  };
452
935
  if (!success) {
453
- this.log.error(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} failed`, logData);
936
+ this.log.error(`Signaling in ${action} for ${payload} at slot ${slotNumber} in round ${round} failed`, logData);
454
937
  this.lastActions[signalType] = cachedLastVote;
455
938
  return false;
456
939
  } else {
457
- this.log.info(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} succeeded`, logData);
940
+ this.log.info(`Signaling in ${action} for ${payload} at slot ${slotNumber} in round ${round} succeeded`, logData);
458
941
  return true;
459
942
  }
460
943
  }
461
944
  });
462
945
  return true;
463
946
  }
947
+ async isPayloadEmpty(payload) {
948
+ const key = payload.toString();
949
+ const cached = this.isPayloadEmptyCache.get(key);
950
+ if (cached) {
951
+ return cached;
952
+ }
953
+ const isEmpty = !await this.l1TxUtils.getCode(payload);
954
+ this.isPayloadEmptyCache.set(key, isEmpty);
955
+ return isEmpty;
956
+ }
464
957
  /**
465
958
  * Enqueues a governance castSignal transaction to cast a signal for a given slot number.
466
959
  * @param slotNumber - The slot number to cast a signal for.
@@ -556,20 +1049,13 @@ export class SequencerPublisher {
556
1049
  }
557
1050
  return true;
558
1051
  }
559
- /**
560
- * Proposes a L2 block on L1.
561
- *
562
- * @param block - L2 block to propose.
563
- * @returns True if the tx has been enqueued, throws otherwise. See #9315
564
- */ async enqueueProposeL2Block(block, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
565
- const checkpointHeader = block.getCheckpointHeader();
566
- const blobFields = block.getCheckpointBlobFields();
1052
+ /** Simulates and enqueues a proposal for a checkpoint on L1 */ async enqueueProposeCheckpoint(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
1053
+ const checkpointHeader = checkpoint.header;
1054
+ const blobFields = checkpoint.toBlobFields();
567
1055
  const blobs = getBlobsPerL1Block(blobFields);
568
1056
  const proposeTxArgs = {
569
1057
  header: checkpointHeader,
570
- archive: block.archive.root.toBuffer(),
571
- stateReference: block.header.state,
572
- body: block.body.toBuffer(),
1058
+ archive: checkpoint.archive.root.toBuffer(),
573
1059
  blobs,
574
1060
  attestationsAndSigners,
575
1061
  attestationsAndSignersSignature
@@ -581,36 +1067,35 @@ export class SequencerPublisher {
581
1067
  // By simulation issue, I mean the fact that the block.timestamp is equal to the last block, not the next, which
582
1068
  // make time consistency checks break.
583
1069
  // TODO(palla): Check whether we're validating twice, once here and once within addProposeTx, since we call simulateProposeTx in both places.
584
- ts = await this.validateBlockForSubmission(block, attestationsAndSigners, attestationsAndSignersSignature, opts);
1070
+ ts = await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
585
1071
  } catch (err) {
586
- this.log.error(`Block validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
587
- ...block.getStats(),
588
- slotNumber: block.header.globalVariables.slotNumber.toBigInt(),
589
- forcePendingBlockNumber: opts.forcePendingBlockNumber
1072
+ this.log.error(`Checkpoint validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
1073
+ ...checkpoint.getStats(),
1074
+ slotNumber: checkpoint.header.slotNumber,
1075
+ forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
590
1076
  });
591
1077
  throw err;
592
1078
  }
593
- this.log.verbose(`Enqueuing block propose transaction`, {
594
- ...block.toBlockInfo(),
1079
+ this.log.verbose(`Enqueuing checkpoint propose transaction`, {
1080
+ ...checkpoint.toCheckpointInfo(),
595
1081
  ...opts
596
1082
  });
597
- await this.addProposeTx(block, proposeTxArgs, opts, ts);
598
- return true;
1083
+ await this.addProposeTx(checkpoint, proposeTxArgs, opts, ts);
599
1084
  }
600
- enqueueInvalidateBlock(request, opts = {}) {
1085
+ enqueueInvalidateCheckpoint(request, opts = {}) {
601
1086
  if (!request) {
602
1087
  return;
603
1088
  }
604
1089
  // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
605
1090
  const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(request.gasUsed) * 64 / 63)));
606
- const { gasUsed, blockNumber } = request;
1091
+ const { gasUsed, checkpointNumber } = request;
607
1092
  const logData = {
608
1093
  gasUsed,
609
- blockNumber,
1094
+ checkpointNumber,
610
1095
  gasLimit,
611
1096
  opts
612
1097
  };
613
- this.log.verbose(`Enqueuing invalidate block request`, logData);
1098
+ this.log.verbose(`Enqueuing invalidate checkpoint request`, logData);
614
1099
  this.addRequest({
615
1100
  action: `invalidate-by-${request.reason}`,
616
1101
  request: request.request,
@@ -618,16 +1103,16 @@ export class SequencerPublisher {
618
1103
  gasLimit,
619
1104
  txTimeoutAt: opts.txTimeoutAt
620
1105
  },
621
- lastValidL2Slot: this.getCurrentL2Slot() + 2n,
1106
+ lastValidL2Slot: SlotNumber(this.getCurrentL2Slot() + 2),
622
1107
  checkSuccess: (_req, result)=>{
623
- const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'BlockInvalidated');
1108
+ const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointInvalidated');
624
1109
  if (!success) {
625
- this.log.warn(`Invalidate block ${request.blockNumber} failed`, {
1110
+ this.log.warn(`Invalidate checkpoint ${request.checkpointNumber} failed`, {
626
1111
  ...result,
627
1112
  ...logData
628
1113
  });
629
1114
  } else {
630
- this.log.info(`Invalidate block ${request.blockNumber} succeeded`, {
1115
+ this.log.info(`Invalidate checkpoint ${request.checkpointNumber} succeeded`, {
631
1116
  ...result,
632
1117
  ...logData
633
1118
  });
@@ -650,27 +1135,37 @@ export class SequencerPublisher {
650
1135
  this.lastActions[action] = slotNumber;
651
1136
  this.log.debug(`Simulating ${action} for slot ${slotNumber}`, logData);
652
1137
  let gasUsed;
1138
+ const simulateAbi = mergeAbis([
1139
+ request.abi ?? [],
1140
+ ErrorsAbi
1141
+ ]);
653
1142
  try {
654
1143
  ({ gasUsed } = await this.l1TxUtils.simulate(request, {
655
1144
  time: timestamp
656
- }, [], ErrorsAbi)); // TODO(palla/slash): Check the timestamp logic
1145
+ }, [], simulateAbi)); // TODO(palla/slash): Check the timestamp logic
657
1146
  this.log.verbose(`Simulation for ${action} succeeded`, {
658
1147
  ...logData,
659
1148
  request,
660
1149
  gasUsed
661
1150
  });
662
1151
  } catch (err) {
663
- const viemError = formatViemError(err);
1152
+ const viemError = formatViemError(err, simulateAbi);
664
1153
  this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
665
1154
  return false;
666
1155
  }
667
1156
  // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
668
1157
  const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(gasUsed) * 64 / 63)));
669
1158
  logData.gasLimit = gasLimit;
1159
+ // Store the ABI used for simulation on the request so Multicall3.forward can decode errors
1160
+ // when the tx is sent and a revert is diagnosed via simulation.
1161
+ const requestWithAbi = {
1162
+ ...request,
1163
+ abi: simulateAbi
1164
+ };
670
1165
  this.log.debug(`Enqueuing ${action}`, logData);
671
1166
  this.addRequest({
672
1167
  action,
673
- request,
1168
+ request: requestWithAbi,
674
1169
  gasConfig: {
675
1170
  gasLimit
676
1171
  },
@@ -713,31 +1208,40 @@ export class SequencerPublisher {
713
1208
  this.log.debug('Validating blob input', {
714
1209
  blobInput
715
1210
  });
716
- const blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
717
- to: this.rollupContract.address,
718
- data: encodeFunctionData({
719
- abi: RollupAbi,
720
- functionName: 'validateBlobs',
721
- args: [
722
- blobInput
723
- ]
724
- })
725
- }, {}, {
726
- blobs: encodedData.blobs.map((b)=>b.data),
727
- kzg
728
- }).catch((err)=>{
729
- const { message, metaMessages } = formatViemError(err);
730
- this.log.error(`Failed to validate blobs`, message, {
731
- metaMessages
1211
+ // Get blob evaluation gas
1212
+ let blobEvaluationGas;
1213
+ if (this.config.fishermanMode) {
1214
+ // In fisherman mode, we can't estimate blob gas because estimateGas doesn't support state overrides
1215
+ // Use a fixed estimate.
1216
+ blobEvaluationGas = BigInt(encodedData.blobs.length) * 21_000n;
1217
+ this.log.debug(`Using fixed blob evaluation gas estimate in fisherman mode: ${blobEvaluationGas}`);
1218
+ } else {
1219
+ // Normal mode - use estimateGas with blob inputs
1220
+ blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
1221
+ to: this.rollupContract.address,
1222
+ data: encodeFunctionData({
1223
+ abi: RollupAbi,
1224
+ functionName: 'validateBlobs',
1225
+ args: [
1226
+ blobInput
1227
+ ]
1228
+ })
1229
+ }, {}, {
1230
+ blobs: encodedData.blobs.map((b)=>b.data),
1231
+ kzg
1232
+ }).catch((err)=>{
1233
+ const { message, metaMessages } = formatViemError(err);
1234
+ this.log.error(`Failed to validate blobs`, message, {
1235
+ metaMessages
1236
+ });
1237
+ throw new Error('Failed to validate blobs');
732
1238
  });
733
- throw new Error('Failed to validate blobs');
734
- });
1239
+ }
735
1240
  const signers = encodedData.attestationsAndSigners.getSigners().map((signer)=>signer.toString());
736
1241
  const args = [
737
1242
  {
738
1243
  header: encodedData.header.toViem(),
739
1244
  archive: toHex(encodedData.archive),
740
- stateReference: encodedData.stateReference.toViem(),
741
1245
  oracleInput: {
742
1246
  // We are currently not modifying these. See #9963
743
1247
  feeAssetPriceModifier: 0n
@@ -767,18 +1271,9 @@ export class SequencerPublisher {
767
1271
  functionName: 'propose',
768
1272
  args
769
1273
  });
770
- // override the pending block number if requested
771
- const forcePendingBlockNumberStateDiff = (options.forcePendingBlockNumber !== undefined ? await this.rollupContract.makePendingBlockNumberOverride(options.forcePendingBlockNumber) : []).flatMap((override)=>override.stateDiff ?? []);
772
- const simulationResult = await this.l1TxUtils.simulate({
773
- to: this.rollupContract.address,
774
- data: rollupData,
775
- gas: SequencerPublisher.PROPOSE_GAS_GUESS
776
- }, {
777
- // @note we add 1n to the timestamp because geth implementation doesn't like simulation timestamp to be equal to the current block timestamp
778
- time: timestamp + 1n,
779
- // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
780
- gasLimit: SequencerPublisher.PROPOSE_GAS_GUESS * 2n
781
- }, [
1274
+ // override the pending checkpoint number if requested
1275
+ const forcePendingCheckpointNumberStateDiff = (options.forcePendingCheckpointNumber !== undefined ? await this.rollupContract.makePendingCheckpointNumberOverride(options.forcePendingCheckpointNumber) : []).flatMap((override)=>override.stateDiff ?? []);
1276
+ const stateOverrides = [
782
1277
  {
783
1278
  address: this.rollupContract.address,
784
1279
  // @note we override checkBlob to false since blobs are not part simulate()
@@ -787,14 +1282,44 @@ export class SequencerPublisher {
787
1282
  slot: toPaddedHex(RollupContract.checkBlobStorageSlot, true),
788
1283
  value: toPaddedHex(0n, true)
789
1284
  },
790
- ...forcePendingBlockNumberStateDiff
1285
+ ...forcePendingCheckpointNumberStateDiff
791
1286
  ]
792
1287
  }
793
- ], RollupAbi, {
1288
+ ];
1289
+ // In fisherman mode, simulate as the proposer but with sufficient balance
1290
+ if (this.proposerAddressForSimulation) {
1291
+ stateOverrides.push({
1292
+ address: this.proposerAddressForSimulation.toString(),
1293
+ balance: 10n * WEI_CONST * WEI_CONST
1294
+ });
1295
+ }
1296
+ const simulationResult = await this.l1TxUtils.simulate({
1297
+ to: this.rollupContract.address,
1298
+ data: rollupData,
1299
+ gas: MAX_L1_TX_LIMIT,
1300
+ ...this.proposerAddressForSimulation && {
1301
+ from: this.proposerAddressForSimulation.toString()
1302
+ }
1303
+ }, {
1304
+ // @note we add 1n to the timestamp because geth implementation doesn't like simulation timestamp to be equal to the current block timestamp
1305
+ time: timestamp + 1n,
1306
+ // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
1307
+ gasLimit: MAX_L1_TX_LIMIT * 2n
1308
+ }, stateOverrides, RollupAbi, {
794
1309
  // @note fallback gas estimate to use if the node doesn't support simulation API
795
- fallbackGasEstimate: SequencerPublisher.PROPOSE_GAS_GUESS
1310
+ fallbackGasEstimate: MAX_L1_TX_LIMIT
796
1311
  }).catch((err)=>{
797
- this.log.error(`Failed to simulate propose tx`, err);
1312
+ // In fisherman mode, we expect ValidatorSelection__MissingProposerSignature since fisherman doesn't have proposer signature
1313
+ const viemError = formatViemError(err);
1314
+ if (this.config.fishermanMode && viemError.message?.includes('ValidatorSelection__MissingProposerSignature')) {
1315
+ this.log.debug(`Ignoring expected ValidatorSelection__MissingProposerSignature error in fisherman mode`);
1316
+ // Return a minimal simulation result with the fallback gas estimate
1317
+ return {
1318
+ gasUsed: MAX_L1_TX_LIMIT,
1319
+ logs: []
1320
+ };
1321
+ }
1322
+ this.log.error(`Failed to simulate propose tx`, viemError);
798
1323
  throw err;
799
1324
  });
800
1325
  return {
@@ -802,24 +1327,25 @@ export class SequencerPublisher {
802
1327
  simulationResult
803
1328
  };
804
1329
  }
805
- async addProposeTx(block, encodedData, opts = {}, timestamp) {
1330
+ async addProposeTx(checkpoint, encodedData, opts = {}, timestamp) {
1331
+ const slot = checkpoint.header.slotNumber;
806
1332
  const timer = new Timer();
807
1333
  const kzg = Blob.getViemKzgInstance();
808
1334
  const { rollupData, simulationResult, blobEvaluationGas } = await this.prepareProposeTx(encodedData, timestamp, opts);
809
1335
  const startBlock = await this.l1TxUtils.getBlockNumber();
810
1336
  const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(simulationResult.gasUsed) * 64 / 63)) + blobEvaluationGas + SequencerPublisher.MULTICALL_OVERHEAD_GAS_GUESS);
811
- // Send the blobs to the blob sink preemptively. This helps in tests where the sequencer mistakingly thinks that the propose
812
- // tx fails but it does get mined. We make sure that the blobs are sent to the blob sink regardless of the tx outcome.
813
- void this.blobSinkClient.sendBlobsToBlobSink(encodedData.blobs).catch((_err)=>{
814
- this.log.error('Failed to send blobs to blob sink');
815
- });
1337
+ // Send the blobs to the blob client preemptively. This helps in tests where the sequencer mistakingly thinks that the propose
1338
+ // tx fails but it does get mined. We make sure that the blobs are sent to the blob client regardless of the tx outcome.
1339
+ void Promise.resolve().then(()=>this.blobClient.sendBlobsToFilestore(encodedData.blobs).catch((_err)=>{
1340
+ this.log.error('Failed to send blobs to blob client');
1341
+ }));
816
1342
  return this.addRequest({
817
1343
  action: 'propose',
818
1344
  request: {
819
1345
  to: this.rollupContract.address,
820
1346
  data: rollupData
821
1347
  },
822
- lastValidL2Slot: block.header.globalVariables.slotNumber.toBigInt(),
1348
+ lastValidL2Slot: checkpoint.header.slotNumber,
823
1349
  gasConfig: {
824
1350
  ...opts,
825
1351
  gasLimit
@@ -833,7 +1359,7 @@ export class SequencerPublisher {
833
1359
  return false;
834
1360
  }
835
1361
  const { receipt, stats, errorMsg } = result;
836
- const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'L2BlockProposed');
1362
+ const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointProposed');
837
1363
  if (success) {
838
1364
  const endBlock = receipt.blockNumber;
839
1365
  const inclusionBlocks = Number(endBlock - startBlock);
@@ -847,25 +1373,23 @@ export class SequencerPublisher {
847
1373
  calldataGas,
848
1374
  calldataSize,
849
1375
  sender,
850
- ...block.getStats(),
1376
+ ...checkpoint.getStats(),
851
1377
  eventName: 'rollup-published-to-l1',
852
1378
  blobCount: encodedData.blobs.length,
853
1379
  inclusionBlocks
854
1380
  };
855
- this.log.info(`Published L2 block to L1 rollup contract`, {
1381
+ this.log.info(`Published checkpoint ${checkpoint.number} at slot ${slot} to rollup contract`, {
856
1382
  ...stats,
857
- ...block.getStats(),
858
- ...receipt
1383
+ ...checkpoint.getStats(),
1384
+ ...pick(receipt, 'transactionHash', 'blockHash')
859
1385
  });
860
1386
  this.metrics.recordProcessBlockTx(timer.ms(), publishStats);
861
1387
  return true;
862
1388
  } else {
863
1389
  this.metrics.recordFailedTx('process');
864
- this.log.error(`Rollup process tx failed: ${errorMsg ?? 'no error message'}`, undefined, {
865
- ...block.getStats(),
866
- receipt,
867
- txHash: receipt.transactionHash,
868
- slotNumber: block.header.globalVariables.slotNumber.toBigInt()
1390
+ this.log.error(`Publishing checkpoint at slot ${slot} failed with ${errorMsg ?? 'no error message'}`, undefined, {
1391
+ ...checkpoint.getStats(),
1392
+ ...receipt
869
1393
  });
870
1394
  return false;
871
1395
  }