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

ChainCatcher 消息，据 CryptoBriefing 報導，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二輪資助已啟動，撥款 60 萬美元用於 Vyper 編譯器形式化驗證。Vyper 是 Curve、Yearn、Lido 等協議的智能合約語言。

該基金源自 2016 年 DAO 事件未認領 ETH 轉化質押資金，以太坊基金會公開表態支持。