List of all items

Structs

• AirContext
• Assertion
• AuxTraceWithMetadata
• BoundaryConstraint
• BoundaryConstraintGroup
• CompositionPoly
• CompositionPolyTrace
• ConstraintCompositionCoefficients
• ConstraintDivisor
• DeepCompositionCoefficients
• DefaultConstraintCommitment
• DefaultConstraintEvaluator
• DefaultTraceLde
• EvaluationFrame
• Proof
• ProofOptions
• SliceReader
• StarkDomain
• TraceInfo
• TracePolyTable
• TraceTable
• TraceTableFragment
• TransitionConstraintDegree
• matrix::ColMatrix
• matrix::ColumnIter
• matrix::RowMatrix
• matrix::Segment
• proof::Commitments
• proof::Context
• proof::OodFrame
• proof::Proof
• proof::Queries
• proof::QuotientOodFrame
• proof::Table
• proof::TraceOodFrame

Enums

• DeserializationError
• FieldExtension
• ProverError

Traits

• Air
• ByteReader
• ByteWriter
• ConstraintCommitment
• ConstraintEvaluator
• Deserializable
• Prover
• Serializable
• Trace
• TraceLde

Functions

• matrix::build_segments
• matrix::get_evaluation_offsets
• proof::merge_ood_evaluations