{Solidity:​log}

Posted by Franziska Heintel on February 1, 2021

In our effort to foster exchange of information, encourage more developers to give feedback about Solidity and join the discussions on language design and future direction of the compiler, we are happy to launch the Solidity forum today! Moving forward the Solidity forum will be the dedicated place to discuss topics and questions related to… The design of the Solidity programming language. The Solidity compiler. Useful Solidity tips and code snippets. Solidity documentation and its translation. Discussions and announcements about Solidity releases. It will not be the...

Posted by Solidity Team on January 27, 2021

Solidity v0.8.1 introduces many new features for the SMTChecker (see below), updates the emscripten version for building soljson.js to 2.0.12, allows to catch panic errors and adds other small improvements. Notable New Features SMTChecker Counterexamples and Synthesis of External Functions The SMTChecker already reports transaction traces as counterexamples to failing verification targets, but 0.8.1 adds internal calls, msg.value and synthesized unknown code called externally in the form of reentrant calls to counterexamples. A recent blog post presents that topic in more detail. How to select SMTChecker targets Prior to 0.8.1, the SMTChecker...

Posted by Franziska Heintel on January 26, 2021

Before we dive into the results we want to extend a big thank you to all of the Solidity developers that participated in the very first Solidity Developer Survey, which we conducted at the end of last year! We were overwhelmed by the high quality of the submissions and are happy to extract important insights from your input. In this post, we'll be summarizing and commenting on the results of the survey. Please note that none of the questions in the survey were...

Posted by Solidity Team on December 16, 2020

Solidity 0.8.0 is a breaking release of the Solidity compiler and language. Some of the new features of this release have been elaborated in the 0.8.x preview release post. Please consider the preview release binary superseded and do not use it anymore. Notable New Features and Changes As per usual, this breaking release does not include many features but rather changes that require a backwards-incompatible adjustment in syntax or semantics. For a detailed explanation, please see the documentation. The change that will affect most users is...

Posted by Solidity Team on December 16, 2020

Solidity v0.7.6 adds better support for calldata types. Furthermore, the fallback function can now have a parameter and explicitly return data. Notable New Features Detection of Overflowing Unicode Direction Markers The winning entry in the Solidity Underhanded Contest used a clever combination of Unicode direction markers to deceive the reader about the semantics of a time-locked upgrade mechanism. Starting from Solidity 0.7.6, the parser will reject comments and Unicode strings where the text direction is not properly reset before the end of the comment or string. Better Support for...

Posted by Franziska Heintel on December 9, 2020

Today we are launching the Solidity Developer Survey 2020. It is the first time we share a proper language survey and we hope to turn this into an annual tradition moving forward. You might remember the small feedback survey we did this year as part of the Solidity Summit registration in which we asked you for the most liked and dreaded Solidity features. If you're curious to revisit the results of that click here. Help shape the future of Solidity 🔮 So why...

Posted by Franziska Heintel on December 3, 2020

After thorough assessment of all submissions, we are happy to share the winners of this year's Underhanded Solidity Contest! If you are not familiar with it, please read the announcement from September. Before we dive into the winning submissions, we'd like to thank all participants for taking part. In total, we received 16 qualifying submissions which you can find in this repo. All 16 submissions are eligible for a "qualified submission" Underhanded Solidity POAP NFT - winners will receive an additional "Winners"...

Posted by Solidity Team on November 18, 2020

Solidity v0.7.5 adds the ability so select the ABI coder via pragma abicoder v1 and pragma abicoder v2 in preparation for making ABI coder v2 the default for 0.8.0 and introduces --experimental-via-ir which compiles via the new experimental Yul-based compiler pipeline. Full Changelog Language Features: Ability to select the abi coder using pragma abicoder v1 and pragma abicoder v2. Inline Assembly: Use .offset and .length for calldata variables of dynamic array type to access their calldata offset and length (number of elements). Both of...

Posted by Solidity Team on November 4, 2020

We hosted our very first Solidity team AMA on Reddit last week! We would like to take the opportunity to summarize the most interesting and most upvoted questions & answers in this post. If you are interested in going through the full AMA thread you can do so here. General Questions Roadmap Outlook: What does the Solidity team see as its most important feature goals in the medium-long term and what are the biggest blockers to achieving those goals? As far as the compiler...

Posted by Solidity Team on October 28, 2020

With the Solidity 0.8.x series being just around the corner, we would like to provide insights into the upcoming breaking changes that will come with it. We want to provide a preview release binary for everyone to try out so that you can give your feedback. The main change for 0.8.x is the switch to checked arithmetic operations by default. This means that x + y will throw an exception on overflow. In other words: You will not need SafeMath anymore! Since the scope...