Devcon Archive logo
Devcon Forum Blog
  • Watch
  • Event
    Event: background logo
    • Devcon 7
    • Devcon 6
    • Devcon 5
    • Devcon 4
    • Devcon 3
    • Devcon 2
    • Devcon 1
    • Devcon 0
  • Categories
    Categories: background logo
    • Cryptoeconomics
    • Devcon
    • Developer Experience
    • Coordination
    • Core Protocol
    • Layer 2s
    • Real World Ethereum
    • Cypherpunk & Privacy
    • Security
    • Applied Cryptography
    • Usability
  • Playlists

Suggested

Loading results..

View all

About Devcon —

Devcon is the Ethereum conference for developers, researchers, thinkers, and makers.

An intensive introduction for new Ethereum explorers, a global family reunion for those already a part of our ecosystem, and a source of energy and creativity for all.

  • Watch
  • Devcon
  • Forum
  • Blog

Get in touch

devcon@ethereum.org

Subscribe to our newsletter

Crafted with passion ❤️ at the Ethereum Foundation

© 2025 — Ethereum Foundation. All Rights Reserved.

devcon 5 / yul ewasm solidity progress and future plans

  • YouTube
  • IPFS
  • Details

Yul, eWasm, Solidity: Progress and Future Plans

Duration: 00:19:31

Speaker: Christian Reitwiessner

Type: Breakout

Expertise: Advanced

Event: Devcon

Date: Invalid Date

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.

Categories

Layer 1 Protocoltechnical
  • Related
Understanding the Ethereum Blockchain Protocol preview
Devcon
Talk
38:18

Understanding the Ethereum Blockchain Protocol

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

Optimization techniques for EVM implementations preview
Devcon
Breakout
22:58

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.

Ethereum for Dummies preview
Devcon
Talk
23:52

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 preview
Devcon
Talk
24:53

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 preview
Devcon
Talk
11:55

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 preview
Devcon
Talk
14:16

Complexities in Aggregation at Scale

Mikhail Kalinin presents Complexities in Aggregation at Scale.

Anatomy of an Ethereum Client preview
Devcon
Talk
16:56

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.

The EVM: Leaner, Meaner, and Closer to the Metal preview
Devcon
Talk
18:55

The EVM: Leaner, Meaner, and Closer to the Metal

Dr. Greg Colvin gives their talk titled, "The EVM: Leaner, Meaner, and Closer to the Metal"

Using Ethereum for Secure Decentralized Optimization preview
Devcon
Talk
21:10

Using Ethereum for Secure Decentralized Optimization

We demonstrate how complicated optimization problems can be solved by combining decentralized optimization algorithms with an aggregation step in a smart contract. Using tools from convex optimization, we decompose difficult problems into a set of subproblems with can be computed off-blockchain, finally reaching consensus on the global optimum by passing message with the on-blockchain aggregation step. We present an example of applying this approach to optimizing power dispatch on an electricity grid, but the approach can also be used to solve other problems in machine learning, coordinating robotic agents, or coordinating economic systems.

Verifying Casper preview
Devcon
Talk
20:16

Verifying Casper

Why you can be certain that the four slashing conditions of Casper are enough to catch forks.