Evolving the EVM

A discussion focusing on the evolution of the Ethereum Virtual Machine (EVM).

Ewasm 2.0 - State Execution in Eth 2.0

This session aims to bring clarity to what execution on Eth 2.0 means. It will be presented by multiple members of the Ewasm team, starting with a historical overview of how Eth 2.0 designs evolved around execution, followed by deeper technical topics. We will cover: - Scout (an Eth 2.0 execution engine) - Different execution environments (such as the "Eth1 shard") - In-depth presentation of different designs used in the Eth 2.0 stateless model - An Eth 2.0 execution testnet If you are interested in stateless contracts and Merkle proofs, this is the session to attend.

Optimization techniques for EVM implementations

A number of optimization techniques for Ethereum Virtual Machine implementations are going to be presented along with examples and benchmarks based on evmone and EVMJIT projects. Based on performed benchmarks, the presentation will show ~10x speed improvements in evmone comparing to other EVM implementations. While evmone is build in C++, the optimizations are not limited to C++. All of the optimizations are applicable to any compiled language, some of them even to interpreted languages.

Ewasm: Past, Present, Future

Starting with a brief introduction, we explain the challenges, design directions, and the work done in the last 12 months. We conclude with a roadmap of Ewasm. The session will consist of four parts: 1. Introduction 2. Speed, Size, and Extensibility – a honest report of Wasm in Ethereum (aka "The Benchmarking Report") 3. Is Wasm suitable for blockchain? This part will explain the changes (if any) needed for Wasm, questions relevant to blockchain, and solutions developed and proposed. 4. Roadmap

Eth 2.0 Minimal Execution AMA

A fishbowl style conversation with lead researchers and passionate contributors to Eth 2.0, but allowing anyone from the audience to stand up and lead a topic. The intent is to discuss certain key topics around the design of the Eth 2.0 shards and how they can be used by the everyday dapp developer. This session aims to bring everyone interested in Eth 2.0 execution to a friendly discussion.

Improving the Ethereum Virtual Machine (EVM 1.0, 1.5, 2.0)

This panel will consist of experts with deep experience designing and building both the current iteration of the Ethereum Virtual Machine, EVM 1.0, as well as various candidates for future virtual machines including EVM 1.5 (several improvements to the existing EVM) and Ewasm (a reimagining of the Ethereum Virtual Machine built using industry-standard WebAssembly technology). These experts will discuss the history and current state of EVM 1.0, the various improvement proposals that are on the table, and the various initiatives underway today. It will also touch upon harder, more controversial questions regarding the EVM 1.5 and EVM 2.0 (Ewasm) proposals. The panel will give audience members an opportunity to learn about how and why Ethereum and its smart contracts work the way they do today, to ask questions of the experts behind this design, and to participate in the conversation about the future of Ethereum--both the low-level virtual machine and the stack of developer tooling (such as Solidity) built on top of it.

EVM-first EIPs Workshop

This is a workshop discussion about the EVM. Anyone can come up and pitch their favourite EVM-first EIPs. We want to be a bit more unconventional and would like to transform the room into a "live voting space" where attendees can fight for their favourite new EVM feature. Different proposals will be listed and discussed for 3-5 minutes each, where invited panelists give a short opinion followed by loud interaction from the audience.

Understanding the Ethereum Blockchain Protocol

Ethereum's Vitalik Buterin presents on the intricacies of the Ethereum Blockchain Protocol.

Yul, eWasm, Solidity: Progress and Future Plans

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.

What's next in EVM

What is the future of the EVM? This talk will include an overview of proposals to the EVM, many listed and some detailed. It will try to explain the likely hood of adopting them and what needs to be done to make sure they get adopted.