Make.P
val authenticate : Mavryk_crypto.Signature.Public_key_hash.t list -> Mavryk_base.TzPervasives.Bytes.t -> Mavryk_crypto.Signature.t Mavryk_base.TzPervasives.tzresult Lwt.t