Vitalik Buterin explores sunsetting the EVM in favor of a simpler Ethereum execution model

4 hours ago

Vitalik Buterin has proposed a semipermanent overhaul to Ethereum’s execution situation to regenerate the Ethereum Virtual Machine with RISC-V, a standardized and extensible acquisition acceptable architecture.

The proposal, shared successful the Ethereum Magicians forum connected April 20, outlines a multi-phase displacement to amended proving ratio and simplify the execution layer, without changing halfway abstractions similar accounts, storage, oregon cross-contract calls.

The alteration would clasp Solidity and Vyper arsenic superior improvement languages, which would beryllium adapted to compile to RISC-V.

Per Buterin, portion penning contracts straight successful Rust would beryllium technically possible, readability concerns and developer familiarity with existing languages suggest that Rust volition not regenerate Solidity astatine the exertion layer. Existing EVM contracts would proceed to run and interact afloat with caller RISC-V-based contracts, preserving backward compatibility.

Execution bottlenecks and semipermanent scaling

Buterin identified execution arsenic 1 of Ethereum’s last semipermanent bottlenecks, aft near-term issues are mitigated by EIPs specified arsenic delayed execution, block-level entree lists, and distributed humanities storage.

In particular, helium pointed to proving costs successful ZK-EVMs arsenic the cardinal constraint for aboriginal scalability. Analysis from Succinct’s ZK-EVM indicates that artifact execution unsocial accounts for astir fractional of each prover cycles, portion the remainder is consumed by witnesser information handling and authorities histrion operations.

While state-related overhead tin beryllium reduced by shifting from Keccak-based Patricia trees to binary trees with prover-optimized hash functions specified arsenic Poseidon, artifact execution ratio volition stay limiting unless the EVM is addressed directly.

Buterin noted that ZK-EVMs already compile to RISC-V nether the hood, suggesting that exposing RISC-V arsenic the superior VM could destruct a furniture of abstraction and output ratio gains. Some trial scenarios reportedly amusement 100x improvements successful prover show by bypassing EVM translation altogether.

Coexistence, migration, and simplification paths

Multiple implementation pathways are nether consideration. The astir blimpish would let dual enactment for some EVM and RISC-V contracts, maintaining interoperable calls and shared entree to persistent state. EVM contracts would proceed to relation and could telephone into oregon beryllium called by RISC-V contracts via strategy calls mapped to accepted opcodes specified arsenic CALL, SLOAD, and SSTORE.

A much assertive attack involves transforming existing EVM contracts into wrappers that delegate execution to an EVM interpreter written successful RISC-V. Under this model, a contract’s bytecode would beryllium replaced with logic that routes calls and execution parameters to a designated RISC-V interpreter contract, receives the instrumentality value, and forwards it to the caller.

An intermediate strategy proposes protocol-level enactment for virtual instrumentality interpreters, enshrining this delegation process and enabling aggregate execution formats to coexist. While EVM would beryllium the archetypal VM supported nether this model, others, including Move, could beryllium added successful the future.

Each attack seeks to equilibrium compatibility with semipermanent simplification. According to Buterin, incremental simplifications to the EVM, specified arsenic removing SELFDESTRUCT, person proven hard owed to analyzable borderline cases and bequest behaviors.

A implicit modulation to RISC-V could alteration a much maintainable basal furniture with minimal execution logic, comparable successful compactness to projects similar Tinygrad that enforce strict codebase limits.

Broader plan doctrine and alignment with Beam Chain

The connection aligns with ongoing efforts similar the beam concatenation initiative, which aims to simplify Ethereum’s statement mechanism. The RISC-V program would bring parallel improvements to the execution layer, enabling the web to prosecute modularity and reduced complexity crossed some domains.

As posted connected Ethereum Magicians, Buterin characterized the connection arsenic a extremist but perchance indispensable measurement toward realizing semipermanent L1 ratio and simplicity. While progressive EIPs and statelessness frameworks code short- and medium-term scalability improvements, Ethereum’s aboriginal arsenic a performant and sustainable protocol whitethorn hinge connected architectural changes of this magnitude.

No timeline has been announced for immoderate implementation phase. The Ethereum assemblage is expected to prosecute successful further treatment to measure trade-offs, tooling impact, and developer migration paths arsenic portion of a longer deliberation cycle.

The connection remains exploratory and is intended to unfastened a broader speech astir the absorption of Ethereum’s execution situation implicit the coming years.

Community response

Some assemblage members raised strategical and method reservations successful effect to Buterin’s proposal. Adam Cochran questioned the prioritization of L1 ratio astatine the imaginable disbursal of L2 enablement, suggesting that enshrining RISC-V could constrictive Ethereum’s modular roadmap.

He highlighted alternate proposals specified arsenic recursive impervious aggregation, stateless committedness roots, and BLS signature unification, which could perchance connection broader systemic gains with less implementation costs.

Others, including Ben A Adams, Co-founder and CTO of Illyriad Games, and levs57, a web3 developer, pointed to show trade-offs, peculiarly astir hardware compatibility and the persistent relation of precompiles.

Concerns included the trouble of optimizing low-level RISC-V instructions backmost into businesslike 256-bit operations and doubts astir whether existent zk-RISC-V systems are sufficiently mature oregon auditable to warrant a foundational shift.

Buterin responded by downplaying the grade to which the EVM’s 256-bit connection size constrains execution, stating that astir values successful signifier are smaller, typically u32, u64, oregon u128, which compilers tin efficiently representation to RISC-V instructions.

He reiterated that today’s ZK-EVMs already run arsenic RISC-V environments embedding an EVM interpreter, framing nonstop vulnerability of RISC-V arsenic a mode to region redundant layers. While acknowledging stack absorption and jumps arsenic imaginable friction points, helium maintained that eliminating interpretive overhead remains a nett gain.

The station Vitalik Buterin explores sunsetting the EVM successful favour of a simpler Ethereum execution model appeared archetypal connected CryptoSlate.

View source