RT @SourcifyEth
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 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!

Show thread

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.

Show thread

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 ethcc.interspace.chat/.

RT @ghiliweld
yo solidity twitter
is there a tool that displays the final inheritance graph of a set of contracts? i'm tryna see sum

RT @leonardoalt
Now @ethchris debunking the fake news from some experts that @solidity_lang 's optimizer has "too many bugs" and therefore should not be used. Wat?

Reasons why you should upgrade to a recent Solidity version (0.8.x):
- Checked arithmetics!
- Immutables!
- User-defined errors!
- Elements at file-level!
- New features for bytes! Calldata slices, bytes to bytesNN conv., bytes.concat
Read blog.soliditylang.org for details. πŸ†™

Show thread

Updates from 2020 and 2021: We launched soliditylang.org as a one-stop shop portal and undergo several efforts to get more feedback from users and theSolidity ecosystem. Join the forum if you’re interested in language design, it’s at forum.soliditylang.org!

Show thread

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!
πŸ“Ί: ethcc.interspace.chat

RT @nanexcool
Anyone using @solidity_lang `verbatim` in production yet?

I had an idea but don't want to code my whole contract in Yul so would have to do an external call to a tiny bespoke Yul contract πŸ₯²

Mark your calendars for @EthCC! πŸ“…πŸ“Œ
β†’ Solidity in 2021 / @ethchris /July 21st 11:45 am
β†’ Fully automated formal verification: How far can we go? / @leonardoalt / July 22nd 10:15 am
β†’ Sourcify: Towards safer contract interactions for humans / @_franzihei / July 22nd 3:35 pm

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.

Show thread

Solidity 0.8.6 just got released! πŸŽ‰It contains a fix for a non-critical but annoying bug related to unreachable code warnings. 🐞
πŸ“°: blog.soliditylang.org/2021/06/
πŸ’Ύ: github.com/ethereum/solidity/r

Hardhat 2.4.0 includes Solidity 0.8 support for custom errors and panic codes! 😍
---
RT @HardhatHQ
Hardhat 2.4.0 is out!

github.com/nomiclabs/hardhat/r
twitter.com/HardhatHQ/status/1

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! ⬇️
forum.soliditylang.org/t/user-

β†’ 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! ⬇️ blog.soliditylang.org/2021/06/

Show thread

β†’ 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.
docs.soliditylang.org/en/v0.8.

Show thread

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.
docs.soliditylang.org/en/v0.8.

Show thread

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.
πŸ“°: blog.soliditylang.org/2021/06/
πŸ’Ύ: github.com/ethereum/solidity/r

Show older
Fosstodon

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.