Crate p3_uni_stark

A minimal univariate STARK framework.

Structs

Commitments

DebugConstraintBuilder

A builder that runs constraint assertions during testing.

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

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