Struct Proposal 

pub(crate) struct Proposal<'a> {
    header: &'a Header,
    block_size: u32,
}

Block Proposal to be verified and applied.

Fields

header: &'a Header

block_size: u32

Implementations

impl<'a> Proposal<'a>

pub(crate) fn new(header: &'a Header, block_size: u32) -> Self

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

The L1 head block number in the proposal must be non-decreasing relative to the parent.

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

The ChainConfig of proposal must be equal to the one stored in state.

Equality is checked by comparing commitments.

fn validate_timestamp_non_dec( &self, parent_timestamp: u64, ) -> Result<(), ProposalValidationError>

The timestamp must be non-decreasing relative to parent.

fn validate_timestamp_drift( &self, system_time: OffsetDateTime, ) -> Result<(), ProposalValidationError>

The timestamp must not drift too much from local system time.

The tolerance is currently 12 seconds. This value may be moved to configuration in the future.

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

The timestamp and timestamp_millis fields must be coherent

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

The proposed [‘BlockMerkleTree’] must match the one in [‘ValidatedState’].

Trait Implementations

impl<'a> Debug for Proposal<'a>

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

Formats the value using the given formatter.