Struct ChainStepInput 

pub struct ChainStepInput {
    pub salted_nonce: [b8; 16],
    pub secret: [b8; 18],
    pub tag: b32,
    pub valid: bool,
}

One chain-step request; an asserted valid is always accepted.

Only the two live parts of the chain block travel on the port. The zero tail is rebuilt inside the lane as literal zeros, which is what lets synthesis fold it.

Fields

salted_nonce: [b8; 16]

Nonce with the chain salt already added to its low 32 bits.

Build it with dsig_chain_block: the first 16 bytes of that block are exactly this field.

secret: [b8; 18]

The 18-byte chain node being advanced.

tag: b32

Opaque caller identifier, returned unchanged.

32 bits. The lane never looks at it; the chain engine uses it to know which key, chain and depth a result belongs to.

valid: bool

Launch this token; false inserts a bubble.

Trait Implementations

impl Clone for ChainStepInput

fn clone(&self) -> ChainStepInput

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ChainStepInput

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

Formats the value using the given formatter.

impl Default for ChainStepInput

The idle input: all zeros with valid false.

fn default() -> Self

A bubble: nothing is launched.

impl Digital for ChainStepInput

const BITS: usize

Associated constant that gives the total number of bits needed to represent the value.

fn static_kind() -> Kind

Returns the [Kind] (run time type descriptor) of the value as a static method

fn bin(self) -> Box<[BitX]>

Returns the binary representation of the value as a vector of [BitX].

fn dont_care() -> Self

Returns a “don’t care” value for the type.

fn bits() -> usize

Returns the number of bits needed to represent the value.

fn kind(&self) -> Kind

Returns the [Kind] (run time type descriptor) of the value.

fn typed_bits(self) -> TypedBits

Returns the value as a [TypedBits], which includes both the bits and the kind.

fn discriminant(self) -> TypedBits

Returns the discriminant of the value as a [TypedBits].

fn variant_kind(self) -> Kind

Returns the [Kind] of the variant if the value is an enum with variants.

fn binary_string(self) -> String

Returns the binary representation of the value as a string of ‘0’, ‘1’, and ‘X’.

impl PartialEq for ChainStepInput

fn eq(&self, other: &ChainStepInput) -> 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 Copy for ChainStepInput

impl StructuralPartialEq for ChainStepInput