Trait pallet_grandpa_finality_verifier::bridges::header_chain::InclusionProofVerifier

pub trait InclusionProofVerifier {
    type Transaction: Parameter;
    type TransactionInclusionProof: Parameter;

    // Required method
    fn verify_transaction_inclusion_proof(
        proof: &Self::TransactionInclusionProof
    ) -> Option<Self::Transaction>;
}

base trait for verifying transaction inclusion proofs.

Required Associated Types

type Transaction: Parameter

Transaction type.

type TransactionInclusionProof: Parameter

Transaction inclusion proof type.

Required Methods

fn verify_transaction_inclusion_proof( proof: &Self::TransactionInclusionProof ) -> Option<Self::Transaction>

Verify that transaction is a part of given block.

Returns Some(transaction) if proof is valid and None otherwise.

Implementors