@aztec/validator-client 4.1.1 → 4.1.2-rc.1

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/src/validator.ts CHANGED
@@ -1,7 +1,5 @@
1
1
  import type { BlobClientInterface } from '@aztec/blob-client/client';
2
- import { type Blob, getBlobsPerL1Block } from '@aztec/blob-lib';
3
2
  import type { EpochCache } from '@aztec/epoch-cache';
4
- import { validateFeeAssetPriceModifier } from '@aztec/ethereum/contracts';
5
3
  import {
6
4
  BlockNumber,
7
5
  CheckpointNumber,
@@ -10,11 +8,9 @@ import {
10
8
  SlotNumber,
11
9
  } from '@aztec/foundation/branded-types';
12
10
  import { Fr } from '@aztec/foundation/curves/bn254';
13
- import { TimeoutError } from '@aztec/foundation/error';
14
11
  import type { EthAddress } from '@aztec/foundation/eth-address';
15
12
  import type { Signature } from '@aztec/foundation/eth-signature';
16
- import { type LogData, type Logger, createLogger } from '@aztec/foundation/log';
17
- import { retryUntil } from '@aztec/foundation/retry';
13
+ import { type Logger, createLogger } from '@aztec/foundation/log';
18
14
  import { RunningPromise } from '@aztec/foundation/running-promise';
19
15
  import { sleep } from '@aztec/foundation/sleep';
20
16
  import { DateProvider } from '@aztec/foundation/timer';
@@ -23,9 +19,8 @@ import type { DuplicateAttestationInfo, DuplicateProposalInfo, P2P, PeerId } fro
23
19
  import { AuthRequest, AuthResponse, BlockProposalValidator, ReqRespSubProtocol } from '@aztec/p2p';
24
20
  import { OffenseType, WANT_TO_SLASH_EVENT, type Watcher, type WatcherEmitter } from '@aztec/slasher';
25
21
  import type { AztecAddress } from '@aztec/stdlib/aztec-address';
26
- import type { CommitteeAttestationsAndSigners, L2Block, L2BlockSink, L2BlockSource } from '@aztec/stdlib/block';
27
- import { validateCheckpoint } from '@aztec/stdlib/checkpoint';
28
- import { getEpochAtSlot, getTimestampForSlot } from '@aztec/stdlib/epoch-helpers';
22
+ import type { CommitteeAttestationsAndSigners, L2BlockSink, L2BlockSource } from '@aztec/stdlib/block';
23
+ import { getEpochAtSlot } from '@aztec/stdlib/epoch-helpers';
29
24
  import type {
30
25
  CreateCheckpointProposalLastBlockData,
31
26
  ITxProvider,
@@ -33,7 +28,7 @@ import type {
33
28
  ValidatorClientFullConfig,
34
29
  WorldStateSynchronizer,
35
30
  } from '@aztec/stdlib/interfaces/server';
36
- import { type L1ToL2MessageSource, accumulateCheckpointOutHashes } from '@aztec/stdlib/messaging';
31
+ import type { L1ToL2MessageSource } from '@aztec/stdlib/messaging';
37
32
  import {
38
33
  type BlockProposal,
39
34
  type BlockProposalOptions,
@@ -43,7 +38,7 @@ import {
43
38
  type CheckpointProposalOptions,
44
39
  } from '@aztec/stdlib/p2p';
45
40
  import type { CheckpointHeader } from '@aztec/stdlib/rollup';
46
- import type { BlockHeader, CheckpointGlobalVariables, Tx } from '@aztec/stdlib/tx';
41
+ import type { BlockHeader, Tx } from '@aztec/stdlib/tx';
47
42
  import { AttestationTimeoutError } from '@aztec/stdlib/validators';
48
43
  import { type TelemetryClient, type Tracer, getTelemetryClient } from '@aztec/telemetry-client';
49
44
  import { createHASigner } from '@aztec/validator-ha-signer/factory';
@@ -53,13 +48,13 @@ import type { ValidatorHASigner } from '@aztec/validator-ha-signer/validator-ha-
53
48
  import { EventEmitter } from 'events';
54
49
  import type { TypedDataDefinition } from 'viem';
55
50
 
56
- import { BlockProposalHandler, type BlockProposalValidationFailureReason } from './block_proposal_handler.js';
57
51
  import type { FullNodeCheckpointsBuilder } from './checkpoint_builder.js';
58
52
  import { ValidationService } from './duties/validation_service.js';
59
53
  import { HAKeyStore } from './key_store/ha_key_store.js';
60
54
  import type { ExtendedValidatorKeyStore } from './key_store/interface.js';
61
55
  import { NodeKeystoreAdapter } from './key_store/node_keystore_adapter.js';
62
56
  import { ValidatorMetrics } from './metrics.js';
57
+ import { type BlockProposalValidationFailureReason, ProposalHandler } from './proposal_handler.js';
63
58
 
64
59
  // We maintain a set of proposers who have proposed invalid blocks.
65
60
  // Just cap the set to avoid unbounded growth.
@@ -102,11 +97,7 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
102
97
  private keyStore: ExtendedValidatorKeyStore,
103
98
  private epochCache: EpochCache,
104
99
  private p2pClient: P2P,
105
- private blockProposalHandler: BlockProposalHandler,
106
- private blockSource: L2BlockSource,
107
- private checkpointsBuilder: FullNodeCheckpointsBuilder,
108
- private worldState: WorldStateSynchronizer,
109
- private l1ToL2MessageSource: L1ToL2MessageSource,
100
+ private proposalHandler: ProposalHandler,
110
101
  private config: ValidatorClientFullConfig,
111
102
  private blobClient: BlobClientInterface,
112
103
  private haSigner: ValidatorHASigner | undefined,
@@ -203,7 +194,7 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
203
194
  txsPermitted: !config.disableTransactions,
204
195
  maxTxsPerBlock: config.validateMaxTxsPerBlock,
205
196
  });
206
- const blockProposalHandler = new BlockProposalHandler(
197
+ const proposalHandler = new ProposalHandler(
207
198
  checkpointsBuilder,
208
199
  worldState,
209
200
  blockSource,
@@ -212,6 +203,7 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
212
203
  blockProposalValidator,
213
204
  epochCache,
214
205
  config,
206
+ blobClient,
215
207
  metrics,
216
208
  dateProvider,
217
209
  telemetry,
@@ -235,11 +227,7 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
235
227
  validatorKeyStore,
236
228
  epochCache,
237
229
  p2pClient,
238
- blockProposalHandler,
239
- blockSource,
240
- checkpointsBuilder,
241
- worldState,
242
- l1ToL2MessageSource,
230
+ proposalHandler,
243
231
  config,
244
232
  blobClient,
245
233
  haSigner,
@@ -256,8 +244,8 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
256
244
  .filter(addr => !this.config.disabledValidators.some(disabled => disabled.equals(addr)));
257
245
  }
258
246
 
259
- public getBlockProposalHandler() {
260
- return this.blockProposalHandler;
247
+ public getProposalHandler() {
248
+ return this.proposalHandler;
261
249
  }
262
250
 
263
251
  public signWithAddress(addr: EthAddress, msg: TypedDataDefinition, context: SigningContext) {
@@ -385,13 +373,12 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
385
373
  return false;
386
374
  }
387
375
 
388
- // Ignore proposals from ourselves (may happen in HA setups)
376
+ // Log self-proposals from HA peers (same validator key on different nodes)
389
377
  if (this.getValidatorAddresses().some(addr => addr.equals(proposer))) {
390
- this.log.debug(`Ignoring block proposal from self for slot ${slotNumber}`, {
378
+ this.log.verbose(`Processing block proposal from HA peer for slot ${slotNumber}`, {
391
379
  proposer: proposer.toString(),
392
380
  slotNumber,
393
381
  });
394
- return false;
395
382
  }
396
383
 
397
384
  // Check if we're in the committee (for metrics purposes)
@@ -416,7 +403,7 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
416
403
  alwaysReexecuteBlockProposals ||
417
404
  this.blobClient.canUpload();
418
405
 
419
- const validationResult = await this.blockProposalHandler.handleBlockProposal(
406
+ const validationResult = await this.proposalHandler.handleBlockProposal(
420
407
  proposal,
421
408
  proposalSender,
422
409
  !!shouldReexecute && !escapeHatchOpen,
@@ -490,14 +477,8 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
490
477
  return undefined;
491
478
  }
492
479
 
493
- // Reject proposals with invalid signatures
494
- if (!proposer) {
495
- this.log.warn(`Received checkpoint proposal with invalid signature for slot ${slotNumber}`);
496
- return undefined;
497
- }
498
-
499
480
  // Ignore proposals from ourselves (may happen in HA setups)
500
- if (this.getValidatorAddresses().some(addr => addr.equals(proposer))) {
481
+ if (proposer && this.getValidatorAddresses().some(addr => addr.equals(proposer))) {
501
482
  this.log.debug(`Ignoring block proposal from self for slot ${slotNumber}`, {
502
483
  proposer: proposer.toString(),
503
484
  slotNumber,
@@ -505,44 +486,31 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
505
486
  return undefined;
506
487
  }
507
488
 
508
- // Validate fee asset price modifier is within allowed range
509
- if (!validateFeeAssetPriceModifier(proposal.feeAssetPriceModifier)) {
510
- this.log.warn(
511
- `Received checkpoint proposal with invalid feeAssetPriceModifier ${proposal.feeAssetPriceModifier} for slot ${slotNumber}`,
512
- );
513
- return undefined;
514
- }
515
-
516
- // Check that I have any address in current committee before attesting
489
+ // Check that I have any address in the committee where this checkpoint will land before attesting
517
490
  const inCommittee = await this.epochCache.filterInCommittee(slotNumber, this.getValidatorAddresses());
518
491
  const partOfCommittee = inCommittee.length > 0;
519
492
 
520
493
  const proposalInfo = {
521
494
  slotNumber,
522
495
  archive: proposal.archive.toString(),
523
- proposer: proposer.toString(),
496
+ proposer: proposer?.toString(),
524
497
  };
525
498
  this.log.info(`Received checkpoint proposal for slot ${slotNumber}`, {
526
499
  ...proposalInfo,
527
500
  fishermanMode: this.config.fishermanMode || false,
528
501
  });
529
502
 
530
- // Validate the checkpoint proposal before attesting (unless skipCheckpointProposalValidation is set)
503
+ // Validate the checkpoint proposal and upload blobs (unless skipCheckpointProposalValidation is set)
531
504
  if (this.config.skipCheckpointProposalValidation) {
532
505
  this.log.warn(`Skipping checkpoint proposal validation for slot ${slotNumber}`, proposalInfo);
533
506
  } else {
534
- const validationResult = await this.validateCheckpointProposal(proposal, proposalInfo);
507
+ const validationResult = await this.proposalHandler.handleCheckpointProposal(proposal, proposalInfo);
535
508
  if (!validationResult.isValid) {
536
509
  this.log.warn(`Checkpoint proposal validation failed: ${validationResult.reason}`, proposalInfo);
537
510
  return undefined;
538
511
  }
539
512
  }
540
513
 
541
- // Upload blobs to filestore if we can (fire and forget)
542
- if (this.blobClient.canUpload()) {
543
- void this.uploadBlobsForCheckpoint(proposal, proposalInfo);
544
- }
545
-
546
514
  // Check that I have any address in current committee before attesting
547
515
  // In fisherman mode, we still create attestations for validation even if not in committee
548
516
  if (!partOfCommittee && !this.config.fishermanMode) {
@@ -637,201 +605,6 @@ export class ValidatorClient extends (EventEmitter as new () => WatcherEmitter)
637
605
  return attestations;
638
606
  }
639
607
 
640
- /**
641
- * Validates a checkpoint proposal by building the full checkpoint and comparing it with the proposal.
642
- * @returns Validation result with isValid flag and reason if invalid.
643
- */
644
- private async validateCheckpointProposal(
645
- proposal: CheckpointProposalCore,
646
- proposalInfo: LogData,
647
- ): Promise<{ isValid: true } | { isValid: false; reason: string }> {
648
- const slot = proposal.slotNumber;
649
-
650
- // Timeout block syncing at the start of the next slot
651
- const config = this.checkpointsBuilder.getConfig();
652
- const nextSlotTimestampSeconds = Number(getTimestampForSlot(SlotNumber(slot + 1), config));
653
- const timeoutSeconds = Math.max(1, nextSlotTimestampSeconds - Math.floor(this.dateProvider.now() / 1000));
654
-
655
- // Wait for last block to sync by archive
656
- let lastBlockHeader: BlockHeader | undefined;
657
- try {
658
- lastBlockHeader = await retryUntil(
659
- async () => {
660
- await this.blockSource.syncImmediate();
661
- return this.blockSource.getBlockHeaderByArchive(proposal.archive);
662
- },
663
- `waiting for block with archive ${proposal.archive.toString()} for slot ${slot}`,
664
- timeoutSeconds,
665
- 0.5,
666
- );
667
- } catch (err) {
668
- if (err instanceof TimeoutError) {
669
- this.log.warn(`Timed out waiting for block with archive matching checkpoint proposal`, proposalInfo);
670
- return { isValid: false, reason: 'last_block_not_found' };
671
- }
672
- this.log.error(`Error fetching last block for checkpoint proposal`, err, proposalInfo);
673
- return { isValid: false, reason: 'block_fetch_error' };
674
- }
675
-
676
- if (!lastBlockHeader) {
677
- this.log.warn(`Last block not found for checkpoint proposal`, proposalInfo);
678
- return { isValid: false, reason: 'last_block_not_found' };
679
- }
680
-
681
- // Get all full blocks for the slot and checkpoint
682
- const blocks = await this.blockSource.getBlocksForSlot(slot);
683
- if (blocks.length === 0) {
684
- this.log.warn(`No blocks found for slot ${slot}`, proposalInfo);
685
- return { isValid: false, reason: 'no_blocks_for_slot' };
686
- }
687
-
688
- // Ensure the last block for this slot matches the archive in the checkpoint proposal
689
- if (!blocks.at(-1)?.archive.root.equals(proposal.archive)) {
690
- this.log.warn(`Last block archive mismatch for checkpoint proposal`, proposalInfo);
691
- return { isValid: false, reason: 'last_block_archive_mismatch' };
692
- }
693
-
694
- this.log.debug(`Found ${blocks.length} blocks for slot ${slot}`, {
695
- ...proposalInfo,
696
- blockNumbers: blocks.map(b => b.number),
697
- });
698
-
699
- // Get checkpoint constants from first block
700
- const firstBlock = blocks[0];
701
- const constants = this.extractCheckpointConstants(firstBlock);
702
- const checkpointNumber = firstBlock.checkpointNumber;
703
-
704
- // Get L1-to-L2 messages for this checkpoint
705
- const l1ToL2Messages = await this.l1ToL2MessageSource.getL1ToL2Messages(checkpointNumber);
706
-
707
- // Collect the out hashes of all the checkpoints before this one in the same epoch
708
- const epoch = getEpochAtSlot(slot, this.epochCache.getL1Constants());
709
- const previousCheckpointOutHashes = (await this.blockSource.getCheckpointsDataForEpoch(epoch))
710
- .filter(c => c.checkpointNumber < checkpointNumber)
711
- .map(c => c.checkpointOutHash);
712
-
713
- // Fork world state at the block before the first block
714
- const parentBlockNumber = BlockNumber(firstBlock.number - 1);
715
- const fork = await this.worldState.fork(parentBlockNumber);
716
-
717
- try {
718
- // Create checkpoint builder with all existing blocks
719
- const checkpointBuilder = await this.checkpointsBuilder.openCheckpoint(
720
- checkpointNumber,
721
- constants,
722
- proposal.feeAssetPriceModifier,
723
- l1ToL2Messages,
724
- previousCheckpointOutHashes,
725
- fork,
726
- blocks,
727
- this.log.getBindings(),
728
- );
729
-
730
- // Complete the checkpoint to get computed values
731
- const computedCheckpoint = await checkpointBuilder.completeCheckpoint();
732
-
733
- // Compare checkpoint header with proposal
734
- if (!computedCheckpoint.header.equals(proposal.checkpointHeader)) {
735
- this.log.warn(`Checkpoint header mismatch`, {
736
- ...proposalInfo,
737
- computed: computedCheckpoint.header.toInspect(),
738
- proposal: proposal.checkpointHeader.toInspect(),
739
- });
740
- return { isValid: false, reason: 'checkpoint_header_mismatch' };
741
- }
742
-
743
- // Compare archive root with proposal
744
- if (!computedCheckpoint.archive.root.equals(proposal.archive)) {
745
- this.log.warn(`Archive root mismatch`, {
746
- ...proposalInfo,
747
- computed: computedCheckpoint.archive.root.toString(),
748
- proposal: proposal.archive.toString(),
749
- });
750
- return { isValid: false, reason: 'archive_mismatch' };
751
- }
752
-
753
- // Check that the accumulated epoch out hash matches the value in the proposal.
754
- // The epoch out hash is the accumulated hash of all checkpoint out hashes in the epoch.
755
- const checkpointOutHash = computedCheckpoint.getCheckpointOutHash();
756
- const computedEpochOutHash = accumulateCheckpointOutHashes([...previousCheckpointOutHashes, checkpointOutHash]);
757
- const proposalEpochOutHash = proposal.checkpointHeader.epochOutHash;
758
- if (!computedEpochOutHash.equals(proposalEpochOutHash)) {
759
- this.log.warn(`Epoch out hash mismatch`, {
760
- proposalEpochOutHash: proposalEpochOutHash.toString(),
761
- computedEpochOutHash: computedEpochOutHash.toString(),
762
- checkpointOutHash: checkpointOutHash.toString(),
763
- previousCheckpointOutHashes: previousCheckpointOutHashes.map(h => h.toString()),
764
- ...proposalInfo,
765
- });
766
- return { isValid: false, reason: 'out_hash_mismatch' };
767
- }
768
-
769
- // Final round of validations on the checkpoint, just in case.
770
- try {
771
- validateCheckpoint(computedCheckpoint, {
772
- rollupManaLimit: this.checkpointsBuilder.getConfig().rollupManaLimit,
773
- maxDABlockGas: this.config.validateMaxDABlockGas,
774
- maxL2BlockGas: this.config.validateMaxL2BlockGas,
775
- maxTxsPerBlock: this.config.validateMaxTxsPerBlock,
776
- maxTxsPerCheckpoint: this.config.validateMaxTxsPerCheckpoint,
777
- });
778
- } catch (err) {
779
- this.log.warn(`Checkpoint validation failed: ${err}`, proposalInfo);
780
- return { isValid: false, reason: 'checkpoint_validation_failed' };
781
- }
782
-
783
- this.log.verbose(`Checkpoint proposal validation successful for slot ${slot}`, proposalInfo);
784
- return { isValid: true };
785
- } finally {
786
- await fork.close();
787
- }
788
- }
789
-
790
- /**
791
- * Extract checkpoint global variables from a block.
792
- */
793
- private extractCheckpointConstants(block: L2Block): CheckpointGlobalVariables {
794
- const gv = block.header.globalVariables;
795
- return {
796
- chainId: gv.chainId,
797
- version: gv.version,
798
- slotNumber: gv.slotNumber,
799
- timestamp: gv.timestamp,
800
- coinbase: gv.coinbase,
801
- feeRecipient: gv.feeRecipient,
802
- gasFees: gv.gasFees,
803
- };
804
- }
805
-
806
- /**
807
- * Uploads blobs for a checkpoint to the filestore (fire and forget).
808
- */
809
- protected async uploadBlobsForCheckpoint(proposal: CheckpointProposalCore, proposalInfo: LogData): Promise<void> {
810
- try {
811
- const lastBlockHeader = await this.blockSource.getBlockHeaderByArchive(proposal.archive);
812
- if (!lastBlockHeader) {
813
- this.log.warn(`Failed to get last block header for blob upload`, proposalInfo);
814
- return;
815
- }
816
-
817
- const blocks = await this.blockSource.getBlocksForSlot(proposal.slotNumber);
818
- if (blocks.length === 0) {
819
- this.log.warn(`No blocks found for blob upload`, proposalInfo);
820
- return;
821
- }
822
-
823
- const blobFields = blocks.flatMap(b => b.toBlobFields());
824
- const blobs: Blob[] = await getBlobsPerL1Block(blobFields);
825
- await this.blobClient.sendBlobsToFilestore(blobs);
826
- this.log.debug(`Uploaded ${blobs.length} blobs to filestore for checkpoint at slot ${proposal.slotNumber}`, {
827
- ...proposalInfo,
828
- numBlobs: blobs.length,
829
- });
830
- } catch (err) {
831
- this.log.warn(`Failed to upload blobs for checkpoint: ${err}`, proposalInfo);
832
- }
833
- }
834
-
835
608
  private slashInvalidBlock(proposal: BlockProposal) {
836
609
  const proposer = proposal.getSender();
837
610
 
@@ -1,64 +0,0 @@
1
- import type { EpochCache } from '@aztec/epoch-cache';
2
- import { BlockNumber, CheckpointNumber } from '@aztec/foundation/branded-types';
3
- import { Fr } from '@aztec/foundation/curves/bn254';
4
- import { DateProvider } from '@aztec/foundation/timer';
5
- import type { P2P, PeerId } from '@aztec/p2p';
6
- import { BlockProposalValidator } from '@aztec/p2p/msg_validators';
7
- import type { L2Block, L2BlockSink, L2BlockSource } from '@aztec/stdlib/block';
8
- import type { ITxProvider, ValidatorClientFullConfig, WorldStateSynchronizer } from '@aztec/stdlib/interfaces/server';
9
- import { type L1ToL2MessageSource } from '@aztec/stdlib/messaging';
10
- import type { BlockProposal } from '@aztec/stdlib/p2p';
11
- import type { FailedTx, Tx } from '@aztec/stdlib/tx';
12
- import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
13
- import type { FullNodeCheckpointsBuilder } from './checkpoint_builder.js';
14
- import type { ValidatorMetrics } from './metrics.js';
15
- export type BlockProposalValidationFailureReason = 'invalid_proposal' | 'parent_block_not_found' | 'block_source_not_synced' | 'parent_block_wrong_slot' | 'in_hash_mismatch' | 'global_variables_mismatch' | 'block_number_already_exists' | 'txs_not_available' | 'state_mismatch' | 'failed_txs' | 'initial_state_mismatch' | 'timeout' | 'unknown_error';
16
- type ReexecuteTransactionsResult = {
17
- block: L2Block;
18
- failedTxs: FailedTx[];
19
- reexecutionTimeMs: number;
20
- totalManaUsed: number;
21
- };
22
- export type BlockProposalValidationSuccessResult = {
23
- isValid: true;
24
- blockNumber: BlockNumber;
25
- reexecutionResult?: ReexecuteTransactionsResult;
26
- };
27
- export type BlockProposalValidationFailureResult = {
28
- isValid: false;
29
- reason: BlockProposalValidationFailureReason;
30
- blockNumber?: BlockNumber;
31
- reexecutionResult?: ReexecuteTransactionsResult;
32
- };
33
- export type BlockProposalValidationResult = BlockProposalValidationSuccessResult | BlockProposalValidationFailureResult;
34
- export declare class BlockProposalHandler {
35
- private checkpointsBuilder;
36
- private worldState;
37
- private blockSource;
38
- private l1ToL2MessageSource;
39
- private txProvider;
40
- private blockProposalValidator;
41
- private epochCache;
42
- private config;
43
- private metrics?;
44
- private dateProvider;
45
- private log;
46
- readonly tracer: Tracer;
47
- constructor(checkpointsBuilder: FullNodeCheckpointsBuilder, worldState: WorldStateSynchronizer, blockSource: L2BlockSource & L2BlockSink, l1ToL2MessageSource: L1ToL2MessageSource, txProvider: ITxProvider, blockProposalValidator: BlockProposalValidator, epochCache: EpochCache, config: ValidatorClientFullConfig, metrics?: ValidatorMetrics | undefined, dateProvider?: DateProvider, telemetry?: TelemetryClient, log?: import("@aztec/foundation/log").Logger);
48
- register(p2pClient: P2P, shouldReexecute: boolean): BlockProposalHandler;
49
- handleBlockProposal(proposal: BlockProposal, proposalSender: PeerId, shouldReexecute: boolean): Promise<BlockProposalValidationResult>;
50
- private getParentBlock;
51
- private computeCheckpointNumber;
52
- /**
53
- * Validates that a non-first block in a checkpoint has consistent global variables with its parent.
54
- * For blocks with indexWithinCheckpoint > 0, all global variables except blockNumber must match the parent.
55
- * @returns A failure result if validation fails, undefined if validation passes
56
- */
57
- private validateNonFirstBlockInCheckpoint;
58
- private getReexecutionDeadline;
59
- private waitForBlockSourceSync;
60
- private getReexecuteFailureReason;
61
- reexecuteTransactions(proposal: BlockProposal, blockNumber: BlockNumber, checkpointNumber: CheckpointNumber, txs: Tx[], l1ToL2Messages: Fr[], previousCheckpointOutHashes: Fr[]): Promise<ReexecuteTransactionsResult>;
62
- }
63
- export {};
64
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvY2tfcHJvcG9zYWxfaGFuZGxlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2Jsb2NrX3Byb3Bvc2FsX2hhbmRsZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxFQUFFLFdBQVcsRUFBRSxnQkFBZ0IsRUFBYyxNQUFNLGlDQUFpQyxDQUFDO0FBRTVGLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUlwRCxPQUFPLEVBQUUsWUFBWSxFQUFTLE1BQU0seUJBQXlCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsR0FBRyxFQUFFLE1BQU0sRUFBRSxNQUFNLFlBQVksQ0FBQztBQUM5QyxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNuRSxPQUFPLEtBQUssRUFBYSxPQUFPLEVBQUUsV0FBVyxFQUFFLGFBQWEsRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRzFGLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSx5QkFBeUIsRUFBRSxzQkFBc0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQ3RILE9BQU8sRUFBRSxLQUFLLG1CQUFtQixFQUFtQyxNQUFNLHlCQUF5QixDQUFDO0FBQ3BHLE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBRXZELE9BQU8sS0FBSyxFQUE2QixRQUFRLEVBQUUsRUFBRSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFRaEYsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFzQixNQUFNLHlCQUF5QixDQUFDO0FBRWhHLE9BQU8sS0FBSyxFQUFFLDBCQUEwQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDMUUsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFFckQsTUFBTSxNQUFNLG9DQUFvQyxHQUM1QyxrQkFBa0IsR0FDbEIsd0JBQXdCLEdBQ3hCLHlCQUF5QixHQUN6Qix5QkFBeUIsR0FDekIsa0JBQWtCLEdBQ2xCLDJCQUEyQixHQUMzQiw2QkFBNkIsR0FDN0IsbUJBQW1CLEdBQ25CLGdCQUFnQixHQUNoQixZQUFZLEdBQ1osd0JBQXdCLEdBQ3hCLFNBQVMsR0FDVCxlQUFlLENBQUM7QUFFcEIsS0FBSywyQkFBMkIsR0FBRztJQUNqQyxLQUFLLEVBQUUsT0FBTyxDQUFDO0lBQ2YsU0FBUyxFQUFFLFFBQVEsRUFBRSxDQUFDO0lBQ3RCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixhQUFhLEVBQUUsTUFBTSxDQUFDO0NBQ3ZCLENBQUM7QUFFRixNQUFNLE1BQU0sb0NBQW9DLEdBQUc7SUFDakQsT0FBTyxFQUFFLElBQUksQ0FBQztJQUNkLFdBQVcsRUFBRSxXQUFXLENBQUM7SUFDekIsaUJBQWlCLENBQUMsRUFBRSwyQkFBMkIsQ0FBQztDQUNqRCxDQUFDO0FBRUYsTUFBTSxNQUFNLG9DQUFvQyxHQUFHO0lBQ2pELE9BQU8sRUFBRSxLQUFLLENBQUM7SUFDZixNQUFNLEVBQUUsb0NBQW9DLENBQUM7SUFDN0MsV0FBVyxDQUFDLEVBQUUsV0FBVyxDQUFDO0lBQzFCLGlCQUFpQixDQUFDLEVBQUUsMkJBQTJCLENBQUM7Q0FDakQsQ0FBQztBQUVGLE1BQU0sTUFBTSw2QkFBNkIsR0FBRyxvQ0FBb0MsR0FBRyxvQ0FBb0MsQ0FBQztBQU14SCxxQkFBYSxvQkFBb0I7SUFJN0IsT0FBTyxDQUFDLGtCQUFrQjtJQUMxQixPQUFPLENBQUMsVUFBVTtJQUNsQixPQUFPLENBQUMsV0FBVztJQUNuQixPQUFPLENBQUMsbUJBQW1CO0lBQzNCLE9BQU8sQ0FBQyxVQUFVO0lBQ2xCLE9BQU8sQ0FBQyxzQkFBc0I7SUFDOUIsT0FBTyxDQUFDLFVBQVU7SUFDbEIsT0FBTyxDQUFDLE1BQU07SUFDZCxPQUFPLENBQUMsT0FBTyxDQUFDO0lBQ2hCLE9BQU8sQ0FBQyxZQUFZO0lBRXBCLE9BQU8sQ0FBQyxHQUFHO0lBZGIsU0FBZ0IsTUFBTSxFQUFFLE1BQU0sQ0FBQztJQUUvQixZQUNVLGtCQUFrQixFQUFFLDBCQUEwQixFQUM5QyxVQUFVLEVBQUUsc0JBQXNCLEVBQ2xDLFdBQVcsRUFBRSxhQUFhLEdBQUcsV0FBVyxFQUN4QyxtQkFBbUIsRUFBRSxtQkFBbUIsRUFDeEMsVUFBVSxFQUFFLFdBQVcsRUFDdkIsc0JBQXNCLEVBQUUsc0JBQXNCLEVBQzlDLFVBQVUsRUFBRSxVQUFVLEVBQ3RCLE1BQU0sRUFBRSx5QkFBeUIsRUFDakMsT0FBTyxDQUFDLDhCQUFrQixFQUMxQixZQUFZLEdBQUUsWUFBaUMsRUFDdkQsU0FBUyxHQUFFLGVBQXNDLEVBQ3pDLEdBQUcseUNBQW1ELEVBTS9EO0lBRUQsUUFBUSxDQUFDLFNBQVMsRUFBRSxHQUFHLEVBQUUsZUFBZSxFQUFFLE9BQU8sR0FBRyxvQkFBb0IsQ0FnQ3ZFO0lBRUssbUJBQW1CLENBQ3ZCLFFBQVEsRUFBRSxhQUFhLEVBQ3ZCLGNBQWMsRUFBRSxNQUFNLEVBQ3RCLGVBQWUsRUFBRSxPQUFPLEdBQ3ZCLE9BQU8sQ0FBQyw2QkFBNkIsQ0FBQyxDQXlKeEM7WUFFYSxjQUFjO0lBb0M1QixPQUFPLENBQUMsdUJBQXVCO0lBMEMvQjs7OztPQUlHO0lBQ0gsT0FBTyxDQUFDLGlDQUFpQztJQTRFekMsT0FBTyxDQUFDLHNCQUFzQjtZQU1oQixzQkFBc0I7SUFtQ3BDLE9BQU8sQ0FBQyx5QkFBeUI7SUFnQjNCLHFCQUFxQixDQUN6QixRQUFRLEVBQUUsYUFBYSxFQUN2QixXQUFXLEVBQUUsV0FBVyxFQUN4QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUNULGNBQWMsRUFBRSxFQUFFLEVBQUUsRUFDcEIsMkJBQTJCLEVBQUUsRUFBRSxFQUFFLEdBQ2hDLE9BQU8sQ0FBQywyQkFBMkIsQ0FBQyxDQWlIdEM7Q0FDRiJ9
@@ -1 +0,0 @@
1
- {"version":3,"file":"block_proposal_handler.d.ts","sourceRoot":"","sources":["../src/block_proposal_handler.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAc,MAAM,iCAAiC,CAAC;AAE5F,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIpD,OAAO,EAAE,YAAY,EAAS,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAa,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAG1F,OAAO,KAAK,EAAE,WAAW,EAAE,yBAAyB,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACtH,OAAO,EAAE,KAAK,mBAAmB,EAAmC,MAAM,yBAAyB,CAAC;AACpG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,KAAK,EAA6B,QAAQ,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAQhF,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,MAAM,EAAsB,MAAM,yBAAyB,CAAC;AAEhG,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAC1E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAErD,MAAM,MAAM,oCAAoC,GAC5C,kBAAkB,GAClB,wBAAwB,GACxB,yBAAyB,GACzB,yBAAyB,GACzB,kBAAkB,GAClB,2BAA2B,GAC3B,6BAA6B,GAC7B,mBAAmB,GACnB,gBAAgB,GAChB,YAAY,GACZ,wBAAwB,GACxB,SAAS,GACT,eAAe,CAAC;AAEpB,KAAK,2BAA2B,GAAG;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,OAAO,EAAE,IAAI,CAAC;IACd,WAAW,EAAE,WAAW,CAAC;IACzB,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,OAAO,EAAE,KAAK,CAAC;IACf,MAAM,EAAE,oCAAoC,CAAC;IAC7C,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,iBAAiB,CAAC,EAAE,2BAA2B,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG,oCAAoC,GAAG,oCAAoC,CAAC;AAMxH,qBAAa,oBAAoB;IAI7B,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,mBAAmB;IAC3B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,sBAAsB;IAC9B,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,OAAO,CAAC;IAChB,OAAO,CAAC,YAAY;IAEpB,OAAO,CAAC,GAAG;IAdb,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACU,kBAAkB,EAAE,0BAA0B,EAC9C,UAAU,EAAE,sBAAsB,EAClC,WAAW,EAAE,aAAa,GAAG,WAAW,EACxC,mBAAmB,EAAE,mBAAmB,EACxC,UAAU,EAAE,WAAW,EACvB,sBAAsB,EAAE,sBAAsB,EAC9C,UAAU,EAAE,UAAU,EACtB,MAAM,EAAE,yBAAyB,EACjC,OAAO,CAAC,8BAAkB,EAC1B,YAAY,GAAE,YAAiC,EACvD,SAAS,GAAE,eAAsC,EACzC,GAAG,yCAAmD,EAM/D;IAED,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE,eAAe,EAAE,OAAO,GAAG,oBAAoB,CAgCvE;IAEK,mBAAmB,CACvB,QAAQ,EAAE,aAAa,EACvB,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,OAAO,GACvB,OAAO,CAAC,6BAA6B,CAAC,CAyJxC;YAEa,cAAc;IAoC5B,OAAO,CAAC,uBAAuB;IA0C/B;;;;OAIG;IACH,OAAO,CAAC,iCAAiC;IA4EzC,OAAO,CAAC,sBAAsB;YAMhB,sBAAsB;IAmCpC,OAAO,CAAC,yBAAyB;IAgB3B,qBAAqB,CACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,GAAG,EAAE,EAAE,EAAE,EACT,cAAc,EAAE,EAAE,EAAE,EACpB,2BAA2B,EAAE,EAAE,EAAE,GAChC,OAAO,CAAC,2BAA2B,CAAC,CAiHtC;CACF"}