Basic interface for elliptic curves
Represents an element on the curve. In the case of a curve with a cofactor, the element is not necessarily in the prime subgroup.
module Scalar : Bls12_381.Ff_sig.PRIMEmodule Base : Bls12_381.Ff_sig.PRIMECheck if a point, represented as a byte array, is on the curve *
val of_bytes_opt : Stdlib.Bytes.t -> t optionAttempt to construct a point from a byte array
val of_bytes_exn : Stdlib.Bytes.t -> tAttempt to construct a point from a byte array. Raise Not_on_curve if the point is not on the curve
val to_bytes : t -> Stdlib.Bytes.tReturn a representation in bytes
val zero : tZero of the elliptic curve
val one : tA fixed generator of the elliptic curve
val is_zero : t -> boolReturn true if the given element is zero
val random : ?state:Stdlib.Random.State.t -> unit -> tGenerate a random element