Publications

We present Toychain, the first proven-correct implementation of a Nakamoto-style blockchain consensus protocol.
Master’s thesis, 2019

We present the first formalisation of a blockchain-based distributed consensus protocol with a proof of its consistency mechanised in the Coq proof assistant.
In Certified Programs and Proofs, 2018