Enum InputKey 

pub enum InputKey {
    Public(usize),
    AuxRandAlpha,
    AuxRandBeta,
    MultiAirBeta(usize),
    Main {
        offset: usize,
        index: usize,
    },
    AuxCoord {
        offset: usize,
        index: usize,
        coord: usize,
    },
    AuxBusBoundary(usize),
    Reserved,
    Alpha,
    ZPowN,
    ZK,
    IsFirst,
    IsLast,
    IsTransition,
    IsFirstAir(usize),
    IsLastAir(usize),
    IsTransitionAir(usize),
    Weight0,
    F,
    S0,
    QuotientChunkCoord {
        offset: usize,
        chunk: usize,
        coord: usize,
    },
}

Logical inputs required by the ACE circuit.

Variants

Public(usize)

Public input at the given index.

AuxRandAlpha

Aux randomness α supplied as an input.

AuxRandBeta

Aux randomness β supplied as an input.

MultiAirBeta(usize)

Multi-AIR β coefficient for the AIR at instance index air (caller order). The verifier assigns β to the AIR at proof_order position 0 and 1 to the other. Only present in layouts built with num_airs >= 2.

Main

Main trace value at (offset, index).

Fields

offset: usize

index: usize

AuxCoord

Base-field coordinate for an aux trace column.

Fields

offset: usize

index: usize

coord: usize

AuxBusBoundary(usize)

Aux bus boundary value at the given index.

Reserved

Reserved stark-vars slot, kept zero. Provides word-alignment padding for the base stark-vars block; not referenced by the production circuit.

Alpha

Composition challenge used to fold constraints.

ZPowN

zeta^N, where N is the trace length.

ZK

zeta^(N / max_cycle_len) for periodic columns.

IsFirst

Precomputed first-row selector: (z^N - 1) / (z - 1).

IsLast

Precomputed last-row selector: (z^N - 1) / (z - g^{-1}).

IsTransition

Precomputed transition selector: z - g^{-1}.

IsFirstAir(usize)

Per-AIR lifted first-row selector at z^{r_air} (r_air = n_max / n_air) for the AIR at instance index air (caller order). Equal to the canonical IsFirst when the AIR is at log_max. Only present in layouts built with num_airs >= 2.

IsLastAir(usize)

Per-AIR lifted last-row selector. Mirror of InputKey::IsFirstAir.

IsTransitionAir(usize)

Per-AIR lifted transition selector. Mirror of InputKey::IsFirstAir.

Weight0

First barycentric weight for quotient recomposition.

F

f = h^N, the chunk shift ratio between cosets.

S0

s0 = offset^N, the first chunk shift.

QuotientChunkCoord

Base-field coordinate for a quotient chunk opening at offset (0 = zeta, 1 = g * zeta).

Fields

offset: usize

chunk: usize

coord: usize

Trait Implementations

impl Clone for InputKey

fn clone(&self) -> InputKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for InputKey

impl Debug for InputKey

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

Formats the value using the given formatter.

impl Eq for InputKey

impl Hash for InputKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for InputKey

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