TheDAOセキュリティ・ファンドは、ETHSecurityイニシアティブの第2ラウンド助成を開始し、Vyperコンパイラの形式検証のために600,000ドルを割り当てました。ChainCatcherによると、VyperはCurve、Yearn、Lidoなどのプロトコルで使用されているスマートコントラクト言語です。

この基金は、2016年のDAO事件に結びついた未請求のETHから設立され、ステーキング資本に転換されました。さらに、イーサリアム財団は公に支援を表明しています。