Module halo2_proofs::circuit

source ·
Expand description

Traits and structs for implementing circuit components.

Modules§

Structs§

  • An assigned cell.
  • A pointer to a cell within a circuit.
  • This is a “namespaced” layouter which borrows a Layouter (pushing a namespace context) and, when dropped, pops out of the namespace context.
  • A region of the circuit in which a Chip can assign cells.
  • Index of a region in a layouter
  • A simple FloorPlanner that performs minimal optimizations.
  • A lookup table in the circuit.
  • A value that might exist within a circuit.

Traits§

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