TheDAOセキュリティ基金、Vyperコンパイラ検証に60万ドルを助成

TheDAO Security Fund傘下のETHSecurity Initiativesは、第2弾の助成金プログラムを開始し、Vyperコンパイラの形式検証に対して60万ドルを割り当てた。VyperはCurve、Yearn、Lidoなどのプロトコルで使用されるスマートコントラクト言語であり、この基金は2016年のDAO事件で未請求だったETHを変換した資金から拠出されている。