halo2_base::virtual_region::copy_constraints

Type Alias SharedCopyConstraintManager

Source
pub type SharedCopyConstraintManager<F> = Arc<Mutex<CopyConstraintManager<F>>>;
Expand description

Thread-safe shared global manager for all copy constraints.

Aliased Type§

struct SharedCopyConstraintManager<F> { /* private fields */ }

Trait Implementations§

Source§

impl<F: Field + Ord> VirtualRegionManager<F> for SharedCopyConstraintManager<F>

Source§

fn assign_raw( &self, config: &Self::Config, region: &mut Region<'_, F>, ) -> Self::Assignment

This should be the last manager to be assigned, after all other managers have assigned cells.

Source§

type Config = Vec<Column<Fixed>>

The Halo2 config with associated columns and gates describing the physical Halo2 region that this virtual region manager is responsible for.
Source§

type Assignment = ()

Return type of the assign_raw method. Default is ().