Linea表示，它正在转向一种以RISC-V为基础的新证明架构，这标志着以太坊第二层项目在扩展、验证和发展其技术堆栈方面的重大转变。多年来，Linea的密码学团队走的是一条艰难的道路：通过手动将每个操作码翻译成证明者可以验证的数学约束，直接对以太坊虚拟机（EVM）进行算术化。
这种方法帮助项目达到了主网，并产生了超过1000页的规范，成为更广泛生态系统的参考点。它还让团队对EVM内部结构有了深入、实用的理解，这是很少有项目能够匹敌的。但根据Linea的说法，带他们走到这一步的同样设计也成了一种负担。
每次以太坊硬分叉都需要重写约束模块。紧密连接的组件使例行升级变得缓慢，因为在不引入错误的情况下很难进行更改。研究团队往往被复杂性管理所束缚，而不是花时间在新想法和性能提升上。在Linea看来，这种模式不再是前进的最佳路径。
该公司现在表示，RISC-V提供了一种更清晰、更快速的构建证明层的方法。与EVM更复杂和动态的状态模型相比，RISC-V是一种更简单的指令集，具有32个寄存器和大约40条指令。对于一个证明系统，Linea认为这种差异立刻显得重要。
跟踪变得更窄，可以实时生成，允许证明者更早开始处理证明块。在实际应用中，该架构旨在更轻、更易于处理，并在规模上更高效地运行。RISC-V还弥合了Linea表示通过直接EVM算术化难以解决的兼容性差距。
今天，Linea使用Poseidon而不是Keccak，并维护自己的状态表示。以旧方式实现Type-1以太坊兼容性将需要手动构建Keccak、RLP和Merkle Patricia Trie到约束系统中。使用RISC-V时，Linea表示标准EVM客户端可以编译为RISC-V二进制文件，让编译器处理这些细节，并从一开始就实现Type-1兼容性。
这一举动还反映了Linea对以太坊自身方向的解读。该项目表示，以太坊基金会对RISC-V的承诺是未来以太坊证明层可能是什么样子的最清晰信号，以及哪些系统最有可能适应固化的汇总模型。继续沿着之前的道路前进，Linea认为将使其远离L1路线图，而这是它不愿意做到的。
战略证明转变
Linea表示，现在时机已成熟，因为大部分困难的工作已经完成。团队已经交付了生产系统，了解目标指令集，并知道其所构建环境的安全性和架构要求。随着更广泛的生态系统朝着相同的基础前进，Linea相信其多年的证明经验现在可以直接转化为更快的机会，并更好地与之对齐。
重要的是，该项目表示，这一转变并不抛弃其已经创建的内容。其约束本地语言zkC将用于编写RISC-V虚拟机。Vortex和Arcane，作为证明和聚合层，被描述为与架构无关，这意味着它们可以在新设计下继续服务于堆栈。Linea还从一开始就构建了形式验证兼容性，约束设计为可以导出到如Lean等工具。
该公司表示，新堆栈将更为模块化，使每一层都可以独立基准测试、审计或更换。这意味着证明者的优化可以在不强迫更改基础算术化的情况下发生，并且可以在不引发级联重写的情况下引入哈希或其他组件的改进。Linea将这一点视为相较于其迄今使用的紧密耦合系统的重大提升。
该项目还强调它更广泛的技术控制。Linea表示，它拥有以太坊生态系统中最有经验的证明团队之一，是为数不多拥有完整堆栈的项目之一，从执行客户端和共识层到ZK证明者和网关。由于没有关键的第三方依赖，该团队表示它在以太坊的证明环境变化时能够快速适应。
Linea的信息很明确：该项目相信RISC-V不仅仅是性能升级，而是下一个阶段以太坊扩展的更开放和可持续的基础。它认为新架构更易于维护，更易于审计，也更易于让更广泛的社区理解和贡献。
该公司表示，这一举动不仅仅是为了速度。这是为了构建一个能够超越任何单一团队的堆栈。更多细节预计很快会公布，但目前，Linea正在表明，它的下一章将更少受复杂性定义，而更多受模块化、兼容性和与以太坊长期方向的一致性定义。
相关文章
