[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]
ZedRun与美国顶级赛马比赛联名NFT已完成发售，总金额达40万美元:5月19日消息，赛马游戏ZedRun与美国顶级赛事之一普里克内斯锦标赛（ThePreakness）合作的五套独家NFT已售出，创造了40万美元的销售记录。[2021/5/19 22:20:22]
黑客攻击游戏Runescape漏洞获取资金以购买比特币:黑客利用游戏Runescape的漏洞进行双花攻击获取了数万亿的游戏币，价值超25万美元，并利用这些资金购买比特币。据称，Runescape发行商Jagex已经修补了Runescape的漏洞，但黑客却仍能对Runescape 3进行类似的双花攻击。 对此，一些社区成员建议Jagex考虑采用比特币或其他加密资产作为他们的游戏货币，并利用区块链技术来抵抗双花攻击。（Cryptoglobe）[2020/7/13]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。