隐私计算网络和分布式经济体基础设施PlatON Network近日宣布伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore Rosu正式出任PlatON技术顾问，将专注于PlatON全球技术生态的战略构建与可持续发展。 Rosu教授是全球领先的科技企业Runtime Verification的创始人兼首席执行官。
Grigore Rosu教授，加州大学圣地亚哥分校计算机科学博士，曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。目前任职伊利诺伊大学厄巴纳-香槟分校计算机科学教授。2010年，Rosu教授正式创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性，目前已与众多相关领域头部企业成为合作伙伴，在全球享有盛誉。
对于此次出任PlatON技术顾问，Rosu教授表示：“非常荣幸能够担任PlatON Network的技术顾问。此前，我们合作的Giskard共识协议验证项目取得了圆满成功，我非常期待与PlatON深化合作，深耕底层研究，扩大技术成果。”
受凯文沃什被提名为下一任美联储主席的不确定性影响，比特币交易价格一度接近两个月低点...
2 CZ：Easy Residence项目收到400份申请，市场低1月31日消息，币安创始人 CZ 发文表示，下一季的 Easy Residence 项目已收到 400 份申请。每个季度...
3 RWA持有人数逼近80万消息，据吴说区块链发推称：过去一年链上RWA持有人数增长近10倍，目前已接近80万。代币化股...
4 PancakeSwap：CAKE 2.5 美元的涨势为何取决于PancakeSwap 的 CAKE 代币正面临持续的熊市，现货交易量飙升 115% 至 7600 万美元，而价格却下跌超...
5 Jupiter推出无需许可的P2P借贷市场Jupiter1月31日消息，Jupiter 宣布推出无需许可即可在 Solana 上交易所有资产的货币市场 Jupiter Offerbook。...
6 泰达向Bitfinex转移1.2亿USDT消息，据Whale Alert发推称：泰达公司向 Bitfinex 交易所转入 1.2 亿枚 USDT，价值约 1.1987 亿美元。...
7 SunNFT关联钱包投入200万美元做多SILVER消息，据Onchain Lens发推称：与 @0xSunNFT 关联的钱包向 #HyperLiquid 存入 200 万美元 USDC，并在 @tra...
8 Bitfinex热钱包向Gate转入400枚XAUT，短期内累消息，据链上监测数据，1 月 31 日，Bitfinex 标记的热钱包地址 0x771335EC 向 Gate 某用戶充值地址...
9 Polymarket和Kalshi的合同限制在最近一次美国由于众议院休会，无法在周一之前对参议院通过的拨款法案进行投票，美国政府将于美国东部...
10 CZ：收到Binance Junior功能建议，强调产品真消息，币安创始人CZ在X平台表示，自己刚收到一则更具建设性、积极的用户反馈。该用户指出...
成都来彰科技 蜀ICP备2025134723号-1
资讯来源互联网，如有版权问题请联系管理员删除。
