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

TheDAO Security Fund 旗下 ETHSecurity Initiatives 启动第二轮资助，拨款 60 万美元用于 Vyper 编译器的形式化验证。Vyper 是 Curve、Yearn 和 Lido 等协议使用的智能合约语言。该基金资金来源于 2016 年 DAO 事件中未认领的 ETH 转化资金，并获得以太坊基金会支持。