sp_domains_fraud_proof::verification

Function verify_invalid_domain_extrinsics_root_fraud_proof

source
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>>,
Expand description

Verifies invalid domain extrinsic root fraud proof.