[Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问]金色财经消息，伊利诺伊大学厄巴纳-香槟分校计算机科学教授Grigore?Rosu正式出任PlatON技术顾问，将在协议建模和智能合约的形式化验证等领域为PlatON提供助力，帮助团队更好地构建PlatON Network技术生态。
Rosu教授是科技企业Runtime Verification的创始人兼首席执行官。曾任美国国家航空航天局（NASA）研究科学家，期间与同事一起开创了“运行时验证”这一前沿理念。2010年，创立Runtime Verification，企业拥有世界顶尖的形式化验证团队，专注于区块链领域提供软件测试和验证方面的产品与服务，运用独特的动态验证技术来审核虚拟机和公链上的智能合约，全面提升区块链软件系统的安全稳定性。
新加坡NFT体育平台XRUN被一支东南亚加密货币基金全额收购:金色财经报道，2022年4月成立的新加坡NFT体育平台XRU已被一家东南亚加密货币基金全额收购，该基金还参与了XRUN的新一轮战略融资，但具体收购交易条款和金额、以及收购方信息暂未公开披露。XRUN此前募集到数百万美元融资，其投资方包括新加坡Bitin Capital、BlockACE Capital、韩国Block Patch、英国Skyline Capita等，据悉本次交易完成后，XRUN品牌将会升级为FitVerse运动健康元宇宙。（cryptosaurus）[2023/4/24 14:24:20]
Crunchbase：Q1 Web3创企所获风投资金为17亿美元，同比下降82%:4月22日消息，据 Crunchbase 数据显示，今年一季度对 Web3 初创企业的风险投资同比下降 82%，从 2022 年第一季度的 91 亿美元下降到 17 亿美元。这是自 2020 年第四季度 11 亿美元以来的 Web3 融资低点，当时许多人从未听说过 Web3。在这种情况下，Web3 初创公司被定义为直接与加密或区块链技术（或两者兼而有之）合作的早期公司。此外，风投和 Web3 初创公司之间的交易总数也出现了显著下降，2023 年第一季度记录了 333 笔交易，同比下降约 33%。
报告指出，最近对 Web3 初创企业的兴趣有所降温，但它也强调，几乎每个领域的风险投资都在减少。Crunchbase 将 Web3 融资的下降归因于投资者在过去几个月里选择了规避风险的方式，风投在其最了解的行业——比如网络安全或 SaaS，而不是下一代互联网（Web3）的承诺中寻找机会。[2023/4/22 14:19:49]
FTX正式上线RUNE现货、季度及永续合约:据官方消息，加密衍生品交易平台FTX正式上线Thorchain（RUNE）现货、季度及永续合约。FTX现已推出BTC、ETH、EOS等80多个主流及小币种的永续及季度合约产品，最高支持101倍杠杆，无合约交割手续费及提币手续费。[2020/7/20]
郑重声明： Runtime Verification创始人 Grigore?Rosu出任PlatON技术顾问版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。