Module halo2_frontend::plonk::circuit

Re-exports

• pub use constraint_system::*;
• pub use expression::*;

Modules

• compress_selectors
• constraint_system
• expression

Structs

• Advice
  An advice column
• Fixed
  A fixed column
• Instance
  An instance column

Traits

• Assignment
  This trait allows a Circuit to direct some backend to assign a witness for a constraint system.
• Circuit
  This is a trait that circuits provide implementations for so that the backend prover can ask the circuit to synthesize using some given ConstraintSystem implementation.
• ColumnType
  A column type
• FloorPlanner
  A floor planning strategy for a circuit.