Trait Consensus

pub trait Consensus<H = Header, B = BlockBody>:
    AsHeaderValidator<H>
    + HeaderValidator<H>
    + Debug
    + Send
    + Sync {
    // Required methods
    fn validate_body_against_header(
        &self,
        body: &B,
        header: &SealedHeader<H>,
    ) -> Result<(), ConsensusError>;
    fn validate_block_pre_execution(
        &self,
        block: &SealedBlock<H, B>,
    ) -> Result<(), ConsensusError>;
    fn validate_block_post_execution(
        &self,
        block: &BlockWithSenders,
        input: PostExecutionInput<'_>,
    ) -> Result<(), ConsensusError>;
}

Consensus is a protocol that chooses canonical chain.

Required Methods

fn validate_body_against_header( &self, body: &B, header: &SealedHeader<H>, ) -> Result<(), ConsensusError>

Ensures that body field values match the header.

fn validate_block_pre_execution( &self, block: &SealedBlock<H, B>, ) -> Result<(), ConsensusError>

Validate a block disregarding world state, i.e. things that can be checked before sender recovery and execution.

See the Yellow Paper sections 4.3.2 “Holistic Validity”, 4.3.4 “Block Header Validity”, and 11.1 “Ommer Validation”.

This should not be called for the genesis block.

Note: validating blocks does not include other validations of the Consensus

fn validate_block_post_execution( &self, block: &BlockWithSenders, input: PostExecutionInput<'_>, ) -> Result<(), ConsensusError>

Validate a block considering world state, i.e. things that can not be checked before execution.

See the Yellow Paper sections 4.3.2 “Holistic Validity”.

Note: validating blocks does not include other validations of the Consensus

Implementations on Foreign Types

impl<'a, H, B, T> Consensus<H, B> for &'a T

where T: 'a + Consensus<H, B> + ?Sized, &'a T: AsHeaderValidator<H> + HeaderValidator<H> + Debug + Send + Sync,

fn validate_body_against_header( &self, body: &B, header: &SealedHeader<H>, ) -> Result<(), ConsensusError>

fn validate_block_pre_execution( &self, block: &SealedBlock<H, B>, ) -> Result<(), ConsensusError>

fn validate_block_post_execution( &self, block: &BlockWithSenders, input: PostExecutionInput<'_>, ) -> Result<(), ConsensusError>

impl<H, B, T> Consensus<H, B> for Arc<T>

where T: Consensus<H, B> + ?Sized, Arc<T>: AsHeaderValidator<H> + HeaderValidator<H> + Debug + Send + Sync,

fn validate_body_against_header( &self, body: &B, header: &SealedHeader<H>, ) -> Result<(), ConsensusError>

fn validate_block_pre_execution( &self, block: &SealedBlock<H, B>, ) -> Result<(), ConsensusError>

fn validate_block_post_execution( &self, block: &BlockWithSenders, input: PostExecutionInput<'_>, ) -> Result<(), ConsensusError>

Implementors

impl<ChainSpec> Consensus for EthBeaconConsensus<ChainSpec>

where ChainSpec: Send + Sync + EthChainSpec + EthereumHardforks + Debug,

impl<H, B> Consensus<H, B> for NoopConsensus

impl<H, B> Consensus<H, B> for TestConsensus