[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
AllianceBlock与Crunchbase达成协议，将传统业务数据引入DeFi:金色财经报道，AllianceBlock旨在连接传统金融（TradFi）和去中心化金融（DeFi），该平台已签署协议，将Crunchbase的商业数据添加到其生态系统中。这笔交易是Crunchbase首次进军加密货币市场。该公司的数据，包括融资轮次以及收益信息，最初将提供给AllianceBlock的Data Tunnel用户。（CoinDesk）[2023/3/28 13:31:33]
美国赛车公司NASCAR与Zed Run开发商达成合作:金色财经报道，美国赛车公司NASCAR已与基于区块链的数字赛马游戏ZED RUN背后的开发商Virtually Human Studio(VHS)合作，首先将在其赛车平台上创建NASCAR品牌的数字马。两家公司仍在敲定有关分销和销售的细节。[2021/8/6 1:37:56]
现场丨MakerDAO联合创始人Rune：MakerDAO协议支撑了DAI的价值:金色财经现场报道，10月28日，第六届区块链全球峰会的数字金融主题论坛于上海开幕，论坛上MakerDAO联合创始人Rune Christensen演讲表示，MakerDAO是一个去中心化的货币协议，支撑了稳定币DAI的价值，这是一个人人都可以使用的货币，通过使用DAI存储资产，防止货币通货膨胀，特别是在南美和阿根廷这些通货膨胀率可能到50%的地方，用户在一台手机上就可以实现存储一个不会缩水的资产。[2020/10/28]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。