以太坊基金会向这项新技术投资数千万美元

以太坊基金会 (EF) 宣布了一项重大财务承诺，投资“数千万美元”用于推进零知识虚拟机 (zkVM)，这是一项旨在增强以太坊生态系统内可扩展性和安全性的尖端技术。

以太坊基金会研究员 Justin Ðrake 在 X 上的一篇文章中透露了这项投资：“以太坊基金会正在向 zkVM 投资数千万美元：verified-zkevm.org—zkRISC-V 形式验证 poseidon-initiative.info—Poseidon 密码分析 ethproofs.org—L2beat for zkVMs，很快™ 私信我，告诉我如何为 zkVM 公共产品做出贡献 :)”

以太坊基金会向 zkEVM 研究投资数百万美元

这项投资的基石是 zkEVM 形式化验证项目，详情请参阅 verified-zkevm.org。该计划旨在将形式化验证方法应用于 zkEVM，确保其可靠性和安全性。根据项目概述，EF 寻求通过在 18-24 个月内跨多个阶段分配赠款和赏金来实现“无错误的 zkEVM”。

项目概述指出：“该项目将提高人们对应用于 zkEVM 的形式化验证方法的认识，记录其应用并增加其使用。”此外，它还旨在加强生态系统内不同团队之间的协调，开发维护和可扩展性的工具和标准，并研究将形式化验证方法更好地集成到软件开发和维护过程中。

该项目的范围仅限于能够运行编译为 RISC-V 的 EVM 的 RISC-V zkVM，从而生成 zkEVM。它分为三个主要轨道：

RISC-V zkVM 轨道：专注于验证 RISC-V CPU、算术和电路的正确实现。它强调确保电路既不受约束也不受约束，并且计算准确。还包括预编译的形式验证。

EVM 轨道：旨在证明在 RISC-V 上运行的 EVM 符合 EVM 规范。验证候选者必须在 RISC-V zkVM 上展示高性能且可编译的 EVM 实现，例如 revm/Reth。

密码学轨道：旨在验证 zkVM 使用的密码原语和协议的规范、安全证明和实现，重点关注 FRI 和 Circle STARKs 集成。

该项目强调方法的灵活性，以利用社区专业知识并促进不同方法的比较。“我们将尽可能支持不同的方法，以从社区内的各种专业知识中受益，”该项目概述道，并补充说，成功的方法可能会在后续阶段被优先考虑。

第一阶段的申请目前已开放，重点是建立可维护和可扩展的框架。提案必须包括详细概述、技术方法、项目管理计划和团队信息。

以太坊基金会投资的另一个重要组成部分是 Poseidon 计划，如 poseidon-initiative.info 所述。Poseidon 和 Poseidon2 是针对可验证计算协议优化的哈希函数，专门用于最小化素数域上的电路大小。这些哈希函数是利用零知识证明的各种以太坊应用程序不可或缺的一部分。

该计划旨在加强对 Poseidon 实例的安全性分析，确定它们是否适用于以太坊内的高价值应用。该项目的第一阶段将持续到 2025 年 12 月，第二阶段计划于 2025 年中期开始，并于 2026 年 12 月结束。该项目由以太坊基金会 Poseidon 集团 (EFPG) 管理，该集团由 George Kadianakis、Dmitry Khovratovich 和 Antonio Sanso 等专家组成，并由一个顾问委员会监督，其中包括 StarkNet 的 Eli Ben-Sasson 和 ZCash 的 Daira-Emma Hopwood 等知名人物。

Poseidon Initiative 的一个主要特点是其全面的赏金计划，为密码分析方面的突破提供总计 130,000 美元的奖励。不同 Poseidon 实例的不同安全级别都提供赏金，以激励研究人员发现漏洞或验证安全假设。例如，解决对 Poseidon-256 的 32 位原像攻击可以为研究人员赢得 10,000 美元，而更高安全级别的研究人员最多可获得 15,000 美元。

此外，该计划还支持以 Poseidon 密码分析为重点的研讨会、务虚会和学校，促进密码社区内的合作和知识共享。该计划还提供 20,000 至 40,000 美元的短期资助，用于研究与 Poseidon 变体、Groebner 基础攻击和非代数攻击载体相关的关键安全问题。

虽然 ethproofs.org 仍在开发中，但它有望成为 zkVM 的 L2beat 集成平台，进一步增强 zkVM 性能和安全指标的透明度和可问责性。

截至发稿时，ETH 交易价格为 3,590 美元。