Struct InitAffidavitKey

Source
pub(crate) struct InitAffidavitKey<T: Config> {
    pub at: BlockNumberFor<T>,
}
Expand description

Operational context for affidavit key initialization.

This type represents the contextual information required to initialize or recover an affidavit key during the key lifecycle.

Affidavit keys are ephemeral, operational keys that are rotated independently of long-term authority, stash, or consensus keys. Initialization may execute sequentially multiple times as a looped routine (e.g. via offchain workers), and therefore requires an explicit, lightweight context object.

§Notes

  • This is not a transaction payload.
  • This type is never submitted on-chain.
  • It is used internally during:
    • affidavit key generation
    • key recovery
    • keystore initialization or repair

§Fork Awareness

  • The at field captures the block number at which the initialization process begins.
  • When executed via offchain workers, this context must tolerate forks, re-orgs, and speculative execution.
  • Implementors are responsible for ensuring idempotency and re-entrancy safety.

§Initialization Flow

The process repeatedly attempts to resolve a affidavit key-pair. It self-heals by creating and inserting keys when missing, and retries on missing or error states until a consistent state is reached.

§Pseudocode

loop {
    // Fetch the tagged active affidavit from offchain storage
    match offchain_storage.fetch_active_affidavit() {
        Ok(None) => {
            // No active-tagged affidavit-key exists -> create a new key-pair locally
            keystore.create_affidavit_key();

            // Publish the key reference to offchain storage
            offchain_storage.insert_affidavit_key();
            continue;
        }
        Ok(Some(affidavit)) => {
            // A active-tagged affidavit exists -> ensure the local key-pair is present
            match keystore.get_affidavit_key() {
                Some(key) => break key,
                None => {
                    // Storage provided public key, but its actual key-pair
                    // is missing locally -> repair
                    keystore.create_affidavit_key();
                    continue;
                }
            }
        }
        Ok(Some(_other_status)) => continue,
        Err(_storage_error) => continue, // transient storage error -> retry
    }
}

§Guarantee

This process yields an active affidavit key only when its tagged/referenced via an offchain storage and its corresponding the key-pair exists in the local keystore. Otherwise, it creates/repairs the key and keeps retrying until the affidavit becomes tagged and the keystore is consistent.

loop {
    if offchain_storage.has_affidavit_key()
        && keystore.has_affidavit_key()
    {
        break;
    }

    keystore.create_or_repair_affidavit_key();
    offchain_storage.ensure_affidavit_key_reference();
    // retry until next key reaches consistency
}

All behavior is supplied by trait implementations operating on this type.

§FlowChart

Fields§

§at: BlockNumberFor<T>

Block number at which affidavit key initialization begins.

Used for logging, diagnostics, and fork-aware coordination.

Trait Implementations§

Source§

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

Source§

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

Returns a duplicate of the value. Read more
1.0.0 · Source§

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

Performs copy-assignment from source. Read more
Source§

impl<T: Config> Decode for InitAffidavitKey<T>
where BlockNumberFor<T>: Decode,

Source§

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. Read more
§

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

Attempt to skip the encoded value from input. Read more
§

fn encoded_fixed_size() -> Option<usize>

Returns the fixed encoded size of the type. Read more
Source§

impl<T: Config> Encode for InitAffidavitKey<T>
where BlockNumberFor<T>: Encode,

Source§

fn size_hint(&self) -> usize

If possible give a hint of expected size of the encoding. Read more
Source§

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

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

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

Convert self to an owned vector.
Source§

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. Read more
Source§

impl<T: Config> FinalizedOffchainStorageError<T, <T as Config>::AccountId> for InitAffidavitKey<T>

Invariant enforcement for finalized offchain storage.

This implementation defines errors for high-level coordination failures between speculative and persistent storage layers.

Cleanups will be implicitly handled by the storage itself.

Source§

fn hanging_hash() -> Self::Error

A speculative hash must not exist without a corresponding persistent value.

Source§

fn hanging_value() -> Self::Error

A persistent value must not exist without holding its corresponding speculative hash’s value.

Source§

type Error = Error<T>

Concrete error type chosen by the caller. Read more
Source§

impl<T: Config> FinalizedPolicy<T> for InitAffidavitKey<T>

This policy defines when a finalized offchain storage value is considered safe for irreversible side effects, such as:

  • key promotion,
  • state transitions,
  • or cleanup of speculative storage.

The policy is consumed by the Finalized storage abstraction in conjunction with Confidence to determine optimal-finality.

Source§

fn finality_after() -> <T as Config>::Moment

Returns the wall-clock time after which a value is considered final.

Source§

fn finality_ticks() -> BlockNumberFor<T>

Returns the number of block confirmations required to reach finality after the wall-clock time reached.

Source§

impl<T: Config> MaxEncodedLen for InitAffidavitKey<T>
where BlockNumberFor<T>: MaxEncodedLen,

Source§

fn max_encoded_len() -> usize

Upper bound, in bytes, of the maximum encoded size of this item.
Source§

impl<T: Config> OffchainStorageError<ForkAware<T, ValueHash, InitAffidavitKey<T>, Pallet<T>>> for InitAffidavitKey<T>

Error mapping for fork-aware speculative storage access during affidavit key initialization.

This implementation provides pallet-specific error variants expected to be convertible into DispatchError.

§Scope
  • Applies to speculative, fork-aware storage keyed by a hash.
  • Focuses on failures related to the speculative hash of the finalized affidavit key value.
Source§

fn decode_failed() -> Self::Error

Speculative hash decoding failed.

Source§

fn concurrent_mutation() -> Self::Error

Concurrent mutation detected while accessing fork-aware storage.

Source§

type Error = Error<T>

Caller-defined error type used for storage failures. Read more
Source§

impl<T: Config> OffchainStorageError<Persistent<T, Ledger<T, <T as Config>::AccountId>, InitAffidavitKey<T>>> for InitAffidavitKey<T>

Error mapping for persistent finalized offchain storage during affidavit key initialization.

This implementation handles failures when interacting with the persistent ledger that stores finalized affidavit key values, wrapped in Confidence to reflect finality guarantees.

§Scope
  • Applies to persistent, non-speculative storage.
  • Covers decoding and concurrent mutation failures.
Source§

fn decode_failed() -> Self::Error

Finalized value decoding failed.

Source§

fn concurrent_mutation() -> Self::Error

Concurrent mutation detected while accessing persistent storage.

Source§

type Error = Error<T>

Caller-defined error type used for storage failures. Read more
Source§

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

Source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · Source§

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

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

impl<T: Config> Routines<<<<T as Config>::Block as HeaderProvider>::HeaderT as Header>::Number> for InitAffidavitKey<T>

An Offchain Worker (OCW) routine responsible for initializing the active affidavit key for the local node.

This routine bootstraps an affidavit application key per node, regardless of whether the node is acting as an author i.e., validator node.

The affidavit key is a rotated operational key used exclusively for affidavit-related signing. Only a single affidavit key is expected to be active at any given time, and the runtime relies on this invariant being upheld.

Source§

fn can_run(&self) -> Result<(), Self::Logger>

Determines whether the affidavit key initialization routine should run.

Initialization must not run if:

  • an active affidavit key is already stored in the offchain storage, and
  • the corresponding key pair exists in the node’s affidavit keystore (app crypto).

Any storage inconsistency (e.g. corrupted or undecodable data) is treated as a hard stop and causes the routine to refuse execution, since proceeding could violate runtime expectations.

Source§

fn run_service(&self) -> Result<(), Self::Logger>

Initializes a new affidavit key pair and marks it as the active affidavit key for the node.

This routine:

  1. Generates a new affidavit application key pair in the local keystore.
  2. Extracts the public key and derives its corresponding AffidavitId.
  3. Stores the public identifier as the active affidavit key in the offchain storage.

Affidavit keys are rotated regularly (e.g. per session). The node’s long-term authority or author role i.e., stash key is never used directly for affidavit signing, reducing operational risk.

If storing the active affidavit key fails, the generated key pair becomes unreachable and is effectively discarded. The routine will retry on subsequent block OCW executions until initialization succeeds.

Source§

fn on_ran_service(&self)

Logs a info message on a successful InitAffidavitKey routine.

Source§

impl<T> TypeInfo for InitAffidavitKey<T>
where BlockNumberFor<T>: TypeInfo + 'static, T: Config + 'static,

Source§

type Identity = InitAffidavitKey<T>

The type identifying for which type info is provided. Read more
Source§

fn type_info() -> Type

Returns the static type identifier for Self.
Source§

impl<T: Config> EncodeLike for InitAffidavitKey<T>
where BlockNumberFor<T>: Encode,

Source§

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

Source§

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

Auto Trait Implementations§

§

impl<T> Freeze for InitAffidavitKey<T>
where <<<T as Config>::Block as Block>::Header as Header>::Number: Freeze,

§

impl<T> RefUnwindSafe for InitAffidavitKey<T>
where <<<T as Config>::Block as Block>::Header as Header>::Number: RefUnwindSafe,

§

impl<T> Send for InitAffidavitKey<T>

§

impl<T> Sync for InitAffidavitKey<T>

§

impl<T> Unpin for InitAffidavitKey<T>
where <<<T as Config>::Block as Block>::Header as Header>::Number: Unpin,

§

impl<T> UnwindSafe for InitAffidavitKey<T>
where <<<T as Config>::Block as Block>::Header as Header>::Number: UnwindSafe,

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
§

impl<T> CheckedConversion for T

§

fn checked_from<T>(t: T) -> Option<Self>
where Self: TryFrom<T>,

Convert from a value of T into an equivalent instance of Option<Self>. Read more
§

fn checked_into<T>(self) -> Option<T>
where Self: TryInto<T>,

Consume self to return Some equivalent value of Option<T>. Read more
Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
§

impl<T> DecodeAll for T
where T: Decode,

§

fn decode_all(input: &mut &[u8]) -> Result<T, Error>

Decode Self and consume all of the given input data. Read more
§

impl<T> DecodeLimit for T
where T: Decode,

§

fn decode_all_with_depth_limit( limit: u32, input: &mut &[u8], ) -> Result<T, Error>

Decode Self and consume all of the given input data. Read more
§

fn decode_with_depth_limit<I>(limit: u32, input: &mut I) -> Result<T, Error>
where I: Input,

Decode Self with the given maximum recursion depth and advance input by the number of bytes consumed. Read more
Source§

impl<T> DynClone for T
where T: Clone,

§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<T> Hashable for T
where T: Codec,

§

fn blake2_128(&self) -> [u8; 16]

§

fn blake2_256(&self) -> [u8; 32]

§

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

§

fn twox_128(&self) -> [u8; 16]

§

fn twox_256(&self) -> [u8; 32]

§

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

§

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

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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, U> IntoKey<U> for T
where U: FromKey<T>,

§

fn into_key(self) -> U

Source§

impl<T, U, Tag> IntoTag<U, Tag> for T
where U: FromTag<T, Tag>, Tag: DiscriminantTag,

Source§

fn into_tag(self) -> U

§

impl<Src, Dest> IntoTuple<Dest> for Src
where Dest: FromTuple<Src>,

§

fn into_tuple(self) -> Dest

§

impl<T> IsType<T> for T

§

fn from_ref(t: &T) -> &T

Cast reference.
§

fn into_ref(&self) -> &T

Cast reference.
§

fn from_mut(t: &mut T) -> &mut T

Cast mutable reference.
§

fn into_mut(&mut self) -> &mut T

Cast mutable reference.
§

impl<T, Outer> IsWrappedBy<Outer> for T
where Outer: AsRef<T> + AsMut<T> + From<T>, T: From<Outer>,

§

fn from_ref(outer: &Outer) -> &T

Get a reference to the inner from the outer.

§

fn from_mut(outer: &mut Outer) -> &mut T

Get a mutable reference to the inner from the outer.

§

impl<T> KeyedVec for T
where T: Codec,

§

fn to_keyed_vec(&self, prepend_key: &[u8]) -> Vec<u8>

Return an encoding of Self prepended by given slice.
Source§

impl<T, Time> Logging<Time> for T
where Time: Time,

Source§

const FALLBACK_TARGET: &'static str = "routine"

Default logging target if none is provided.

Most routines, especially offchain workers or background tasks, use this target for simplicity.

It allows a consistent place to look for routine logs without requiring every call to specify a target.

Note: This target is only a conveninence and may be somewhat vague. To ensure errors can still be traced accurately, the logged messages should include additional metadata (e.g., module name, error index, or contextual info) so that the source of the error can be identified even if the target is generic.

Source§

type Logger = DispatchError

The type taken and returned for logging.

We simply return the same [DispatchError] that was logged, so logging does not change control flow or error propagation.

DispatchError is used because in Substrate it encompasses all runtime errors - including module errors, token errors, arithmetic issues, and transactional boundaries - making it the universal substrate-side error representation.

Source§

type Level = LogLevel

The log level type.

We use the LogLevel enum to standardize severity levels (Info, Warn, Error, Debug) across all routine logs.

Source§

fn log( level: <T as Logging<Time>>::Level, err: &<T as Logging<Time>>::Logger, timestamp: Time, target: Option<&str>, fmt: Option<fn(Time, &<T as Logging<Time>>::Level, &str, &str) -> String>, ) -> <T as Logging<Time>>::Logger

Core logging function that all helpers delegate to. Read more
Source§

fn info( err: &Self::Logger, timestamp: Timestamp, target: Option<&str>, fmt: Option<fn(Timestamp, &Self::Level, &str, &str) -> String>, ) -> Self::Logger
where Self: Sized,

Logs an info-level message. Read more
Source§

fn warn( err: &Self::Logger, timestamp: Timestamp, target: Option<&str>, fmt: Option<fn(Timestamp, &Self::Level, &str, &str) -> String>, ) -> Self::Logger
where Self: Sized,

Logs a warning-level message. Read more
Source§

fn error( err: &Self::Logger, timestamp: Timestamp, target: Option<&str>, fmt: Option<fn(Timestamp, &Self::Level, &str, &str) -> String>, ) -> Self::Logger
where Self: Sized,

Logs an error-level message. Read more
Source§

fn debug( err: &Self::Logger, timestamp: Timestamp, target: Option<&str>, fmt: Option<fn(Timestamp, &Self::Level, &str, &str) -> String>, ) -> Self::Logger
where Self: Sized,

Logs a debug-level message. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
§

impl<T> SaturatedConversion for T

§

fn saturated_from<T>(t: T) -> Self
where Self: UniqueSaturatedFrom<T>,

Convert from a value of T into an equivalent instance of Self. Read more
§

fn saturated_into<T>(self) -> T
where Self: UniqueSaturatedInto<T>,

Consume self to return an equivalent value of T. Read more
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T, U> TryIntoKey<U> for T
where 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 S
where T: UncheckedFrom<S>,

§

fn unchecked_into(self) -> T

The counterpart to unchecked_from.
§

impl<T, S> UniqueSaturatedInto<T> for S
where T: Bounded, S: TryInto<T>,

§

fn unique_saturated_into(self) -> T

Consume self to return an equivalent value of T.
§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

§

fn vzip(self) -> V

§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

impl<S> Codec for S
where S: Decode + Encode,

Source§

impl<Provider, Discriminant, T> DelegateVirtualDynBound<Provider, Discriminant> for T
where Provider: VirtualDynBound<Discriminant>, Discriminant: DiscriminantTag,

Source§

impl<Provider, Discriminant, T> DelegateVirtualStaticBound<Provider, Discriminant> for T
where Provider: VirtualStaticBound<Discriminant>, Discriminant: DiscriminantTag,

§

impl<T> EncodeLike<&&T> for T
where T: Encode,

§

impl<T> EncodeLike<&T> for T
where T: Encode,

§

impl<T> EncodeLike<&mut T> for T
where T: Encode,

§

impl<T> EncodeLike<Arc<T>> for T
where T: Encode,

§

impl<T> EncodeLike<Box<T>> for T
where T: Encode,

§

impl<T> EncodeLike<Cow<'_, T>> for T
where T: ToOwned + Encode,

§

impl<T> EncodeLike<Rc<T>> for T
where T: Encode,

§

impl<S> FullCodec for S
where S: Decode + FullEncode,

§

impl<S> FullEncode for S
where S: Encode + EncodeLike,

§

impl<T> JsonSchemaMaybe for T

§

impl<T> MaybeRefUnwindSafe for T
where T: RefUnwindSafe,

Source§

impl<T> Portable for T
where T: Encode + Decode + Clone,

§

impl<T> StaticTypeInfo for T
where T: TypeInfo + 'static,