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

Foresight News 消息，The DAO 安全基金髮推表示，將與以太坊基金會合作資助 Vyper 編譯器的形式化驗證工作，以太坊基金會已承諾出資 10 萬美元。目前，Vyper 智能合約的審計和驗證都停留在源代碼層面，但以太坊實際執行的是編譯後的字節碼，二者是否一致取決於編譯器。該項目旨在通過機器證明，確保 Vyper 編譯過程不會改變代碼原意，並最終在 Vyper 官方編譯器中推出經過驗證的編譯模式。

Foresight News 此前消息，The DAO 安全基金由 2016 年 The DAO 黑客事件中無人認領的 ETH 設立，規模約 2.5 億美元，用於加強以太坊安全。