pub fn test_const<F: PrimeField, Env: ColAccessCap<F, TestColumn> + ColWriteCap<F, TestColumn>>(
    env: &mut Env,
    a: F,
    b: F,
    constant: F
)
Expand description

Circuit generator function for A_0 * B_0 - const, with every other column = 0