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.