Module Pasta_bindings.Vesta

module BaseField : sig ... end
module ScalarField : sig ... end
module Affine : sig ... end
type nonrec t
val one : unit -> t
val add : t -> t -> t
val sub : t -> t -> t
val negate : t -> t
val double : t -> t
val scale : t -> Fp.t -> t
val random : unit -> t
val rng : int -> t
val endo_base : unit -> Fq.t
val endo_scalar : unit -> Fp.t
val to_affine : t -> Fq.t Kimchi_types.or_infinity
val of_affine : Fq.t Kimchi_types.or_infinity -> t
val of_affine_coordinates : Fq.t -> Fq.t -> t