ご存じの通り、The DAO セキュリティ基金は、イーサリアム財団と連携し、「エンド・ツー・エンド形式化検証 Vyper コンパイラ」助成プロジェクトを支援すると発表し、これを ETHSecurity Initiatives Round に組み入れます。本プロジェクトは、機械で検証可能な証明によって、Vyper コンパイル処理がソースコードの意味論を保持できることを保証し、すでにサポートされているバージョンに対して再検証のためのインフラを提供し、最終的に公式の Vyper コンパイラに公開された検証コンパイル・モードを導入することを目的としています。イーサリアム財団は、このプロジェクトに対して 10 万ドルの支援を約束しています。