Struct ValidatedTransition

pub(crate) struct ValidatedTransition<'a> {
    state: ValidatedState,
    expected_chain_config: ChainConfig,
    parent: &'a Header,
    proposal: Proposal<'a>,
    view_number: u64,
}

Type to hold cloned validated state and provide validation methods.

The Self::validate method must be called to validate the proposal.

Fields

state: ValidatedState

expected_chain_config: ChainConfig

parent: &'a Header

proposal: Proposal<'a>

view_number: u64

Implementations

impl<'a> ValidatedTransition<'a>

pub(crate) fn new( state: ValidatedState, parent: &'a Header, proposal: Proposal<'a>, view_number: u64, ) -> Self

pub(crate) fn validate(self) -> Result<Self, ProposalValidationError>

Top level validation routine. Performs all validation units in the given order.

self.validate_timestamp()?;
self.validate_builder_fee()?;
self.validate_height()?;
self.validate_chain_config()?;
self.validate_block_size()?;
self.validate_fee()?;
self.validate_fee_merkle_tree()?;
self.validate_block_merkle_tree()?;
self.validate_l1_finalized()?;
self.validate_l1_head()?;
self.validate_namespace_table()?;

fn validate_l1_finalized(&self) -> Result<(), ProposalValidationError>

The proposal Header::l1_finalized must be Some and non-decreasing relative to parent.

async fn wait_for_l1( self, l1_client: &L1Client, ) -> Result<Self, ProposalValidationError>

Wait for our view of the L1 chain to catch up to the proposal.

The finalized L1BlockInfo in the proposal must match the one fetched from L1.

async fn wait_for_l1_head(&self, l1_client: &L1Client)

Wait for our view of the latest L1 block number to catch up to the proposal.

async fn wait_for_finalized_block( &self, l1_client: &L1Client, ) -> Result<(), ProposalValidationError>

Wait for our view of the finalized L1 block number to catch up to the proposal.

fn validate_l1_head(&self) -> Result<(), ProposalValidationError>

Ensure that L1 Head on proposal is not decreasing.

fn validate_builder_fee(&self) -> Result<(), ProposalValidationError>

Validate basic numerical soundness and builder accounts by verifying signatures. Signatures are identified by index of fee Vec.

fn validate_chain_config(&self) -> Result<(), ProposalValidationError>

Validates proposals ChainConfig against expectation by comparing commitments.

fn validate_block_size(&self) -> Result<(), ProposalValidationError>

Validate that proposal block size does not exceed configured ChainConfig.max_block_size.

fn validate_fee(&self) -> Result<(), ProposalValidationError>

Validate that FeeAmount (or sum of fees for Marketplace Version) is sufficient for block size.

fn validate_height(&self) -> Result<(), ProposalValidationError>

Validate that proposal height is parent_height + 1.

fn validate_timestamp(&self) -> Result<(), ProposalValidationError>

Validate timestamp is not decreasing relative to parent and is within a given tolerance of system time. Tolerance is currently 12 seconds. This value may be moved to configuration in the future. Do this check first so we don’t add unnecessary drift.

fn validate_block_merkle_tree(&self) -> Result<(), ProposalValidationError>

Validate BlockMerkleTree by comparing proposed commitment that stored in ValidatedState.

fn validate_reward_merkle_tree(&self) -> Result<(), ProposalValidationError>

Validate RewardMerkleTree by comparing proposed commitment against that stored in ValidatedState.

fn validate_fee_merkle_tree(&self) -> Result<(), ProposalValidationError>

Validate FeeMerkleTree by comparing proposed commitment against that stored in ValidatedState.

fn validate_namespace_table(&self) -> Result<(), ProposalValidationError>

Proxy to super::NsTable::validate().

Trait Implementations

impl<'a> Debug for ValidatedTransition<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.