Module halo2_proofs::circuit

Expand description

Traits and structs for implementing circuit components.

Modules

Implementations of common circuit floor planners.

Implementations of common circuit layouters.

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

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.

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.