PANews 9月30日付の報道によると、CryptoBriefingの報道として、TheDAO Security Fund傘下のETHSecurity Initiativesの第2ラウンド助成が開始され、Vyperコンパイラの形式検証に60万ドルが拠出された。VyperはCurve、Yearn、Lidoなどのプロトコルで使われるスマートコントラクト言語である。同基金は2016年のDAO事件で未請求のETHをステーキング資金に転換したもので、イーサリアム財団が公に支持を表明している。