Crate zinc_uair 

UAIR description tools.

Re-exports

pub use lookup_types::LookupColumnSpec;

pub use lookup_types::LookupTableType;

Modules

collect_scalars

constraint_counter

degree_counter

do_nothing_builder

dummy_semiring

ideal

ideal_collector

lookup_types

Lookup specification types.

Structs

ColumnLayout

Column counts per type (binary_poly, arbitrary_poly, int). Shared internals for the semantic newtype wrappers (Total, Public, Virtual, Witness)

PublicColumnLayout

Layout of the public column subset.

ShiftSpec

Specifies a shifted column ShiftSpec { source_col: 0, shift_amount: 3 } means “virtual column whose row i is the value of column 0 at row i+3 (zero-padded beyond trace length).”

TotalColumnLayout

Layout of all trace columns (public + witness) per type.

TraceRow

A view on a row of the trace. Contains references to cells of the trace of all types lying in the same trace row.

UairSignature

The signature of a UAIR.

UairTrace

The trace of a UAIR execution (pre-projection). If owned, it contains the full trace, otherwise it contains a view on the full trace (e.g. only public columns).

VirtualColumnLayout

Layout of the virtual (shifted/down) columns.

WitnessColumnLayout

Layout of the witness (total minus public) columns.

Traits

ConstraintBuilder

The abstract interface to constraint building logic. In essence it allows to create constraints modulo ideals.

Uair

The trait that a universal AIR description has to implement. This must include all the constraint description logic of an UAIR.