Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问:金色财经消息,伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问,将在协议建模和智能合约的形式化验证等领域为PlatON提供助力,帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局(NASA)研究科学家,期间与同事一起开创了“运行时验证”这一前沿理念。2010年,创立Runtime Verification,企业拥有世界顶尖的形式化验证团队,专注于区块链领域提供软件测试和验证方面的产品与服务,运用独特的动态验证技术来审核虚拟机和公链上的智能合约,全面提升区块链软件系统的安全稳定性。[2021/4/1 19:36:29]
在访客电脑上的浏览器,挖掘加密货币。
匿名币项目Grin发布v5.0.0升级版本:匿名币项目古灵币(Grin)发布v5.0.0升级版本,该版本修复了一些已知错误,将部分客户端进行了更新。此前报道,Grin v5.0.0版本将是Grin最后一个既定的硬分叉。[2021/1/5 16:29:35]
GridCash 为访客电脑上的浏览器,提供挖掘加密货币业务的机会。
新的加密欺诈项目Bitgrin声称已经铸造50亿代币:根据最近的一份报告,近日出现一个新的加密欺诈项目Bitgrin (XBG),Bitgrin作为Grin的分支推出,并宣传自己为“神奇的私有加密货币”。项目创建者声称已经铸造了50亿代币。研究人员称,Bitgrin是一个局,其背后的人“正在缓慢地将代币出售给毫无戒心的受害者,这些受害者有2100万。”(Cryptopotato)[2020/5/31]
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。