Module flex_gate

Module implementing our simple custom gate and common functions using it

Modules

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

Structs

• BasicGateConfig
  Vertical Gate Strategy:
• FlexGateConfig
  Defines a configuration for a flex gate chip describing the selector, and advice column values for the chip.
• FlexGateConfigParams
  A Config struct defining the parameters for FlexGateConfig
• GateChip
  A chip that implements the GateInstructions trait supporting basic arithmetic operations.

Traits

• GateInstructions
  Trait that defines basic arithmetic operations for a gate.

Type Aliases

• MultiPhaseThreadBreakPoints
  Vector of vectors tracking the thread break points across different halo2 phases
• ThreadBreakPoints
  Vector of thread advice column break points