Function halo2_ecc::ecc::strict_ec_select_from_bits

source · [−]

pub fn strict_ec_select_from_bits<F: PrimeField, 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>,