Crate p3_miden_prover

Structs§

AirWithBoundaryConstraints
Commitments
DebugConstraintBuilder: A builder that runs constraint assertions during testing.
OpenedValues
Proof
ProverConstraintFolder: Handles constraint accumulation for the prover in a STARK system.
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: Handles constraint verification for the verifier in a STARK system.

Entry
SymbolicExpression: A symbolic expression tree representing AIR constraint computations over SymbolicVariables.
VerificationError

bus_logup_boundary_varlen: Computes the final value for a logup bus boundary constraint given variable-length public inputs.
bus_multiset_boundary_varlen: Computes the final value for a multiset bus given variable-length public inputs.
generate_logup_trace: Generates an auxiliary trace for proving a permutation using the LogUp protocol.
get_log_quotient_degree
get_max_constraint_degree
get_symbolic_constraints
prove
quotient_values
recompose_quotient_from_chunks: Recomposes the quotient polynomial from its chunks evaluated at a point.
verify
verify_constraints: Verifies that the folded constraints match the quotient polynomial at zeta.