package conex-nocrypto

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


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 nocrypto.

Published: 22 Dec 2019


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.


opam instal conex will install this library and tool, once you have installed OCaml (>= 4.03.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 (10)

  1. rresult
  2. fmt
  3. logs
  4. x509 >= "0.7.0" & < "0.10.0"
  5. nocrypto >= "0.5.4"
  6. cstruct >= "1.6.0"
  7. conex = version
  8. cmdliner
  9. dune
  10. ocaml >= "4.05.0"

Dev Dependencies (1)

  1. alcotest with-test

Used by