Conex_mirage_crypto.NC_Vval raw_digest : string -> Conex_resource.Digest.traw_digest str is the digest of the given str.
val digest : Conex_resource.Wire.t -> Conex_resource.Digest.tdigest wire is the digest of the string encoding of wire.
val verify :
Conex_resource.Wire.t ->
Conex_resource.Key.t Conex_utils.M.t ->
Conex_resource.Signature.t Conex_utils.M.t ->
Conex_resource.identifier Conex_resource.Digest_map.t
* Conex_verify.error listverify wire keys sigs is the set of valid signatures and errors