pub enum FraudProofVerificationInfoRequest {
Show 15 variants
BlockRandomness,
DomainTimestampExtrinsic(DomainId),
ConsensusChainByteFeeExtrinsic(DomainId),
DomainChainsAllowlistUpdateExtrinsic(DomainId),
DomainBundleBody {
domain_id: DomainId,
bundle_index: u32,
},
DomainRuntimeCode(DomainId),
DomainSetCodeExtrinsic(DomainId),
TxRangeCheck {
domain_id: DomainId,
bundle_index: u32,
opaque_extrinsic: OpaqueExtrinsic,
},
InherentExtrinsicCheck {
domain_id: DomainId,
opaque_extrinsic: OpaqueExtrinsic,
},
ExtrinsicDecodableCheck {
domain_id: DomainId,
opaque_extrinsic: OpaqueExtrinsic,
},
XDMValidationCheck {
domain_id: DomainId,
opaque_extrinsic: OpaqueExtrinsic,
},
DomainElectionParams {
domain_id: DomainId,
},
OperatorStake {
operator_id: OperatorId,
},
CheckExtrinsicsInSingleContext {
domain_id: DomainId,
domain_block_number: u32,
domain_block_hash: H256,
domain_block_state_root: H256,
extrinsics: Vec<OpaqueExtrinsic>,
storage_proof: StorageProof,
},
StorageKey {
domain_id: DomainId,
req: StorageKeyRequest,
},
}
Expand description
Request type to fetch required verification information for fraud proof through Host function.
Variants§
BlockRandomness
Block randomness at a given consensus block hash.
DomainTimestampExtrinsic(DomainId)
Domain timestamp extrinsic using the timestamp at a given consensus block hash.
ConsensusChainByteFeeExtrinsic(DomainId)
Domain set_consensus_chain_byte_fee
extrinsic using the consensus_chain_byte_fee
at a given
consensus block hash.
DomainChainsAllowlistUpdateExtrinsic(DomainId)
Domains update_domain_chain_allowlist
extrinsic at a given consensus block hash.
DomainBundleBody
The body of domain bundle included in a given consensus block at a given index
DomainRuntimeCode(DomainId)
The domain runtime code
DomainSetCodeExtrinsic(DomainId)
Domain set_code extrinsic if there is a runtime upgrade at a given consensus block hash.
TxRangeCheck
Request to check if particular extrinsic is in range for (domain, bundle) pair at given domain block
Fields
domain_id: DomainId
opaque_extrinsic: OpaqueExtrinsic
Extrinsic for which we need to check the range
InherentExtrinsicCheck
Request to check if particular extrinsic is an inherent extrinsic
Fields
domain_id: DomainId
opaque_extrinsic: OpaqueExtrinsic
Extrinsic for which we need to if it is inherent or not.
ExtrinsicDecodableCheck
Request to check if the domain extrinsic is decodable or not.
Fields
domain_id: DomainId
opaque_extrinsic: OpaqueExtrinsic
Extrinsic for which we need to if it is decodable or not.
XDMValidationCheck
Request to check if the XDM is valid
Fields
domain_id: DomainId
opaque_extrinsic: OpaqueExtrinsic
Encoded XDM extrinsic that needs to be validated.
DomainElectionParams
Request to get Domain election params.
Fields
domain_id: DomainId
OperatorStake
Request to get Operator stake.
Fields
operator_id: OperatorId
CheckExtrinsicsInSingleContext
Request to check extrinsics in single context
Fields
domain_id: DomainId
domain_block_hash: H256
Domain block hash from ER
domain_block_state_root: H256
Domain block state root from ER
storage_proof: StorageProof
Storage proof for the keys used in validating the extrinsic
StorageKey
Request to fetch a specific storage key
Trait Implementations§
source§impl Clone for FraudProofVerificationInfoRequest
impl Clone for FraudProofVerificationInfoRequest
source§fn clone(&self) -> FraudProofVerificationInfoRequest
fn clone(&self) -> FraudProofVerificationInfoRequest
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moresource§impl Decode for FraudProofVerificationInfoRequest
impl Decode for FraudProofVerificationInfoRequest
source§fn decode<__CodecInputEdqy: Input>(
__codec_input_edqy: &mut __CodecInputEdqy,
) -> Result<Self, Error>
fn decode<__CodecInputEdqy: Input>( __codec_input_edqy: &mut __CodecInputEdqy, ) -> Result<Self, Error>
§fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
fn decode_into<I>(
input: &mut I,
dst: &mut MaybeUninit<Self>,
) -> Result<DecodeFinished, Error>where
I: Input,
§fn skip<I>(input: &mut I) -> Result<(), Error>where
I: Input,
fn skip<I>(input: &mut I) -> Result<(), Error>where
I: Input,
§fn encoded_fixed_size() -> Option<usize>
fn encoded_fixed_size() -> Option<usize>
source§impl Encode for FraudProofVerificationInfoRequest
impl Encode for FraudProofVerificationInfoRequest
source§fn size_hint(&self) -> usize
fn size_hint(&self) -> usize
source§fn encode_to<__CodecOutputEdqy: Output + ?Sized>(
&self,
__codec_dest_edqy: &mut __CodecOutputEdqy,
)
fn encode_to<__CodecOutputEdqy: Output + ?Sized>( &self, __codec_dest_edqy: &mut __CodecOutputEdqy, )
§fn using_encoded<R, F>(&self, f: F) -> R
fn using_encoded<R, F>(&self, f: F) -> R
§fn encoded_size(&self) -> usize
fn encoded_size(&self) -> usize
source§impl PartialEq for FraudProofVerificationInfoRequest
impl PartialEq for FraudProofVerificationInfoRequest
source§fn eq(&self, other: &FraudProofVerificationInfoRequest) -> bool
fn eq(&self, other: &FraudProofVerificationInfoRequest) -> bool
self
and other
values to be equal, and is used by ==
.source§impl PassBy for FraudProofVerificationInfoRequest
impl PassBy for FraudProofVerificationInfoRequest
§type PassBy = Codec<FraudProofVerificationInfoRequest>
type PassBy = Codec<FraudProofVerificationInfoRequest>
source§impl TypeInfo for FraudProofVerificationInfoRequest
impl TypeInfo for FraudProofVerificationInfoRequest
impl EncodeLike for FraudProofVerificationInfoRequest
impl Eq for FraudProofVerificationInfoRequest
impl StructuralPartialEq for FraudProofVerificationInfoRequest
Auto Trait Implementations§
impl Freeze for FraudProofVerificationInfoRequest
impl RefUnwindSafe for FraudProofVerificationInfoRequest
impl Send for FraudProofVerificationInfoRequest
impl Sync for FraudProofVerificationInfoRequest
impl Unpin for FraudProofVerificationInfoRequest
impl UnwindSafe for FraudProofVerificationInfoRequest
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
§fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§default unsafe fn clone_to_uninit(&self, dst: *mut T)
default unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)§impl<T> DecodeAll for Twhere
T: Decode,
impl<T> DecodeAll for Twhere
T: Decode,
§fn decode_all(input: &mut &[u8]) -> Result<T, Error>
fn decode_all(input: &mut &[u8]) -> Result<T, Error>
Self
and consume all of the given input data. Read more§impl<T> DecodeLimit for Twhere
T: Decode,
impl<T> DecodeLimit for Twhere
T: Decode,
source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key
and return true
if they are equal.§impl<T> FromFFIValue for Twhere
T: PassBy,
impl<T> FromFFIValue for Twhere
T: PassBy,
§type SelfInstance = T
type SelfInstance = T
Self
can be an unsized type, it needs to be represented by a sized type at the host.
This SelfInstance
is the sized type.§fn from_ffi_value(
context: &mut dyn FunctionContext,
arg: <<T as PassBy>::PassBy as RIType>::FFIType,
) -> Result<T, String>
fn from_ffi_value( context: &mut dyn FunctionContext, arg: <<T as PassBy>::PassBy as RIType>::FFIType, ) -> Result<T, String>
SelfInstance
from the given§impl<T> FullLeaf for T
impl<T> FullLeaf for T
§impl<T> Hashable for Twhere
T: Codec,
impl<T> Hashable for Twhere
T: Codec,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<T> IntoFFIValue for Twhere
T: PassBy,
impl<T> IntoFFIValue for Twhere
T: PassBy,
§fn into_ffi_value(
self,
context: &mut dyn FunctionContext,
) -> Result<<<T as PassBy>::PassBy as RIType>::FFIType, String>
fn into_ffi_value( self, context: &mut dyn FunctionContext, ) -> Result<<<T as PassBy>::PassBy as RIType>::FFIType, String>
self
into a ffi value.§impl<T> IsType<T> for T
impl<T> IsType<T> for T
§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
§impl<T> KeyedVec for Twhere
T: Codec,
impl<T> KeyedVec for Twhere
T: Codec,
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> RIType for Twhere
T: PassBy,
impl<T> RIType for Twhere
T: PassBy,
§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
T
. Read more§impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
impl<T, U> TryIntoKey<U> for Twhere
U: TryFromKey<T>,
type Error = <U as TryFromKey<T>>::Error
fn try_into_key(self) -> Result<U, <U as TryFromKey<T>>::Error>
§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
unchecked_from
.§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
T
.