TheDAO 旗下项目启动第二轮资助，投入 60 万美元验证 Vyper

ChainCatcher 消息，据 CryptoBriefing 报道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二轮资助已启动，拨款 60 万美元用于 Vyper 编译器形式化验证。

Vyper 是 Curve、Yearn、Lido 等协议使用的智能合约语言。

该基金源自 2016 年 DAO 事件中未认领 ETH 转化后的质押资金，以太坊基金会已公开表态支持。