openvm_sha256_air

Function constraint_word_addition

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

Constrain the addition of SHA256_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