halo2_ecc::ecc

Function 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: BigPrimeField, FC: FieldChip<F>,