- Ethereum Dev Roundup: Q1 (Boring Edition) - Ethereum Blog https://blog.ethereum.org/2017/04/07/ethereum-dev-roundup-q1-boring-edition/ 11 comments ethereum
Linked pages
- TLD Registry + HNS Exchange for Decentralized Web | Namebase http://www.carbonvote.com/ 428 comments
- Simple model of an internal PoW attacker | by Vlad Zamfir | Medium https://medium.com/@Vlad_Zamfir/simple-model-of-an-internal-pow-attacker-1a713cf00672 41 comments
- Minimal Slashing Conditions. Last week Yoichi released a blog post… | by Vitalik Buterin | Medium https://medium.com/@VitalikButerin/minimal-slashing-conditions-20f0b500fc6c#.elai9gx69 24 comments
- Formal methods on another Casper. In a previous post, I talked about… | by Yoichi Hirai | Medium https://medium.com/@pirapira/formal-methods-on-another-casper-8a75f6e02073#.whq1hqn4u 19 comments
- https://github.com/ethereum/pm/tree/master/All%20Core%20Devs%20Meetings 15 comments
- Safety Under Dynamic Validator Sets | by Vitalik Buterin | Medium https://medium.com/@VitalikButerin/safety-under-dynamic-validator-sets-ef0c3bbdf9f6#.8umti9h81 14 comments
- Dealing with failure in cryptocurrency | by Vlad Zamfir | Medium https://medium.com/@Vlad_Zamfir/dealing-with-failure-in-cryptocurrency-463475da83e5#.rw1bywk64 14 comments
- https://medium.com/@pirapira/formal-methods-on-some-pos-stuff-e309775c2ab8#.p2c8b5rn4 14 comments
- Ethereum Virtual Machine for Coq (v0.0.2) | by Yoichi Hirai | Medium https://medium.com/@pirapira/ethereum-virtual-machine-for-coq-v0-0-2-d2568e068b18#.bzip9vul9 13 comments
- https://medium.com/@pirapira/a-mechanized-safety-proof-for-pos-with-dynamic-validators-17e9b45faff4#.4mxrz68jm 6 comments
- https://medium.com/@pirapira/fixing-safety-proof-on-dynamic-validator-pos-5d8d463d8ae8#.7s6n9syzd 6 comments
- GitHub - pirapira/eth-isabelle: A Lem formalization of EVM and some Isabelle/HOL proofs https://github.com/pirapira/eth-isabelle 4 comments
Related searches:
Search whole site: site:blog.ethereum.org
Search title: Ethereum Dev Roundup: Q1 (Boring Edition) | Ethereum Foundation Blog
See how to search.