Module SchnorrPV.Curve

exception Not_on_curve of Stdlib.Bytes.t
val size_in_bytes : int
module Scalar : sig ... end
module Base : sig ... end
val check_bytes : Stdlib.Bytes.t -> bool
val of_bytes_opt : Stdlib.Bytes.t -> t option
val of_bytes_exn : Stdlib.Bytes.t -> t
val to_bytes : t -> Stdlib.Bytes.t
val zero : t
val one : t
val is_zero : t -> bool
val random : ?state:Stdlib.Random.State.t -> unit -> t
val add : t -> t -> t
val double : t -> t
val negate : t -> t
val eq : t -> t -> bool
val mul : t -> Scalar.t -> t
val a : Base.t
val d : Base.t
val cofactor : Z.t
val is_on_curve : u:Base.t -> v:Base.t -> bool
val is_in_prime_subgroup : u:Base.t -> v:Base.t -> bool
val get_u_coordinate : t -> Base.t
val get_v_coordinate : t -> Base.t
val to_montgomery_curve_parameters : unit -> (Base.t * Base.t * Z.t * (Base.t * Base.t)) option
val to_montgomery : t -> (Base.t * Base.t) option
val from_coordinates_opt : u:Base.t -> v:Base.t -> t option
val from_coordinates_exn : u:Base.t -> v:Base.t -> t
val unsafe_from_coordinates : u:Base.t -> v:Base.t -> t