RecodeX 重构消息，Aptos成为首个支持动态调度形式化验证的L1区块链，提升智能合约安全性和可靠性。
Aptos成为首个支持动态调度形式化验证的L1区块链，提升智能合约安全性和可靠性...
原始信息来源rwadaily.airwadaily.ai
查看原文 ↗更多快讯
查看全部 →人工智能
亚马逊拟掌控全球商品数据以对抗AI购物代理
RecodeX 重构消息，亚马逊正推进一项计划，旨在掌控全球商品数据，以应对日益增多的AI购物代理。该计划的核心是让亚马逊成为商品信息的权威来源，从而在AI代理代为比价和下单的购物场景中保持主导地位。
加密货币
比特币永续合约未平仓量达61亿美元居首，以太坊24小时增超3%
RecodeX 重构消息，加密衍生品市场中，比特币永续合约未平仓量以61亿美元位居各资产之首。过去24小时内，以太坊是唯一未平仓量涨幅超过3%的资产。XRP的资金费率最低，年化费率为-6.9%。
股市
英特尔因隐瞒PC销售放缓遭股东集体诉讼，股价曾单日暴跌近29%
RecodeX 重构消息，英特尔遭股东提起拟议集体诉讼，股东指控这家美国芯片制造商隐瞒个人电脑销售长期放缓的影响，构成欺诈，导致其股价单日暴跌近29%。 该诉讼于周五提交至加利福尼亚州圣何塞联邦法院，由密歇根州一家养老基金领衔。股东称，英特尔在披露个人电脑销量放缓和库存过剩将如何拖累营收方面反应迟缓。
交易所
港交所拟推衍生产品收市后交易时段数码支付方案
RecodeX 重构消息，港交所宣布将推出适用于衍生产品收市后交易时段的数码支付方案，用于支持相关交易时段的资金结算安排。该方案针对衍生产品在收市后交易时段的支付需求。
地缘局势
浙江金华金东区成立联合调查组 调查建筑垃圾非法倾倒问题
RecodeX 重构消息，浙江金华市金东区就建筑垃圾非法倾倒问题成立联合调查组，开展调查与整改工作。
科技
美航司恢复航班 FAA调查阿肯色州故障路由器
RecodeX 重构消息，美国多家航空公司正努力恢复航班运行，此前一起路由器故障导致航班大面积受影响。FAA正在调查该故障，问题被追溯到阿肯色州埃尔多拉多附近一处偏远地点更换老旧铜线所致。