Module Conex_verifySource

Verification primitives

Implementations are provided in Conex_mirage_crypto and Conex_openssl.

Sourcetype error = [
  1. | `UnknownKey of Conex_resource.identifier
  2. | `InvalidBase64Encoding of Conex_resource.identifier
  3. | `InvalidSignature of Conex_resource.identifier
  4. | `InvalidPublicKey of Conex_resource.identifier
]

Potential error case when verifying a signature

pp_error is a pretty printer for verification_error.

Sourcemodule type S = sig ... end

The verification module type

Sourcemodule type S_RSA_BACK = sig ... end

The verification backend, to be implemented by a crypto provider

Sourcemodule Make (C : S_RSA_BACK) : S

Instantiation.