Function kimchi_msm::test::test_circuit::interpreter::constrain_test_const

source · 
pub fn constrain_test_const<F: PrimeField, Env: ColAccessCap<F, TestColumn>>(
    env: &mut Env,
    constant: F
)
Expand description

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