Function kimchi_msm::test::test_circuit::interpreter::test_multiplication

pub fn test_multiplication<F: PrimeField, Ff: PrimeField, Env: ColAccessCap<F, TestColumn> + ColWriteCap<F, TestColumn>>(
    env: &mut Env,
    a: Ff,
    b: Ff
)

Circuit generator function for A * B - C, with D = 0.