halo2_ecc::ecc

Function check_is_on_curve

Source 
pub fn check_is_on_curve<F, FC, C>(
    chip: &FC,
    ctx: &mut Context<F>,
    P: &EcPoint<F, FC::FieldPoint>,
)
where
    F: BigPrimeField,
    FC: FieldChip<F>,
    C: CurveAffine<Base = FC::FieldType>,
Expand description

Checks that P is indeed a point on the elliptic curve C.