constraint_word_addition

openvm_sha2_air

Function constraint_word_addition 

Source 
pub fn constraint_word_addition<AB: AirBuilder, C: Sha2BlockHasherSubairConfig>(
    builder: &mut AB,
    terms_bits: &[&[impl Into<AB::Expr> + Clone]],
    terms_limb: &[&[impl Into<AB::Expr> + Clone]],
    expected_sum: &[impl Into<AB::Expr> + Clone],
    carries: &[impl Into<AB::Expr> + Clone],
)
Expand description

Constrain the addition of C::WORD_BITS bit words in 16-bit limbs It takes in the terms some in bits some in 16-bit limbs, the expected sum in bits and the carries