a mechanized safety proof for pos with dynamic validators - discu.eu

Reddit

A mechanized safety proof for PoS with dynamic validators https://medium.com/@pirapira/a-mechanized-safety-proof-for-pos-with-dynamic-validators-17e9b45faff4#.4mxrz68jm 6 comments 18/3/2017 ethereum