halo2_axiom::circuit

Module layouter

Help

Expand description

Implementations of common circuit layouters.

Structs§

RegionShape: The shape of a region. For a region at a certain index, we track the set of columns it uses as well as the number of rows it uses.

Enums§

RegionColumn: The virtual column involved in a region. This includes concrete columns, as well as selectors that are not concrete columns at this stage.

Traits§

RegionLayouter: Helper trait for implementing a custom Layouter.
SyncDeps: Intermediate trait requirements for RegionLayouter.
TableLayouter: Helper trait for implementing a custom Layouter.