@aztec/sequencer-client 0.0.1-fake-c83136db25 → 0.0.2-commit.217f559981

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 +21 -16
  3. package/dest/client/sequencer-client.d.ts.map +1 -1
  4. package/dest/client/sequencer-client.js +45 -26
  5. package/dest/config.d.ts +14 -8
  6. package/dest/config.d.ts.map +1 -1
  7. package/dest/config.js +90 -33
  8. package/dest/global_variable_builder/global_builder.d.ts +20 -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 +39 -20
  16. package/dest/publisher/config.d.ts.map +1 -1
  17. package/dest/publisher/config.js +104 -34
  18. package/dest/publisher/index.d.ts +1 -1
  19. package/dest/publisher/sequencer-publisher-factory.d.ts +15 -6
  20. package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
  21. package/dest/publisher/sequencer-publisher-factory.js +14 -3
  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 +89 -67
  26. package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
  27. package/dest/publisher/sequencer-publisher.js +722 -178
  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 +1213 -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 +44 -3
  45. package/dest/sequencer/metrics.d.ts.map +1 -1
  46. package/dest/sequencer/metrics.js +232 -50
  47. package/dest/sequencer/sequencer.d.ts +122 -144
  48. package/dest/sequencer/sequencer.d.ts.map +1 -1
  49. package/dest/sequencer/sequencer.js +740 -525
  50. package/dest/sequencer/timetable.d.ts +51 -14
  51. package/dest/sequencer/timetable.d.ts.map +1 -1
  52. package/dest/sequencer/timetable.js +145 -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 +6 -7
  60. package/dest/test/index.d.ts.map +1 -1
  61. package/dest/test/mock_checkpoint_builder.d.ts +97 -0
  62. package/dest/test/mock_checkpoint_builder.d.ts.map +1 -0
  63. package/dest/test/mock_checkpoint_builder.js +222 -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 +104 -0
  67. package/package.json +33 -30
  68. package/src/client/sequencer-client.ts +54 -47
  69. package/src/config.ts +103 -42
  70. package/src/global_variable_builder/global_builder.ts +67 -59
  71. package/src/index.ts +1 -7
  72. package/src/publisher/config.ts +130 -50
  73. package/src/publisher/sequencer-publisher-factory.ts +30 -11
  74. package/src/publisher/sequencer-publisher-metrics.ts +19 -71
  75. package/src/publisher/sequencer-publisher.ts +461 -232
  76. package/src/sequencer/README.md +531 -0
  77. package/src/sequencer/checkpoint_proposal_job.ts +914 -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 +296 -61
  83. package/src/sequencer/sequencer.ts +494 -717
  84. package/src/sequencer/timetable.ts +175 -80
  85. package/src/sequencer/types.ts +6 -0
  86. package/src/sequencer/utils.ts +18 -9
  87. package/src/test/index.ts +5 -6
  88. package/src/test/mock_checkpoint_builder.ts +320 -0
  89. package/src/test/utils.ts +167 -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,17 +1,395 @@
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 { FeeAssetPriceOracle, 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';
386
+ import { makeBackoff, retry } from '@aztec/foundation/retry';
9
387
  import { bufferToHex } from '@aztec/foundation/string';
10
388
  import { Timer } from '@aztec/foundation/timer';
11
389
  import { EmpireBaseAbi, ErrorsAbi, RollupAbi } from '@aztec/l1-artifacts';
12
390
  import { encodeSlashConsensusVotes } from '@aztec/slasher';
13
- import { CommitteeAttestation, CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
14
- import { getTelemetryClient } from '@aztec/telemetry-client';
391
+ import { CommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
392
+ import { getTelemetryClient, trackSpan } from '@aztec/telemetry-client';
15
393
  import { encodeFunctionData, toHex } from 'viem';
16
394
  import { SequencerPublisherMetrics } from './sequencer-publisher-metrics.js';
17
395
  export const Actions = [
@@ -27,21 +405,42 @@ export const Actions = [
27
405
  ];
28
406
  // Sorting for actions such that invalidations go before proposals, and proposals go before votes
29
407
  export const compareActions = (a, b)=>Actions.indexOf(a) - Actions.indexOf(b);
408
+ _dec = trackSpan('SequencerPublisher.sendRequests'), _dec1 = trackSpan('SequencerPublisher.validateBlockHeader'), _dec2 = trackSpan('SequencerPublisher.validateCheckpointForSubmission');
30
409
  export class SequencerPublisher {
31
410
  config;
411
+ static{
412
+ ({ e: [_initProto] } = _apply_decs_2203_r(this, [
413
+ [
414
+ _dec,
415
+ 2,
416
+ "sendRequests"
417
+ ],
418
+ [
419
+ _dec1,
420
+ 2,
421
+ "validateBlockHeader"
422
+ ],
423
+ [
424
+ _dec2,
425
+ 2,
426
+ "validateCheckpointForSubmission"
427
+ ]
428
+ ], []));
429
+ }
32
430
  interrupted;
33
431
  metrics;
34
432
  epochCache;
35
433
  governanceLog;
36
434
  slashingLog;
37
435
  lastActions;
436
+ isPayloadEmptyCache;
437
+ payloadProposedCache;
38
438
  log;
39
439
  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;
440
+ blobClient;
441
+ /** Address to use for simulations in fisherman mode (actual proposer's address) */ proposerAddressForSimulation;
442
+ /** L1 fee analyzer for fisherman mode */ l1FeeAnalyzer;
443
+ /** Fee asset price oracle for computing price modifiers from Uniswap V4 */ feeAssetPriceOracle;
45
444
  // A CALL to a cold address is 2700 gas
46
445
  static MULTICALL_OVERHEAD_GAS_GUESS = 5000n;
47
446
  // Gas report for VotingWithSigTest shows a max gas of 100k, but we've seen it cost 700k+ in testnet
@@ -51,23 +450,25 @@ export class SequencerPublisher {
51
450
  govProposerContract;
52
451
  slashingProposerContract;
53
452
  slashFactoryContract;
453
+ tracer;
54
454
  requests;
55
455
  constructor(config, deps){
56
456
  this.config = config;
57
- this.interrupted = false;
457
+ this.interrupted = (_initProto(this), false);
58
458
  this.governanceLog = createLogger('sequencer:publisher:governance');
59
459
  this.slashingLog = createLogger('sequencer:publisher:slashing');
60
460
  this.lastActions = {};
461
+ this.isPayloadEmptyCache = new Map();
462
+ this.payloadProposedCache = new Set();
61
463
  this.requests = [];
62
464
  this.log = deps.log ?? createLogger('sequencer:publisher');
63
465
  this.ethereumSlotDuration = BigInt(config.ethereumSlotDuration);
64
466
  this.epochCache = deps.epochCache;
65
467
  this.lastActions = deps.lastActions;
66
- this.blobSinkClient = deps.blobSinkClient ?? createBlobSinkClient(config, {
67
- logger: createLogger('sequencer:blob-sink:client')
68
- });
468
+ this.blobClient = deps.blobClient;
69
469
  const telemetry = deps.telemetry ?? getTelemetryClient();
70
470
  this.metrics = deps.metrics ?? new SequencerPublisherMetrics(telemetry, 'SequencerPublisher');
471
+ this.tracer = telemetry.getTracer('SequencerPublisher');
71
472
  this.l1TxUtils = deps.l1TxUtils;
72
473
  this.rollupContract = deps.rollupContract;
73
474
  this.govProposerContract = deps.governanceProposerContract;
@@ -78,13 +479,36 @@ export class SequencerPublisher {
78
479
  this.slashingProposerContract = newSlashingProposer;
79
480
  });
80
481
  this.slashFactoryContract = deps.slashFactoryContract;
482
+ // Initialize L1 fee analyzer for fisherman mode
483
+ if (config.fishermanMode) {
484
+ this.l1FeeAnalyzer = new L1FeeAnalyzer(this.l1TxUtils.client, deps.dateProvider, createLogger('sequencer:publisher:fee-analyzer'));
485
+ }
486
+ // Initialize fee asset price oracle
487
+ this.feeAssetPriceOracle = new FeeAssetPriceOracle(this.l1TxUtils.client, this.rollupContract, createLogger('sequencer:publisher:price-oracle'));
81
488
  }
82
489
  getRollupContract() {
83
490
  return this.rollupContract;
84
491
  }
492
+ /**
493
+ * Gets the fee asset price modifier from the oracle.
494
+ * Returns 0n if the oracle query fails.
495
+ */ getFeeAssetPriceModifier() {
496
+ return this.feeAssetPriceOracle.computePriceModifier();
497
+ }
85
498
  getSenderAddress() {
86
499
  return this.l1TxUtils.getSenderAddress();
87
500
  }
501
+ /**
502
+ * Gets the L1 fee analyzer instance (only available in fisherman mode)
503
+ */ getL1FeeAnalyzer() {
504
+ return this.l1FeeAnalyzer;
505
+ }
506
+ /**
507
+ * Sets the proposer address to use for simulations in fisherman mode.
508
+ * @param proposerAddress - The actual proposer's address to use for balance lookups in simulations
509
+ */ setProposerAddressForSimulation(proposerAddress) {
510
+ this.proposerAddressForSimulation = proposerAddress;
511
+ }
88
512
  addRequest(request) {
89
513
  this.requests.push(request);
90
514
  }
@@ -92,6 +516,55 @@ export class SequencerPublisher {
92
516
  return this.epochCache.getEpochAndSlotNow().slot;
93
517
  }
94
518
  /**
519
+ * Clears all pending requests without sending them.
520
+ */ clearPendingRequests() {
521
+ const count = this.requests.length;
522
+ this.requests = [];
523
+ if (count > 0) {
524
+ this.log.debug(`Cleared ${count} pending request(s)`);
525
+ }
526
+ }
527
+ /**
528
+ * Analyzes L1 fees for the pending requests without sending them.
529
+ * This is used in fisherman mode to validate fee calculations.
530
+ * @param l2SlotNumber - The L2 slot number for this analysis
531
+ * @param onComplete - Optional callback to invoke when analysis completes (after block is mined)
532
+ * @returns The analysis result (incomplete until block mines), or undefined if no requests
533
+ */ async analyzeL1Fees(l2SlotNumber, onComplete) {
534
+ if (!this.l1FeeAnalyzer) {
535
+ this.log.warn('L1 fee analyzer not available (not in fisherman mode)');
536
+ return undefined;
537
+ }
538
+ const requestsToAnalyze = [
539
+ ...this.requests
540
+ ];
541
+ if (requestsToAnalyze.length === 0) {
542
+ this.log.debug('No requests to analyze for L1 fees');
543
+ return undefined;
544
+ }
545
+ // Extract blob config from requests (if any)
546
+ const blobConfigs = requestsToAnalyze.filter((request)=>request.blobConfig).map((request)=>request.blobConfig);
547
+ const blobConfig = blobConfigs[0];
548
+ // Get gas configs
549
+ const gasConfigs = requestsToAnalyze.filter((request)=>request.gasConfig).map((request)=>request.gasConfig);
550
+ const gasLimits = gasConfigs.map((g)=>g?.gasLimit).filter((g)=>g !== undefined);
551
+ const gasLimit = gasLimits.length > 0 ? gasLimits.reduce((sum, g)=>sum + g, 0n) : 0n;
552
+ // Get the transaction requests
553
+ const l1Requests = requestsToAnalyze.map((r)=>r.request);
554
+ // Start the analysis
555
+ const analysisId = await this.l1FeeAnalyzer.startAnalysis(l2SlotNumber, gasLimit > 0n ? gasLimit : MAX_L1_TX_LIMIT, l1Requests, blobConfig, onComplete);
556
+ this.log.info('Started L1 fee analysis', {
557
+ analysisId,
558
+ l2SlotNumber: l2SlotNumber.toString(),
559
+ requestCount: requestsToAnalyze.length,
560
+ hasBlobConfig: !!blobConfig,
561
+ gasLimit: gasLimit.toString(),
562
+ actions: requestsToAnalyze.map((r)=>r.action)
563
+ });
564
+ // Return the analysis result (will be incomplete until block mines)
565
+ return this.l1FeeAnalyzer.getAnalysis(analysisId);
566
+ }
567
+ /**
95
568
  * Sends all requests that are still valid.
96
569
  * @returns one of:
97
570
  * - A receipt and stats if the tx succeeded
@@ -102,7 +575,7 @@ export class SequencerPublisher {
102
575
  ...this.requests
103
576
  ];
104
577
  this.requests = [];
105
- if (this.interrupted) {
578
+ if (this.interrupted || requestsToProcess.length === 0) {
106
579
  return undefined;
107
580
  }
108
581
  const currentL2Slot = this.getCurrentL2Slot();
@@ -137,7 +610,16 @@ export class SequencerPublisher {
137
610
  const blobConfig = blobConfigs[0];
138
611
  // Merge gasConfigs. Yields the sum of gasLimits, and the earliest txTimeoutAt, or undefined if no gasConfig sets them.
139
612
  const gasLimits = gasConfigs.map((g)=>g?.gasLimit).filter((g)=>g !== undefined);
140
- const gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
613
+ let gasLimit = gasLimits.length > 0 ? sumBigint(gasLimits) : undefined; // sum
614
+ // Cap at L1 block gas limit so the node accepts the tx ("gas limit too high" otherwise).
615
+ const maxGas = MAX_L1_TX_LIMIT;
616
+ if (gasLimit !== undefined && gasLimit > maxGas) {
617
+ this.log.debug('Capping bundled tx gas limit to L1 max', {
618
+ requested: gasLimit,
619
+ capped: maxGas
620
+ });
621
+ gasLimit = maxGas;
622
+ }
141
623
  const txTimeoutAts = gasConfigs.map((g)=>g?.txTimeoutAt).filter((g)=>g !== undefined);
142
624
  const txTimeoutAt = txTimeoutAts.length > 0 ? new Date(Math.min(...txTimeoutAts.map((g)=>g.getTime()))) : undefined; // earliest
143
625
  const txConfig = {
@@ -211,7 +693,9 @@ export class SequencerPublisher {
211
693
  'InvalidProposer',
212
694
  'InvalidArchive'
213
695
  ];
214
- return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), this.ethereumSlotDuration, opts).catch((err)=>{
696
+ return this.rollupContract.canProposeAtNextEthBlock(tipArchive.toBuffer(), msgSender.toString(), Number(this.ethereumSlotDuration), {
697
+ forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
698
+ }).catch((err)=>{
215
699
  if (err instanceof FormattedViemError && ignoredErrors.find((e)=>err.message.includes(e))) {
216
700
  this.log.warn(`Failed canProposeAtTime check with ${ignoredErrors.find((e)=>err.message.includes(e))}`, {
217
701
  error: err.message
@@ -238,13 +722,23 @@ export class SequencerPublisher {
238
722
  [],
239
723
  Signature.empty().toViemSignature(),
240
724
  `0x${'0'.repeat(64)}`,
241
- header.contentCommitment.blobsHash.toString(),
725
+ header.blobsHash.toString(),
242
726
  flags
243
727
  ];
244
728
  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}`);
729
+ const stateOverrides = await this.rollupContract.makePendingCheckpointNumberOverride(opts?.forcePendingCheckpointNumber);
730
+ let balance = 0n;
731
+ if (this.config.fishermanMode) {
732
+ // In fisherman mode, we can't know where the proposer is publishing from
733
+ // so we just add sufficient balance to the multicall3 address
734
+ balance = 10n * WEI_CONST * WEI_CONST; // 10 ETH
735
+ } else {
736
+ balance = await this.l1TxUtils.getSenderBalance();
737
+ }
738
+ stateOverrides.push({
739
+ address: MULTI_CALL_3_ADDRESS,
740
+ balance
741
+ });
248
742
  await this.l1TxUtils.simulate({
249
743
  to: this.rollupContract.address,
250
744
  data: encodeFunctionData({
@@ -255,44 +749,41 @@ export class SequencerPublisher {
255
749
  from: MULTI_CALL_3_ADDRESS
256
750
  }, {
257
751
  time: ts + 1n
258
- }, [
259
- {
260
- address: MULTI_CALL_3_ADDRESS,
261
- balance
262
- },
263
- ...await this.rollupContract.makePendingBlockNumberOverride(opts?.forcePendingBlockNumber)
264
- ]);
752
+ }, stateOverrides);
265
753
  this.log.debug(`Simulated validateHeader`);
266
754
  }
267
755
  /**
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) {
756
+ * Simulate making a call to invalidate a checkpoint with invalid attestations. Returns undefined if no need to invalidate.
757
+ * @param validationResult - The validation result indicating which checkpoint to invalidate (as returned by the archiver)
758
+ */ async simulateInvalidateCheckpoint(validationResult) {
271
759
  if (validationResult.valid) {
272
760
  return undefined;
273
761
  }
274
- const { reason, block } = validationResult;
275
- const blockNumber = block.blockNumber;
762
+ const { reason, checkpoint } = validationResult;
763
+ const checkpointNumber = checkpoint.checkpointNumber;
276
764
  const logData = {
277
- ...block,
765
+ ...checkpoint,
278
766
  reason
279
767
  };
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,
768
+ const currentCheckpointNumber = await this.rollupContract.getCheckpointNumber();
769
+ if (currentCheckpointNumber < checkpointNumber) {
770
+ this.log.verbose(`Skipping checkpoint ${checkpointNumber} invalidation since it has already been removed from the pending chain`, {
771
+ currentCheckpointNumber,
284
772
  ...logData
285
773
  });
286
774
  return undefined;
287
775
  }
288
- const request = this.buildInvalidateBlockRequest(validationResult);
289
- this.log.debug(`Simulating invalidate block ${blockNumber}`, {
776
+ const request = this.buildInvalidateCheckpointRequest(validationResult);
777
+ this.log.debug(`Simulating invalidate checkpoint ${checkpointNumber}`, {
290
778
  ...logData,
291
779
  request
292
780
  });
293
781
  try {
294
- const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, ErrorsAbi);
295
- this.log.verbose(`Simulation for invalidate block ${blockNumber} succeeded`, {
782
+ const { gasUsed } = await this.l1TxUtils.simulate(request, undefined, undefined, mergeAbis([
783
+ request.abi ?? [],
784
+ ErrorsAbi
785
+ ]));
786
+ this.log.verbose(`Simulation for invalidate checkpoint ${checkpointNumber} succeeded`, {
296
787
  ...logData,
297
788
  request,
298
789
  gasUsed
@@ -300,91 +791,71 @@ export class SequencerPublisher {
300
791
  return {
301
792
  request,
302
793
  gasUsed,
303
- blockNumber,
304
- forcePendingBlockNumber: blockNumber - 1,
794
+ checkpointNumber,
795
+ forcePendingCheckpointNumber: CheckpointNumber(checkpointNumber - 1),
305
796
  reason
306
797
  };
307
798
  } catch (err) {
308
799
  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`, {
800
+ // If the error is due to the checkpoint not being in the pending chain, and it was indeed removed by someone else,
801
+ // we can safely ignore it and return undefined so we go ahead with checkpoint building.
802
+ if (viemError.message?.includes('Rollup__CheckpointNotInPendingChain')) {
803
+ this.log.verbose(`Simulation for invalidate checkpoint ${checkpointNumber} failed due to checkpoint not being in pending chain`, {
313
804
  ...logData,
314
805
  request,
315
806
  error: viemError.message
316
807
  });
317
- const latestPendingBlockNumber = await this.rollupContract.getBlockNumber();
318
- if (latestPendingBlockNumber < blockNumber) {
319
- this.log.verbose(`Block number ${blockNumber} has already been invalidated`, {
808
+ const latestPendingCheckpointNumber = await this.rollupContract.getCheckpointNumber();
809
+ if (latestPendingCheckpointNumber < checkpointNumber) {
810
+ this.log.verbose(`Checkpoint ${checkpointNumber} has already been invalidated`, {
320
811
  ...logData
321
812
  });
322
813
  return undefined;
323
814
  } 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`, {
815
+ this.log.error(`Simulation for invalidate checkpoint ${checkpointNumber} failed and it is still in pending chain`, viemError, logData);
816
+ throw new Error(`Failed to simulate invalidate checkpoint ${checkpointNumber} while it is still in pending chain`, {
326
817
  cause: viemError
327
818
  });
328
819
  }
329
820
  }
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}`, {
821
+ // Otherwise, throw. We cannot build the next checkpoint if we cannot invalidate the previous one.
822
+ this.log.error(`Simulation for invalidate checkpoint ${checkpointNumber} failed`, viemError, logData);
823
+ throw new Error(`Failed to simulate invalidate checkpoint ${checkpointNumber}`, {
333
824
  cause: viemError
334
825
  });
335
826
  }
336
827
  }
337
- buildInvalidateBlockRequest(validationResult) {
828
+ buildInvalidateCheckpointRequest(validationResult) {
338
829
  if (validationResult.valid) {
339
- throw new Error('Cannot invalidate a valid block');
830
+ throw new Error('Cannot invalidate a valid checkpoint');
340
831
  }
341
- const { block, committee, reason } = validationResult;
832
+ const { checkpoint, committee, reason } = validationResult;
342
833
  const logData = {
343
- ...block,
834
+ ...checkpoint,
344
835
  reason
345
836
  };
346
- this.log.debug(`Simulating invalidate block ${block.blockNumber}`, logData);
837
+ this.log.debug(`Building invalidate checkpoint ${checkpoint.checkpointNumber} request`, logData);
347
838
  const attestationsAndSigners = new CommitteeAttestationsAndSigners(validationResult.attestations).getPackedAttestations();
348
839
  if (reason === 'invalid-attestation') {
349
- return this.rollupContract.buildInvalidateBadAttestationRequest(block.blockNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
840
+ return this.rollupContract.buildInvalidateBadAttestationRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
350
841
  } else if (reason === 'insufficient-attestations') {
351
- return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(block.blockNumber, attestationsAndSigners, committee);
842
+ return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee);
352
843
  } else {
353
844
  const _ = reason;
354
845
  throw new Error(`Unknown reason for invalidation`);
355
846
  }
356
847
  }
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) {
848
+ /** Simulates `propose` to make sure that the checkpoint is valid for submission */ async validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, options) {
366
849
  const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
367
- // If we have no attestations, we still need to provide the empty attestations
368
- // 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();
379
- const blobs = getBlobsPerL1Block(blobFields);
850
+ const blobFields = checkpoint.toBlobFields();
851
+ const blobs = await getBlobsPerL1Block(blobFields);
380
852
  const blobInput = getPrefixedEthBlobCommitments(blobs);
381
853
  const args = [
382
854
  {
383
- header: block.getCheckpointHeader().toViem(),
384
- archive: toHex(block.archive.root.toBuffer()),
385
- stateReference: block.header.state.toViem(),
855
+ header: checkpoint.header.toViem(),
856
+ archive: toHex(checkpoint.archive.root.toBuffer()),
386
857
  oracleInput: {
387
- feeAssetPriceModifier: 0n
858
+ feeAssetPriceModifier: checkpoint.feeAssetPriceModifier
388
859
  }
389
860
  },
390
861
  attestationsAndSigners.getPackedAttestations(),
@@ -409,9 +880,38 @@ export class SequencerPublisher {
409
880
  }
410
881
  const round = await base.computeRound(slotNumber);
411
882
  const roundInfo = await base.getRoundInfo(this.rollupContract.address, round);
883
+ if (roundInfo.quorumReached) {
884
+ return false;
885
+ }
412
886
  if (roundInfo.lastSignalSlot >= slotNumber) {
413
887
  return false;
414
888
  }
889
+ if (await this.isPayloadEmpty(payload)) {
890
+ this.log.warn(`Skipping vote cast for payload with empty code`);
891
+ return false;
892
+ }
893
+ // Check if payload was already submitted to governance
894
+ const cacheKey = payload.toString();
895
+ if (!this.payloadProposedCache.has(cacheKey)) {
896
+ try {
897
+ const l1StartBlock = await this.rollupContract.getL1StartBlock();
898
+ const proposed = await retry(()=>base.hasPayloadBeenProposed(payload.toString(), l1StartBlock), 'Check if payload was proposed', makeBackoff([
899
+ 0,
900
+ 1,
901
+ 2
902
+ ]), this.log, true);
903
+ if (proposed) {
904
+ this.payloadProposedCache.add(cacheKey);
905
+ }
906
+ } catch (err) {
907
+ this.log.warn(`Failed to check if payload ${payload} was proposed after retries, skipping signal`, err);
908
+ return false;
909
+ }
910
+ }
911
+ if (this.payloadProposedCache.has(cacheKey)) {
912
+ this.log.info(`Payload ${payload} was already proposed to governance, stopping signals`);
913
+ return false;
914
+ }
415
915
  const cachedLastVote = this.lastActions[signalType];
416
916
  this.lastActions[signalType] = slotNumber;
417
917
  const action = signalType;
@@ -425,7 +925,10 @@ export class SequencerPublisher {
425
925
  try {
426
926
  await this.l1TxUtils.simulate(request, {
427
927
  time: timestamp
428
- }, [], ErrorsAbi);
928
+ }, [], mergeAbis([
929
+ request.abi ?? [],
930
+ ErrorsAbi
931
+ ]));
429
932
  this.log.debug(`Simulation for ${action} at slot ${slotNumber} succeeded`, {
430
933
  request
431
934
  });
@@ -450,17 +953,27 @@ export class SequencerPublisher {
450
953
  payload: payload.toString()
451
954
  };
452
955
  if (!success) {
453
- this.log.error(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} failed`, logData);
956
+ this.log.error(`Signaling in ${action} for ${payload} at slot ${slotNumber} in round ${round} failed`, logData);
454
957
  this.lastActions[signalType] = cachedLastVote;
455
958
  return false;
456
959
  } else {
457
- this.log.info(`Signaling in [${action}] for ${payload} at slot ${slotNumber} in round ${round} succeeded`, logData);
960
+ this.log.info(`Signaling in ${action} for ${payload} at slot ${slotNumber} in round ${round} succeeded`, logData);
458
961
  return true;
459
962
  }
460
963
  }
461
964
  });
462
965
  return true;
463
966
  }
967
+ async isPayloadEmpty(payload) {
968
+ const key = payload.toString();
969
+ const cached = this.isPayloadEmptyCache.get(key);
970
+ if (cached) {
971
+ return cached;
972
+ }
973
+ const isEmpty = !await this.l1TxUtils.getCode(payload);
974
+ this.isPayloadEmptyCache.set(key, isEmpty);
975
+ return isEmpty;
976
+ }
464
977
  /**
465
978
  * Enqueues a governance castSignal transaction to cast a signal for a given slot number.
466
979
  * @param slotNumber - The slot number to cast a signal for.
@@ -556,23 +1069,17 @@ export class SequencerPublisher {
556
1069
  }
557
1070
  return true;
558
1071
  }
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();
567
- const blobs = getBlobsPerL1Block(blobFields);
1072
+ /** Simulates and enqueues a proposal for a checkpoint on L1 */ async enqueueProposeCheckpoint(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts = {}) {
1073
+ const checkpointHeader = checkpoint.header;
1074
+ const blobFields = checkpoint.toBlobFields();
1075
+ const blobs = await getBlobsPerL1Block(blobFields);
568
1076
  const proposeTxArgs = {
569
1077
  header: checkpointHeader,
570
- archive: block.archive.root.toBuffer(),
571
- stateReference: block.header.state,
572
- body: block.body.toBuffer(),
1078
+ archive: checkpoint.archive.root.toBuffer(),
573
1079
  blobs,
574
1080
  attestationsAndSigners,
575
- attestationsAndSignersSignature
1081
+ attestationsAndSignersSignature,
1082
+ feeAssetPriceModifier: checkpoint.feeAssetPriceModifier
576
1083
  };
577
1084
  let ts;
578
1085
  try {
@@ -581,36 +1088,35 @@ export class SequencerPublisher {
581
1088
  // By simulation issue, I mean the fact that the block.timestamp is equal to the last block, not the next, which
582
1089
  // make time consistency checks break.
583
1090
  // 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);
1091
+ ts = await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
585
1092
  } 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
1093
+ this.log.error(`Checkpoint validation failed. ${err instanceof Error ? err.message : 'No error message'}`, err, {
1094
+ ...checkpoint.getStats(),
1095
+ slotNumber: checkpoint.header.slotNumber,
1096
+ forcePendingCheckpointNumber: opts.forcePendingCheckpointNumber
590
1097
  });
591
1098
  throw err;
592
1099
  }
593
- this.log.verbose(`Enqueuing block propose transaction`, {
594
- ...block.toBlockInfo(),
1100
+ this.log.verbose(`Enqueuing checkpoint propose transaction`, {
1101
+ ...checkpoint.toCheckpointInfo(),
595
1102
  ...opts
596
1103
  });
597
- await this.addProposeTx(block, proposeTxArgs, opts, ts);
598
- return true;
1104
+ await this.addProposeTx(checkpoint, proposeTxArgs, opts, ts);
599
1105
  }
600
- enqueueInvalidateBlock(request, opts = {}) {
1106
+ enqueueInvalidateCheckpoint(request, opts = {}) {
601
1107
  if (!request) {
602
1108
  return;
603
1109
  }
604
1110
  // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
605
1111
  const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(request.gasUsed) * 64 / 63)));
606
- const { gasUsed, blockNumber } = request;
1112
+ const { gasUsed, checkpointNumber } = request;
607
1113
  const logData = {
608
1114
  gasUsed,
609
- blockNumber,
1115
+ checkpointNumber,
610
1116
  gasLimit,
611
1117
  opts
612
1118
  };
613
- this.log.verbose(`Enqueuing invalidate block request`, logData);
1119
+ this.log.verbose(`Enqueuing invalidate checkpoint request`, logData);
614
1120
  this.addRequest({
615
1121
  action: `invalidate-by-${request.reason}`,
616
1122
  request: request.request,
@@ -618,16 +1124,16 @@ export class SequencerPublisher {
618
1124
  gasLimit,
619
1125
  txTimeoutAt: opts.txTimeoutAt
620
1126
  },
621
- lastValidL2Slot: this.getCurrentL2Slot() + 2n,
1127
+ lastValidL2Slot: SlotNumber(this.getCurrentL2Slot() + 2),
622
1128
  checkSuccess: (_req, result)=>{
623
- const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'BlockInvalidated');
1129
+ const success = result && result.receipt && result.receipt.status === 'success' && tryExtractEvent(result.receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointInvalidated');
624
1130
  if (!success) {
625
- this.log.warn(`Invalidate block ${request.blockNumber} failed`, {
1131
+ this.log.warn(`Invalidate checkpoint ${request.checkpointNumber} failed`, {
626
1132
  ...result,
627
1133
  ...logData
628
1134
  });
629
1135
  } else {
630
- this.log.info(`Invalidate block ${request.blockNumber} succeeded`, {
1136
+ this.log.info(`Invalidate checkpoint ${request.checkpointNumber} succeeded`, {
631
1137
  ...result,
632
1138
  ...logData
633
1139
  });
@@ -650,27 +1156,37 @@ export class SequencerPublisher {
650
1156
  this.lastActions[action] = slotNumber;
651
1157
  this.log.debug(`Simulating ${action} for slot ${slotNumber}`, logData);
652
1158
  let gasUsed;
1159
+ const simulateAbi = mergeAbis([
1160
+ request.abi ?? [],
1161
+ ErrorsAbi
1162
+ ]);
653
1163
  try {
654
1164
  ({ gasUsed } = await this.l1TxUtils.simulate(request, {
655
1165
  time: timestamp
656
- }, [], ErrorsAbi)); // TODO(palla/slash): Check the timestamp logic
1166
+ }, [], simulateAbi)); // TODO(palla/slash): Check the timestamp logic
657
1167
  this.log.verbose(`Simulation for ${action} succeeded`, {
658
1168
  ...logData,
659
1169
  request,
660
1170
  gasUsed
661
1171
  });
662
1172
  } catch (err) {
663
- const viemError = formatViemError(err);
1173
+ const viemError = formatViemError(err, simulateAbi);
664
1174
  this.log.error(`Simulation for ${action} at ${slotNumber} failed`, viemError, logData);
665
1175
  return false;
666
1176
  }
667
1177
  // We issued the simulation against the rollup contract, so we need to account for the overhead of the multicall3
668
1178
  const gasLimit = this.l1TxUtils.bumpGasLimit(BigInt(Math.ceil(Number(gasUsed) * 64 / 63)));
669
1179
  logData.gasLimit = gasLimit;
1180
+ // Store the ABI used for simulation on the request so Multicall3.forward can decode errors
1181
+ // when the tx is sent and a revert is diagnosed via simulation.
1182
+ const requestWithAbi = {
1183
+ ...request,
1184
+ abi: simulateAbi
1185
+ };
670
1186
  this.log.debug(`Enqueuing ${action}`, logData);
671
1187
  this.addRequest({
672
1188
  action,
673
- request,
1189
+ request: requestWithAbi,
674
1190
  gasConfig: {
675
1191
  gasLimit
676
1192
  },
@@ -713,34 +1229,42 @@ export class SequencerPublisher {
713
1229
  this.log.debug('Validating blob input', {
714
1230
  blobInput
715
1231
  });
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
1232
+ // Get blob evaluation gas
1233
+ let blobEvaluationGas;
1234
+ if (this.config.fishermanMode) {
1235
+ // In fisherman mode, we can't estimate blob gas because estimateGas doesn't support state overrides
1236
+ // Use a fixed estimate.
1237
+ blobEvaluationGas = BigInt(encodedData.blobs.length) * 21_000n;
1238
+ this.log.debug(`Using fixed blob evaluation gas estimate in fisherman mode: ${blobEvaluationGas}`);
1239
+ } else {
1240
+ // Normal mode - use estimateGas with blob inputs
1241
+ blobEvaluationGas = await this.l1TxUtils.estimateGas(this.getSenderAddress().toString(), {
1242
+ to: this.rollupContract.address,
1243
+ data: encodeFunctionData({
1244
+ abi: RollupAbi,
1245
+ functionName: 'validateBlobs',
1246
+ args: [
1247
+ blobInput
1248
+ ]
1249
+ })
1250
+ }, {}, {
1251
+ blobs: encodedData.blobs.map((b)=>b.data),
1252
+ kzg
1253
+ }).catch((err)=>{
1254
+ const { message, metaMessages } = formatViemError(err);
1255
+ this.log.error(`Failed to validate blobs`, message, {
1256
+ metaMessages
1257
+ });
1258
+ throw new Error('Failed to validate blobs');
732
1259
  });
733
- throw new Error('Failed to validate blobs');
734
- });
1260
+ }
735
1261
  const signers = encodedData.attestationsAndSigners.getSigners().map((signer)=>signer.toString());
736
1262
  const args = [
737
1263
  {
738
1264
  header: encodedData.header.toViem(),
739
1265
  archive: toHex(encodedData.archive),
740
- stateReference: encodedData.stateReference.toViem(),
741
1266
  oracleInput: {
742
- // We are currently not modifying these. See #9963
743
- feeAssetPriceModifier: 0n
1267
+ feeAssetPriceModifier: encodedData.feeAssetPriceModifier
744
1268
  }
745
1269
  },
746
1270
  encodedData.attestationsAndSigners.getPackedAttestations(),
@@ -767,18 +1291,9 @@ export class SequencerPublisher {
767
1291
  functionName: 'propose',
768
1292
  args
769
1293
  });
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
- }, [
1294
+ // override the pending checkpoint number if requested
1295
+ const forcePendingCheckpointNumberStateDiff = (options.forcePendingCheckpointNumber !== undefined ? await this.rollupContract.makePendingCheckpointNumberOverride(options.forcePendingCheckpointNumber) : []).flatMap((override)=>override.stateDiff ?? []);
1296
+ const stateOverrides = [
782
1297
  {
783
1298
  address: this.rollupContract.address,
784
1299
  // @note we override checkBlob to false since blobs are not part simulate()
@@ -787,14 +1302,44 @@ export class SequencerPublisher {
787
1302
  slot: toPaddedHex(RollupContract.checkBlobStorageSlot, true),
788
1303
  value: toPaddedHex(0n, true)
789
1304
  },
790
- ...forcePendingBlockNumberStateDiff
1305
+ ...forcePendingCheckpointNumberStateDiff
791
1306
  ]
792
1307
  }
793
- ], RollupAbi, {
1308
+ ];
1309
+ // In fisherman mode, simulate as the proposer but with sufficient balance
1310
+ if (this.proposerAddressForSimulation) {
1311
+ stateOverrides.push({
1312
+ address: this.proposerAddressForSimulation.toString(),
1313
+ balance: 10n * WEI_CONST * WEI_CONST
1314
+ });
1315
+ }
1316
+ const simulationResult = await this.l1TxUtils.simulate({
1317
+ to: this.rollupContract.address,
1318
+ data: rollupData,
1319
+ gas: MAX_L1_TX_LIMIT,
1320
+ ...this.proposerAddressForSimulation && {
1321
+ from: this.proposerAddressForSimulation.toString()
1322
+ }
1323
+ }, {
1324
+ // @note we add 1n to the timestamp because geth implementation doesn't like simulation timestamp to be equal to the current block timestamp
1325
+ time: timestamp + 1n,
1326
+ // @note reth should have a 30m gas limit per block but throws errors that this tx is beyond limit so we increase here
1327
+ gasLimit: MAX_L1_TX_LIMIT * 2n
1328
+ }, stateOverrides, RollupAbi, {
794
1329
  // @note fallback gas estimate to use if the node doesn't support simulation API
795
- fallbackGasEstimate: SequencerPublisher.PROPOSE_GAS_GUESS
1330
+ fallbackGasEstimate: MAX_L1_TX_LIMIT
796
1331
  }).catch((err)=>{
797
- this.log.error(`Failed to simulate propose tx`, err);
1332
+ // In fisherman mode, we expect ValidatorSelection__MissingProposerSignature since fisherman doesn't have proposer signature
1333
+ const viemError = formatViemError(err);
1334
+ if (this.config.fishermanMode && viemError.message?.includes('ValidatorSelection__MissingProposerSignature')) {
1335
+ this.log.debug(`Ignoring expected ValidatorSelection__MissingProposerSignature error in fisherman mode`);
1336
+ // Return a minimal simulation result with the fallback gas estimate
1337
+ return {
1338
+ gasUsed: MAX_L1_TX_LIMIT,
1339
+ logs: []
1340
+ };
1341
+ }
1342
+ this.log.error(`Failed to simulate propose tx`, viemError);
798
1343
  throw err;
799
1344
  });
800
1345
  return {
@@ -802,24 +1347,25 @@ export class SequencerPublisher {
802
1347
  simulationResult
803
1348
  };
804
1349
  }
805
- async addProposeTx(block, encodedData, opts = {}, timestamp) {
1350
+ async addProposeTx(checkpoint, encodedData, opts = {}, timestamp) {
1351
+ const slot = checkpoint.header.slotNumber;
806
1352
  const timer = new Timer();
807
1353
  const kzg = Blob.getViemKzgInstance();
808
1354
  const { rollupData, simulationResult, blobEvaluationGas } = await this.prepareProposeTx(encodedData, timestamp, opts);
809
1355
  const startBlock = await this.l1TxUtils.getBlockNumber();
810
1356
  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
- });
1357
+ // Send the blobs to the blob client preemptively. This helps in tests where the sequencer mistakingly thinks that the propose
1358
+ // tx fails but it does get mined. We make sure that the blobs are sent to the blob client regardless of the tx outcome.
1359
+ void Promise.resolve().then(()=>this.blobClient.sendBlobsToFilestore(encodedData.blobs).catch((_err)=>{
1360
+ this.log.error('Failed to send blobs to blob client');
1361
+ }));
816
1362
  return this.addRequest({
817
1363
  action: 'propose',
818
1364
  request: {
819
1365
  to: this.rollupContract.address,
820
1366
  data: rollupData
821
1367
  },
822
- lastValidL2Slot: block.header.globalVariables.slotNumber.toBigInt(),
1368
+ lastValidL2Slot: checkpoint.header.slotNumber,
823
1369
  gasConfig: {
824
1370
  ...opts,
825
1371
  gasLimit
@@ -833,7 +1379,7 @@ export class SequencerPublisher {
833
1379
  return false;
834
1380
  }
835
1381
  const { receipt, stats, errorMsg } = result;
836
- const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'L2BlockProposed');
1382
+ const success = receipt && receipt.status === 'success' && tryExtractEvent(receipt.logs, this.rollupContract.address, RollupAbi, 'CheckpointProposed');
837
1383
  if (success) {
838
1384
  const endBlock = receipt.blockNumber;
839
1385
  const inclusionBlocks = Number(endBlock - startBlock);
@@ -847,25 +1393,23 @@ export class SequencerPublisher {
847
1393
  calldataGas,
848
1394
  calldataSize,
849
1395
  sender,
850
- ...block.getStats(),
1396
+ ...checkpoint.getStats(),
851
1397
  eventName: 'rollup-published-to-l1',
852
1398
  blobCount: encodedData.blobs.length,
853
1399
  inclusionBlocks
854
1400
  };
855
- this.log.info(`Published L2 block to L1 rollup contract`, {
1401
+ this.log.info(`Published checkpoint ${checkpoint.number} at slot ${slot} to rollup contract`, {
856
1402
  ...stats,
857
- ...block.getStats(),
858
- ...receipt
1403
+ ...checkpoint.getStats(),
1404
+ ...pick(receipt, 'transactionHash', 'blockHash')
859
1405
  });
860
1406
  this.metrics.recordProcessBlockTx(timer.ms(), publishStats);
861
1407
  return true;
862
1408
  } else {
863
1409
  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()
1410
+ this.log.error(`Publishing checkpoint at slot ${slot} failed with ${errorMsg ?? 'no error message'}`, undefined, {
1411
+ ...checkpoint.getStats(),
1412
+ ...receipt
869
1413
  });
870
1414
  return false;
871
1415
  }