List of all items

Structs

• circuit_builder::ConstraintBuilder
• circuit_builder::ConstraintSystemIR
• circuit_builder::InstanceGenerator
• circuit_builder::PublicWire
• circuit_builder::WireAllocator
• circuit_builder::WitnessError
• circuit_builder::WitnessGenerator
• circuit_builder::WitnessWire
• constraint_system::BlindingInfo
• constraint_system::ConstraintSystem
• constraint_system::ConstraintWire
• constraint_system::MulConstraint
• constraint_system::Operand
• constraint_system::Witness
• constraint_system::WitnessIndex
• constraint_system::WitnessLayout
• wire_elimination::CostModel
• wire_elimination::WireEliminationPass

Enums

• circuit_builder::WireStatus
• constraint_system::WireKind
• constraint_system::WitnessSegment

Traits

• circuit_builder::CircuitBuilder

Functions

• circuits::assert_is_bit
• circuits::evaluate_multilinear
• circuits::evaluate_univariate
• circuits::extrapolate_line
• circuits::invert
• circuits::invert_or_zero
• circuits::powers
• circuits::square
• compiler::compile
• wire_elimination::run_wire_elimination