Crate p3_uni_stark

Expand description

A minimal univariate STARK framework.

Structs§

Commitments
DebugConstraintBuilder: A builder that runs constraint assertions during testing.
OpenedValues
PreprocessedProverData: Prover-side reusable data for preprocessed columns.
PreprocessedVerifierKey: Verifier-side reusable data for preprocessed columns.
Proof
ProverConstraintFolder: Handles constraint accumulation for the prover in a STARK system.
StarkConfig
SubAirBuilder: Evaluates a sub-AIR against a restricted slice of the parent trace.
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: Handles constraint verification for the verifier in a STARK system.

Entry
LookupError: Defines errors that can occur during lookup verification.
SymbolicExpression: A symbolic expression tree representing AIR constraint computations over SymbolicVariables.
VerificationError

get_all_symbolic_constraints
get_log_num_quotient_chunks
get_log_quotient_degree_extension
get_max_constraint_degree
get_max_constraint_degree_extension
get_symbolic_constraints
get_symbolic_constraints_extension
prove
prove_with_preprocessed
quotient_values
recompose_quotient_from_chunks: Recomposes the quotient polynomial from its chunks evaluated at a point.
setup_preprocessed: Set up and commit the preprocessed trace for a given Air and degree.
verify
verify_constraints: Verifies that the folded constraints match the quotient polynomial at zeta.
verify_with_preprocessed