Module halo2_frontend::plonk::circuit::constraint_system

Structs

• Constraint
  An individual polynomial constraint.
• ConstraintSystem
  This is a description of the circuit environment, such as the gate, column and permutation arrangements.
• Constraints
  A set of polynomial constraints with a common selector.
• Gate
  Gate
• VirtualCell
  A “virtual cell” is a PLONK cell that has been queried at a particular relative offset within a custom gate.
• VirtualCells
  Exposes the “virtual cells” that can be queried while creating a custom gate or lookup table.