I hope following article will be more interesting, this one is kinda introduction, I guess. We in Consensus Research( https://github.com/ConsensusResearch http

I hope following article will be more interesting, this one is kinda introduction, I guess. We in Consensus Research( https://github.com/ConsensusResearch https://github.com/ConsensusResearch ) are study some consensus properties of proof-of-stake cryptocurrencies with executable models written in Haskell & Coq. Feedback from HN guys is highly welcomed!