Function halo2_ecc::ecc::check_is_on_curve

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

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