Module Ed25519.V

Parameters

module L : sig ... end

Signature

type pk = Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod * Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod
type signature = {
  1. r : (Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod * Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod) L.repr;
  2. s : bool list L.repr;
}
module Encoding : sig ... end
val verify : L.Bytes.tl L.repr -> pk L.repr -> signature -> bool L.repr L.t