halo2_base::virtual_region::manager

Trait VirtualRegionManager

Source 
pub trait VirtualRegionManager<F: Field> {
    type Config: Clone;
    type Assignment;

    // Required method
    fn assign_raw(
        &self,
        config: &Self::Config,
        region: &mut Region<'_, F>,
    ) -> Self::Assignment;
}
Expand description

A virtual region manager is responsible for managing a virtual region and assigning the virtual region to a physical Halo2 region.

Required Associated Types§

Source

type Config: Clone

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 ().

Required Methods§

Source

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

Assign virtual region this is in charge of to the raw region described by config.

Implementors§