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.