03月14日，星期五 03:15
火讯财经讯，3月14日消息，，据网易新闻消息，Web3安全巨头CertiK与蚂蚁集团旗下的蚂蚁密算联合发布了最新研究工作，对下一代开源通用操作系统——星绽(Asterinas)——的核心组件进行了形式化验证。星绽基于Rust开发，兼容Linux应用。此项工作展示了对Rust操作系统形式化验证的重要进展，推动其安全性迈向“数学证明级”标准，并为提升下一代通用操作系统的安全性提供了新的思路。此前，CertiK已成功为蚂蚁密算的TEE平台HyperEnclave完成形式化验证。
0
火讯财经讯，Pudgy Penguins 旗下 Web3 游戏 Pudgy Party 宣布停止开发，将全力转向基于浏览器的免费游戏 Pudgy World。该移动游戏于去年 8 月推出，由 Pudgy Penguins 与 Mythical Games 合作开发，具备快节奏迷你游戏、定制及数字收藏品等特色。Pudgy World 已于今年 3 月正式上线，为免费浏览器端游戏。
2 小时前
火讯财经讯，据Coinglass数据，Coinbase比特币溢价指数已连续2日为正值，最新报0.208%，美国市场买盘情绪回暖，此前该指数曾连续24日处于负溢价状态。该指数衡量Coinbase平台比特币价格与全球市场均价的差值，是观测美国市场资金流向、机构热度及情绪的关键指标：正溢价代表Coinbase价格更高，通常对应美国买盘强劲、机构合规资金入场、美元流动性充裕、情绪乐观；负溢价则反映美国卖压大、风险偏好下降、避险情绪升温或资金外流。
2 小时前
火讯财经讯，CoinUp行情数据显示，CPX最高突破0.64美元，续创历史新高，累计涨幅突破433.33%。CPX为CoinUp平台币，后续将围绕交易权益、生态激励、用户福利及平台应用场景持续拓展价值。
2 小时前
火讯财经讯，据Web3资产数据平台RootData代币解锁数据，Bedrock（BR）将于北京时间6月20日12时解锁约4063万枚代币，价值约554万美元。
3 小时前
火讯财经讯，据Web3资产数据平台代币解锁数据，Kaito（KAITO）将于北京时间6月20日12时解锁约1211万枚代币，价值约505万美元。
3 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
