Linea完成EVM形式化验证，迈向RISC-V以契合以太坊证明路线图_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

Linea完成EVM形式化验证，迈向RISC-V以契合以太坊证明路线图

2026-03-30 00:54:17

更精简的指令集改变一切

Linea转向RISC-V架构，将指令复杂度从EVM完整的操作码集缩减至大约40条指令。在过去，每一次以太坊硬分叉都迫使团队在旧体系下彻底重写其零知识证明约束模块。而RISC-V通过标准的编译器工具自动实现Type-1级别的以太坊兼容性，取代了手动编写约束的工作。在新技术栈中，Linea保留了zkC、Vortex和Arcane等核心组件，延续了多年积累的密码学研究成果与实践经验。

经过三年时间，团队构建了行业内最严谨的零知识证明系统之一，并产出长达千页的技术规范，已成为生态系统的重要参考。然而，该方案也带来了维护挑战，拖累了演进速度。此次转向RISC-V标志着一次战略重置，将重点聚焦于性能、模块化以及与以太坊的协同发展。

指令集简化带来根本性变革

EVM运行于复杂且动态的状态模型，难以转换为数学约束。相比之下，RISC-V仅提供约40条指令和32个寄存器。这种简洁性使得执行轨迹更窄，证明器能够立即开始处理证明分块，从而获得结构性的性能提升，而非仅仅渐进式改善。

在过去，每次以太坊硬分叉都需要完全重写Linea的约束模块，这种维护负担消耗了大量研究资源。团队疲于应对复杂性，而非推进密码学性能。转向RISC-V则彻底消除了这一循环。

在旧架构下，实现Type-1以太坊兼容性是另一大障碍，需要手动在约束系统中实现Keccak、RLP和Merkle Patricia Trie。而采用RISC-V后，标准的EVM客户端可直接编译为RISC-V二进制文件，由编译器自动处理兼容性。

这一转变使得系统走向“真正的模块化”，每一层均可独立进行基准测试、审计或更换，这在以往紧密耦合的系统中是无法实现的。

延续至新技术栈的成果

Linea并未抛弃多年的工作成果。团队自研的约束原生语言zkC将被用于编写RISC-V虚拟机。负责证明与聚合的Vortex和Arcane组件因与架构无关，可直接迁移。

新系统从设计之初就内置了形式化验证功能。约束设计支持导出至Lean等工具，这使得技术栈能够接受更广泛群体的审计，不再局限于深谙密码学的专家。

Linea在其基础设施中保持了全栈自主性，涵盖Besu执行客户端、Maru共识层、零知识证明器及网关，架构中不存在关键第三方依赖。

RISC-V拥有广泛的教学资源、完善的文档以及不断增长的开发者生态支持。这一转变使得证明技术栈不再仅局限于团队内部，而能为更广泛的开发者所接触。

此次转型使Linea在更广阔的以太坊生态汇聚于同一方向的领域中成为先行者。多年的生产级证明经验如今应用于更简洁、更快速的架构。团队表示更多技术细节将在未来几周公布。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文