verse-lab/toychain

A minimalistic blockchain consensus implemented and verified in Coq