List of all items

Structs

• AirContext
• Assertion
• BoundaryConstraint
• BoundaryConstraintGroup
• ConstraintCompositionCoefficients
• ConstraintDivisor
• DeepCompositionCoefficients
• EvaluationFrame
• Proof
• ProofOptions
• SliceReader
• TraceInfo
• TransitionConstraintDegree

Enums

• AcceptableOptions
• DeserializationError
• FieldExtension
• VerifierError

Traits

• Air
• ByteReader
• ByteWriter
• Deserializable
• Serializable

Functions

• verify