技术债压顶,以太坊选择用 RISC-V “推倒重来”(7) / BTC123 | 区块链信息行情第一站

技术债压顶,以太坊选择用 RISC-V “推倒重来”(7)

08-26 , 15:18 分享新闻

Succinct Labs 的实际影响已经显现。他们的 OP Succinct 产品利用 SP1 为Optimistic Rollups 赋予零知识证明能力(ZK-ify)。正如 Succinct 联合创始人Uma Roy 所解释的:

“使用 OP Stack 的 Rollup,不再需要等待七天才能完成最终确认和提现……现在只需一小时即可完成确认。这种速度提升非常棒。”

这一突破解决了整个 OP Stack 生态系统的关键痛点。此外,Succinct 的基础设施——Succinct Prover Network——被设计为一个去中心化的证明生成市场,展示了未来可验证计算的可行经济模式。他们的工作不仅是一个概念验证,更是一个切实可行的未来蓝图,正如本文所描述的那样。

以太坊如何降低风险

RISC-V的一大优势在于,它使形式化验证的圣杯——通过数学证明系统的正确性——成为可实现的目标。EVM的规范以自然语言编写于Yellow Paper中,难以形式化。而RISC-V则拥有官方的、机器可读的SAIL规范,为其行为提供了明确的“黄金参考”。

这为更强的安全性铺平了道路。正如以太坊基金会的Alex Hicks所指出,目前已经在进行将“zkVM RISC-V电路与官方RISC-V规范提取到Lean中进行形式化验证”的工作。这是一个里程碑式的进展,将信任从容易出错的人类实现转移到可验证的数学证明上,为区块链安全性开辟了新的高度。

转型的主要风险

尽管RISC-V架构的L1具有诸多优势,但它也带来了新的复杂挑战。

Gas计量问题

为通用指令集架构(ISA)创建一个确定性且公平的Gas模型是一个尚未解决的难题。简单的指令计数方法容易受到拒绝服务攻击的威胁。例如,攻击者可以设计一个程序反复触发缓存未命中,从而以极低的Gas费用造成高资源消耗。这种问题对网络稳定性和经济模型提出了严峻挑战。

工具链安全与“可复现构建”问题

这是转型过程中最重要且常被低估的风险。安全模型从依赖链上虚拟机转向依赖链下编译器(如LLVM),而这些编译器复杂度极高且已知包含漏洞。攻击者可能利用编译器漏洞,将看似无害的源代码转化为恶意字节码。此外,确保链上的编译后二进制文件与公开的源代码完全一致,即“可复现构建”问题,也极为困难。构建环境中的微小差异可能导致生成不同的二进制文件,从而影响透明性与信任。这些问题对开发者和用户的安全性提出了严峻考验。

缓解策略

前进的道路需要多层次的防御策略。

分阶段推广

采用逐步、多阶段的过渡计划是应对风险的核心策略。通过首先将RISC-V引入作为预编译替代方案,然后在双虚拟机环境中运行,社区可以在低风险的环境中积累操作经验并建立信心,避免任何不可逆的变更。这种渐进式方法为技术转型提供了稳定的基础。