Module halo2_frontend::circuit

Traits and structs for implementing circuit components.

Re-exports

• pub use floor_planner::single_pass::SimpleFloorPlanner;

Modules

• floor_planner
  Implementations of common circuit floor planners.
• layouter
  Implementations of common circuit layouters.

Structs

• AssignedCell
  An assigned cell.
• Cell
  A pointer to a cell within a circuit.
• NamespacedLayouter
  This is a “namespaced” layouter which borrows a Layouter (pushing a namespace context) and, when dropped, pops out of the namespace context.
• Region
  A region of the circuit in which a Chip can assign cells.
• RegionIndex
  Index of a region in a layouter
• RegionStart
  Starting row of a region in a layouter
• SimpleTableLayouter
  A table layouter that can be used to assign values to a table.
• Table
  A lookup table in the circuit.
• Value
  A value that might exist within a circuit.
• WitnessCalculator
  Witness calculator. Frontend function

Traits

• Chip
  A chip implements a set of instructions that can be used by gadgets.
• Layouter
  A layout strategy within a circuit. The layouter is chip-agnostic and applies its strategy to the context and config it is given.
• TableLayouter
  Helper trait for implementing a custom Layouter.

Functions

• compile_circuit
  Compile a circuit. Runs configure and synthesize on the circuit in order to materialize the circuit into its columns and the column configuration; as well as doing the fixed column and copy constraints assignments. The output of this function can then be used for the key generation, and proof generation. If compress_selectors is true, multiple selector columns may be multiplexed.