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