halo2_base::virtual_region

Module manager

Source
Expand description

Virtual region manager

Traitsยง

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