区块链产业
无许可跨链燃烧协议 BlackHole Protocol 获 Gate L...
中国区块链新闻网讯，无许可跨链燃烧协议BlackHoleProtocol获得GateLabs、MXCLabs、红链资本、心跳加速...
区块链投资
BitClout 披露投资者名单，包括红杉资本、a16z、DC...
中国区块链新闻网讯，社交网络平台BitClout创始人Diamondhands在发给Coindesk的邮件中披露了一份BitClou...
隐私计算网络 PlatON 聘请伊利诺伊大学计算机科学教授 Grigore Rosu 为技术顾问
发布时间：2021/04/01 财经新闻 浏览：228
中国区块链新闻网讯，隐私计算网络和分布式经济体基础设施 PlatON Network 宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授 Grigore Rosu 出任 PlatON 技术顾问，Grigore Rosu 将在协议建模和智能合约的形式化验证等领域为 PlatON 提供技术帮助。
Grigore Rosu 是科技企业 Runtime Verification 的创始人兼首席执行官，曾任美国国家航空航天局（NASA）研究科学家，并于 2010 年正式创立 Runtime Verification；该公司专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约。
发布时间: