certichain

A minimalistic blockchain consensus implemented and verified in Coq

A Framework for building Distributed Consensus Protocols

A toy implementation of a Proof-of-Stake consensus protocol in Scala