4 ms·A minimalistic blockchain consensus implemented and verified in Coq3 points by fossislife 6y ago