TheDAO セキュリティファンドが第2ラウンドを開始：60万ドルの資金提供 Vyper コンパイラ

CryptoBriefing の報道によると、TheDAO Security Fund の ETHSecurity Initiatives の第2回助成金が開始され、60万ドルが Vyper コンパイラの形式的検証に割り当てられました。Vyper は Curve、Yearn、Lido などのプロトコルのスマートコントラクト言語です。

この基金は 2016 年の DAO イベントで未請求の ETH を質権資金に変換したもので、イーサリアム財団が公に支持を表明しています。