ChainCatcher 消息，據 CryptoBriefing 報道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二輪資助已啓動，撥款 60 萬美元用於 Vyper 編譯器形式化驗證。Vyper 是 Curve、Yearn、Lido 等協議的智能合約語言。
該基金源自 2016 年 DAO 事件未認領 ETH 轉化質押資金，以太坊基金會公開表態支持。
ChainCatcher 消息，據 CryptoBriefing 報道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二輪資助已啓動，撥款 60 萬美元用於 Vyper 編譯器形式化驗證。Vyper 是 Curve、Yearn、Lido 等協議的智能合約語言。
該基金源自 2016 年 DAO 事件未認領 ETH 轉化質押資金，以太坊基金會公開表態支持。
免責聲明：投資有風險，本文並非投資建議，以上內容不應被視為任何金融產品的購買或出售要約、建議或邀請，作者或其他用戶的任何相關討論、評論或帖子也不應被視為此類內容。本文僅供一般參考，不考慮您的個人投資目標、財務狀況或需求。TTM對信息的準確性和完整性不承擔任何責任或保證，投資者應自行研究並在投資前尋求專業建議。