ChainCatcher 消息，据 CryptoBriefing 报道，TheDAO Security Fund 旗下 ETHSecurity Initiatives 第二轮资助已启动，拨款 60 万美元用于 Vyper 编译器形式化验证。Vyper 是 Curve、Yearn、Lido 等协议的智能合约语言。该基金源自 2016 年 DAO 事件未认领 ETH 转化质押资金，以太坊基金会公开表态支持。
B安/欧意/大门交易所永久入口：点击进入加密货币的世界
OK交易所是全球排名前三的数字货币交易平台，非常符合国人操作，买卖比特币就上OK交易平台