devcon 5 / optimization techniques for evm implementations
Duration: 00:22:58
Speaker: Paweł Bylica
Type: Breakout
Expertise: Advanced
Event: Devcon
Date: Invalid Date
Categories
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.
Understanding the Ethereum Blockchain Protocol
Ethereum's Vitalik Buterin presents on the intricacies of the Ethereum Blockchain Protocol.
EVM Roundtable: everything you wanted to ask, but were afraid to
A fishbowl style conversation with passionate contributors to the EVM, but allowing anyone from the audience to stand up and lead a topic. The intent is to discuss certain key topics, such as how to evolve the EVM, what the most pressing issues are, and dissecting a handful of EVM proposals.
Ethereum for Dummies
Ethereum's CTO Dr. Gavin Wood presents "Ethereum for Dummies" or "So, now we've built it, WTF is it?"
Ethereum in 25 Minutes, Version MMXVII
So what are all of the different moving parts of the Ethereum blockchain? What are uncles, how do contracts call other contracts, who runs them? What is the role of proof of work and proof of stake, and what exactly is gas? What will EIP86 do for you? Vitalik Buterin provides a 25-minute technical overview of the ethereum blockchain, start to finish, and explain many of these concepts in detail.
K Semantic Model of Beacon Chain
Daejun Park gives an overview of the K-Semantic Model of the Beacon Chain.
Complexities in Aggregation at Scale
Mikhail Kalinin presents Complexities in Aggregation at Scale.
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.
Anatomy of an Ethereum Client
The overview of the building blocks of an Ethereum client: what any client implementation should have. A practical perspective on how Ethereum works under the hood.