TheDAO Security Fundは、ETHSecurity Initiativesの第2回ラウンドを開始し、Vyperコンパイラの形式検証に60万ドルを配分した。Vyperは、カーブ、Yearn、Lidoなど主要DeFiプロトコルで使われるPython風のスマートコントラクト言語である。資金は2016年のDAO事件に関連する未請求ETHから拠出され、エコシステムのセキュリティ向けステーキング資金に転換された。形式検証は、コンパイラがソースコードを忠実に反映したEVMバイトコードを生成することの証明を目的とする。2023年に特定バージョンのVyperで発生した脆弱性は、カーブのプールから約7000万ドルが流出する一因となっており、今回の取り組みはこうしたリスクに対応する。イーサリアム財団はこの取り組みを公に支持している。従来の記録では、より広範な60万ドルの取り組みの一環として、イーサリアム財団が別個または初期の10万ドルを拠出するとされていた。今回の発表では、60万ドルの配分をVyperコンパイラの形式検証に充てる第2回ラウンドの資金と位置付けている。