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 转化质押资金，以太坊基金会公开表态支持。
Disclaimer: Investing carries risk. This is not financial advice. The above content should not be regarded as an offer, recommendation, or solicitation on acquiring or disposing of any financial products, any associated discussions, comments, or posts by author or other users should not be considered as such either. It is solely for general information purpose only, which does not consider your own investment objectives, financial situations or needs. TTM assumes no responsibility or warranty for the accuracy and completeness of the information, investors should do their own research and may seek professional advice before investing.