- 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 ethereum
Linking pages
- Ethereum Dev Roundup: Q1 (Boring Edition) | Ethereum Foundation Blog https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/ 11 comments
- The Etherian Weekly Slack/Gitter Update: 3.12.2017-3.19.2017 https://theetherian.wordpress.com/2017/03/20/the-etherian-weekly-slackgitter-update-3-12-2017-3-19-2017/ 10 comments
Related searches:
Search whole site: site:medium.com
Search title: A mechanized safety proof for PoS with dynamic validators
See how to search.