Bonjour @EthCC! Don't miss @_franzihei's talk on "Sourcify: Towards safer contract interactions for humans" today at 3:35PM (in 30 mins) on the main stage! You can also follow it online at https://ethcc.interspace.chat/. 😊
Jumping to conclusions: Automated formal verification tools can be powerful but currently no automated tool will fit the job every time. Formal verification is still an expert domain. Make sure to watch the entire talk if you are interested in the outcomes of the experiments!
There are several formal verification tools available today, some targeting Solidity, some targeting bytecode. Leo discusses pros and cons and describes the experiment he ran with each tool.
Hey @EthCC early birds! @leonardoalt will be discussing „Fully automated formal verification: How far can we go?“ in 5 mins in the Pontoise room! You can also follow the livestream at https://ethcc.interspace.chat/.
Don’t miss @ethchris talk at @EthCC in 15mins on the main stage. He’ll be talking all things Solidity in 2021, a must update for all Solidity (and ecosystem) developers! If you’re not in Paris you can follow the talk via the livestream!
The previous release introduced a feature to detect unreachable code due to a function call always reverting before the code. This detection contained a bug in connection with nested calls to internal library functions and is fixed now.
Solidity 0.8.6 just got released! 🎉It contains a fix for a non-critical but annoying bug related to unreachable code warnings. 🐞
Hardhat 2.4.0 includes Solidity 0.8 support for custom errors and panic codes! 😍
Hardhat 2.4.0 is out!
Feedback needed 🧑💻 What do you think about user-defined value types (types that are identical to a provided value type incl. operators, members, ..., but cannot be implicitly converted to any other type)? Would those be useful? Tell us in the forum! ⬇️
→ Use cases for ``verbatim``: One can use ``verbatim`` to conveniently inject a newly proposed EVM opcode into the binary. Additionally, ``verbatim`` can be useful for solutions like @optimismPBC. Why? Check the release announcement for all details! ⬇️ https://blog.soliditylang.org/2021/06/10/solidity-0.8.5-release-announcement/
→ Verbatim in Yul: 0.8.5 introduces the set of ``verbatim`` builtin functions for Yul that allows you inject arbitrary bytecode into the binary. This is currently only available via pure Yul, i.e., it is not accessible via inline assembly.
Notable new features ✨
→ Bytes conversion: 0.8.5 introduces the ability to convert ``bytes`` and ``bytes`` slices to fixed bytes types ``bytes1`` / … / ``bytes32``. It is now possible to convert dynamically-sized bytes types to fixed-length bytes types.
Solidity 0.8.5 is out! 🆕🎉 v0.8.5 allows conversions from ``bytes`` to ``bytesNN`` values, adds the ``verbatim`` builtin function to inject arbitrary bytecode in Yul and fixes several smaller bugs.
Solidity is an object-oriented, high-level language for implementing smart contracts. 🌐
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.