In order to be decentralized, secure messaging requires an ability to discover key material and guarantee its integrity. Typically, today this is done via a single centralized and unstandardised service provider. In order to create an interoperable standard around secure messaging, key discovery needs to be decentralized. We’ve designed a new protocol, ClaimChain, that builds on both existing work on blockchains while adding new optimizations. We have both experimental Python code and a formally verified version of the code.

Technical Report

Available on arXiv as Decentralizing Public Key Infrastructures with ClaimChains

Prototype Implementation

Available in Python on Github.

Formally Verified Code

Available in Fstar on Github.

Simulation Code

Available in Python on Github.