Function constrain_multiplication

pub fn constrain_multiplication<F: PrimeField, Env: ColAccessCap<F, TestColumn>>(
    env: &mut Env,
)

A constraint function for A * B - D that reads values from limbs A and B, and multiplicationally returns resulting value in D.