Module Ed25519.VSource

Parameters

module L : sig ... end

Signature

Sourcetype pk = Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod * Plompiler__.Gadget_edwards25519.MakeEdwards25519(L).nat_mod
Sourcetype 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;
}
Sourcemodule Encoding : sig ... end
Sourceval verify : L.Bytes.tl L.repr -> pk L.repr -> signature -> bool L.repr L.t