[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
Moonbeam发布Runtime2400系列升级波卡跨链互操作功能:7月31日消息，Moonbeam的Runtime2400系列升级即将推出。此次升级将增加GMP预编译工具、XCM到EVM跨链远程调用以及OpenGov升级方案。此次升级将首先在Moonriver网络上执行，并在未来逐步落地Moonbeam主网。Runtime2400系列升级有望提升跨链终端体验，并降低跨共识开发难度。[2023/7/31 16:08:56]
币安将支持BEP2 THORChain（RUNE） 主网置换:6月4日，据官方公告，币安将支持THORChain（RUNE）代币从BEP2网络置换到其主网。主网THORChain（RUNE）代币的转换将按照1:1的比例进行。币安将于北京时间6月6日12:00暂停BEP2 RUNE代币的充值、提现业务。[2022/6/4 4:02:17]
法国财政部长Bruno Le Maire：加密货币在全球经济中扮演重要角色:法国财政部长Bruno Le Maire最近指出：加密货币正在全球经济中扮演重要角色，并发表推特支持区块链技术。不久之前，他还刚刚表达了对于加密货币没有受到适当监管而为全球经济构成风险的不满：“如果我们想继续保护公民免受任何投机或及恐怖主义的伤害，我们需要规则”。[2018/3/28]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。