Module threads

Module for managing the virtual region corresponding to super::FlexGateConfig

In the virtual region we have virtual columns. Each virtual column is referred to as a “thread” because it can be generated in a separate CPU thread. The virtual region manager will collect all threads together, virtually concatenate them all together back into a single virtual column, and then assign this virtual column to multiple physical Halo2 columns according to the provided configuration parameters.

Supports multiple phases.

Re-exports

• pub use single_phase::SinglePhaseCoreManager;

Modules

• single_phase
  Thread builder for a single phase

Structs

• GateStatistics
  Basic statistics
• MultiPhaseCoreManager
  Virtual region manager for FlexGateConfig in multiple phases.

Functions

• parallelize_core
  Utility function to parallelize an operation involving Contexts.