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

BitOpSpec

Specifies a bit-op virtual column.

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.

Enums

BitOp

An entry-wise R-linear endomorphism of the bounded-degree coefficient module R^{<W}[X] (cf. Section 2.1.1 of the Zinc+ paper) that defines a virtual column.

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.