The DAO安全基金与以太坊基金会合作资助Vyper验证

据吴说区块链发布，吴说获悉，The DAO 安全基金宣布与以太坊基金会合作，支持“端到端形式化验证 Vyper 编译器”资助项目，并将其纳入 ETHSecurity Initiatives Round。