Tag: Blog

I’m joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as a profession only in a ...

An online retailer always gets users’ explicit consent before sharing customer data with its partners. A navigation app anonymizes activity ...

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 hardfork is scheduled for the coming week; block 2675000 is likely to occur Tuesday ...

April 11, 2024 Upholding a legacy of more than 50 years of environmental responsibility through our company’s ac... April 11, ...

This week marks the completion of our fourth hard fork, Spurious Dragon, and the subsequent state clearing process, the 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. Research on proof of stake and sharding continues after the ...

It's been a fairly busy for the last couple of months for the Ethereum javascripters. To start with, there was ...

A bug in the Solidity optimizer was reported through the Ethereum Foundation Bounty program, by Christoph Jentzsch. This bug is ...