Watch / Yul, eWasm, Solidity: Progress and Future Plans

Yul, eWasm, Solidity: Progress and Future Plans

  • YouTube
  • IPFS
  • Swarm
  • Details

Yul, eWasm, Solidity: Progress and Future Plans

Duration: 00:19:31

Speaker: Christian Reitwiessner

Type: Breakout

Expertise: Advanced

Event: Devcon 5

Date: Oct 2019

Over the last months, the Yul language has matured and proved its flexibility. The Solidity team has implemented an optimizer and an eWasm dialect and is now full steam working on rewriting the Solidity code generator to produce Yul code to replace sequences of EVM instructions.The Yul optimizer now matches the old EVM optimizer and already surpasses it with features like function inlining and cross-function optimization. This is also the main reason why the new code generator can be written in a super-modular way. Furthermore, it can equally operate on EVM- and eWasm-flavoured Yul code, which is important to cope with the 256- to 64-bit translation.Through this, the Solidity compiler can now output eWasm code, which makes efficient use of 64 bit types. Furthermore, the new code generator includes automated overflow checks everywhere, again something that would have destroyed the old optimizer. Future work:We plan to use a more intricate formal system to remove redundant operations and checks based on range-relations between variables. The introduction of memory area types will help optimizing memory allocation. Finally, a super-optimizer could prove useful, since it is worth spending extra time on compilation to save gas.
About the speakers

CR

Christian Reitwiessner

Christian created Solidity and is now co-leading the project. His interests include interactive and non-interactive verification, cryptography and in general analyzing and reasoning about computation.

  • Related