Gadget.Ed25519
Specification for Ed25519 is given in RFC 8032 https://www.rfc-editor.org/rfc/rfc8032.txt
module Curve = Mec.Curve.Curve25519.AffineEdwards
module P : sig ... end
module V (L : sig ... end) : sig ... end