Vitalik: AI-assisted formal verification has the potential to improve both code efficiency and security.
相关推荐
币安上线快手、美团及韩国半导体杠杆 ETF 永续合约
火星财经消息，币安合约平台于 8 月 11 日上线四个 U 本位永续合约交易对，包括快手（KUAISHOUUSDT）、美团（MEITUANUSDT），以及南方东英 SK 海力士每日杠杆（2X）产品（CSOPSKHYNIX2LUSDT）和南方东英三星电子每日杠杆（2X）产品（CSOPSAMSUNG2LUSDT）。快手和美团合约最高支持 20 倍杠杆，两只韩国半导体 ETF 产品最高支持 10 倍杠杆，资金费率上限均为正负 2%，每八小时结算一次，支持多资产模式。其中 CSOPSKHYNIX2LUSDT 追踪港交所上市的南方东英 SK 海力士每日杠杆（2X）产品（代码 7709），CSOPSAMSUNG2LUSDT 追踪南方东英三星电子每日杠杆（2X）产品（代码 7747），分别对应韩国两大存储芯片巨头 SK 海力士与三星电子的两倍做多敞口。这是币安在传统资产永续合约领域的进一步拓展，将港股及韩国科技股杠杆产品引入加密衍生品市场。币安提醒用户数字资产价格具有高波动性，合约交易风险较高，投资者需自行承担相关风险。
Hyperscale Data 出售约 685 枚比特币，获约 4300 万美元用于密歇根数据中心建设
Foresight News 消息，AI 数据中心公司 Hyperscale Data（NYSE: GPUS）已出售约 685 枚比特币，获得约 4300 万美元现金，出售后公司目前持有约 275 枚比特币。所得资金将主要用于密歇根数据中心的持续开发与扩建，同时用于管理债务、股权及整体资本结构，并支持其他战略举措。 公司执行董事长 Milton Todd Ault III 表示，比特币仍将是公司战略的重要组成部分，公司将继续挖矿并计划通过挖矿产出及可用资金逐步重建和增加比特币持仓，此次出售部分比特币储备不代表长期比特币积累策略的改变，而是当前阶段更合理的资本配置方式。公司预计将于 2027 年完成对子公司 Ault Capital Group（ACG）的资产剥离，届时公司将专注于数据中心运营及数字资产持有。
闪迪1630美元附近卖单扎堆，大额抄底资金却要等到多少回调？
火星财经消息，8 月 14 日，据 TradingBeats 监测显示，SNDK 现报 1591.6 美元，按距离现价超过 2%、去除做市挂单的口径统计： SNDK 上方最密集的远端卖单集中在 1630 至 1650 美元，...
彭博社：RedotPay 因法律问题推迟美国 IPO
Foresight News 消息，据彭博社援引知情人士报道，稳定币支付公司 RedotPay 因寻求监管审批及应对法律问题，已推迟在美国上市的计划，上市时间或推迟至明年及以后，而非此前计划的今年内完成，公司需先获得其运营所在国家的监管审批才能推进 IPO。 此前，币安关联实体正就 RedotPay 创始人涉嫌将数十万用户转移至竞品一事提起诉讼，索赔金额接近 5 亿美元。RedotPay 发言人拒绝就 IPO 时间置评，但表示公司专注于全球合规与业务增长，近期用户数、营收、利润及利润率均创历史新高，并称本周已获得美国货币转移牌照，将积极应诉币安发起的诉讼。
今晚 20:30 美国 7 月零售销售来袭，数据偏强或压制降息预期
ChainCatcher 消息，今晚 20:30（UTC+8）又将迎来素有“恐怖数据”之称的美国 7 月零售销售数据。市场目前预计：零售销售月率仅环比增长 0.1%，核心零售销售（剔除汽车等波动较大项目）也预计温和。这份数据将直接反映美国居民消费意愿与购买力，是判断经济软着陆还是失速的关键风向标。 若数据显著强于预期，可能强化“经济仍有韧性”的叙事，推高美元、打压降息预期；若大幅弱于预期，则可能加剧衰退担忧，进一步提振贵金属与避险情绪。
Hyperliquid HIP-4 主网上线将采取分阶段部署，初期每部署者限 100 个结果
Foresight News 消息，Hyperliquid 发文表示，其将为 HIP-4 新增多项功能，涉及部署者操作、模板费率配置、类型提示、结算数据存储及测试网模板等方面，同时公布主网上线的分阶段部署参数。HIP-4 主网上线将采取保守参数分阶段推进，初期每个部署者最多同时维持 100 个结果、每日最多部署 500 个结果，待技术稳定后计划迅速提升至同时 1000 个结果、每日 5000 次部署，后续将根据反馈进一步调整上限设计。 部署者操作方面，新增 registerAndAssociateNamedOutcomeFromTemplate 方法，允许部署者在问题创建后追加具名结果，新结果的初始余额与现有的 fallback 余额保持一致；费率方面，模板实例化现在要求为问题及独立结果设置 deployerFeeScale，与 HIP-3 类似，该参数为基础费率的乘数，部署者可自行配置，取值范围为 0 至 10，下次网络升级还将为验证者部署的结果市场启用费用机制，平均结果交易费率将为非结果类现货交易的一半。 其他更新包括：新增 shortString 类型提示，用于模板化的 side 名称，便于界面据此做出合理假设；结算细节将从 L1 状态中清除，依赖节点 API 服务器或读取预编译的应用如需长期索引结算细节，需自行处理；测试网新增多个模板，模板 ID 以序号区分，同一系列中除最大序号外均视为弃用模板。