Function kimchi_msm::test::test_circuit::interpreter::constrain_addition
source · pub fn constrain_addition<F: PrimeField, Env: ColAccessCap<F, TestColumn>>(
env: &mut Env
)
Expand description
A constraint function for A + B - C that reads values from limbs A and B, and additionally returns resulting value in C.