@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.
- package/dest/client/index.d.ts +1 -1
- package/dest/client/sequencer-client.d.ts +12 -12
- package/dest/client/sequencer-client.d.ts.map +1 -1
- package/dest/client/sequencer-client.js +33 -25
- package/dest/config.d.ts +12 -5
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +80 -28
- package/dest/global_variable_builder/global_builder.d.ts +22 -16
- package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
- package/dest/global_variable_builder/global_builder.js +52 -39
- package/dest/global_variable_builder/index.d.ts +1 -1
- package/dest/index.d.ts +2 -3
- package/dest/index.d.ts.map +1 -1
- package/dest/index.js +1 -2
- package/dest/publisher/config.d.ts +9 -4
- package/dest/publisher/config.d.ts.map +1 -1
- package/dest/publisher/config.js +14 -3
- package/dest/publisher/index.d.ts +1 -1
- package/dest/publisher/sequencer-publisher-factory.d.ts +5 -4
- package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher-factory.js +1 -1
- package/dest/publisher/sequencer-publisher-metrics.d.ts +3 -3
- package/dest/publisher/sequencer-publisher-metrics.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher-metrics.js +23 -86
- package/dest/publisher/sequencer-publisher.d.ts +75 -62
- package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher.js +694 -170
- package/dest/sequencer/checkpoint_proposal_job.d.ts +102 -0
- package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -0
- package/dest/sequencer/checkpoint_proposal_job.js +1191 -0
- package/dest/sequencer/checkpoint_voter.d.ts +35 -0
- package/dest/sequencer/checkpoint_voter.d.ts.map +1 -0
- package/dest/sequencer/checkpoint_voter.js +109 -0
- package/dest/sequencer/config.d.ts +3 -2
- package/dest/sequencer/config.d.ts.map +1 -1
- package/dest/sequencer/errors.d.ts +1 -1
- package/dest/sequencer/errors.d.ts.map +1 -1
- package/dest/sequencer/events.d.ts +46 -0
- package/dest/sequencer/events.d.ts.map +1 -0
- package/dest/sequencer/events.js +1 -0
- package/dest/sequencer/index.d.ts +4 -2
- package/dest/sequencer/index.d.ts.map +1 -1
- package/dest/sequencer/index.js +3 -1
- package/dest/sequencer/metrics.d.ts +32 -3
- package/dest/sequencer/metrics.d.ts.map +1 -1
- package/dest/sequencer/metrics.js +165 -54
- package/dest/sequencer/sequencer.d.ts +112 -142
- package/dest/sequencer/sequencer.d.ts.map +1 -1
- package/dest/sequencer/sequencer.js +721 -505
- package/dest/sequencer/timetable.d.ts +54 -14
- package/dest/sequencer/timetable.d.ts.map +1 -1
- package/dest/sequencer/timetable.js +148 -59
- package/dest/sequencer/types.d.ts +3 -0
- package/dest/sequencer/types.d.ts.map +1 -0
- package/dest/sequencer/types.js +1 -0
- package/dest/sequencer/utils.d.ts +14 -8
- package/dest/sequencer/utils.d.ts.map +1 -1
- package/dest/sequencer/utils.js +7 -4
- package/dest/test/index.d.ts +4 -3
- package/dest/test/index.d.ts.map +1 -1
- package/dest/test/mock_checkpoint_builder.d.ts +95 -0
- package/dest/test/mock_checkpoint_builder.d.ts.map +1 -0
- package/dest/test/mock_checkpoint_builder.js +220 -0
- package/dest/test/utils.d.ts +53 -0
- package/dest/test/utils.d.ts.map +1 -0
- package/dest/test/utils.js +103 -0
- package/package.json +33 -30
- package/src/client/sequencer-client.ts +31 -42
- package/src/config.ts +86 -32
- package/src/global_variable_builder/global_builder.ts +67 -59
- package/src/index.ts +1 -7
- package/src/publisher/config.ts +20 -9
- package/src/publisher/sequencer-publisher-factory.ts +7 -5
- package/src/publisher/sequencer-publisher-metrics.ts +19 -71
- package/src/publisher/sequencer-publisher.ts +411 -217
- package/src/sequencer/README.md +531 -0
- package/src/sequencer/checkpoint_proposal_job.ts +877 -0
- package/src/sequencer/checkpoint_voter.ts +130 -0
- package/src/sequencer/config.ts +2 -1
- package/src/sequencer/events.ts +27 -0
- package/src/sequencer/index.ts +3 -1
- package/src/sequencer/metrics.ts +222 -61
- package/src/sequencer/sequencer.ts +472 -697
- package/src/sequencer/timetable.ts +173 -79
- package/src/sequencer/types.ts +6 -0
- package/src/sequencer/utils.ts +18 -9
- package/src/test/index.ts +3 -2
- package/src/test/mock_checkpoint_builder.ts +309 -0
- package/src/test/utils.ts +164 -0
- package/dest/sequencer/block_builder.d.ts +0 -27
- package/dest/sequencer/block_builder.d.ts.map +0 -1
- package/dest/sequencer/block_builder.js +0 -130
- package/dest/tx_validator/nullifier_cache.d.ts +0 -14
- package/dest/tx_validator/nullifier_cache.d.ts.map +0 -1
- package/dest/tx_validator/nullifier_cache.js +0 -24
- package/dest/tx_validator/tx_validator_factory.d.ts +0 -17
- package/dest/tx_validator/tx_validator_factory.d.ts.map +0 -1
- package/dest/tx_validator/tx_validator_factory.js +0 -53
- package/src/sequencer/block_builder.ts +0 -218
- package/src/tx_validator/nullifier_cache.ts +0 -30
- 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 {
|
|
3
|
-
import {
|
|
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 {
|
|
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
|
-
|
|
41
|
-
|
|
42
|
-
|
|
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.
|
|
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
|
-
|
|
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,
|
|
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.
|
|
713
|
+
header.blobsHash.toString(),
|
|
242
714
|
flags
|
|
243
715
|
];
|
|
244
716
|
const ts = BigInt((await this.l1TxUtils.getBlock()).timestamp + this.ethereumSlotDuration);
|
|
245
|
-
|
|
246
|
-
|
|
247
|
-
this.
|
|
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
|
|
269
|
-
* @param
|
|
270
|
-
*/ async
|
|
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,
|
|
275
|
-
const
|
|
750
|
+
const { reason, checkpoint } = validationResult;
|
|
751
|
+
const checkpointNumber = checkpoint.checkpointNumber;
|
|
276
752
|
const logData = {
|
|
277
|
-
...
|
|
753
|
+
...checkpoint,
|
|
278
754
|
reason
|
|
279
755
|
};
|
|
280
|
-
const
|
|
281
|
-
if (
|
|
282
|
-
this.log.verbose(`Skipping
|
|
283
|
-
|
|
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.
|
|
289
|
-
this.log.debug(`Simulating invalidate
|
|
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,
|
|
295
|
-
|
|
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
|
-
|
|
304
|
-
|
|
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
|
|
310
|
-
// we can safely ignore it and return undefined so we go ahead with
|
|
311
|
-
if (viemError.message?.includes('
|
|
312
|
-
this.log.verbose(`Simulation for invalidate
|
|
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
|
|
318
|
-
if (
|
|
319
|
-
this.log.verbose(`
|
|
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 ${
|
|
325
|
-
throw new Error(`Failed to simulate invalidate
|
|
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
|
|
331
|
-
this.log.error(`Simulation for invalidate
|
|
332
|
-
throw new Error(`Failed to simulate invalidate
|
|
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
|
-
|
|
816
|
+
buildInvalidateCheckpointRequest(validationResult) {
|
|
338
817
|
if (validationResult.valid) {
|
|
339
|
-
throw new Error('Cannot invalidate a valid
|
|
818
|
+
throw new Error('Cannot invalidate a valid checkpoint');
|
|
340
819
|
}
|
|
341
|
-
const {
|
|
820
|
+
const { checkpoint, committee, reason } = validationResult;
|
|
342
821
|
const logData = {
|
|
343
|
-
...
|
|
822
|
+
...checkpoint,
|
|
344
823
|
reason
|
|
345
824
|
};
|
|
346
|
-
this.log.debug(`
|
|
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(
|
|
828
|
+
return this.rollupContract.buildInvalidateBadAttestationRequest(checkpoint.checkpointNumber, attestationsAndSigners, committee, validationResult.invalidIndex);
|
|
350
829
|
} else if (reason === 'insufficient-attestations') {
|
|
351
|
-
return this.rollupContract.buildInvalidateInsufficientAttestationsRequest(
|
|
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
|
-
|
|
372
|
-
|
|
373
|
-
|
|
374
|
-
|
|
375
|
-
|
|
376
|
-
|
|
377
|
-
|
|
378
|
-
|
|
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:
|
|
384
|
-
archive: toHex(
|
|
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
|
-
}, [],
|
|
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
|
|
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
|
|
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
|
-
|
|
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:
|
|
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.
|
|
1070
|
+
ts = await this.validateCheckpointForSubmission(checkpoint, attestationsAndSigners, attestationsAndSignersSignature, opts);
|
|
585
1071
|
} catch (err) {
|
|
586
|
-
this.log.error(`
|
|
587
|
-
...
|
|
588
|
-
slotNumber:
|
|
589
|
-
|
|
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
|
|
594
|
-
...
|
|
1079
|
+
this.log.verbose(`Enqueuing checkpoint propose transaction`, {
|
|
1080
|
+
...checkpoint.toCheckpointInfo(),
|
|
595
1081
|
...opts
|
|
596
1082
|
});
|
|
597
|
-
await this.addProposeTx(
|
|
598
|
-
return true;
|
|
1083
|
+
await this.addProposeTx(checkpoint, proposeTxArgs, opts, ts);
|
|
599
1084
|
}
|
|
600
|
-
|
|
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,
|
|
1091
|
+
const { gasUsed, checkpointNumber } = request;
|
|
607
1092
|
const logData = {
|
|
608
1093
|
gasUsed,
|
|
609
|
-
|
|
1094
|
+
checkpointNumber,
|
|
610
1095
|
gasLimit,
|
|
611
1096
|
opts
|
|
612
1097
|
};
|
|
613
|
-
this.log.verbose(`Enqueuing invalidate
|
|
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() +
|
|
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, '
|
|
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
|
|
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
|
|
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
|
-
}, [],
|
|
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
|
-
|
|
717
|
-
|
|
718
|
-
|
|
719
|
-
|
|
720
|
-
|
|
721
|
-
|
|
722
|
-
|
|
723
|
-
|
|
724
|
-
|
|
725
|
-
|
|
726
|
-
|
|
727
|
-
|
|
728
|
-
|
|
729
|
-
|
|
730
|
-
|
|
731
|
-
|
|
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
|
-
|
|
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
|
|
771
|
-
const
|
|
772
|
-
const
|
|
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
|
-
...
|
|
1285
|
+
...forcePendingCheckpointNumberStateDiff
|
|
791
1286
|
]
|
|
792
1287
|
}
|
|
793
|
-
]
|
|
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:
|
|
1310
|
+
fallbackGasEstimate: MAX_L1_TX_LIMIT
|
|
796
1311
|
}).catch((err)=>{
|
|
797
|
-
|
|
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(
|
|
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
|
|
812
|
-
// tx fails but it does get mined. We make sure that the blobs are sent to the blob
|
|
813
|
-
void this.
|
|
814
|
-
|
|
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:
|
|
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, '
|
|
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
|
-
...
|
|
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
|
|
1381
|
+
this.log.info(`Published checkpoint ${checkpoint.number} at slot ${slot} to rollup contract`, {
|
|
856
1382
|
...stats,
|
|
857
|
-
...
|
|
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(`
|
|
865
|
-
...
|
|
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
|
}
|