List of all items
Structs
- AirLayout
- Commitments
- ConjecturedSecurity
- ConstraintLayout
- OpenedValues
- PreprocessedProverData
- PreprocessedVerifierKey
- Proof
- ProvenSecurity
- ProverConstraintFolder
- StarkConfig
- StarkSecurityParams
- SubAirBuilder
- SubSliced
- SymbolicAirBuilder
- SymbolicVariable
- SymbolicVariableExt
- VectorizedConstraintFolder
- VerifierConstraintFolder
Enums
- BaseEntry
- BaseLeaf
- ExtEntry
- ExtLeaf
- InvalidProofShapeError
- PeriodicColumnError
- SymbolicExpr
- VerificationError
Traits
Functions
- check_periodic_column_lengths
- constraint_degree_from_poly_degree
- get_all_symbolic_constraints
- get_constraint_layout
- 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
- setup_preprocessed
- validate_degree_bits
- verify
- verify_constraints
- verify_with_preprocessed