halo2_ecc::ecc

Function strict_ec_select_from_bits

Source
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>
where FC: FieldChip<F> + Selectable<F, FC::FieldPoint> + Selectable<F, FC::ReducedFieldPoint>,