pub fn strict_ec_select_from_bits<F: BigPrimeField, FC>(
chip: &FC,
ctx: &mut Context<F>,
points: &[StrictEcPoint<F, FC>],
sel: &[AssignedValue<F>],
) -> StrictEcPoint<F, FC>
pub fn strict_ec_select_from_bits<F: BigPrimeField, FC>(
chip: &FC,
ctx: &mut Context<F>,
points: &[StrictEcPoint<F, FC>],
sel: &[AssignedValue<F>],
) -> StrictEcPoint<F, FC>