package conex

  1. Overview
  2. Docs

Crypto primitives

Implementations are provided in Conex_nocrypto and Conex_openssl.

Verification

type verification_error = [
  1. | `InvalidBase64Encoding
  2. | `InvalidSignature
  3. | `InvalidPublicKey
]

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

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 (C : SIGN_BACK) : SIGN

Instantiation.