fn defining_equation(
        x: &FieldElement<Self::BaseField>,
        y: &FieldElement<Self::BaseField>,
    ) -> FieldElement<Self::BaseField> {
        y.square() - ((x.square() + Self::a()) * x + Self::b())
    }
Evaluates the residual of the Short Weierstrass equation
R = y^2 - x^3 - ax - b
If R == 0, then the point is in the curve
Use in affine coordinates
crates/math/src/elliptic_curve/short_weierstrass/traits.rs