Linea Shifts to RISC-V As It Rethinks the Future of Ethereum Proving

Linea has said that it is moving to a new proving architecture built around RISC-V, marking a major shift in how the Ethereum layer-2 project plans to scale, verify, and evolve its technology stack. For years, Linea’s cryptography team took what it describes as the hard road: directly arithmetizing the Ethereum Virtual Machine, or EVM, by manually translating each opcode into mathematical constraints that a prover could validate.

That approach helped the project reach mainnet and produced a specification of more than 1,000 pages that has become a reference point for the broader ecosystem. It also gave the team a deep, practical understanding of EVM internals that few projects can match. But according to Linea, the same design that brought it this far also became a burden.

Every Ethereum hard fork required rewriting constraint modules. Routine upgrades were slowed by tightly connected components that were difficult to change without introducing errors. Instead of spending time on new ideas and performance gains, the research team was often tied up managing complexity. In Linea’s view, that model was no longer the best path forward.

The company now says RISC-V offers a cleaner and faster way to build the proving layer. Compared with the EVM’s more complex and dynamic state model, RISC-V is a much simpler instruction set, with 32 registers and roughly 40 instructions. For a proving system, Linea argues that difference matters immediately.

Traces become narrower, can be generated in real time, and allow the prover to start working on proof chunks sooner. In practical terms, the architecture is designed to be lighter, easier to process, and more efficient to operate at scale. RISC-V also closes a compatibility gap that Linea says had been difficult to solve through direct EVM arithmetization.

Today, Linea uses Poseidon rather than Keccak and maintains its own state representation. Achieving Type-1 Ethereum compatibility the old way would have required hand-building Keccak, RLP, and the Merkle Patricia Trie into the constraint system. With RISC-V, Linea says a standard EVM client can be compiled to a RISC-V binary, leaving the compiler to handle those details and enabling Type-1 compatibility from the start.

The move also reflects Linea’s reading of Ethereum’s own direction. The project says the Ethereum Foundation’s commitment to RISC-V is the clearest sign yet of what the proving layer of Ethereum may look like in the future, and which systems are most likely to fit an enshrined rollup model. Continuing to follow its previous path, Linea argues, would have pushed it away from the L1 roadmap, something it was not prepared to do.

Strategic Proving Shift

Linea says the timing is right because much of the hardest work has already been done. The team has shipped a production system, understands the target instruction set, and knows the security and architecture demands of the environment it is building for. With the wider ecosystem moving toward the same foundation, Linea believes its years of proving experience now translate directly into an opportunity to move faster and build with greater alignment.

Importantly, the project says the shift does not discard what it has already created. Its constraint-native language, zkC, will be used to write the RISC-V virtual machine. Vortex and Arcane, the proving and aggregation layers, are described as architecture-independent, which means they can continue to serve the stack under the new design. Linea is also building formal verification compatibility from the outset, with constraints designed to be exportable to tools such as Lean.

The company says the new stack will be more modular overall, allowing each layer to be benchmarked, audited, or replaced independently. That means prover optimizations can happen without forcing changes to the underlying arithmetization, and improvements in hashing or other components can be introduced without triggering cascading rewrites. Linea presents that as a major step up from the tightly coupled system it has been using until now.

The project is also emphasizing its broader technical control. Linea says it has one of the most experienced proving teams in the Ethereum ecosystem and is among the few projects that own the full stack, from the execution client and consensus layer to the ZK prover and gateway. With no critical third-party dependency, the team says it is well positioned to adapt quickly as Ethereum’s proving landscape changes.

Linea’s message is clear: the project believes RISC-V is not just a performance upgrade, but a more open and sustainable foundation for the next stage of Ethereum scaling. It argues that the new architecture is easier to maintain, easier to audit, and easier for the broader community to understand and contribute to.

The company says the move is about more than speed. It is about building a stack that can live beyond any single team. More details are expected soon, but for now, Linea is signaling that its next chapter will be defined less by complexity and more by modularity, compatibility, and alignment with Ethereum’s long-term direction.