Trait FullConsensus 

pub trait FullConsensus<N>: Consensus<<N as NodePrimitives>::Block>
where
    N: NodePrimitives,
{
    // Required method
    fn validate_block_post_execution(
        &self,
        block: &RecoveredBlock<<N as NodePrimitives>::Block>,
        result: &BlockExecutionResult<<N as NodePrimitives>::Receipt>,
        receipt_root_bloom: Option<(FixedBytes<32>, Bloom)>,
    ) -> Result<(), ConsensusError>;
}

Consensus implementation which knows full node primitives and is able to validation block’s execution outcome.

Required Methods

fn validate_block_post_execution( &self, block: &RecoveredBlock<<N as NodePrimitives>::Block>, result: &BlockExecutionResult<<N as NodePrimitives>::Receipt>, receipt_root_bloom: Option<(FixedBytes<32>, Bloom)>, ) -> 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”.

If receipt_root_bloom is provided, the implementation should use the pre-computed receipt root and logs bloom instead of computing them from the receipts.

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

Implementations on Foreign Types

impl<'a, N, T> FullConsensus<N> for &'a T

where N: NodePrimitives, T: 'a + FullConsensus<N> + ?Sized, &'a T: Consensus<<N as NodePrimitives>::Block>,

fn validate_block_post_execution( &self, block: &RecoveredBlock<<N as NodePrimitives>::Block>, result: &BlockExecutionResult<<N as NodePrimitives>::Receipt>, receipt_root_bloom: Option<(FixedBytes<32>, Bloom)>, ) -> Result<(), ConsensusError>

impl<N, T> FullConsensus<N> for Arc<T>

where N: NodePrimitives, T: FullConsensus<N> + ?Sized, Arc<T>: Consensus<<N as NodePrimitives>::Block>,

fn validate_block_post_execution( &self, block: &RecoveredBlock<<N as NodePrimitives>::Block>, result: &BlockExecutionResult<<N as NodePrimitives>::Receipt>, receipt_root_bloom: Option<(FixedBytes<32>, Bloom)>, ) -> Result<(), ConsensusError>

Implementors

impl<ChainSpec, N> FullConsensus<N> for EthBeaconConsensus<ChainSpec>

where ChainSpec: Send + Sync + EthChainSpec<Header = <N as NodePrimitives>::BlockHeader> + EthereumHardforks + Debug, N: NodePrimitives,

impl<N> FullConsensus<N> for NoopConsensus

where N: NodePrimitives,

impl<N> FullConsensus<N> for TestConsensus

where N: NodePrimitives,