以太坊基金會撥款 10 萬美元，資助 Vyper 編譯器驗證計畫

以太坊基金會宣布投入 10 萬美元，資助開發 Vyper 智慧合約語言的正式驗證編譯器。此計畫屬於總額 60 萬美元的 ETHSecurity Initiatives 第二輪撥款，旨在解決原始碼與編譯後 EVM 位元組碼之間可能存在的差異問題。透過與 Verified Software 基金會及 Verifereum 專案合作，該計畫將利用 HOL4 證明輔助工具進行數學驗證，確保編譯過程精確無誤，並計畫將「驗證編譯」模式整合至 Vyper 官方編譯器中，以提升 DeFi 協議（如 Curve 與 Yearn）的安全性。