TheDAO 安全基金啟動第二輪資助，撥款 60 萬美元予 Vyper 編譯器

TheDAO Security Fund 旗下 ETHSecurity Initiatives 啟動第二輪資助，撥款 60 萬美元用於 Vyper 編譯器的形式化驗證。Vyper 是 Curve、Yearn 與 Lido 等協議採用的智能合約語言。該基金資金源自 2016 年 DAO 事件中未認領的以太幣（ETH）轉化質押資金，並獲得以太坊基金會支持。