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
PackedVal
Copy item path
Settings
Help
Summary
Source
pub type PackedVal<SC> = <
Val
<SC> as
Field
>::
Packing
;