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