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