List of all items

Structs

• constraint_system::AndConstraint
• constraint_system::ConstraintSystem
• constraint_system::MulConstraint
• constraint_system::Proof
• constraint_system::ShiftedValueIndex
• constraint_system::ValueIndex
• constraint_system::ValueVec
• constraint_system::ValueVecLayout
• constraint_system::ValuesData
• word::Word

Enums

• constraint_system::ShiftVariant
• error::ConstraintSystemError

Functions

• verify::eval_operand
• verify::verify_and_constraint
• verify::verify_constraints
• verify::verify_mul_constraint

Type Aliases

• constraint_system::Operand

Constants

• consts::BYTE_BITS
• consts::LOG_BYTE_BITS
• consts::LOG_WORD_SIZE_BITS
• consts::MIN_AND_CONSTRAINTS
• consts::MIN_MUL_CONSTRAINTS
• consts::MIN_WORDS_PER_SEGMENT
• consts::WORD_SIZE_BITS