halo2_ecc::bigint::scalar_mul_and_add_no_carry

Function crt

Source 
pub fn crt<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: CRTInteger<F>,
    b: CRTInteger<F>,
    c: i64,
) -> CRTInteger<F>
Expand description

compute a * c + b = b + a * c