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 for verification_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.