以太坊基金会（EF）宣布了一项重大财务承诺，投资“数千万”美元来推进零知识虚拟机（zkVM），这是一项旨在增强以太坊生态系统内的可扩展性和安全性的尖端技术。
以太坊基金会研究员 Justin Ðrake 通过 邮政 关于 X：“EF 正在向 zkVM 投资数千万美元：verified-zkevm.org—zkRISC-V 形式验证poseidon-initiative.info—Poseidon 密码分析 ethproofs.org—zkVM 的 L2beat，很快™ 私信我有关为 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 STARK 集成。
该项目强调利用社区专业知识并促进不同方法的比较的方法的灵活性。该项目概述道：“我们将尽可能支持不同的方法，以便从社区内的各种专业知识中受益。”并补充说，成功的方法可能会在后续阶段中得到优先考虑。
第一阶段的申请目前已开放，该阶段的重点是建立可维护和可扩展的框架。提案必须包括详细的概述、技术方法、项目管理计划和团队信息。
EF 投资的另一个重要组成部分是波塞冬计划，如poseidon-initiative.info 上所述。 Poseidon 和 Poseidon2 是针对可验证计算协议进行优化的哈希函数，专门设计用于最小化素数域上的电路大小。这些哈希函数是各种以太坊应用程序不可或缺的一部分，这些应用程序利用 零知识证明。
该计划旨在加强对 Poseidon 实例的安全分析，确定它们是否适合以太坊内的高价值应用程序。该项目的第一阶段将持续到 2025 年 12 月，第二阶段预计将于 2025 年中期完成，并于 2026 年 12 月结束。该项目由以太坊基金会 Poseidon Group (EFPG) 管理，成员包括 George Kadianakis、Dmitry Khovratovich 和 Antonio 等专家Sanso 受到顾问委员会的监督，其中包括 StarkNet 的 Eli Ben-Sasson 和 StarkNet 的 Daira-Emma Hopwood 等知名人士。 零现金。
Poseidon Initiative 的一个主要特点是其全面的赏金计划，为密码分析方面的突破提供总计 130,000 美元的奖励。不同 Poseidon 实例的不同安全级别均可获得赏金，从而激励研究人员发现漏洞或验证安全假设。例如，解决 Poseidon-256 上的 32 位原像攻击可为研究人员带来 10,000 美元的收入，而更高安全级别的收入则高达 15,000 美元。
此外，该计划还支持专注于波塞冬密码分析的研讨会、务虚会和学校，促进密码学社区内的合作和知识共享。还提供 20,000 美元到 40,000 美元的短期资助，用于解决与波塞冬变体、Groebner 基础攻击和非代数攻击向量相关的关键安全问题的研究。
虽然 ethproofs.org 仍在开发中，但预计它将作为 zkVM 的 L2beat 集成平台，进一步增强 zkVM 性能和安全指标的透明度和问责制。
截至发稿，ETH 交易价格为 3,590 美元。
使用 DALL.E 创建的特色图片，图表来自 TradingView.com
