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>
impl<F: Field + Ord> VirtualRegionManager<F> for SharedCopyConstraintManager<F>
Source§fn assign_raw(
&self,
config: &Self::Config,
region: &mut Region<'_, F>,
) -> Self::Assignment
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>>
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 = ()
type Assignment = ()
Return type of the
assign_raw
method. Default is ()
.