TheDAO 安全基金启动第二轮资助，拨款 60 万美元支持 Vyper 编译器

TheDAO Security Fund 旗下 ETHSecurity Initiatives 启动第二轮资助，拨款 60 万美元用于 Vyper 编译器形式化验证。Vyper 是 Curve、Yearn、Lido 等协议使用的智能合约语言。该基金资金源自 2016 年 DAO 事件未认领的 ETH 转化质押收益。