Expand description
Generic point abstraction.
Points are parameterized by their curve model through the associated type
Curve. This lets us reuse the same interface across Weierstrass,
Montgomery, Edwards, etc., while keeping model-specific formulas inside
each implementation.