以太坊基金會與 The DAO 安全基金聯閤資助 Vyper 編譯器形式化驗証

BiRun 訊，The DAO 安全基金發推表示，將與以太坊基金會閤作資助 Vyper 編譯器的形式化驗証工作，以太坊基金會已承諾出資 10 萬美元。目前，Vyper 智能閤約的審計和驗証都停留在源代碼層面，但以太坊實際執行的是編譯後的字節碼，二者是否一致取決於編譯器。該項目旨在通過機器証明，確保 Vyper 編譯過程不會改變代碼原意，並最終在 Vyper 官方編譯器中推出經過驗証的編譯模式。BiRun 此前消息，The DAO 安全基金由 2016 年 The DAO 黑客事件中無人認領的 ETH 設立，規模約 2.5 億美元，用於加強以太坊安全。