Function kimchi::circuits::polynomials::foreign_field_mul::witness::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’