Module Conex_crypto

module Conex_crypto: sig .. end
Crypto primitives

Implementations are provided in Conex_nocrypto and Conex_openssl.



Verification


type verification_error = [ `InvalidBase64Encoding | `InvalidPublicKey | `InvalidSignature ] 
Potential error case when verifying a signature
val pp_verification_error : verification_error Conex_utils.fmt
pp_verification_error is a pretty printer for verification_error.
module type VERIFY = sig .. end
The verification module type
module type VERIFY_BACK = sig .. end
The verification backend, to be implemented by a crypto provider
module Make_verify: 
functor (C : VERIFY_BACK-> VERIFY
Instantiation.

Signing


module type SIGN = sig .. end
The signing module type
module type SIGN_BACK = sig .. end
The signing backend, to be implemented by a crypto provider.
module Make_sign: 
functor (C : SIGN_BACK-> SIGN
Instantiation.