Ethereum rollups have spent the last few years trying to prove that the EVM itself can be turned into a zero-knowledge system without compromise. Linea just spent three years doing exactly that & now it is walking away from it.

On March 29, 2026, Linea the Consensys incubated zkEVM, announced it is pivoting its proving architecture away from direct EVM arithmetization to a RISC-V–based zkVM. The reasoning is not performance alone. It is alignment with Ethereum’s roadmap, with where ZK proving is heading, & with what an eventual “enshrined rollup” might require.

The pitch, put bluntly: proving the EVM directly works, but it may no longer be the right thing to optimize for.

• Why Linea Is Moving Away From Direct EVM Proving
• What RISC-V Actually Changes in Practice
• What Linea Keeps (& Why This Isn’t a Rewrite)
• The Bigger Signal: Ethereum’s Shift Toward RISC-V

Why Linea Is Moving Away From Direct EVM Proving

Linea’s original approach: direct EVM arithmetization was one of the most ambitious attempts in the zkEVM design space. It meant translating Ethereum’s execution model into constraint systems as faithfully as possible, avoiding abstraction layers or virtual machines in between.

Our cryptographic researcher @alexand_belling revealed yesterday at @eth_proofs that Linea is moving to RISC-V.

After 3 years of directly arithmetizing the EVM, producing a 1000+ page spec and one of the most rigorous proving system in production, we’re changing course.

Here’s… pic.twitter.com/jXIF5mZaPT

— Linea.eth (@LineaBuild) March 29, 2026

Over three years, the effort produced a 1,000+ page specification & one of the most rigorous proving systems in production. The problem is every Ethereum hard fork required rewriting constraint modules. Every protocol change cascaded into proving complexity & the system kept resetting itself.

The Linea team described it plainly: they were “fighting complexity instead of pushing the frontier”

At some point, the question stops being “can this be done?” & becomes “should this be the thing we keep doing?”

What RISC-V Actually Changes in Practice

The shift to RISC-V is not cosmetic. It changes the foundation of how proofs are generated.

RISC-V is a minimal, standardized instruction set roughly ~40 instructions, compared to the layered complexity of the EVM. That simplicity translates directly into cleaner traces, faster proving pipelines & more predictable system behavior.

Two practical consequences:

• Proving becomes more viable
  Narrower execution traces allow provers to start earlier & operate on smaller chunks, instead of waiting for large batches.
• Type-1 compatibility without reimplementation
  Instead of recreating Ethereum internals (Keccak, RLP, Merkle Patricia Trie) inside constraints, a standard EVM client can compile directly into RISC-V.

This removes one of the biggest hidden costs in zkEVM design: maintaining two versions of Ethereum, one for execution, one for proving.

There is also a more subtle shift here. RISC-V is not just simpler it is legible. It is widely taught, well-documented & already has a growing ecosystem. That lowers the barrier for contributors in a way custom EVM constraint systems never could.

What Linea Keeps

Despite how significant this sounds, Linea is not discarding its entire stack.

The core components remain intact:

• zkC → their constraint-native language, now used to implement the RISC-V VM
• Vortex & Arcane → proving & aggregation systems, already architecture-independent
• Formal verification pipeline → including compatibility with tools like Lean

What changes is the execution layer being proven, not the proving infrastructure itself.

This matters because it turns what looks like a reset into something closer to a refactor. The system becomes modular, meaning individual components can be audited, benchmarked, or replaced without cascading changes across the stack.

It also preserves one of Linea’s core advantages: owning the full stack which allows faster adaptation to changes coming from Ethereum L1.

Ethereum’s Shift Toward RISC-V

Over the past year, discussions around replacing or supplementing the EVM with RISC-V have moved from theoretical to plausible. The argument is straightforward: simpler instruction sets are dramatically easier to prove in zero knowledge, with some estimates suggesting up to 50× improvements in proving efficiency.

The Ethereum Foundation has increasingly signaled interest in this direction, particularly in the context of enshrined rollups & native ZK execution layers.

Linea’s own framing makes that explicit: continuing down the direct EVM path would mean diverging from the L1 roadmap, “a line(a) we refuse to cross”.

It is a move in what is shaping up to be the next major phase of Ethereum’s scaling architecture one where:

• ZK proofs become the default execution primitive
• Rollups move closer to protocol-level integration
• & RISC-V becomes the common target for provability

Other ecosystems are already circling the same problem from different angles. Efforts like Polygon’s aggregation layers & interoperability workstreams across Ethereum hint at a shared direction, even if the implementations differ. (For a broader look at how Ethereum is tackling structural challenges, see this breakdown of the fragmentation problem).

If you find any issues in this article or notice missing information, please feel free to reach out at team@etherworld.co for clarifications or updates.

To promote your Web3 articles, events, & projects, you may reach out anytime via EtherWorld PR for submissions & collaboration.

Related Articles

1. Gnosis and Zisk Want to Turn Ethereum’s L2s Into One Unified Economy
2. Ethereum Foundation Redraws the Map Between L1 & L2
3. TheDAO Security Fund Deploys Its First $1M
4. ZKsync and BitGo Bring Bank Deposits Onchain

To follow blockchain news, track Ethereum protocol progress, and read our latest stories, subscribe to our weekly today.