aztec-nr - std::embedded_curve_ops

Function embedded_curve_add_not_nul

pub fn embedded_curve_add_not_nul(
    point1: EmbeddedCurvePoint,
    point2: EmbeddedCurvePoint,
) -> EmbeddedCurvePoint

This function assumes that: The points are on the curve, and The points don't share an x-coordinate, and Neither point is the infinity point. If it is used with correct input, the function ensures the correct non-zero result is returned. Except for points on the curve, the other assumptions are checked by the function. It will cause assertion failure if they are not respected.