Module halo2_proofs::circuit
source · Expand description
Traits and structs for implementing circuit components.
Modules§
- Implementations of common circuit floor planners.
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.