ChainCatcher 消息，据 CryptoBriefing 报道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二轮资助已启动，拨款 60 万美元用于 Vyper 编译器形式化验证。Vyper 是 Curve、Yearn、Lido 等协议的智能合约语言。
该基金源自 2016 年 DAO 事件未认领 ETH 转化质押资金，以太坊基金会公开表态支持。
ChainCatcher 消息，据 CryptoBriefing 报道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二轮资助已启动，拨款 60 万美元用于 Vyper 编译器形式化验证。Vyper 是 Curve、Yearn、Lido 等协议的智能合约语言。
该基金源自 2016 年 DAO 事件未认领 ETH 转化质押资金，以太坊基金会公开表态支持。
免责声明：投资有风险，本文并非投资建议，以上内容不应被视为任何金融产品的购买或出售要约、建议或邀请，作者或其他用户的任何相关讨论、评论或帖子也不应被视为此类内容。本文仅供一般参考，不考虑您的个人投资目标、财务状况或需求。TTM对信息的准确性和完整性不承担任何责任或保证，投资者应自行研究并在投资前寻求专业建议。