TheDAO安全基金第二轮资助拨60万美元，验证Vyper编译器

据ChainCatcher消息，TheDAO安全基金已启动ETHSecurity倡议第二轮资助，并拨款60万美元用于Vyper编译器的形式化验证。

Vyper是Curve、Yearn和Lido等协议采用的智能合约语言。此次资助将用于对Vyper编译器进行形式化验证，以提升其安全性。

TheDAO安全基金来源于2016年DAO事件中无人认领的ETH，并已转换为质押资金。以太坊基金会已公开表示支持该倡议。