PANews 9月30日消息，据CryptoBriefing报道，TheDAO Security Fund旗下ETHSecurity Initiatives第二轮资助已启动，拨款60万美元用于Vyper编译器形式化验证，Vyper是Curve、Yearn、Lido等协议的智能合约语言。该基金源自2016年DAO事件未认领ETH转化质押资金，以太坊基金会公开表态支持。