Function kimchi_msm::test::test_circuit::interpreter::test_const
source · 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