[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
PeckShield：“zed-run.info”是网络钓鱼站点，可能会窃取用户私钥:5月27日消息，据PeckShield监测显示， “zed-run.info”是一个网络钓鱼站点，可能会窃取用户私钥，提醒用户不要点击该站点。[2022/5/27 3:46:00]
Polkadot通过62号动议计划将升级至runtime 28:2月18日，Web3基金会技术教育主管Bill Laboon发推公布波卡项目相关进展称，62号动议已经通过，该项动议计划将Polkadot升级到runtime 28。同时技术委员会已被要求加快这项提案的进度。[2021/2/19 17:28:19]
IRS指控加密货币项目创始人Bruno Brock逃税:美国国税局（IRS）已就两项逃税罪指控了加密货币项目创始人Amir Bruno Elmaani（又名 Bruno Brock）。
据悉，Elmaani创建了名为Oyster Pearl的区块链协议，从2017年其Pearl（PRL）的首次代币发行中赚了几百万美元。这些资金据称将用于购买在线数据存储，推动Oyster协议的发展。但随后，Elmaani伪造了2017年的纳税申报表，并未能在2018年提交纳税申报表，而是将数百万美元收入囊中。（Coindesk）[2020/12/10 14:49:23]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。