p3_
uni_
stark
0.1.0
Structs
Commitments
DebugConstraintBuilder
OpenedValues
Proof
ProverConstraintFolder
StarkConfig
SymbolicAirBuilder
SymbolicVariable
VerifierConstraintFolder
ZerofierOnCoset
Enums
Entry
SymbolicExpression
VerificationError
Traits
StarkGenericConfig
Functions
get_log_quotient_degree
get_max_constraint_degree
get_symbolic_constraints
prove
verify
Type Aliases
Domain
PackedChallenge
PackedVal
PcsError
Val
p3_uni_stark
Type Alias
Val
Copy item path
Settings
Help
Summary
Source
pub type Val<SC> = <
Domain
<SC> as
PolynomialSpace
>::
Val
;