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>,
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>,