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