Represents an element on the curve. In the case of a curve with a cofactor, the element is not necessarily in the prime subgroup.

The size of a point representation, in bytes

Check if a point, represented as a byte array, is on the curve *

Attempt to construct a point from a byte array

Attempt to construct a point from a byte array. Raise Not_on_curve if the point is not on the curve

Return a representation in bytes

Zero of the elliptic curve

A fixed generator of the elliptic curve

Return true if the given element is zero

Generate a random element

Return the addition of two element

Double the element

Return the opposite of the element

Return true if the two elements are algebraically the same

Multiply an element by a scalar

is_on_curve ~x ~y ~z returns true if the coordinates (x, y, z) represents a point on the curve. It does not check the point is in the prime subgroup.

is_in_prime_subgroup ~x ~y ~z returns true if the coordinates (x, y, z) represents a point in the prime subgroup. The coordinates must be a point on the curve.

Build a point from the affine coordinates. If the point is not on the curve and in the subgroup, returns None

Build a point from the affine coordinates. If the point is not on the curve and in the subgroup, raise Not_on_curve.