@aztec/sequencer-client 0.0.1-commit.ef17749e1 → 0.0.1-commit.f103f88
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/sequencer-client.d.ts +6 -12
- package/dest/client/sequencer-client.d.ts.map +1 -1
- package/dest/client/sequencer-client.js +30 -80
- package/dest/config.d.ts +4 -3
- package/dest/config.d.ts.map +1 -1
- package/dest/config.js +17 -13
- package/dest/global_variable_builder/fee_predictor.d.ts +37 -0
- package/dest/global_variable_builder/fee_predictor.d.ts.map +1 -0
- package/dest/global_variable_builder/fee_predictor.js +128 -0
- package/dest/global_variable_builder/fee_provider.d.ts +21 -0
- package/dest/global_variable_builder/fee_provider.d.ts.map +1 -0
- package/dest/global_variable_builder/fee_provider.js +58 -0
- package/dest/global_variable_builder/global_builder.d.ts +15 -14
- package/dest/global_variable_builder/global_builder.d.ts.map +1 -1
- package/dest/global_variable_builder/global_builder.js +16 -50
- package/dest/global_variable_builder/index.d.ts +4 -2
- package/dest/global_variable_builder/index.d.ts.map +1 -1
- package/dest/global_variable_builder/index.js +2 -0
- package/dest/publisher/config.d.ts +13 -1
- package/dest/publisher/config.d.ts.map +1 -1
- package/dest/publisher/config.js +19 -4
- package/dest/publisher/l1_tx_failed_store/failed_tx_store.d.ts +3 -4
- package/dest/publisher/l1_tx_failed_store/failed_tx_store.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher-factory.d.ts +3 -5
- package/dest/publisher/sequencer-publisher-factory.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher-factory.js +2 -3
- package/dest/publisher/sequencer-publisher.d.ts +51 -43
- package/dest/publisher/sequencer-publisher.d.ts.map +1 -1
- package/dest/publisher/sequencer-publisher.js +135 -111
- package/dest/sequencer/chain_state_overrides.d.ts +25 -0
- package/dest/sequencer/chain_state_overrides.d.ts.map +1 -0
- package/dest/sequencer/chain_state_overrides.js +39 -0
- package/dest/sequencer/checkpoint_proposal_job.d.ts +26 -7
- package/dest/sequencer/checkpoint_proposal_job.d.ts.map +1 -1
- package/dest/sequencer/checkpoint_proposal_job.js +296 -185
- package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts +34 -0
- package/dest/sequencer/checkpoint_proposal_job_metrics.d.ts.map +1 -0
- package/dest/sequencer/checkpoint_proposal_job_metrics.js +72 -0
- package/dest/sequencer/checkpoint_voter.d.ts +1 -2
- package/dest/sequencer/checkpoint_voter.d.ts.map +1 -1
- package/dest/sequencer/checkpoint_voter.js +2 -5
- package/dest/sequencer/events.d.ts +2 -1
- package/dest/sequencer/events.d.ts.map +1 -1
- package/dest/sequencer/metrics.d.ts +9 -10
- package/dest/sequencer/metrics.d.ts.map +1 -1
- package/dest/sequencer/metrics.js +23 -20
- package/dest/sequencer/sequencer.d.ts +22 -7
- package/dest/sequencer/sequencer.d.ts.map +1 -1
- package/dest/sequencer/sequencer.js +136 -73
- package/dest/sequencer/timetable.d.ts +14 -1
- package/dest/sequencer/timetable.d.ts.map +1 -1
- package/dest/sequencer/timetable.js +45 -36
- package/dest/sequencer/types.d.ts +2 -5
- package/dest/sequencer/types.d.ts.map +1 -1
- package/dest/test/mock_checkpoint_builder.d.ts +4 -4
- package/dest/test/mock_checkpoint_builder.d.ts.map +1 -1
- package/package.json +27 -28
- package/src/client/sequencer-client.ts +42 -108
- package/src/config.ts +20 -12
- package/src/global_variable_builder/README.md +44 -0
- package/src/global_variable_builder/fee_predictor.ts +172 -0
- package/src/global_variable_builder/fee_provider.ts +75 -0
- package/src/global_variable_builder/global_builder.ts +26 -62
- package/src/global_variable_builder/index.ts +3 -1
- package/src/publisher/config.ts +38 -4
- package/src/publisher/l1_tx_failed_store/failed_tx_store.ts +3 -1
- package/src/publisher/sequencer-publisher-factory.ts +3 -6
- package/src/publisher/sequencer-publisher.ts +202 -158
- package/src/sequencer/README.md +83 -13
- package/src/sequencer/chain_state_overrides.ts +87 -0
- package/src/sequencer/checkpoint_proposal_job.ts +383 -206
- package/src/sequencer/checkpoint_proposal_job_metrics.ts +128 -0
- package/src/sequencer/checkpoint_voter.ts +1 -12
- package/src/sequencer/events.ts +1 -1
- package/src/sequencer/metrics.ts +29 -25
- package/src/sequencer/sequencer.ts +197 -80
- package/src/sequencer/timetable.ts +57 -45
- package/src/sequencer/types.ts +2 -5
- package/src/test/mock_checkpoint_builder.ts +3 -3
|
@@ -446,14 +446,15 @@ import { Timer } from '@aztec/foundation/timer';
|
|
|
446
446
|
import { isErrorClass, unfreeze } from '@aztec/foundation/types';
|
|
447
447
|
import { CommitteeAttestationsAndSigners, MaliciousCommitteeAttestationsAndSigners } from '@aztec/stdlib/block';
|
|
448
448
|
import { validateCheckpoint } from '@aztec/stdlib/checkpoint';
|
|
449
|
-
import { getSlotStartBuildTimestamp } from '@aztec/stdlib/epoch-helpers';
|
|
449
|
+
import { computeQuorum, getSlotStartBuildTimestamp, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
|
|
450
450
|
import { Gas } from '@aztec/stdlib/gas';
|
|
451
|
-
import {
|
|
451
|
+
import { InsufficientValidTxsError } from '@aztec/stdlib/interfaces/server';
|
|
452
452
|
import { computeInHashFromL1ToL2Messages } from '@aztec/stdlib/messaging';
|
|
453
453
|
import { orderAttestations, trimAttestations } from '@aztec/stdlib/p2p';
|
|
454
454
|
import { AttestationTimeoutError } from '@aztec/stdlib/validators';
|
|
455
455
|
import { Attributes, trackSpan } from '@aztec/telemetry-client';
|
|
456
456
|
import { DutyAlreadySignedError, SlashingProtectionError } from '@aztec/validator-ha-signer/errors';
|
|
457
|
+
import { buildPipelinedParentSimulationOverridesPlan, buildSubmissionSimulationOverridesPlan } from './chain_state_overrides.js';
|
|
457
458
|
import { CheckpointVoter } from './checkpoint_voter.js';
|
|
458
459
|
import { SequencerInterruptedError } from './errors.js';
|
|
459
460
|
import { SequencerState } from './utils.js';
|
|
@@ -462,7 +463,7 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
462
463
|
return {
|
|
463
464
|
// nullish operator needed for tests
|
|
464
465
|
[Attributes.COINBASE]: this.validatorClient.getCoinbaseForAttestor(this.attestorAddress)?.toString(),
|
|
465
|
-
[Attributes.SLOT_NUMBER]: this.
|
|
466
|
+
[Attributes.SLOT_NUMBER]: this.targetSlot
|
|
466
467
|
};
|
|
467
468
|
}), _dec2 = trackSpan('CheckpointProposalJob.buildBlocksForCheckpoint'), _dec3 = trackSpan('CheckpointProposalJob.waitUntilNextSubslot'), _dec4 = trackSpan('CheckpointProposalJob.buildSingleBlock'), _dec5 = trackSpan('CheckpointProposalJob.waitForMinTxs'), _dec6 = trackSpan('CheckpointProposalJob.waitForAttestations'), _dec7 = trackSpan('CheckpointProposalJob.waitUntilTimeInSlot');
|
|
468
469
|
/**
|
|
@@ -471,8 +472,9 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
471
472
|
* as well as enqueueing votes for slashing and governance proposals. This class is created from
|
|
472
473
|
* the Sequencer once the check for being the proposer for the slot has succeeded.
|
|
473
474
|
*/ export class CheckpointProposalJob {
|
|
474
|
-
|
|
475
|
-
|
|
475
|
+
slotNow;
|
|
476
|
+
targetSlot;
|
|
477
|
+
targetEpoch;
|
|
476
478
|
checkpointNumber;
|
|
477
479
|
syncedToBlockNumber;
|
|
478
480
|
proposer;
|
|
@@ -494,9 +496,11 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
494
496
|
epochCache;
|
|
495
497
|
dateProvider;
|
|
496
498
|
metrics;
|
|
499
|
+
checkpointMetrics;
|
|
497
500
|
eventEmitter;
|
|
498
501
|
setStateFn;
|
|
499
502
|
tracer;
|
|
503
|
+
proposedCheckpointData;
|
|
500
504
|
static{
|
|
501
505
|
({ e: [_initProto] } = _apply_decs_2203_r(this, [
|
|
502
506
|
[
|
|
@@ -542,10 +546,13 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
542
546
|
], []));
|
|
543
547
|
}
|
|
544
548
|
log;
|
|
545
|
-
|
|
546
|
-
|
|
547
|
-
|
|
548
|
-
|
|
549
|
+
/** Tracks the fire-and-forget L1 submission promise so it can be awaited during shutdown. */ pendingL1Submission;
|
|
550
|
+
/** Pipelined parent chain state used while building and later submitting this checkpoint. */ pipelinedParentSimulationOverridesPlan;
|
|
551
|
+
constructor(slotNow, targetSlot, targetEpoch, checkpointNumber, syncedToBlockNumber, // TODO(palla/mbps): Can we remove the proposer in favor of attestorAddress? Need to check fisherman-node flows.
|
|
552
|
+
proposer, publisher, attestorAddress, invalidateCheckpoint, validatorClient, globalsBuilder, p2pClient, worldState, l1ToL2MessageSource, l2BlockSource, checkpointsBuilder, blockSink, l1Constants, config, timetable, slasherClient, epochCache, dateProvider, metrics, checkpointMetrics, eventEmitter, setStateFn, tracer, bindings, proposedCheckpointData){
|
|
553
|
+
this.slotNow = slotNow;
|
|
554
|
+
this.targetSlot = targetSlot;
|
|
555
|
+
this.targetEpoch = targetEpoch;
|
|
549
556
|
this.checkpointNumber = checkpointNumber;
|
|
550
557
|
this.syncedToBlockNumber = syncedToBlockNumber;
|
|
551
558
|
this.proposer = proposer;
|
|
@@ -567,53 +574,142 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
567
574
|
this.epochCache = epochCache;
|
|
568
575
|
this.dateProvider = dateProvider;
|
|
569
576
|
this.metrics = metrics;
|
|
577
|
+
this.checkpointMetrics = checkpointMetrics;
|
|
570
578
|
this.eventEmitter = eventEmitter;
|
|
571
579
|
this.setStateFn = setStateFn;
|
|
572
580
|
this.tracer = tracer;
|
|
581
|
+
this.proposedCheckpointData = proposedCheckpointData;
|
|
573
582
|
_initProto(this);
|
|
574
583
|
this.log = createLogger('sequencer:checkpoint-proposal', {
|
|
575
584
|
...bindings,
|
|
576
|
-
instanceId: `slot-${
|
|
585
|
+
instanceId: `slot-${this.slotNow}`
|
|
577
586
|
});
|
|
578
587
|
}
|
|
588
|
+
/** Awaits the pending L1 submission if one is in progress. Call during shutdown. */ async awaitPendingSubmission() {
|
|
589
|
+
this.log.info('Awaiting pending L1 payload submission');
|
|
590
|
+
await this.pendingL1Submission;
|
|
591
|
+
}
|
|
579
592
|
/**
|
|
580
593
|
* Executes the checkpoint proposal job.
|
|
581
|
-
*
|
|
594
|
+
* Builds blocks, assembles checkpoint, and broadcasts the proposal (blocking).
|
|
595
|
+
* Attestation collection, signing, and L1 submission are backgrounded so the
|
|
596
|
+
* work loop can return to IDLE immediately for consecutive slot proposals.
|
|
597
|
+
* Returns the built checkpoint if successful, undefined otherwise.
|
|
582
598
|
*/ async execute() {
|
|
583
599
|
// Enqueue governance and slashing votes (returns promises that will be awaited later)
|
|
584
600
|
// In fisherman mode, we simulate slashing but don't actually publish to L1
|
|
585
601
|
// These are constant for the whole slot, so we only enqueue them once
|
|
586
|
-
const votesPromises = new CheckpointVoter(this.
|
|
587
|
-
// Build
|
|
588
|
-
|
|
589
|
-
|
|
590
|
-
|
|
591
|
-
|
|
592
|
-
|
|
602
|
+
const votesPromises = new CheckpointVoter(this.targetSlot, this.publisher, this.attestorAddress, this.validatorClient, this.slasherClient, this.l1Constants, this.config, this.metrics, this.log).enqueueVotes();
|
|
603
|
+
// Build blocks, assemble checkpoint, and broadcast proposal (BLOCKING).
|
|
604
|
+
// Returns after broadcast — attestation collection is deferred.
|
|
605
|
+
const broadcast = await this.proposeCheckpoint();
|
|
606
|
+
if (!broadcast) {
|
|
607
|
+
await Promise.all(votesPromises);
|
|
608
|
+
// Still submit votes even without a checkpoint
|
|
609
|
+
if (!this.config.fishermanMode) {
|
|
610
|
+
this.pendingL1Submission = this.publisher.sendRequestsAt(this.dateProvider.nowAsDate()).then(()=>{});
|
|
611
|
+
}
|
|
612
|
+
return undefined;
|
|
593
613
|
}
|
|
614
|
+
const { checkpoint } = broadcast;
|
|
615
|
+
this.metrics.recordCheckpointProposalSuccess();
|
|
594
616
|
// Do not post anything to L1 if we are fishermen, but do perform L1 fee analysis
|
|
595
617
|
if (this.config.fishermanMode) {
|
|
596
618
|
await this.handleCheckpointEndAsFisherman(checkpoint);
|
|
597
|
-
return;
|
|
619
|
+
return checkpoint;
|
|
598
620
|
}
|
|
599
|
-
//
|
|
600
|
-
|
|
601
|
-
|
|
602
|
-
|
|
603
|
-
|
|
604
|
-
|
|
605
|
-
|
|
621
|
+
// Background the attestation → signing → L1 pipeline so the work loop is unblocked
|
|
622
|
+
this.pendingL1Submission = this.waitForAttestationsAndEnqueueSubmissionAsync(broadcast, votesPromises);
|
|
623
|
+
// Return the built checkpoint immediately — the work loop is now unblocked
|
|
624
|
+
return checkpoint;
|
|
625
|
+
}
|
|
626
|
+
/**
|
|
627
|
+
* Background pipeline: collects attestations, signs them, enqueues the checkpoint, and submits to L1.
|
|
628
|
+
* Runs as a fire-and-forget task stored in `pendingL1Submission` so the work loop is unblocked.
|
|
629
|
+
*/ async waitForAttestationsAndEnqueueSubmissionAsync(broadcast, votesPromises) {
|
|
630
|
+
const { checkpoint, proposal, blockProposedAt } = broadcast;
|
|
631
|
+
try {
|
|
632
|
+
await Promise.all(votesPromises);
|
|
633
|
+
this.setStateFn(SequencerState.COLLECTING_ATTESTATIONS, this.targetSlot);
|
|
634
|
+
const attestations = await this.waitForAttestations(proposal);
|
|
635
|
+
this.checkpointMetrics.recordCheckpointAttestationDelay(this.dateProvider.now() - blockProposedAt);
|
|
636
|
+
// Proposer must sign over the attestations before pushing them to L1
|
|
637
|
+
const signer = this.proposer ?? this.publisher.getSenderAddress();
|
|
638
|
+
let attestationsSignature;
|
|
639
|
+
try {
|
|
640
|
+
attestationsSignature = await this.validatorClient.signAttestationsAndSigners(attestations, signer, this.targetSlot, this.checkpointNumber);
|
|
641
|
+
} catch (err) {
|
|
642
|
+
if (this.handleHASigningError(err, 'Attestations signature')) {
|
|
643
|
+
return;
|
|
644
|
+
}
|
|
645
|
+
throw err;
|
|
646
|
+
}
|
|
647
|
+
// Enqueue the checkpoint for L1 submission
|
|
648
|
+
await this.enqueueCheckpointForSubmission({
|
|
649
|
+
checkpoint,
|
|
650
|
+
attestations,
|
|
651
|
+
attestationsSignature
|
|
606
652
|
});
|
|
607
|
-
|
|
608
|
-
|
|
609
|
-
|
|
610
|
-
|
|
653
|
+
// Compute the earliest time to submit: pipeline slot start when pipelining, now otherwise.
|
|
654
|
+
const submitAfter = this.epochCache.isProposerPipeliningEnabled() ? new Date(Number(getTimestampForSlot(this.targetSlot, this.l1Constants)) * 1000) : new Date(this.dateProvider.now());
|
|
655
|
+
const l1Response = await this.publisher.sendRequestsAt(submitAfter);
|
|
656
|
+
const proposedAction = l1Response?.successfulActions.find((a)=>a === 'propose');
|
|
657
|
+
if (proposedAction) {
|
|
658
|
+
this.eventEmitter.emit('checkpoint-published', {
|
|
659
|
+
checkpoint: this.checkpointNumber,
|
|
660
|
+
slot: this.targetSlot
|
|
661
|
+
});
|
|
662
|
+
const coinbase = checkpoint.header.coinbase;
|
|
663
|
+
await this.metrics.incFilledSlot(this.publisher.getSenderAddress().toString(), coinbase);
|
|
664
|
+
} else {
|
|
665
|
+
this.eventEmitter.emit('checkpoint-publish-failed', {
|
|
666
|
+
...l1Response,
|
|
667
|
+
slot: this.targetSlot
|
|
668
|
+
});
|
|
669
|
+
if (this.epochCache.isProposerPipeliningEnabled()) {
|
|
670
|
+
this.metrics.recordPipelineDiscard();
|
|
671
|
+
}
|
|
672
|
+
}
|
|
673
|
+
} catch (err) {
|
|
674
|
+
if (err instanceof SequencerInterruptedError) {
|
|
675
|
+
return;
|
|
676
|
+
}
|
|
677
|
+
this.log.error(`Background attestation/L1 pipeline failed for slot ${this.targetSlot}`, err);
|
|
611
678
|
this.eventEmitter.emit('checkpoint-publish-failed', {
|
|
612
|
-
|
|
613
|
-
slot: this.slot
|
|
679
|
+
slot: this.targetSlot
|
|
614
680
|
});
|
|
615
|
-
|
|
681
|
+
if (this.epochCache.isProposerPipeliningEnabled()) {
|
|
682
|
+
this.metrics.recordPipelineDiscard();
|
|
683
|
+
}
|
|
684
|
+
}
|
|
685
|
+
}
|
|
686
|
+
/** Enqueues the checkpoint for L1 submission. Called after pipeline sleep in execute(). */ async enqueueCheckpointForSubmission(result) {
|
|
687
|
+
const { checkpoint, attestations, attestationsSignature } = result;
|
|
688
|
+
this.setStateFn(SequencerState.PUBLISHING_CHECKPOINT, this.targetSlot);
|
|
689
|
+
const aztecSlotDuration = this.l1Constants.slotDuration;
|
|
690
|
+
const submissionSlotStart = Number(getTimestampForSlot(this.targetSlot, this.l1Constants));
|
|
691
|
+
const txTimeoutAt = new Date((submissionSlotStart + aztecSlotDuration) * 1000);
|
|
692
|
+
// If we have been configured to potentially skip publishing checkpoint then roll the dice here
|
|
693
|
+
if (this.config.skipPublishingCheckpointsPercent !== undefined && this.config.skipPublishingCheckpointsPercent > 0) {
|
|
694
|
+
const roll = Math.max(0, randomInt(100));
|
|
695
|
+
if (roll < this.config.skipPublishingCheckpointsPercent) {
|
|
696
|
+
this.log.warn(`Skipping publishing proposal for checkpoint ${checkpoint.number}. Configured percentage: ${this.config.skipPublishingCheckpointsPercent}, generated value: ${roll}`);
|
|
697
|
+
return;
|
|
698
|
+
}
|
|
616
699
|
}
|
|
700
|
+
const isPipelining = this.epochCache.isProposerPipeliningEnabled();
|
|
701
|
+
const submissionSimulationOverridesPlan = buildSubmissionSimulationOverridesPlan({
|
|
702
|
+
pipelinedParentPlan: this.pipelinedParentSimulationOverridesPlan,
|
|
703
|
+
invalidateToPendingCheckpointNumber: this.invalidateCheckpoint?.forcePendingCheckpointNumber,
|
|
704
|
+
lastArchiveRoot: checkpoint.header.lastArchiveRoot,
|
|
705
|
+
pipeliningEnabled: isPipelining
|
|
706
|
+
});
|
|
707
|
+
await this.publisher.enqueueProposeCheckpoint(checkpoint, attestations, attestationsSignature, {
|
|
708
|
+
txTimeoutAt,
|
|
709
|
+
...submissionSimulationOverridesPlan ? {
|
|
710
|
+
simulationOverridesPlan: submissionSimulationOverridesPlan
|
|
711
|
+
} : {}
|
|
712
|
+
});
|
|
617
713
|
}
|
|
618
714
|
async proposeCheckpoint() {
|
|
619
715
|
try {
|
|
@@ -623,23 +719,48 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
623
719
|
hasError: false
|
|
624
720
|
};
|
|
625
721
|
try {
|
|
722
|
+
const now = this.dateProvider.now();
|
|
723
|
+
if (this.epochCache.isProposerPipeliningEnabled() && this.proposedCheckpointData) {
|
|
724
|
+
// Measure against the wall-clock slot whose build window we are currently using.
|
|
725
|
+
// In pipelining mode `targetSlot` is intentionally one slot ahead, which makes the
|
|
726
|
+
// target-slot boundary a full slot away from the actual build start time.
|
|
727
|
+
const slotBoundaryMs = Number(getTimestampForSlot(this.slotNow, this.l1Constants)) * 1000;
|
|
728
|
+
this.checkpointMetrics.recordPipelinedCheckpointBuildStartOffsetFromSlotBoundary(now - slotBoundaryMs);
|
|
729
|
+
}
|
|
730
|
+
this.checkpointMetrics.startCheckpointTiming(now);
|
|
626
731
|
// Get operator configured coinbase and fee recipient for this attestor
|
|
627
732
|
const coinbase = this.validatorClient.getCoinbaseForAttestor(this.attestorAddress);
|
|
628
733
|
const feeRecipient = this.validatorClient.getFeeRecipientForAttestor(this.attestorAddress);
|
|
629
734
|
// Start the checkpoint
|
|
630
|
-
this.setStateFn(SequencerState.INITIALIZING_CHECKPOINT, this.
|
|
631
|
-
this.
|
|
735
|
+
this.setStateFn(SequencerState.INITIALIZING_CHECKPOINT, this.targetSlot);
|
|
736
|
+
this.log.info(`Starting checkpoint proposal`, {
|
|
737
|
+
buildSlot: this.slotNow,
|
|
738
|
+
submissionSlot: this.targetSlot,
|
|
739
|
+
pipelining: this.epochCache.isProposerPipeliningEnabled(),
|
|
740
|
+
proposer: this.proposer?.toString(),
|
|
741
|
+
coinbase: coinbase.toString()
|
|
742
|
+
});
|
|
743
|
+
this.metrics.incOpenSlot(this.targetSlot, this.proposer?.toString() ?? 'unknown');
|
|
632
744
|
// Enqueues checkpoint invalidation (constant for the whole slot)
|
|
633
745
|
if (this.invalidateCheckpoint && !this.config.skipInvalidateBlockAsProposer) {
|
|
634
746
|
this.publisher.enqueueInvalidateCheckpoint(this.invalidateCheckpoint);
|
|
635
747
|
}
|
|
636
|
-
// Create checkpoint builder for the slot
|
|
637
|
-
|
|
748
|
+
// Create checkpoint builder for the slot.
|
|
749
|
+
// When pipelining, force the proposed checkpoint number and fee header to our parent so the
|
|
750
|
+
// fee computation sees the same chain tip that L1 will see once the previous pipelined checkpoint lands.
|
|
751
|
+
const isPipelining = this.epochCache.isProposerPipeliningEnabled();
|
|
752
|
+
this.pipelinedParentSimulationOverridesPlan = isPipelining ? await buildPipelinedParentSimulationOverridesPlan({
|
|
753
|
+
checkpointNumber: this.checkpointNumber,
|
|
754
|
+
proposedCheckpointData: this.proposedCheckpointData,
|
|
755
|
+
rollup: this.publisher.rollupContract,
|
|
756
|
+
log: this.log
|
|
757
|
+
}) : undefined;
|
|
758
|
+
const checkpointGlobalVariables = await this.globalsBuilder.buildCheckpointGlobalVariables(coinbase, feeRecipient, this.targetSlot, this.pipelinedParentSimulationOverridesPlan);
|
|
638
759
|
// Collect L1 to L2 messages for the checkpoint and compute their hash
|
|
639
760
|
const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(this.checkpointNumber);
|
|
640
761
|
const inHash = computeInHashFromL1ToL2Messages(l1ToL2Messages);
|
|
641
762
|
// Collect the out hashes of all the checkpoints before this one in the same epoch
|
|
642
|
-
const previousCheckpointOutHashes = (await this.l2BlockSource.getCheckpointsDataForEpoch(this.
|
|
763
|
+
const previousCheckpointOutHashes = (await this.l2BlockSource.getCheckpointsDataForEpoch(this.targetEpoch)).filter((c)=>c.checkpointNumber < this.checkpointNumber).map((c)=>c.checkpointOutHash);
|
|
643
764
|
// Get the fee asset price modifier from the oracle
|
|
644
765
|
const feeAssetPriceModifier = await this.publisher.getFeeAssetPriceModifier();
|
|
645
766
|
const fork = _ts_add_disposable_resource(env, await this.worldState.fork(this.syncedToBlockNumber, {
|
|
@@ -674,18 +795,18 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
674
795
|
throw err;
|
|
675
796
|
}
|
|
676
797
|
if (blocksInCheckpoint.length === 0) {
|
|
677
|
-
this.log.warn(`No blocks were built for slot ${this.
|
|
678
|
-
slot: this.
|
|
798
|
+
this.log.warn(`No blocks were built for slot ${this.targetSlot}`, {
|
|
799
|
+
slot: this.targetSlot
|
|
679
800
|
});
|
|
680
801
|
this.eventEmitter.emit('checkpoint-empty', {
|
|
681
|
-
slot: this.
|
|
802
|
+
slot: this.targetSlot
|
|
682
803
|
});
|
|
683
804
|
return undefined;
|
|
684
805
|
}
|
|
685
806
|
const minBlocksForCheckpoint = this.config.minBlocksForCheckpoint;
|
|
686
807
|
if (minBlocksForCheckpoint !== undefined && blocksInCheckpoint.length < minBlocksForCheckpoint) {
|
|
687
808
|
this.log.warn(`Checkpoint has fewer blocks than minimum (${blocksInCheckpoint.length} < ${minBlocksForCheckpoint}), skipping proposal`, {
|
|
688
|
-
slot: this.
|
|
809
|
+
slot: this.targetSlot,
|
|
689
810
|
blocksBuilt: blocksInCheckpoint.length,
|
|
690
811
|
minBlocksForCheckpoint
|
|
691
812
|
});
|
|
@@ -693,9 +814,10 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
693
814
|
}
|
|
694
815
|
// Assemble and broadcast the checkpoint proposal, including the last block that was not
|
|
695
816
|
// broadcasted yet, and wait to collect the committee attestations.
|
|
696
|
-
this.setStateFn(SequencerState.ASSEMBLING_CHECKPOINT, this.
|
|
817
|
+
this.setStateFn(SequencerState.ASSEMBLING_CHECKPOINT, this.targetSlot);
|
|
697
818
|
const checkpoint = await checkpointBuilder.completeCheckpoint();
|
|
698
|
-
// Final validation
|
|
819
|
+
// Final validation: per-block limits are only checked if the operator set them explicitly.
|
|
820
|
+
// Otherwise, checkpoint-level budgets were already enforced by the redistribution logic.
|
|
699
821
|
try {
|
|
700
822
|
validateCheckpoint(checkpoint, {
|
|
701
823
|
rollupManaLimit: this.l1Constants.rollupManaLimit,
|
|
@@ -705,68 +827,39 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
705
827
|
maxTxsPerCheckpoint: this.config.maxTxsPerCheckpoint
|
|
706
828
|
});
|
|
707
829
|
} catch (err) {
|
|
708
|
-
this.log.error(`Built an invalid checkpoint at slot ${this.
|
|
830
|
+
this.log.error(`Built an invalid checkpoint at slot ${this.slotNow} (skipping proposal)`, err, {
|
|
709
831
|
checkpoint: checkpoint.header.toInspect()
|
|
710
832
|
});
|
|
711
833
|
return undefined;
|
|
712
834
|
}
|
|
713
835
|
// Record checkpoint-level build metrics
|
|
714
|
-
this.
|
|
715
|
-
//
|
|
836
|
+
this.checkpointMetrics.recordCheckpointBuild(checkpointBuildTimer.ms(), blocksInCheckpoint.length, checkpoint.getStats().txCount, Number(checkpoint.header.totalManaUsed.toBigInt()));
|
|
837
|
+
// In fisherman mode, return the checkpoint without broadcasting or collecting attestations
|
|
716
838
|
if (this.config.fishermanMode) {
|
|
717
|
-
this.log.info(`Built checkpoint for slot ${this.
|
|
718
|
-
slot: this.
|
|
839
|
+
this.log.info(`Built checkpoint for slot ${this.targetSlot} with ${blocksInCheckpoint.length} blocks. ` + `Skipping proposal in fisherman mode.`, {
|
|
840
|
+
slot: this.targetSlot,
|
|
719
841
|
checkpoint: checkpoint.header.toInspect(),
|
|
720
842
|
blocksBuilt: blocksInCheckpoint.length
|
|
721
843
|
});
|
|
722
844
|
this.metrics.recordCheckpointSuccess();
|
|
723
|
-
|
|
845
|
+
// Return a broadcast result with a dummy proposal — fisherman mode skips attestation collection
|
|
846
|
+
return {
|
|
847
|
+
checkpoint,
|
|
848
|
+
proposal: undefined,
|
|
849
|
+
blockProposedAt: this.dateProvider.now()
|
|
850
|
+
};
|
|
724
851
|
}
|
|
725
|
-
// Include the block pending broadcast in the checkpoint proposal if any
|
|
726
|
-
const lastBlock = blockPendingBroadcast && {
|
|
727
|
-
blockHeader: blockPendingBroadcast.block.header,
|
|
728
|
-
indexWithinCheckpoint: blockPendingBroadcast.block.indexWithinCheckpoint,
|
|
729
|
-
txs: blockPendingBroadcast.txs
|
|
730
|
-
};
|
|
731
852
|
// Create the checkpoint proposal and broadcast it
|
|
732
|
-
const proposal = await this.validatorClient.createCheckpointProposal(checkpoint.header, checkpoint.archive.root, feeAssetPriceModifier,
|
|
853
|
+
const proposal = await this.validatorClient.createCheckpointProposal(checkpoint.header, checkpoint.archive.root, this.checkpointNumber, feeAssetPriceModifier, blockPendingBroadcast, this.proposer, checkpointProposalOptions);
|
|
733
854
|
const blockProposedAt = this.dateProvider.now();
|
|
734
855
|
await this.p2pClient.broadcastCheckpointProposal(proposal);
|
|
735
|
-
this.
|
|
736
|
-
|
|
737
|
-
|
|
738
|
-
|
|
739
|
-
|
|
740
|
-
|
|
741
|
-
|
|
742
|
-
try {
|
|
743
|
-
attestationsSignature = await this.validatorClient.signAttestationsAndSigners(attestations, signer, this.slot, this.checkpointNumber);
|
|
744
|
-
} catch (err) {
|
|
745
|
-
// We shouldn't really get here since we yield to another HA node
|
|
746
|
-
// as soon as we see these errors when creating block or checkpoint proposals.
|
|
747
|
-
if (this.handleHASigningError(err, 'Attestations signature')) {
|
|
748
|
-
return undefined;
|
|
749
|
-
}
|
|
750
|
-
throw err;
|
|
751
|
-
}
|
|
752
|
-
// Enqueue publishing the checkpoint to L1
|
|
753
|
-
this.setStateFn(SequencerState.PUBLISHING_CHECKPOINT, this.slot);
|
|
754
|
-
const aztecSlotDuration = this.l1Constants.slotDuration;
|
|
755
|
-
const slotStartBuildTimestamp = this.getSlotStartBuildTimestamp();
|
|
756
|
-
const txTimeoutAt = new Date((slotStartBuildTimestamp + aztecSlotDuration) * 1000);
|
|
757
|
-
// If we have been configured to potentially skip publishing checkpoint then roll the dice here
|
|
758
|
-
if (this.config.skipPublishingCheckpointsPercent !== undefined && this.config.skipPublishingCheckpointsPercent > 0) {
|
|
759
|
-
const result = Math.max(0, randomInt(100));
|
|
760
|
-
if (result < this.config.skipPublishingCheckpointsPercent) {
|
|
761
|
-
this.log.warn(`Skipping publishing proposal for checkpoint ${checkpoint.number}. Configured percentage: ${this.config.skipPublishingCheckpointsPercent}, generated value: ${result}`);
|
|
762
|
-
return checkpoint;
|
|
763
|
-
}
|
|
764
|
-
}
|
|
765
|
-
await this.publisher.enqueueProposeCheckpoint(checkpoint, attestations, attestationsSignature, {
|
|
766
|
-
txTimeoutAt,
|
|
767
|
-
forcePendingCheckpointNumber: this.invalidateCheckpoint?.forcePendingCheckpointNumber
|
|
768
|
-
});
|
|
769
|
-
return checkpoint;
|
|
856
|
+
this.checkpointMetrics.noteCheckpointBroadcast(this.dateProvider.now());
|
|
857
|
+
// Return immediately after broadcast — attestation collection happens in the background
|
|
858
|
+
return {
|
|
859
|
+
checkpoint,
|
|
860
|
+
proposal,
|
|
861
|
+
blockProposedAt
|
|
862
|
+
};
|
|
770
863
|
} catch (e) {
|
|
771
864
|
env.error = e;
|
|
772
865
|
env.hasError = true;
|
|
@@ -779,7 +872,7 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
779
872
|
// swallow this error. It's already been logged by a function deeper in the stack
|
|
780
873
|
return undefined;
|
|
781
874
|
}
|
|
782
|
-
this.log.error(`Error building checkpoint at slot ${this.
|
|
875
|
+
this.log.error(`Error building checkpoint at slot ${this.targetSlot}`, err);
|
|
783
876
|
return undefined;
|
|
784
877
|
}
|
|
785
878
|
}
|
|
@@ -799,7 +892,7 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
799
892
|
const timingInfo = this.timetable.canStartNextBlock(secondsIntoSlot);
|
|
800
893
|
if (!timingInfo.canStart) {
|
|
801
894
|
this.log.debug(`Not enough time left in slot to start another block`, {
|
|
802
|
-
slot: this.
|
|
895
|
+
slot: this.targetSlot,
|
|
803
896
|
blocksBuilt,
|
|
804
897
|
secondsIntoSlot
|
|
805
898
|
});
|
|
@@ -816,20 +909,22 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
816
909
|
indexWithinCheckpoint,
|
|
817
910
|
txHashesAlreadyIncluded
|
|
818
911
|
});
|
|
819
|
-
//
|
|
820
|
-
if (
|
|
821
|
-
|
|
822
|
-
|
|
823
|
-
|
|
912
|
+
// If we failed to build the block due to insufficient txs, we try again if there is still time left in the slot
|
|
913
|
+
if ('failure' in buildResult) {
|
|
914
|
+
// If this was the last subslot, or we're running with a single block per slot, we're done
|
|
915
|
+
if (timingInfo.isLastBlock || timingInfo.deadline === undefined) {
|
|
916
|
+
break;
|
|
917
|
+
}
|
|
918
|
+
// Otherwise, if there is still time for more blocks, we wait until the next subslot and try again
|
|
824
919
|
await this.waitUntilNextSubslot(timingInfo.deadline);
|
|
825
920
|
continue;
|
|
826
|
-
}
|
|
827
|
-
|
|
828
|
-
|
|
829
|
-
|
|
921
|
+
}
|
|
922
|
+
// If there was an error building the block, we just exit the loop and give up the rest of the slot.
|
|
923
|
+
// We don't want to risk building more blocks if something went wrong.
|
|
924
|
+
if ('error' in buildResult) {
|
|
830
925
|
if (!(buildResult.error instanceof SequencerInterruptedError)) {
|
|
831
|
-
this.log.warn(`Halting block building for slot ${this.
|
|
832
|
-
slot: this.
|
|
926
|
+
this.log.warn(`Halting block building for slot ${this.targetSlot}`, {
|
|
927
|
+
slot: this.targetSlot,
|
|
833
928
|
blocksBuilt,
|
|
834
929
|
error: buildResult.error
|
|
835
930
|
});
|
|
@@ -837,42 +932,36 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
837
932
|
break;
|
|
838
933
|
}
|
|
839
934
|
const { block, usedTxs } = buildResult;
|
|
840
|
-
|
|
841
|
-
|
|
842
|
-
|
|
843
|
-
// Eventually we should refactor the checkpoint builder to not need a separate long-lived fork
|
|
844
|
-
// Fire and forget - don't block the critical path, but log errors
|
|
845
|
-
this.syncProposedBlockToArchiver(block).catch((err)=>{
|
|
846
|
-
this.log.error(`Failed to sync proposed block ${block.number} to archiver`, {
|
|
847
|
-
blockNumber: block.number,
|
|
848
|
-
err
|
|
849
|
-
});
|
|
935
|
+
this.checkpointMetrics.noteCheckpointBlockBuilt(this.dateProvider.now(), {
|
|
936
|
+
isFirstBlock: blocksBuilt === 0,
|
|
937
|
+
isLastBlock: timingInfo.isLastBlock
|
|
850
938
|
});
|
|
939
|
+
blocksInCheckpoint.push(block);
|
|
851
940
|
usedTxs.forEach((tx)=>txHashesAlreadyIncluded.add(tx.txHash.toString()));
|
|
852
|
-
//
|
|
941
|
+
// Sign the block proposal. This will throw if HA signing fails.
|
|
942
|
+
const proposal = await this.createBlockProposal(block, inHash, usedTxs, blockProposalOptions);
|
|
943
|
+
// Sync the proposed block to the archiver to make it available, only after we've managed to sign the proposal,
|
|
944
|
+
// so we avoid polluting our archive with a block that would fail.
|
|
945
|
+
// We wait for the sync to succeed, as this helps catch consistency errors, even if it means we lose some time for block-building.
|
|
946
|
+
// If this throws, we abort the entire checkpoint.
|
|
947
|
+
await this.syncProposedBlockToArchiver(block);
|
|
948
|
+
// If this is the last block, do not broadcast it, since it will be included in the checkpoint proposal.
|
|
853
949
|
if (timingInfo.isLastBlock) {
|
|
854
|
-
this.log.verbose(`Completed final block ${blockNumber} for slot ${this.
|
|
855
|
-
slot: this.
|
|
950
|
+
this.log.verbose(`Completed final block ${blockNumber} for slot ${this.targetSlot}`, {
|
|
951
|
+
slot: this.targetSlot,
|
|
856
952
|
blockNumber,
|
|
857
953
|
blocksBuilt
|
|
858
954
|
});
|
|
859
|
-
blockPendingBroadcast =
|
|
860
|
-
block,
|
|
861
|
-
txs: usedTxs
|
|
862
|
-
};
|
|
955
|
+
blockPendingBroadcast = proposal;
|
|
863
956
|
break;
|
|
864
957
|
}
|
|
865
|
-
//
|
|
866
|
-
|
|
867
|
-
if (!this.config.fishermanMode) {
|
|
868
|
-
const proposal = await this.validatorClient.createBlockProposal(block.header, block.indexWithinCheckpoint, inHash, block.archive.root, usedTxs, this.proposer, blockProposalOptions);
|
|
869
|
-
await this.p2pClient.broadcastProposal(proposal);
|
|
870
|
-
}
|
|
958
|
+
// Once we have a signed proposal and the archiver agreed with our proposed block, then we broadcast it.
|
|
959
|
+
proposal && await this.p2pClient.broadcastProposal(proposal);
|
|
871
960
|
// Wait until the next block's start time
|
|
872
961
|
await this.waitUntilNextSubslot(timingInfo.deadline);
|
|
873
962
|
}
|
|
874
|
-
this.log.verbose(`Block building loop completed for slot ${this.
|
|
875
|
-
slot: this.
|
|
963
|
+
this.log.verbose(`Block building loop completed for slot ${this.targetSlot}`, {
|
|
964
|
+
slot: this.targetSlot,
|
|
876
965
|
blocksBuilt: blocksInCheckpoint.length
|
|
877
966
|
});
|
|
878
967
|
return {
|
|
@@ -880,80 +969,92 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
880
969
|
blockPendingBroadcast
|
|
881
970
|
};
|
|
882
971
|
}
|
|
972
|
+
/** Creates a block proposal for a given block via the validator client (unless in fisherman mode) */ createBlockProposal(block, inHash, usedTxs, blockProposalOptions) {
|
|
973
|
+
if (this.config.fishermanMode) {
|
|
974
|
+
this.log.info(`Skipping block proposal for block ${block.number} in fisherman mode`);
|
|
975
|
+
return Promise.resolve(undefined);
|
|
976
|
+
}
|
|
977
|
+
return this.validatorClient.createBlockProposal(block.header, this.checkpointNumber, block.indexWithinCheckpoint, inHash, block.archive.root, usedTxs, this.proposer, blockProposalOptions);
|
|
978
|
+
}
|
|
883
979
|
/** Sleeps until it is time to produce the next block in the slot */ async waitUntilNextSubslot(nextSubslotStart) {
|
|
884
|
-
this.setStateFn(SequencerState.WAITING_UNTIL_NEXT_BLOCK, this.
|
|
980
|
+
this.setStateFn(SequencerState.WAITING_UNTIL_NEXT_BLOCK, this.targetSlot);
|
|
885
981
|
this.log.verbose(`Waiting until time for the next block at ${nextSubslotStart}s into slot`, {
|
|
886
|
-
slot: this.
|
|
982
|
+
slot: this.targetSlot
|
|
887
983
|
});
|
|
888
984
|
await this.waitUntilTimeInSlot(nextSubslotStart);
|
|
889
985
|
}
|
|
890
986
|
/** Builds a single block. Called from the main block building loop. */ async buildSingleBlock(checkpointBuilder, opts) {
|
|
891
987
|
const { blockTimestamp, forceCreate, blockNumber, indexWithinCheckpoint, buildDeadline, txHashesAlreadyIncluded } = opts;
|
|
892
|
-
this.log.verbose(`Preparing block ${blockNumber} index ${indexWithinCheckpoint} at checkpoint ${this.checkpointNumber} for slot ${this.
|
|
988
|
+
this.log.verbose(`Preparing block ${blockNumber} index ${indexWithinCheckpoint} at checkpoint ${this.checkpointNumber} for slot ${this.targetSlot}`, {
|
|
893
989
|
...checkpointBuilder.getConstantData(),
|
|
894
990
|
...opts
|
|
895
991
|
});
|
|
896
992
|
try {
|
|
897
993
|
// Wait until we have enough txs to build the block
|
|
898
|
-
const minTxs = this.
|
|
899
|
-
const { availableTxs, canStartBuilding } = await this.waitForMinTxs(opts);
|
|
994
|
+
const { availableTxs, canStartBuilding, minTxs } = await this.waitForMinTxs(opts);
|
|
900
995
|
if (!canStartBuilding) {
|
|
901
|
-
this.log.warn(`Not enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.
|
|
996
|
+
this.log.warn(`Not enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.targetSlot} (got ${availableTxs} txs but needs ${minTxs})`, {
|
|
902
997
|
blockNumber,
|
|
903
|
-
slot: this.
|
|
998
|
+
slot: this.targetSlot,
|
|
904
999
|
indexWithinCheckpoint
|
|
905
1000
|
});
|
|
906
1001
|
this.eventEmitter.emit('block-tx-count-check-failed', {
|
|
907
1002
|
minTxs,
|
|
908
1003
|
availableTxs,
|
|
909
|
-
slot: this.
|
|
1004
|
+
slot: this.targetSlot
|
|
910
1005
|
});
|
|
911
1006
|
this.metrics.recordBlockProposalFailed('insufficient_txs');
|
|
912
|
-
return
|
|
1007
|
+
return {
|
|
1008
|
+
failure: 'insufficient-txs'
|
|
1009
|
+
};
|
|
913
1010
|
}
|
|
914
1011
|
// Create iterator to pending txs. We filter out txs already included in previous blocks in the checkpoint
|
|
915
1012
|
// just in case p2p failed to sync the provisional block and didn't get to remove those txs from the mempool yet.
|
|
916
1013
|
const pendingTxs = filter(this.p2pClient.iterateEligiblePendingTxs(), (tx)=>!txHashesAlreadyIncluded.has(tx.txHash.toString()));
|
|
917
|
-
this.log.debug(`Building block ${blockNumber} at index ${indexWithinCheckpoint} for slot ${this.
|
|
918
|
-
slot: this.
|
|
1014
|
+
this.log.debug(`Building block ${blockNumber} at index ${indexWithinCheckpoint} for slot ${this.targetSlot} with ${availableTxs} available txs`, {
|
|
1015
|
+
slot: this.targetSlot,
|
|
919
1016
|
blockNumber,
|
|
920
1017
|
indexWithinCheckpoint
|
|
921
1018
|
});
|
|
922
|
-
this.setStateFn(SequencerState.CREATING_BLOCK, this.
|
|
923
|
-
// Per-block limits
|
|
1019
|
+
this.setStateFn(SequencerState.CREATING_BLOCK, this.targetSlot);
|
|
1020
|
+
// Per-block limits are operator overrides (from SEQ_MAX_L2_BLOCK_GAS etc.) further capped
|
|
924
1021
|
// by remaining checkpoint-level budgets inside CheckpointBuilder before each block is built.
|
|
1022
|
+
// minValidTxs is passed into the builder so it can reject the block *before* updating state.
|
|
1023
|
+
const minValidTxs = forceCreate ? 0 : this.config.minValidTxsPerBlock ?? minTxs;
|
|
925
1024
|
const blockBuilderOptions = {
|
|
926
1025
|
maxTransactions: this.config.maxTxsPerBlock,
|
|
927
1026
|
maxBlockGas: this.config.maxL2BlockGas !== undefined || this.config.maxDABlockGas !== undefined ? new Gas(this.config.maxDABlockGas ?? Infinity, this.config.maxL2BlockGas ?? Infinity) : undefined,
|
|
928
1027
|
deadline: buildDeadline,
|
|
929
|
-
isBuildingProposal: true
|
|
1028
|
+
isBuildingProposal: true,
|
|
1029
|
+
minValidTxs,
|
|
1030
|
+
maxBlocksPerCheckpoint: this.timetable.maxNumberOfBlocks,
|
|
1031
|
+
perBlockAllocationMultiplier: this.config.perBlockAllocationMultiplier
|
|
930
1032
|
};
|
|
931
|
-
// Actually build the block by executing txs
|
|
1033
|
+
// Actually build the block by executing txs. The builder throws InsufficientValidTxsError
|
|
1034
|
+
// if the number of successfully processed txs is below minValidTxs, ensuring state is not
|
|
1035
|
+
// updated for blocks that will be discarded.
|
|
932
1036
|
const buildResult = await this.buildSingleBlockWithCheckpointBuilder(checkpointBuilder, pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions);
|
|
933
1037
|
// If any txs failed during execution, drop them from the mempool so we don't pick them up again
|
|
934
1038
|
await this.dropFailedTxsFromP2P(buildResult.failedTxs);
|
|
935
|
-
|
|
936
|
-
|
|
937
|
-
|
|
938
|
-
const numTxs = buildResult.status === 'no-valid-txs' ? 0 : buildResult.numTxs;
|
|
939
|
-
if (buildResult.status === 'no-valid-txs' || !forceCreate && numTxs < minValidTxs) {
|
|
940
|
-
this.log.warn(`Block ${blockNumber} at index ${indexWithinCheckpoint} on slot ${this.slot} has too few valid txs to be proposed`, {
|
|
941
|
-
slot: this.slot,
|
|
1039
|
+
if (buildResult.status === 'insufficient-valid-txs') {
|
|
1040
|
+
this.log.warn(`Block ${blockNumber} at index ${indexWithinCheckpoint} on slot ${this.targetSlot} has too few valid txs to be proposed`, {
|
|
1041
|
+
slot: this.targetSlot,
|
|
942
1042
|
blockNumber,
|
|
943
|
-
numTxs,
|
|
1043
|
+
numTxs: buildResult.processedCount,
|
|
944
1044
|
indexWithinCheckpoint,
|
|
945
|
-
minValidTxs
|
|
946
|
-
buildResult: buildResult.status
|
|
1045
|
+
minValidTxs
|
|
947
1046
|
});
|
|
948
1047
|
this.eventEmitter.emit('block-build-failed', {
|
|
949
1048
|
reason: `Insufficient valid txs`,
|
|
950
|
-
slot: this.
|
|
1049
|
+
slot: this.targetSlot
|
|
951
1050
|
});
|
|
952
1051
|
this.metrics.recordBlockProposalFailed('insufficient_valid_txs');
|
|
953
|
-
return
|
|
1052
|
+
return {
|
|
1053
|
+
failure: 'insufficient-valid-txs'
|
|
1054
|
+
};
|
|
954
1055
|
}
|
|
955
1056
|
// Block creation succeeded, emit stats and metrics
|
|
956
|
-
const { block, publicProcessorDuration, usedTxs, blockBuildDuration } = buildResult;
|
|
1057
|
+
const { block, publicProcessorDuration, usedTxs, blockBuildDuration, numTxs } = buildResult;
|
|
957
1058
|
const blockStats = {
|
|
958
1059
|
eventName: 'l2-block-built',
|
|
959
1060
|
duration: blockBuildDuration,
|
|
@@ -963,17 +1064,20 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
963
1064
|
const blockHash = await block.hash();
|
|
964
1065
|
const txHashes = block.body.txEffects.map((tx)=>tx.txHash);
|
|
965
1066
|
const manaPerSec = block.header.totalManaUsed.toNumberUnsafe() / (blockBuildDuration / 1000);
|
|
966
|
-
this.log.info(`Built block ${block.number} at checkpoint ${this.checkpointNumber} for slot ${this.
|
|
1067
|
+
this.log.info(`Built block ${block.number} at checkpoint ${this.checkpointNumber} for slot ${this.targetSlot} with ${numTxs} txs`, {
|
|
967
1068
|
blockHash,
|
|
968
1069
|
txHashes,
|
|
969
1070
|
manaPerSec,
|
|
970
1071
|
...blockStats
|
|
971
1072
|
});
|
|
1073
|
+
// `slot` is the target/submission slot (may be one ahead when pipelining),
|
|
1074
|
+
// `buildSlot` is the wall-clock slot during which the block was actually built.
|
|
972
1075
|
this.eventEmitter.emit('block-proposed', {
|
|
973
1076
|
blockNumber: block.number,
|
|
974
|
-
slot: this.
|
|
1077
|
+
slot: this.targetSlot,
|
|
1078
|
+
buildSlot: this.slotNow
|
|
975
1079
|
});
|
|
976
|
-
this.metrics.recordBuiltBlock(blockBuildDuration, block.header.totalManaUsed.toNumberUnsafe());
|
|
1080
|
+
this.metrics.recordBuiltBlock(blockBuildDuration, block.header.totalManaUsed.toNumberUnsafe(), this.targetSlot);
|
|
977
1081
|
return {
|
|
978
1082
|
block,
|
|
979
1083
|
usedTxs
|
|
@@ -981,11 +1085,11 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
981
1085
|
} catch (err) {
|
|
982
1086
|
this.eventEmitter.emit('block-build-failed', {
|
|
983
1087
|
reason: err.message,
|
|
984
|
-
slot: this.
|
|
1088
|
+
slot: this.targetSlot
|
|
985
1089
|
});
|
|
986
1090
|
this.log.error(`Error building block`, err, {
|
|
987
1091
|
blockNumber,
|
|
988
|
-
slot: this.
|
|
1092
|
+
slot: this.targetSlot
|
|
989
1093
|
});
|
|
990
1094
|
this.metrics.recordBlockProposalFailed(err.name || 'unknown_error');
|
|
991
1095
|
this.metrics.recordFailedBlock();
|
|
@@ -994,7 +1098,7 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
994
1098
|
};
|
|
995
1099
|
}
|
|
996
1100
|
}
|
|
997
|
-
/** Uses the checkpoint builder to build a block, catching
|
|
1101
|
+
/** Uses the checkpoint builder to build a block, catching InsufficientValidTxsError. */ async buildSingleBlockWithCheckpointBuilder(checkpointBuilder, pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions) {
|
|
998
1102
|
try {
|
|
999
1103
|
const workTimer = new Timer();
|
|
1000
1104
|
const result = await checkpointBuilder.buildBlock(pendingTxs, blockNumber, blockTimestamp, blockBuilderOptions);
|
|
@@ -1005,10 +1109,11 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1005
1109
|
status: 'success'
|
|
1006
1110
|
};
|
|
1007
1111
|
} catch (err) {
|
|
1008
|
-
if (isErrorClass(err,
|
|
1112
|
+
if (isErrorClass(err, InsufficientValidTxsError)) {
|
|
1009
1113
|
return {
|
|
1010
1114
|
failedTxs: err.failedTxs,
|
|
1011
|
-
|
|
1115
|
+
processedCount: err.processedCount,
|
|
1116
|
+
status: 'insufficient-valid-txs'
|
|
1012
1117
|
};
|
|
1013
1118
|
}
|
|
1014
1119
|
throw err;
|
|
@@ -1027,14 +1132,15 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1027
1132
|
if (startBuildingDeadline === undefined || now >= startBuildingDeadline) {
|
|
1028
1133
|
return {
|
|
1029
1134
|
canStartBuilding: false,
|
|
1030
|
-
availableTxs
|
|
1135
|
+
availableTxs,
|
|
1136
|
+
minTxs
|
|
1031
1137
|
};
|
|
1032
1138
|
}
|
|
1033
1139
|
// Wait a bit before checking again
|
|
1034
|
-
this.setStateFn(SequencerState.WAITING_FOR_TXS, this.
|
|
1035
|
-
this.log.verbose(`Waiting for enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.
|
|
1140
|
+
this.setStateFn(SequencerState.WAITING_FOR_TXS, this.targetSlot);
|
|
1141
|
+
this.log.verbose(`Waiting for enough txs to build block ${blockNumber} at index ${indexWithinCheckpoint} in slot ${this.targetSlot} (have ${availableTxs} but need ${minTxs})`, {
|
|
1036
1142
|
blockNumber,
|
|
1037
|
-
slot: this.
|
|
1143
|
+
slot: this.targetSlot,
|
|
1038
1144
|
indexWithinCheckpoint
|
|
1039
1145
|
});
|
|
1040
1146
|
await this.waitForTxsPollingInterval();
|
|
@@ -1042,7 +1148,8 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1042
1148
|
}
|
|
1043
1149
|
return {
|
|
1044
1150
|
canStartBuilding: true,
|
|
1045
|
-
availableTxs
|
|
1151
|
+
availableTxs,
|
|
1152
|
+
minTxs
|
|
1046
1153
|
};
|
|
1047
1154
|
}
|
|
1048
1155
|
/**
|
|
@@ -1065,19 +1172,19 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1065
1172
|
committee
|
|
1066
1173
|
});
|
|
1067
1174
|
}
|
|
1068
|
-
const numberOfRequiredAttestations =
|
|
1175
|
+
const numberOfRequiredAttestations = computeQuorum(committee.length);
|
|
1069
1176
|
if (this.config.skipCollectingAttestations) {
|
|
1070
1177
|
this.log.warn('Skipping attestation collection as per config (attesting with own keys only)');
|
|
1071
|
-
const attestations = await this.validatorClient?.collectOwnAttestations(proposal);
|
|
1178
|
+
const attestations = await this.validatorClient?.collectOwnAttestations(proposal, this.checkpointNumber);
|
|
1072
1179
|
return new CommitteeAttestationsAndSigners(orderAttestations(attestations ?? [], committee));
|
|
1073
1180
|
}
|
|
1074
|
-
const attestationTimeAllowed = this.config.enforceTimeTable ? this.timetable.
|
|
1181
|
+
const attestationTimeAllowed = this.config.enforceTimeTable ? this.timetable.getCheckpointAttestationDeadline() : this.l1Constants.slotDuration;
|
|
1075
1182
|
const attestationDeadline = new Date((this.getSlotStartBuildTimestamp() + attestationTimeAllowed) * 1000);
|
|
1076
1183
|
this.metrics.recordRequiredAttestations(numberOfRequiredAttestations, attestationTimeAllowed);
|
|
1077
1184
|
const collectAttestationsTimer = new Timer();
|
|
1078
1185
|
let collectedAttestationsCount = 0;
|
|
1079
1186
|
try {
|
|
1080
|
-
const attestations = await this.validatorClient.collectAttestations(proposal, numberOfRequiredAttestations, attestationDeadline);
|
|
1187
|
+
const attestations = await this.validatorClient.collectAttestations(proposal, numberOfRequiredAttestations, attestationDeadline, this.checkpointNumber);
|
|
1081
1188
|
collectedAttestationsCount = attestations.length;
|
|
1082
1189
|
// Trim attestations to minimum required to save L1 calldata gas
|
|
1083
1190
|
const localAddresses = this.validatorClient.getValidatorAddresses();
|
|
@@ -1170,8 +1277,12 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1170
1277
|
* Adds the proposed block to the archiver so it's available via P2P.
|
|
1171
1278
|
* Gossip doesn't echo messages back to the sender, so the proposer's archiver/world-state
|
|
1172
1279
|
* would never receive its own block without this explicit sync.
|
|
1280
|
+
*
|
|
1281
|
+
* In fisherman mode we skip this push: the fisherman builds blocks locally for validation
|
|
1282
|
+
* and fee analysis only, and pushing them to the archiver causes spurious reorg cascades
|
|
1283
|
+
* whenever the real proposer's block arrives from L1.
|
|
1173
1284
|
*/ async syncProposedBlockToArchiver(block) {
|
|
1174
|
-
if (this.config.skipPushProposedBlocksToArchiver
|
|
1285
|
+
if (this.config.skipPushProposedBlocksToArchiver || this.config.fishermanMode) {
|
|
1175
1286
|
this.log.warn(`Skipping push of proposed block ${block.number} to archiver`, {
|
|
1176
1287
|
blockNumber: block.number,
|
|
1177
1288
|
slot: block.header.globalVariables.slotNumber
|
|
@@ -1187,16 +1298,16 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1187
1298
|
/** Runs fee analysis and logs checkpoint outcome as fisherman */ async handleCheckpointEndAsFisherman(checkpoint) {
|
|
1188
1299
|
// Perform L1 fee analysis before clearing requests
|
|
1189
1300
|
// The callback is invoked asynchronously after the next block is mined
|
|
1190
|
-
const feeAnalysis = await this.publisher.analyzeL1Fees(this.
|
|
1301
|
+
const feeAnalysis = await this.publisher.analyzeL1Fees(this.targetSlot, (analysis)=>this.metrics.recordFishermanFeeAnalysis(analysis));
|
|
1191
1302
|
if (checkpoint) {
|
|
1192
|
-
this.log.info(`Validation checkpoint building SUCCEEDED for slot ${this.
|
|
1303
|
+
this.log.info(`Validation checkpoint building SUCCEEDED for slot ${this.targetSlot}`, {
|
|
1193
1304
|
...checkpoint.toCheckpointInfo(),
|
|
1194
1305
|
...checkpoint.getStats(),
|
|
1195
1306
|
feeAnalysisId: feeAnalysis?.id
|
|
1196
1307
|
});
|
|
1197
1308
|
} else {
|
|
1198
|
-
this.log.warn(`Validation block building FAILED for slot ${this.
|
|
1199
|
-
slot: this.
|
|
1309
|
+
this.log.warn(`Validation block building FAILED for slot ${this.targetSlot}`, {
|
|
1310
|
+
slot: this.targetSlot,
|
|
1200
1311
|
feeAnalysisId: feeAnalysis?.id
|
|
1201
1312
|
});
|
|
1202
1313
|
this.metrics.recordCheckpointProposalFailed('block_build_failed');
|
|
@@ -1207,15 +1318,15 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1207
1318
|
* Helper to handle HA double-signing errors. Returns true if the error was handled (caller should yield).
|
|
1208
1319
|
*/ handleHASigningError(err, errorContext) {
|
|
1209
1320
|
if (err instanceof DutyAlreadySignedError) {
|
|
1210
|
-
this.log.info(`${errorContext} for slot ${this.
|
|
1211
|
-
slot: this.
|
|
1321
|
+
this.log.info(`${errorContext} for slot ${this.targetSlot} already signed by another HA node, yielding`, {
|
|
1322
|
+
slot: this.targetSlot,
|
|
1212
1323
|
signedByNode: err.signedByNode
|
|
1213
1324
|
});
|
|
1214
1325
|
return true;
|
|
1215
1326
|
}
|
|
1216
1327
|
if (err instanceof SlashingProtectionError) {
|
|
1217
|
-
this.log.info(`${errorContext} for slot ${this.
|
|
1218
|
-
slot: this.
|
|
1328
|
+
this.log.info(`${errorContext} for slot ${this.targetSlot} blocked by slashing protection, yielding`, {
|
|
1329
|
+
slot: this.targetSlot,
|
|
1219
1330
|
existingMessageHash: err.existingMessageHash,
|
|
1220
1331
|
attemptedMessageHash: err.attemptedMessageHash
|
|
1221
1332
|
});
|
|
@@ -1232,7 +1343,7 @@ _dec = trackSpan('CheckpointProposalJob.execute'), _dec1 = trackSpan('Checkpoint
|
|
|
1232
1343
|
await sleep(TXS_POLLING_MS);
|
|
1233
1344
|
}
|
|
1234
1345
|
getSlotStartBuildTimestamp() {
|
|
1235
|
-
return getSlotStartBuildTimestamp(this.
|
|
1346
|
+
return getSlotStartBuildTimestamp(this.slotNow, this.l1Constants);
|
|
1236
1347
|
}
|
|
1237
1348
|
getSecondsIntoSlot() {
|
|
1238
1349
|
const slotStartTimestamp = this.getSlotStartBuildTimestamp();
|