mec.signature
Redjubjub.Make
mec
mec.Curve
mec.CurveSig
mec.curve
mec.digestif
mec.hash
mec.permutation
mec.utils
mec_curve_utils
module Param : sig ... end
type secret_key = Mec_curve.Jubjub.AffineEdwards.Scalar.t
type public_key = Mec_curve.Jubjub.AffineEdwards.t
type signature
val signature_to_bytes : signature -> Bytes.t
val sign : secret_key -> Bytes.t -> signature
val sign_deterministic : Bytes.t -> secret_key -> Bytes.t -> signature
val verify : public_key -> Bytes.t -> signature -> bool