The DAO安全基金與以太坊基金會閤作資助Vyper驗証

據吳說區塊鏈發布，吳說獲悉，The DAO 安全基金宣布與以太坊基金會閤作，支持“端到端形式化驗証 Vyper 編譯器”資助項目，並將其納入 ETHSecurity Initiatives Round。