test_multiplication

kimchi_msm::test::test_circuit::interpreter

Function test_multiplication 

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

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