Dev Update: Formal Methods | Ethereum Foundation Blog
I’m joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as a profession only in a...
Richard Davies
Security alert – All geth nodes crash due to an out of memory bug
Security Alert Affected configurations: Geth Likelihood: High Severity: High Summary: geth nodes running out of memory and crashing on block...
The Ethereum network is currently undergoing a DoS attack
URGENT ALL MINERS: The network is under attack. The attack is a computational DDoS, ie. miners and nodes need to...
Transaction spam attack: Next Steps
Today the network was attacked by a transaction spam attack that repeatedly called the EXTCODESIZE opcode (see trace sample here),...
Announcement of imminent hard fork for EIP150 gas cost changes
During the last couple of weeks, the Ethereum network has been the target of a sustained attack. The attacker(s) have...
FAQ: Upcoming Ethereum Hard Fork
The Ethereum network will be undergoing a hard fork at block number 2463000, which will likely occur between 12:00 and...
Security Alert – Mist can be vulnerable when navigating to malicious DApps
Mist leaks some low level APIs, which Dapps could use to gain access to the computer's file system and read/delete...
Uncle Rate and Transaction Fee Analysis
One of the important indicators of how much load the Ethereum blockchain can safely handle is how the uncle rate...
Security Alert – Solidity – Variables can be overwritten in storage
Summary: In some situations, variables can overwrite other variables in storage. Affected Solidity compiler versions: 0.1.6 to 0.4.3 (including 0.4.4...
Analysis of Storage Corruption Bug
This blog post provides an update on our findings following the discovery of the storage corruption bug last week. In summary, the bug was much...
