List of all items

Structs

• AirContext
• Assertion
• AuxRandElements
• AuxTraceWithMetadata
• BoundaryConstraint
• BoundaryConstraintGroup
• CompositionPoly
• CompositionPolyTrace
• ConstraintCompositionCoefficients
• ConstraintDivisor
• DeepCompositionCoefficients
• DefaultConstraintCommitment
• DefaultConstraintEvaluator
• DefaultTraceLde
• EvaluationFrame
• PartitionOptions
• Proof
• ProofOptions
• StarkDomain
• TraceInfo
• TracePolyTable
• TraceTable
• TraceTableFragment
• TransitionConstraintDegree
• matrix::ColMatrix
• matrix::ColumnIter
• matrix::RowMatrix
• matrix::Segment

Enums

• AcceptableOptions
• BatchingMethod
• FieldExtension
• ProverError
• VerifierError

Traits

• Air
• ByteWriter
• ConstraintEvaluator
• Prover
• Trace
• TraceLde

Functions

• matrix::build_segments
• matrix::get_evaluation_offsets
• verify