Enum InputKey 

pub enum InputKey {
    Public(usize),
    AuxRandAlpha,
    AuxRandBeta,
    MultiAirFoldBeta,
    MultiAirFoldCoeff(usize),
    Preprocessed {
        offset: usize,
        index: 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 alpha supplied as an input.

AuxRandBeta

Aux randomness beta supplied as an input.

MultiAirFoldBeta

Challenge used to fold per-AIR constraint roots in proof order.

MultiAirFoldCoeff(usize)

Fold coefficient for the AIR instance at the given index.

Factored-emission-only: this key has no READ-layout slot. The factored emitter binds it to a shuffle-section gate holding a power of InputKey::MultiAirFoldBeta; which power is chosen per assembled circuit by the caller of FactoredAceCircuit::assemble.

Preprocessed

Preprocessed trace value at (offset, index).

Fields

offset: usize

index: usize

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.

Alpha

Composition challenge used to fold constraints.

ZPowN

zeta^N_max, where N_max is the maximum trace length represented by the circuit.

ZK

Periodic-column evaluation basis zeta^(N_max / shared_period). A period-p column is evaluated at ZK^(shared_period / p).

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.

IsLastAir(usize)

Per-AIR lifted last-row selector.

IsTransitionAir(usize)

Per-AIR lifted transition selector.

Weight0

First barycentric weight for quotient recomposition.

F

Primitive D-th root of unity, where D is the quotient chunk count; the chunk shift ratio between cosets after taking the trace-height power.

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) -> Self

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: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for InputKey