Module single_phase

Thread builder for a single phase

Structs

SinglePhaseCoreManager

Virtual region manager for Vec<BasicGateConfig> in a single challenge phase. This is the core manager for Contexts.

Functions

assign_with_constraints

Assigns all virtual threads to the physical columns in basic_gates and returns the break points. Also enables corresponding selectors and adds raw assigned cells to the copy_manager. This function should be called either during proving & verifier key generation or when running MockProver.

assign_witnesses

Assigns all virtual threads to the physical columns in basic_gates according to a precomputed “computation graph” given by break_points. (break_points tells the assigner when to move to the next column.)