Kaka KAKA WEB3快讯
The DAO 安全基金与以太坊基金会合作资助 Vyper 编译器验证项目
吴说区块链·2026-09-30 22:02 GMT+8
吴说获悉，The DAO 安全基金宣布与以太坊基金会合作，支持“端到端形式化验证 Vyper 编译器”资助项目，并将其纳入 ETHSecurity Initiatives Round。该项目旨在通过机器可验证证明，确保 Vyper 编译过程能够保留源代码语义，并为已支持版本提供重新验证基础设施，最终在官方 Vyper 编译器中推出公开的验证编译模式。以太坊基金会已承诺为该项目提供 10 万美元支持。The DAO 安全基金由 2016 年 The DAO 黑客事件中无人认领的 ETH 设立，规模约 2.5 亿美元，用于加强以太坊安全。
来自 Kaka Web3 的公开内容。市场与数字资产信息不构成投资建议。