halo2_ecc::bigint::sub

Function crt

Source 
pub fn crt<F: ScalarField>(
    range: &impl RangeInstructions<F>,
    ctx: &mut Context<F>,
    a: ProperCrtUint<F>,
    b: ProperCrtUint<F>,
    limb_bits: usize,
    limb_base: F,
) -> (CRTInteger<F>, AssignedValue<F>)
Expand description

ยงAssumptions

  • a, b are proper CRT representations of integers with the same number of limbs