Development Update: Formal Methods | Ethereum Foundation Blog
I will be joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as a profession only ...
I will be joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as a profession only ...
The Go Ethereum team is very proud to finally release Geth 1.5, which can almost be called a complete internal rewrite ...
testing a fork The Spurious Dragon fork is scheduled for next week; block 2675000 is likely to occur on Tuesday ...
This week marks the completion of our fourth hard fork, spurious dragonand the subsequent state compensation processthe final steps in ...
The possibilities of zkSNARKs are impressive, you can verify the correctness of computations without having to execute them and you ...
December marks a month of continued progress in the Ethereum ecosystem. Proof-of-stake and sharding investigation continues after investigative team workshop ...
It's been pretty busy over the past few months for Ethereum javascripters. For starters, there was a huge hackathon with ...
The last month and a half has seen great progress for Ethereum research, and we are excited that the protocol ...
An error was reported in the Solidity optimizer via the Ethereum Foundation bounty program, by Christoph Jentzsch. This bug was ...
Over the last month and a half we've seen vigorous research and development underway on all aspects of the Ethereum ...