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

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