I’m becoming a formal verification engineer at Ethereum. My rationale: formal verification is a viable profession only in a few…
Browsing: Ethereum
Security Notification Impacted setups: Geth Probability: High Impact: High Overview: geth nodes experiencing memory exhaustion and terminating on block https://etherchain.org/block/2283416…
IMPORTANT NOTICE FOR ALL MINERS: The network is experiencing an assault. This offensive is a computational DDoS, which means that…
Today the network experienced an assault through a transaction spam attack that persistently invoked the EXTCODESIZE opcode (refer to trace…
Over the past few weeks, the Ethereum network has experienced a prolonged assault. The perpetrator(s) have been quite clever in…
The Ethereum network will experience a hard fork at block number 2463000, anticipated to take place between 12:00 and 13:00…
Mist exposes several low-level APIs, enabling Dapps to access the computer’s file system and read or delete files. This would…
“`html One significant metric of how much capacity the Ethereum blockchain can securely manage is the response of the uncle…
Overview: In certain circumstances, variables may overwrite others in storage. Affected versions of Solidity compiler: 0.1.6 up to 0.4.3 (inclusive…
This blog entry offers an update on our discoveries following the detection of the storage corruption issue last week. In…