The DAO 安全基金與以太坊基金會合作資助 Vyper 編譯器驗證項目

吳說獲悉，The DAO 安全基金宣佈與以太坊基金會合作，支持「端到端形式化驗證 Vyper 編譯器」資助項目，並將其納入 ETHSecurity Initiatives Round。該項目旨在通過機器可驗證證明，確保 Vyper 編譯過程能夠保留源代碼語義，並為已支持版本提供重新驗證基礎設施，最終在官方 Vyper 編譯器中推出公開的驗證編譯模式。以太坊基金會已承諾為該項目提供 10 萬美元支持。