Module Conex_verify
Verification primitives
Implementations are provided in Conex_mirage_crypto
and Conex_openssl
.
type error
=[
|
`UnknownKey of Conex_resource.identifier
|
`InvalidBase64Encoding of Conex_resource.identifier
|
`InvalidSignature of Conex_resource.identifier
|
`InvalidPublicKey of Conex_resource.identifier
]
Potential error case when verifying a signature
val pp_error : error Conex_utils.fmt
pp_error
is a pretty printer forverification_error
.
module type S = sig ... end
The verification module type
module type S_RSA_BACK = sig ... end
The verification backend, to be implemented by a crypto provider
module Make : functor (C : S_RSA_BACK) -> S
Instantiation.