DAOセキュリティ基金は、Vyperコンパイラの形式検証に資金を提供するため、イーサリアム財団と協力すると述べており、財団は10万ドルを拠出することを約束しています。Foresight Newsによると、Vyperのスマートコントラクトの監査と検証は現在、ソースコードレベルにとどまっている一方で、イーサリアムはコンパイル済みバイトコードを実行しているため、コンパイラの一貫性が極めて重要です。

このプロジェクトは、機械による証明を用いてVyperのコンパイル処理が意図したコードの意味を変えないことを保証し、将来的には公式のVyperコンパイラに検証済みコンパイル・モードを導入することを目指しています。Foresight Newsによると、DAOセキュリティ基金は、2016年のThe DAOハックで未請求となったETHから創設され、約2.5億ドル規模で、イーサリアムのセキュリティを強化するためのものです。