pub fn verify_valid_bundle_fraud_proof<CBlock, DomainHeader, Balance, SKP>(
    bad_receipt: ExecutionReceipt<NumberFor<CBlock>, CBlock::Hash, HeaderNumberFor<DomainHeader>, HeaderHashFor<DomainHeader>, Balance>,
    fraud_proof: &ValidBundleProof<NumberFor<CBlock>, CBlock::Hash, DomainHeader>,
    domain_id: DomainId,
    state_root: CBlock::Hash,
    domain_runtime_code: Vec<u8>,
) -> Result<(), VerificationError<DomainHeader::Hash>>
where CBlock: BlockT, CBlock::Hash: Into<H256>, DomainHeader: HeaderT, DomainHeader::Hash: Into<H256> + PartialEq + Copy, SKP: FraudProofStorageKeyProvider<NumberFor<CBlock>>,
Expand description

Verifies valid bundle fraud proof.