Enum InputKey 

pub enum InputKey {
    Public(usize),
    AuxRandAlpha,
    AuxRandBeta,
    Main {
        offset: usize,
        index: usize,
    },
    AuxCoord {
        offset: usize,
        index: usize,
        coord: usize,
    },
    AuxBusBoundary(usize),
    VlpiReduction(usize),
    Gamma,
    Alpha,
    ZPowN,
    ZK,
    IsFirst,
    IsLast,
    IsTransition,
    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.

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.

VlpiReduction(usize)

Variable-length public input reduction at the given group index.

Gamma

Batching challenge gamma for combining the constraint evaluation with the auxiliary trace boundary checks.

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}.

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 Debug for InputKey

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

Formats the value using the given formatter.

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 Copy for InputKey

impl Eq for InputKey

impl StructuralPartialEq for InputKey