kimchi::circuits::polynomials::foreign_field_mul::witness

Function compute_bound

Source 
pub fn compute_bound(
    x: &BigUint,
    neg_foreign_field_modulus: &BigUint,
) -> BigUint
Expand description

Perform integer bound addition for all limbs x’ = x + f’