Struct halo2_frontend::circuit::floor_planner::single_pass::SingleChipLayouter

pub struct SingleChipLayouter<'a, F: Field, CS: Assignment<F> + 'a> { /* private fields */ }

A Layouter for a single-chip circuit.

Implementations

impl<'a, F: Field, CS: Assignment<F>> SingleChipLayouter<'a, F, CS>

pub fn new(cs: &'a mut CS, constants: Vec<Column<Fixed>>) -> Result<Self, Error>

Creates a new single-chip layouter.

Trait Implementations

impl<'a, F: Field, CS: Assignment<F> + 'a> Debug for SingleChipLayouter<'a, F, CS>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, F: Field, CS: Assignment<F> + 'a + SyncDeps> Layouter<F> for SingleChipLayouter<'a, F, CS>

type Root = SingleChipLayouter<'a, F, CS>

Represents the type of the “root” of this layouter, so that nested namespaces can minimize indirection.

fn assign_region<A, AR, N, NR>( &mut self, name: N, assignment: A ) -> Result<AR, Error>

where A: FnMut(Region<'_, F>) -> Result<AR, Error>, N: Fn() -> NR, NR: Into<String>,

Assign a region of gates to an absolute row number.

fn assign_table<A, N, NR>( &mut self, name: N, assignment: A ) -> Result<(), Error>

where A: FnMut(Table<'_, F>) -> Result<(), Error>, N: Fn() -> NR, NR: Into<String>,

Assign a table region to an absolute row number.

fn constrain_instance( &mut self, cell: Cell, instance: Column<Instance>, row: usize ) -> Result<(), Error>

Constrains a Cell to equal an instance column’s row value at an absolute position.

fn get_challenge(&self, challenge: Challenge) -> Value<F>

Queries the value of the given challenge.

fn get_root(&mut self) -> &mut Self::Root

Gets the “root” of this assignment, bypassing the namespacing.

fn push_namespace<NR, N>(&mut self, name_fn: N)

where NR: Into<String>, N: FnOnce() -> NR,

Creates a new (sub)namespace and enters into it.

fn pop_namespace(&mut self, gadget_name: Option<String>)

Exits out of the existing namespace.

fn namespace<NR, N>( &mut self, name_fn: N ) -> NamespacedLayouter<'_, F, Self::Root>

where NR: Into<String>, N: FnOnce() -> NR,

Enters into a namespace.