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

TheDAOセキュリティ基金傘下のETHSecurity Initiativesは、第2弾の助成金として60万ドルをVyperコンパイラの形式検証に割り当てると発表した。VyperはCurveやYearn、Lidoなどの主要プロトコルで使用されるスマートコントラクト言語である。この基金は2016年のDAO事件で未請求だったイーサリアム（ETH）を原資としている。