Function halo2_ecc::bigint::sub::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