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