Struct OpaqueBundleWithProof

pub struct OpaqueBundleWithProof<Number, Hash, DomainHeader: HeaderT, Balance> {
    pub bundle: OpaqueBundle<Number, Hash, DomainHeader, Balance>,
    pub bundle_index: u32,
    pub bundle_storage_proof: SuccessfulBundlesProof,
}

Fields

bundle: OpaqueBundle<Number, Hash, DomainHeader, Balance>

bundle_index: u32

bundle_storage_proof: SuccessfulBundlesProof

Implementations

impl<Number, Hash, DomainHeader, Balance> OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

where Number: Encode, Hash: Encode, DomainHeader: HeaderT, Balance: Encode,

pub fn generate<Block: BlockT, PP: ProofProvider<Block>, SKP: FraudProofStorageKeyProviderInstance<NumberFor<Block>>>( storage_key_provider: &SKP, proof_provider: &PP, domain_id: DomainId, block_hash: Block::Hash, bundle: OpaqueBundle<Number, Hash, DomainHeader, Balance>, bundle_index: u32, ) -> Result<Self, GenerationError>

pub fn verify<Block: BlockT, SKP: FraudProofStorageKeyProvider<NumberFor<Block>>>( &self, domain_id: DomainId, state_root: &Block::Hash, ) -> Result<(), VerificationError>

Verify if the bundle does commit to the given state_root

Trait Implementations

impl<Number: Clone, Hash: Clone, DomainHeader: Clone + HeaderT, Balance: Clone> Clone for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

fn clone(&self) -> OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<Number: Debug, Hash: Debug, DomainHeader: Debug + HeaderT, Balance: Debug> Debug for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

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

Formats the value using the given formatter.

impl<Number, Hash, DomainHeader: HeaderT, Balance> Decode for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

where OpaqueBundle<Number, Hash, DomainHeader, Balance>: 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, Balance> Encode for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

where OpaqueBundle<Number, Hash, DomainHeader, Balance>: 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, Balance: PartialEq> PartialEq for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

fn eq( &self, other: &OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>, ) -> 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, Balance> TypeInfo for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

where OpaqueBundle<Number, Hash, DomainHeader, Balance>: TypeInfo + 'static, Number: TypeInfo + 'static, Hash: TypeInfo + 'static, DomainHeader: HeaderT + TypeInfo + 'static, Balance: TypeInfo + 'static,

type Identity = OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

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, Balance> EncodeLike for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

where OpaqueBundle<Number, Hash, DomainHeader, Balance>: Encode,

impl<Number: Eq, Hash: Eq, DomainHeader: Eq + HeaderT, Balance: Eq> Eq for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>

impl<Number, Hash, DomainHeader: HeaderT, Balance> StructuralPartialEq for OpaqueBundleWithProof<Number, Hash, DomainHeader, Balance>