Module halo2_proofs::circuit
source · [−]Expand description
Traits and structs for implementing circuit components.
Modules
Implementations of common circuit floor planners.
Implementations of common circuit layouters.
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.
Index of a region in a layouter
Starting row 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.