[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。 健身对战游戏Run Legends将于5月18日上线Sui Network:5月17日消息，Sui开发公司Mysten Labs宣布健身对战游戏Run Legends将于5月18日上线Sui Network。Run Legends表示，其开发团队Talofa Games在2019年获得了Niantic Beyond Reality竞赛大奖，团队成员来自Riot Games、EA和thatgamecompany等，其公测版中第1个月月活跃用户数量（MAU）达到13000。[2023/5/17 15:07:59]
AOFEX于5月19日上线RUNE、SOL:据官方消息，AOFEX交易所于5月19日正式上线RUNE、SOL；将于AQ及USDT交易区15:00（GMT+8）上线RUNE，17:00（GMT+8）上线SOL交易；RUNE、SOL充提业务暂不开启，具体时间将以公告形式另行通知。
THORChain是一个高度优化的多链，使用pBFT共识来实现亚秒级块终结性。RUNE是THORChain生态圈的通证，可用于支付交易手续费、保持流动性，并用作出块奖励。持币者可获得分红。
AOFEX数字货币金融衍生品交易所，旨在为用户提供优质服务和资产安全保障。[2021/5/19 22:19:09]
MXC抹茶10:00上线KAI、KEEP、RUNE、SWTH，开放USDT交易:官方消息，MXC抹茶今日10:00上线KardiaChain（KAI）、Keep Network（KEEP）、THORChain（RUNE）和Switcheo（SWTH），并开放USDT交易市场。现已开放上述币种的充值，详情请阅读相关公告。[2020/6/25]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。