Crate p3_uni_stark

A minimal univariate STARK framework.

Structs

Commitments

DebugConstraintBuilder

An AirBuilder which asserts that each constraint is zero, allowing any failed constraints to be detected early.

OpenedValues

Proof

ProverConstraintFolder

StarkConfig

SymbolicAirBuilder

An AirBuilder for evaluating constraints symbolically, and recording them for later use.

SymbolicVariable

A variable within the evaluation window, i.e. a column in either the local or next row.

VerifierConstraintFolder

ZerofierOnCoset

Precomputations of the evaluation of Z_H(X) = X^n - 1 on a coset s K with H <= K.

Enums

Entry

SymbolicExpression

An expression over SymbolicVariables.

VerificationError

Traits

StarkGenericConfig

Functions

get_log_quotient_degree

get_max_constraint_degree

get_symbolic_constraints

prove

verify

Type Aliases

Domain

PackedChallenge

PackedVal

PcsError

Val