Function kimchi::circuits::polynomials::foreign_field_mul::witness::compute_high_bound

source · 
pub fn compute_high_bound(
    x: &BigUint,
    foreign_field_modulus: &BigUint
) -> BigUint
Expand description

Perform integer bound computation for high limb x’2 = x2 + 2^l - f2 - 1