diff --git a/src/lib_crypto/s.ml b/src/lib_crypto/s.ml index 20982a5e2..df4545a0a 100644 --- a/src/lib_crypto/s.ml +++ b/src/lib_crypto/s.ml @@ -164,6 +164,8 @@ module type SIGNATURE = sig include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig diff --git a/src/lib_crypto/signature.ml b/src/lib_crypto/signature.ml index e7130ff8c..fc9c580fc 100644 --- a/src/lib_crypto/signature.ml +++ b/src/lib_crypto/signature.ml @@ -59,6 +59,8 @@ module Public_key_hash = struct let size = 1 + Ed25519.size + let zero = Ed25519 Ed25519.Public_key_hash.zero + include Helpers.MakeRaw(struct type nonrec t = t let name = name diff --git a/src/lib_protocol_environment/sigs/v1/s.mli b/src/lib_protocol_environment/sigs/v1/s.mli index 793ec4f30..9860d4743 100644 --- a/src/lib_protocol_environment/sigs/v1/s.mli +++ b/src/lib_protocol_environment/sigs/v1/s.mli @@ -217,6 +217,8 @@ module type SIGNATURE = sig include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig diff --git a/src/lib_protocol_environment/tezos_protocol_environment.ml b/src/lib_protocol_environment/tezos_protocol_environment.ml index b5ab773eb..cc0ca2783 100644 --- a/src/lib_protocol_environment/tezos_protocol_environment.ml +++ b/src/lib_protocol_environment/tezos_protocol_environment.ml @@ -285,6 +285,8 @@ module Make (Context : CONTEXT) = struct include ENCODER with type t := t include INDEXES with type t := t + val zero: t + end module Public_key : sig