aztec-nr - noir_aztec::protocol::point

Function validate_on_curve

pub fn validate_on_curve(p: EmbeddedCurvePoint)

Validates that the given point exists on the Grumpkin curve.