[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
BitsCrunch激励测试网已启动，主网预计于2023年9月推出:金色财经报道，由人工智能驱动的去中心化NFT数据网络bitsCrunch Network激励测试网已上线并向公众开放。主网预计于2023年9月推出。BitsCrunch已为其测试网计划的第一轮指定了4,600,000BCUT代币（相当于代币供应总量的0.46%）。已专门为任务3分配了1,500,000个代币。[2023/8/4 16:19:04]
Drunken Ape项目Discord服务器遭到攻击:金色财经报道，据CertiK监测，Drunken Ape项目Discord服务器遭到攻击。请社区用户在服务器修复之前不要点击任何链接。[2023/2/8 11:54:19]
RUNE将于今日15:40上线BiKi并开启流动性挖矿:据BiKi公告，RUNE将于今日15:40（GMT+8）上线BiKi，开放RUNE/USDT交易对。
RUNE上线同时开放网格流动性挖矿活动，用户通过网格宝开启RUNE/USDT网格交易，满足条件即可获得网格+流动性挖矿双收益，一键双挖。
RUNE（THORChain）是一个高度优化的多链，使用pBFT共识来实现亚秒级块终结性。令牌在单链上交易，被称为带有离散地址空间的tokenChains。提出了多组分片以允许拜占庭抗性缩放。本机协议有助于协议级别的链式交易和订单匹配，支持限价和市场订单。RUNE是THORChain生态圈的通证，可用于支付交易手续费、保持流动性，并用作出块奖励。持币者可获得分红。[2020/12/22 16:06:32]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。