A minimalistic blockchain consensus implemented and verified in Coqgithub.com/certichain3 pointsfossislife5 years ago