diff --git a/src/lib_crypto/ed25519.ml b/src/lib_crypto/ed25519.ml index e522189c2..7a6968c28 100644 --- a/src/lib_crypto/ed25519.ml +++ b/src/lib_crypto/ed25519.ml @@ -182,6 +182,7 @@ module Signature = struct let to_bytes x = x let size = Sign.bytes + let zero = MBytes.init size '\000' let () = Base58.check_encoded_prefix b58check_encoding "edsig" 99 diff --git a/src/lib_crypto/ed25519.mli b/src/lib_crypto/ed25519.mli index 7c0689271..1dcee47cc 100644 --- a/src/lib_crypto/ed25519.mli +++ b/src/lib_crypto/ed25519.mli @@ -81,6 +81,8 @@ module Signature : sig val size: int + val zero: t + (** Check a signature *) val check: Public_key.t -> t -> MBytes.t -> bool diff --git a/src/lib_protocol_environment/sigs/v1/ed25519.mli b/src/lib_protocol_environment/sigs/v1/ed25519.mli index 22cab202b..19111bc40 100644 --- a/src/lib_protocol_environment/sigs/v1/ed25519.mli +++ b/src/lib_protocol_environment/sigs/v1/ed25519.mli @@ -80,6 +80,8 @@ module Signature : sig (** Append a signature *) val append: Secret_key.t -> MBytes.t -> MBytes.t + val zero: t + end val sign: Secret_key.t -> MBytes.t -> Signature.t