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

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

FireView 对公开资讯进行聚合和分类，不代表对来源内容的背书，也不构成投资建议。新闻可能存在延迟、修订或错误，请以原发布方为准。