package conex-mirage-crypto

  1. Overview
  2. Docs
Establishing trust in community repositories: crypto provided via mirage-crypto


Dune Dependency






Conex is a system based on TUF to establish trust in community repositories. Since opam2, the required hooks are present.

This package uses the crypto primitives provided by mirage-crypto.

Published: 15 Mar 2020


Conex - establish trust in community repositories


Conex is a utility for verify and attest release integrity and authenticity of community repositories through the use of cryptographic signatures (RSA-PSS-SHA256). It is based on the update framework, especially on their CCS 2010 paper, and adapted to the requirements of the opam repository.

The developer sign their release checksums and build instructions. A quorum (with a configurable threshold) of repository maintainers signs the package name to developer key relation. These repository maintainers are enrolled by a quorum of offline root keys.

The TUF spec has a good overview of attacks and threat model, both of which are shared by conex.

Project history

Spring 2017, together with Justin Cappos TAP 8 was designed which extends TUF with key rotation and explicit self-revocation.

Early 2017, a blog post introducing a prototype was published.

We presented an earlier design at OCaml 2016 about an earlier design.

Another article on an even earlier design (from 2015) is also available.


Conex release tarballs are accompanied with OpenPGP signatures in a separate .sig file in the download area.

opam instal conex will install this library and tool, once you have installed OCaml (>= 4.05.0) and opam (>= 2.0.0beta).

A small test repository with two maintainers is available here including transcripts of how it was setup, and how to setup opams repo validation hook.

Dependencies (13)

  1. base64 >= "3.4.0"
  2. rresult
  3. fmt
  4. logs
  5. x509 >= "0.10.0" & < "0.13.0"
  6. mirage-crypto-rng < "0.11.0"
  7. mirage-crypto-pk
  8. mirage-crypto
  9. cstruct >= "1.6.0"
  10. conex = version
  11. cmdliner
  12. dune
  13. ocaml >= "4.07.0"

Dev Dependencies (1)

  1. alcotest with-test

Used by





Innovation. Community. Security.