吴说获悉，The DAO 安全基金宣布与以太坊基金会合作，支持“端到端形式化验证 Vyper 编译器”资助项目，并将其纳入 ETHSecurity Initiatives Round。该项目旨在通过机器可验证证明，确保 Vyper 编译过程能够保留源代码语义，并为已支持版本提供重新验证基础设施，最终在官方 Vyper 编译器中推出公开的验证编译模式。以太坊基金会已承诺为该项目提供 10 万美元支持。