Linea mentioned it’s shifting to a brand new proof structure constructed round RISC-V, marking a significant shift in the best way the Ethereum Layer 2 challenge plans to increase, validate, and evolve its expertise stack. For years, Linea's cryptography workforce has taken the tough path of instantly computing the Ethereum Digital Machine (EVM) by manually changing every opcode right into a mathematical constraint {that a} prover can confirm.
This method helped the challenge attain mainnet and produced over 1,000 pages of specs that function a reference level for the broader ecosystem. This additionally gave the workforce a deep, hands-on understanding of the inside workings of EVM, one thing that the majority tasks can not obtain. However Linea says the identical design that made it this far additionally turned a burden.
Each Ethereum laborious fork required a rewrite of the constraints module. Common upgrades had been sluggish as a result of elements had been tightly linked and tough to vary with out inflicting errors. Analysis groups had been typically busy managing complexity as a substitute of spending time on new concepts and enhancing efficiency. In Linea's view, that mannequin was now not the easiest way ahead.
The corporate now says RISC-V gives a cleaner and sooner technique to construct proof layers. In comparison with EVM's extra complicated and dynamic state mannequin, RISC-V has a quite simple instruction set with 32 registers and about 40 directions. Within the case of proof programs, Linnea argues, the distinction is straight away important.
Traces are narrower and may be generated in actual time, permitting provers to start out engaged on proof chunks sooner. Actually, this structure is designed to be lighter, simpler to deal with, and extra environment friendly for large-scale operations. RISC-V additionally closes compatibility gaps that Linea mentioned have been tough to resolve with direct EVM operations.
At the moment, Linnea makes use of Poseidon as a substitute of Kecak and maintains its personal nationwide expression. Attaining compatibility with Kind-1 Ethereum utilizing conventional strategies required manually constructing Kecchak, RLP, and Merkle Patricia Trie into the constraint system. In line with Linea, RISC-V means that you can compile customary EVM shoppers into RISC-V binaries, permitting the compiler to deal with the small print and reaching Kind-1 compatibility from the beginning.
The transfer additionally displays Linnea's studying of Ethereum's personal route. In line with the challenge, the Ethereum Basis's work on RISC-V is the clearest indication but of what Ethereum's proof layer will appear like sooner or later and which programs are probably to suit into the embedded rollup mannequin. Linnea argues that persevering with the outdated manner of doing issues would have taken him additional away from the L1 roadmap and that he was not prepared to do this.
Strategic proof transformation
Linnea says the timing is true as a result of a lot of essentially the most tough work has already been accomplished. The workforce ships manufacturing programs, understands the goal instruction set, and understands the safety and architectural necessities of the setting they’re constructing. Because the broader ecosystem strikes in the direction of the identical basis, Linea believes its years of confirmed expertise instantly interprets into alternatives to maneuver sooner and construct extra collaboratively.
Importantly, the challenge states that this migration won’t destroy something already created. The constraint native language zkC is used to create RISC-V digital machines. The validation and aggregation layers, Vortex and Arcane, are described as structure agnostic. Which means the stack can proceed to be serviced underneath the brand new design. Linea additionally builds formal verification compatibility from the start with constraints designed to be exportable to instruments like Lean.
The corporate says the brand new stack is extra modular total, permitting every layer to be benchmarked, audited or changed independently. Which means we are able to carry out prover optimizations with out forcing adjustments to the underlying arithmetic, and we are able to introduce enhancements to hashes and different elements with out inflicting cascading rewrites. Linea presents this as a giant step up from the tightly coupled programs they’ve been utilizing.
The challenge additionally focuses on broader technical administration. Linea says it has probably the most skilled proof groups within the Ethereum ecosystem and is among the few tasks to personal the complete stack, from the execution consumer and consensus layer to the ZK proofer and gateway. With no important third-party dependencies, the workforce says it’s well-positioned to rapidly adapt to adjustments in Ethereum's proof setting.
Linea's message is obvious. The challenge believes that RISC-V is not only a efficiency improve, however a extra open and sustainable basis for the following stage of Ethereum's scaling. We argue that the brand new structure shall be simpler to take care of, simpler to audit, and simpler for the broader group to know and contribute to.
The corporate says the transfer is about greater than velocity. It's about constructing a stack that may outlive a single workforce. Extra particulars shall be introduced quickly, however for now, Linea means that the following chapter shall be outlined not by complexity, however by modularity, compatibility, and alignment with Ethereum's long-term route.
