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