The DAO安全基金联手以太坊基金会资助Vyper编译器形式化验证

RecodeX 重构消息，The DAO安全基金宣布与以太坊基金会合作，支持“端到端形式化验证Vyper编译器”资助项目，并将该项目纳入ETHSecurity Initiatives Round。该项目旨在通过形式化验证手段提升Vyper编译器的安全性。