Struct FraudProof

pub struct FraudProof<Number, Hash, DomainHeader: HeaderT, MmrHash> {
    pub domain_id: DomainId,
    pub bad_receipt_hash: HeaderHashFor<DomainHeader>,
    pub maybe_mmr_proof: Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>,
    pub maybe_domain_runtime_code_proof: Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>,
    pub proof: FraudProofVariant<Number, Hash, MmrHash, DomainHeader>,
}

Fraud proof for domains.

Fields

domain_id: DomainId

bad_receipt_hash: HeaderHashFor<DomainHeader>

Hash of the bad receipt this fraud proof targeted

maybe_mmr_proof: Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>

The MMR proof for the consensus state root that is used to verify the storage proof

It is set None if the specific fraud proof variant doesn’t contain a storage proof

maybe_domain_runtime_code_proof: Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>

The domain runtime code storage proof

It is set None if the specific fraud proof variant doesn’t require domain runtime code or the required domain runtime code is available from the current runtime state.

proof: FraudProofVariant<Number, Hash, MmrHash, DomainHeader>

The specific fraud proof variant

Implementations

impl<Number, Hash, MmrHash, DomainHeader: HeaderT> FraudProof<Number, Hash, DomainHeader, MmrHash>

pub fn domain_id(&self) -> DomainId

pub fn targeted_bad_receipt_hash(&self) -> HeaderHashFor<DomainHeader>

pub fn is_unexpected_domain_runtime_code_proof(&self) -> bool

pub fn is_unexpected_mmr_proof(&self) -> bool

pub fn dummy_fraud_proof( domain_id: DomainId, bad_receipt_hash: HeaderHashFor<DomainHeader>, ) -> FraudProof<Number, Hash, DomainHeader, MmrHash>

impl<Number, Hash, MmrHash, DomainHeader: HeaderT> FraudProof<Number, Hash, DomainHeader, MmrHash>

where Number: Encode, Hash: Encode, MmrHash: Encode,

pub fn hash(&self) -> HeaderHashFor<DomainHeader>

Trait Implementations

impl<Number: Clone, Hash: Clone, DomainHeader: Clone + HeaderT, MmrHash: Clone> Clone for FraudProof<Number, Hash, DomainHeader, MmrHash>

fn clone(&self) -> FraudProof<Number, Hash, DomainHeader, MmrHash>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Number, Hash, MmrHash, DomainHeader: HeaderT> Debug for FraudProof<Number, Hash, DomainHeader, MmrHash>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<Number, Hash, DomainHeader: HeaderT, MmrHash> Decode for FraudProof<Number, Hash, DomainHeader, MmrHash>

where HeaderHashFor<DomainHeader>: Decode, Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>: Decode, Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>: Decode, FraudProofVariant<Number, Hash, MmrHash, DomainHeader>: Decode,

fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>

Attempt to deserialise the value from input.

fn decode_into<I>( input: &mut I, dst: &mut MaybeUninit<Self>, ) -> Result<DecodeFinished, Error>

where I: Input,

Attempt to deserialize the value from input into a pre-allocated piece of memory.

fn skip<I>(input: &mut I) -> Result<(), Error>

where I: Input,

Attempt to skip the encoded value from input.

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type.

impl<Number, Hash, DomainHeader: HeaderT, MmrHash> Encode for FraudProof<Number, Hash, DomainHeader, MmrHash>

where HeaderHashFor<DomainHeader>: Encode, Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>: Encode, Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>: Encode, FraudProofVariant<Number, Hash, MmrHash, DomainHeader>: Encode,

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding.

fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )

Convert self to a slice and append it to the destination.

fn encode(&self) -> Vec<u8>

Convert self to an owned vector.

fn using_encoded<R, F>(&self, f: F) -> R

where F: FnOnce(&[u8]) -> R,

Convert self to a slice and then invoke the given closure with it.

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<Number: PartialEq, Hash: PartialEq, DomainHeader: PartialEq + HeaderT, MmrHash: PartialEq> PartialEq for FraudProof<Number, Hash, DomainHeader, MmrHash>

fn eq(&self, other: &FraudProof<Number, Hash, DomainHeader, MmrHash>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<Number, Hash, DomainHeader, MmrHash> TypeInfo for FraudProof<Number, Hash, DomainHeader, MmrHash>

where HeaderHashFor<DomainHeader>: TypeInfo + 'static, Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>: TypeInfo + 'static, Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>: TypeInfo + 'static, FraudProofVariant<Number, Hash, MmrHash, DomainHeader>: TypeInfo + 'static, Number: TypeInfo + 'static, Hash: TypeInfo + 'static, DomainHeader: HeaderT + TypeInfo + 'static, MmrHash: TypeInfo + 'static,

type Identity = FraudProof<Number, Hash, DomainHeader, MmrHash>

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl<Number, Hash, DomainHeader: HeaderT, MmrHash> DecodeWithMemTracking for FraudProof<Number, Hash, DomainHeader, MmrHash>

where HeaderHashFor<DomainHeader>: DecodeWithMemTracking, Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>: DecodeWithMemTracking, Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>: DecodeWithMemTracking, FraudProofVariant<Number, Hash, MmrHash, DomainHeader>: DecodeWithMemTracking,

impl<Number, Hash, DomainHeader: HeaderT, MmrHash> EncodeLike for FraudProof<Number, Hash, DomainHeader, MmrHash>

where HeaderHashFor<DomainHeader>: Encode, Option<ConsensusChainMmrLeafProof<Number, Hash, MmrHash>>: Encode, Option<DomainRuntimeCodeAt<Number, Hash, MmrHash>>: Encode, FraudProofVariant<Number, Hash, MmrHash, DomainHeader>: Encode,

impl<Number: Eq, Hash: Eq, DomainHeader: Eq + HeaderT, MmrHash: Eq> Eq for FraudProof<Number, Hash, DomainHeader, MmrHash>

impl<Number, Hash, DomainHeader: HeaderT, MmrHash> StructuralPartialEq for FraudProof<Number, Hash, DomainHeader, MmrHash>