Struct frame_system::CheckNonce

pub struct CheckNonce<T: Config>(pub T::Nonce);

Nonce check and increment to give replay protection for transactions.

Transaction Validity

This extension affects requires and provides tags of validity, but DOES NOT set the priority field. Make sure that AT LEAST one of the transaction extension sets some kind of priority upon validating transactions.

The preparation step assumes that the nonce information has not changed since the validation step. This means that other extensions ahead of CheckNonce in the pipeline must not alter the nonce during their own preparation step, or else the transaction may be rejected during dispatch or lead to an inconsistent account state.

Tuple Fields

0: T::Nonce

Implementations

impl<T: Config> CheckNonce<T>

pub fn from(nonce: T::Nonce) -> Self

utility constructor. Used only in client/factory code.

Trait Implementations

impl<T: Clone + Config> Clone for CheckNonce<T>

where T::Nonce: Clone,

fn clone(&self) -> CheckNonce<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Config> Debug for CheckNonce<T>

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

Formats the value using the given formatter.

impl<T: Config> Decode for CheckNonce<T>

where T::Nonce: HasCompact,

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<T: Config> Encode for CheckNonce<T>

where T::Nonce: HasCompact,

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<__CodecOutputReturn, __CodecUsingEncodedCallback: FnOnce(&[u8]) -> __CodecOutputReturn>( &self, f: __CodecUsingEncodedCallback, ) -> __CodecOutputReturn

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

fn encoded_size(&self) -> usize

Calculates the encoded size.

impl<T: PartialEq + Config> PartialEq for CheckNonce<T>

where T::Nonce: PartialEq,

fn eq(&self, other: &CheckNonce<T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

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

impl<T: Config> TransactionExtension<<T as Config>::RuntimeCall> for CheckNonce<T>

where T::RuntimeCall: Dispatchable<Info = DispatchInfo>, <T::RuntimeCall as Dispatchable>::RuntimeOrigin: AsSystemOriginSigner<T::AccountId> + Clone,

const IDENTIFIER: &'static str = "CheckNonce"

Unique identifier of this signed extension.

type Implicit = ()

Any additional data which was known at the time of transaction construction and can be useful in authenticating the transaction. This is determined dynamically in part from the on-chain environment using the implicit function and not directly contained in the transaction itself and therefore is considered “implicit”.

type Val = Val<T>

The type that encodes information that can be passed from validate to prepare.

type Pre = Pre

The type that encodes information that can be passed from prepare to post_dispatch.

fn weight(&self, _: &T::RuntimeCall) -> Weight

The weight consumed by executing this extension instance fully during transaction dispatch.

fn validate( &self, origin: <T as Config>::RuntimeOrigin, call: &T::RuntimeCall, _info: &DispatchInfoOf<T::RuntimeCall>, _len: usize, _self_implicit: Self::Implicit, _inherited_implication: &impl Encode, _source: TransactionSource, ) -> ValidateResult<Self::Val, T::RuntimeCall>

Validate a transaction for the transaction queue.

fn prepare( self, val: Self::Val, _origin: &T::RuntimeOrigin, _call: &T::RuntimeCall, _info: &DispatchInfoOf<T::RuntimeCall>, _len: usize, ) -> Result<Self::Pre, TransactionValidityError>

Do any pre-flight stuff for a transaction after validation.

fn post_dispatch_details( pre: Self::Pre, _info: &DispatchInfo, _post_info: &PostDispatchInfoOf<T::RuntimeCall>, _len: usize, _result: &DispatchResult, ) -> Result<Weight, TransactionValidityError>

Do any post-flight stuff for an extrinsic.

fn implicit(&self) -> Result<Self::Implicit, TransactionValidityError>

Determine any additional data which was known at the time of transaction construction and can be useful in authenticating the transaction. The expected usage of this is to include in any data which is signed and verified as part of transaction validation. Also perform any pre-signature-verification checks and return an error if needed.

fn metadata() -> Vec<TransactionExtensionMetadata>

Returns the metadata for this extension.

fn post_dispatch( pre: Self::Pre, info: &<Call as Dispatchable>::Info, post_info: &mut <Call as Dispatchable>::PostInfo, len: usize, result: &Result<(), DispatchError>, ) -> Result<(), TransactionValidityError>

A wrapper for post_dispatch_details that refunds the unspent weight consumed by this extension into the post dispatch information.

fn bare_validate( _call: &Call, _info: &<Call as Dispatchable>::Info, _len: usize, ) -> Result<ValidTransaction, TransactionValidityError>

Validation logic for bare extrinsics.

fn bare_validate_and_prepare( _call: &Call, _info: &<Call as Dispatchable>::Info, _len: usize, ) -> Result<(), TransactionValidityError>

All pre-flight logic run before dispatching bare extrinsics.

fn bare_post_dispatch( _info: &<Call as Dispatchable>::Info, _post_info: &mut <Call as Dispatchable>::PostInfo, _len: usize, _result: &Result<(), DispatchError>, ) -> Result<(), TransactionValidityError>

Post dispatch logic run after dispatching bare extrinsics.

impl<T> TypeInfo for CheckNonce<T>

where T::Nonce: HasCompact, T: Config + 'static,

type Identity = CheckNonce<T>

The type identifying for which type info is provided.

fn type_info() -> Type

Returns the static type identifier for Self.

impl<T: Config> EncodeLike for CheckNonce<T>

where T::Nonce: HasCompact,

impl<T: Eq + Config> Eq for CheckNonce<T>

where T::Nonce: Eq,

impl<T: Config> StructuralPartialEq for CheckNonce<T>