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