Function sp_domains_fraud_proof::verification::verify_invalid_state_transition_fraud_proof

pub fn verify_invalid_state_transition_fraud_proof<CBlock, DomainHeader, Balance>(
    bad_receipt: ExecutionReceipt<NumberFor<CBlock>, <CBlock as BlockT>::Hash, DomainHeader::Number, DomainHeader::Hash, Balance>,
    bad_receipt_parent: ExecutionReceipt<NumberFor<CBlock>, <CBlock as BlockT>::Hash, DomainHeader::Number, DomainHeader::Hash, Balance>,
    fraud_proof: &InvalidStateTransitionProof,
    domain_runtime_code: Vec<u8>,
) -> Result<(), VerificationError<DomainHeader::Hash>>
where
    CBlock: BlockT,
    CBlock::Hash: Into<H256>,
    DomainHeader: HeaderT,
    DomainHeader::Hash: Into<H256> + From<H256>,
    DomainHeader::Number: UniqueSaturatedInto<BlockNumber> + From<BlockNumber>,

Verifies invalid state transition fraud proof.