pub fn validate_on_curve(p: EmbeddedCurvePoint)
Validates that the given point exists on the Grumpkin curve.
Validates that the given point exists on the Grumpkin curve.