Module witness

Structs

WitnessBuilderEnv

Witness builder environment. Operates on multiple rows at the same time. CIx::N_COL must be equal to N_WIT + N_FSEL; passing these two separately is due to a rust limitation.