halo2_axiom

Module 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.
  • 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 table layouter that can be used to assign values to a table.
  • 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.
  • Helper trait for implementing a custom Layouter.