Conex_nocrypto.NC_VSourceval 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 keyid :
Conex_resource.identifier ->
Conex_resource.Key.t ->
Conex_resource.Digest.tkeyid id key is the unique fingerprint of key.
val verify :
Conex_resource.Author.t ->
(unit, [> Conex_crypto.verification_error ]) resultverify author verifies all signatures of author: they have to sign the current resource list.