List of all items
Structs
- constraint_system::AndConstraint
- constraint_system::BmulConstraint
- constraint_system::ConstraintSystem
- constraint_system::ImulConstraint
- constraint_system::Proof
- constraint_system::Shift
- constraint_system::ShiftedValueIndex
- constraint_system::ValueIndex
- constraint_system::ValueTable
- constraint_system::ValueVec
- constraint_system::ValueVecLayout
- constraint_system::ValuesData
- constraint_system::ValuesRef
- constraint_system::ZeroConstraint
- constraint_system::m4::ChipCall
- constraint_system::m4::ConstraintSystemM4
- constraint_system::m4::EmbeddedConstraintSystem
- constraint_system::m4::WitnessM4
- error::ChipName
- word::Word
Enums
- constraint_system::Composition
- constraint_system::ConstraintKind
- constraint_system::InoutSegment
- constraint_system::ShiftVariant
- constraint_system::ValueSegment
- error::ConstraintSystemError
- error::ConstraintViolation
- error::OperandFault
- error::VerificationError
- error::VerificationM4Error