The DAO 安全基金与以太坊基金会合作资助 Vyper 编译器验证项目

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