All Announcements posts:

Solidity v0.1.0 turns 5! A walk down memory lane...

With happiness and a tad of nostalgia, we’d like to share that Solidity v0.1.0 turns 5 years old today! (To be fair, v0.1.0 wasn’t an actual release, but it marks the time where the Solidity team started appointing version numbers.) We are puzzled over how fast time flew by. We’d like to use this opportunity to take a look back and walk down the Solidity memory lane together with you. In short: The Solidity language evolved rapidly, the ecosystem went... [Read More]

Wrapping up the Virtual Solidity Summit 2020

Roughly one month ago, we held the first Solidity Summit - a free interactive forum with discussions and talks on Solidity, Yul, language design and tooling. It took place on April 29-30 and was powered by a virtual meeting infrastructure based on open-source, self-hosted Jitsi video chat rooms. The platform was supplied by Interspace.Chat. Before we dive into the recap: Your input and active participation was much appreciated and we want to take this opportunity to say thank you! We... [Read More]

Sourcify: Towards Safer Contract Interaction for Humans

tl;dr: Building sensible blockchain applications for humans is hard. You can enhance the user experience of your dapp today by leveraging the power of open source. Increase awareness and give more transparency on what users are actually doing when interacting with your code on the blockchain, i.e. when signing a transaction, by publishing the source code to this decentralized repository and using metadata files, which translate “random” hex strings into human-readable language. Sourcify is a tool to help you do... [Read More]

Solidity Summit 2020 Goes Interspace

Tl;dr: As already announced on Twitter, we transformed the Solidity Summit, which was initially planned to be an in-person meeting in Berlin, into an online event. Today, we are excited to share that the summit will be powered by Interspace.Chat. Interspace is a virtual meeting infrastructure based on self-hosted Jitsi video chat rooms. Check out the Solidity Summit’s preliminary event agenda here and make sure to register if you want to partipate! [Read More]

Dev Update: Formal Methods

This post was originally published on the Ethereum blog. Today, I am delighted to announce that Yoichi Hirai (@pirapira on github) is joining the Ethereum project as a formal verification engineer. He holds a PhD from the University of Tokyo on the topic of formalizing communicating parallel processes and created formal verification tools for Ethereum in his spare time. In his own words: I’m joining Ethereum as a formal verification engineer. My reasoning: formal verification makes sense as a profession... [Read More]