RedJubjub.Make
module Param : sig ... end
val signature_to_bytes : signature -> Stdlib.Bytes.t
val sign : secret_key -> Stdlib.Bytes.t -> signature
val sign_deterministic :
Stdlib.Bytes.t ->
secret_key ->
Stdlib.Bytes.t ->
signature
val verify : public_key -> Stdlib.Bytes.t -> signature -> bool