thedao

ChainCatcher 消息，据 CryptoBriefing 報導，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二輪資助已啟動，撥款 60 萬美元用於 Vyper 編譯器形式化驗證。Vyper 是 Curve、Yearn、Lido 等協議的智能合約語言。該基金源自 2016 年 DAO 事件未認領 ETH 轉化質押資金，以太坊基金會公開表態支持。