Function sp_domains_fraud_proof::verification::verify_invalid_domain_extrinsics_root_fraud_proof

pub fn verify_invalid_domain_extrinsics_root_fraud_proof<CBlock, Balance, DomainHeader, Hashing, SKP>(
    bad_receipt: ExecutionReceipt<NumberFor<CBlock>, CBlock::Hash, HeaderNumberFor<DomainHeader>, HeaderHashFor<DomainHeader>, Balance>,
    fraud_proof: &InvalidExtrinsicsRootProof,
    domain_id: DomainId,
    runtime_id: RuntimeId,
    state_root: CBlock::Hash,
    domain_runtime_code: Vec<u8>,
) -> Result<(), VerificationError<DomainHeader::Hash>>
where
    CBlock: BlockT,
    DomainHeader: HeaderT,
    DomainHeader::Hash: Into<H256> + PartialEq + Copy,
    Hashing: Hasher<Out = CBlock::Hash>,
    SKP: FraudProofStorageKeyProvider<NumberFor<CBlock>>,

Verifies invalid domain extrinsic root fraud proof.