TheDAO安全基金启动第二轮，60万美元资助Vyper编译器形式化验证

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