pub fn crt<F: ScalarField>(
    gate: &impl GateInstructions<F>,
    ctx: &mut Context<F>,
    a: &[impl AsRef<CRTInteger<F>>],
    coeffs: &[AssignedValue<F>],
    limb_bases: &[F]
) -> CRTInteger<F>
Expand description

only use case is when coeffs has only a single 1, rest are 0