Function halo2_ecc::ecc::into_strict_point

source · [−]

pub fn into_strict_point<F, FC>(
    chip: &FC,
    ctx: &mut Context<F>,
    pt: EcPoint<F, FC::FieldPoint>
) -> StrictEcPoint<F, FC>where
    F: PrimeField,
    FC: FieldChip<F>,