每日科技简报 · 2026年7月4日
执行摘要
今天最重磅的消息来自安全研究领域:被欧洲主权云寄予厚望的"机密计算"技术,其核心信任机制被形式化验证证明存在架构级缺陷,且可能无法修复。同时,持续数月的内存涨价潮首次出现降温信号——不是供应改善,而是消费者买不动了。Sony 停产实体光盘的余波仍在发酵,游戏保存机构直言"盗版是唯一可行的保存手段"。
主要报道
机密计算的信任地基被证明有裂缝,而且可能补不上
我们此前多次报道欧盟技术主权与主权云议题,今天这条消息直接动摇了它的技术底座。德累斯顿工业大学研究员 Muhammad Usama Sardar 团队用形式化验证工具 ProVerif(一种穷举检查协议所有攻击场景的数学工具,比人工审计更彻底)分析了"机密计算"的核心机制——远程证明(remote attestation,即服务器向客户端用密码学证明"我运行在真实、未被篡改的可信执行环境 TEE 中")。
结论令人不安:现行的 attested TLS 协议存在"中继攻击"缺陷——客户端验证的是软件完整性而非机器身份,连接可以被悄悄重定向到世界任何角落一台运行相同软件的受控机器上,客户端毫无察觉。团队测试了七种加密绑定方案,没有一种能防住中继攻击;而最关键的第三级绑定(把证明绑定到实际加密业务数据的密钥上)"在现有架构内可能根本无法实现"。
这不是纸上谈兵:Meta 为 WhatsApp 打造的 Private Processing 等三个生产系统都中招,漏洞编号 CVE-2026-33697,评分 7.5(高危)。更讽刺的是,Meta 此前请知名安全公司 Trail of Bits 做过审计,却没发现问题——因为人工审计是"抽样",形式化验证才是"穷举"。德国联邦信息安全办公室(BSI)也给出冷水结论:"机密计算本身无法满足数字主权要求。"而由受影响厂商组成的行业工作组,拖了十天、三次催促都没给研究者建立漏洞公示仓库。
为什么重要:此前我们报道过欧盟主权云的"芯片底层后门隐忧",这次的问题更上一层——连"证明你的数据跑在哪台机器上"这件事本身都做不到,Intel 和 Google 销售话术里的"可验证的主权保护"就成了空中楼阁。(来源:The Register)
内存危机出现拐点:不是供应好转,是消费者掏不出钱了
我们持续追踪的内存危机迎来最新转折。TrendForce 报告显示,2026 年 Q3 传统 DRAM(内存)合约价预计环比涨 13-18%,NAND 闪存涨 10-15%——仍在涨,但相比 Q2 约 60% 的疯涨已明显降速。关键在于降温原因:供应没有改善,而是消费电子厂商和消费者触及了承受能力的天花板。
市场正裂成两个世界:企业端 AI 推理服务器需求旺盛到 2027 年,厂商继续把产能倾斜给高利润的服务器产品;消费端 PC、手机厂商只能涨价转嫁成本,同时收缩生产计划。呼应这一点,36氪消息称三星已口头通知客户 Q3 DRAM 拟提价 20%,三星晶圆代工 4nm 产能近乎售罄开始挑单接活。
为什么重要:此前我们报道过苹果全线涨价、Xbox 砍配置涨价,这次数据确认了传导链条的终点——当涨价撞上消费者的钱包极限,买单意愿就成了新的天花板。PC 装机党想等降价,还得再熬一阵。(来源:Tom's Hardware)
Sony 全数字化余波:品牌集体玩梗,保存机构说出大实话
昨天我们报道了 Sony 宣布 2028 年起停产 PlayStation 实体光盘,今天余波扩大成两条线。一边是品牌狂欢式嘲讽:达美乐宣布"停产实体披萨,请下载数字披萨自行想象";肯德基西班牙宣布炸鸡即日起只卖"PNG 格式",还警告网友"不要盗版我们的鸡"。玩笑背后是真问题:剥夺消费者的选择权,并消灭二手市场。
另一边更严肃:游戏历史基金会(Video Game History Foundation)创始人 Frank Cifaldi 公开表态,盗版仍是游戏保存的唯一可行手段——因为游戏行业游说组织 ESA 多年来系统性封堵博物馆和档案馆的合法保存渠道,甚至以"社区服务器违法"的错误说法帮助否决了加州的游戏保存法案。结合我们此前报道的 Sony 删除用户已购 551 部影片,"数字所有权"的空心化正在成为跨行业议题。(来源:Slashdot)
苹果押注 M7 芯片 All in 端侧 AI,MacBook 产品线大洗牌
爱范儿梳理的路线图显示:年底苹果将推出首款 OLED 触控屏"MacBook Ultra";M6 成为特殊一代——首批台积电 2nm 芯片却没有 Pro/Max 版本,苹果快速过渡到围绕端侧 AI(在设备本地运行 AI 而非依赖云端)设计的 M7 系列,内存带宽提至约 240GB/s。跳代原因之一是台积电 2nm 产能被 AI 公司抢购,苹果这样的老客户优先级反而下降。结合我们此前报道的苹果找英特尔代工,供应链焦虑肉眼可见。(来源:爱范儿)
快讯速览
- 苹果"隐藏邮件地址"功能失效:404 Media 披露该隐私功能漏洞持续至少一年,测试中 100% 的隐藏地址可被还原出真实邮箱,苹果称"已修复"后仍可利用。(WIRED)
- 朝鲜黑客 PolinRider 行动:在开源软件仓库发布 108 个恶意包和扩展,供应链攻击持续升级。(The Hacker News)
- Midjourney 反将好莱坞一军:要求起诉它的迪士尼、华纳等交出自家 AI 训练数据和模型权重——"如果原告自己也在用版权作品训练 AI,那就是我方合理使用抗辩的核心证据"。(Engadget)
- 3D 打印钍反应堆:初创公司 Ampera 发布号称全球首个"次临界、固态、工厂预制"的钍核反应堆模块,目标 30MWe,瞄准 AI 数据中心供电——延续我们报道过的 AI 电力荒主线。(Tom's Hardware)
- 国产智能体集体下线:千问与豆包的"智能体"功能均定于 7 月 15 日下线,国内大厂 Agent 产品形态或酝酿调整。(36氪)
- 傲鲨外骨骼进军户外:消费级外骨骼从工厂康复走向徒步场景,已布局 20 个文旅合作网点,创始人直言行业不会有"iPhone 4 时刻"。(36氪)
- 会议室 CO2 拖垮决策力:研究显示密闭会议室 CO2 超 1000 ppm 时,战略决策能力显著下降——开窗可能比换人管用。(Hacker News)
值得关注
- 形式化验证的地位跃升:IETF 新工作组已把它写入章程作为强制要求,人工安全审计"抽样式"的局限被公开戳破,安全行业方法论或迎来洗牌。
- 数字所有权立法窗口:品牌玩梗声量与保存机构的控诉正在合流,关注是否催生实质性立法动作。
- 7 月 15 日:千问、豆包智能体同日下线,留意国内 Agent 赛道的下一步动向。
大家好，欢迎来到2026年7月4日的 YOMOO 每日AI快送。
今天的头条，我得先跟你说一个特别扎心的事。欧洲花了这么多年、投了这么多钱搞主权云，把宝押在一个叫"机密计算"的技术上，结果呢？德国德累斯顿工业大学的研究团队用数学方法证明：这个技术的信任地基，有裂缝，而且很可能补不上。
什么是机密计算？简单说，就是云服务器向你用密码学证明："放心，你的数据跑在一个真实的、没被篡改过的可信环境里。"这个证明过程叫远程证明，是整个机密计算的命根子。研究团队用了一个叫 ProVerif 的形式化验证工具，你可以把它理解成一个不知疲倦的数学机器，把协议所有可能的攻击场景一个不漏地全部穷举一遍。这跟人工安全审计完全不是一个量级——人工审计是抽样检查，它是地毯式排查。
排查的结果让人倒吸一口凉气。现在业界通行的协议存在一个"中继攻击"漏洞：客户端验证的其实是软件的完整性，而不是机器的身份。什么意思呢？你以为你连的是法兰克福机房里那台服务器，实际上连接可以被悄悄重定向到地球任何角落、一台运行着相同软件的受控机器上，而你，毫无察觉。团队测试了七种修补方案，你猜怎么着？没有一种能防住。而最关键的那个补法，研究者的原话是，"在现有架构内可能根本无法实现"。
这可不是纸上谈兵。Meta 给 WhatsApp 打造的隐私处理系统等三个正在运行的生产系统全部中招，漏洞评分7.5，高危级别。更讽刺的是什么？Meta 之前专门请了知名安全公司做过审计，愣是没发现——因为抽样就是抽样，穷举才是穷举。德国联邦信息安全办公室直接泼了盆冷水："机密计算本身无法满足数字主权要求。"想想看，连"证明我的数据到底跑在哪台机器上"这件事都做不到，那 Intel 和 Google 销售话术里说的"可验证的主权保护"，是不是就成了空中楼阁？这件事的余震，恐怕才刚刚开始。
说完安全，我们来看钱包。我们持续追踪了好几个月的内存危机，今天终于出现了一个拐点信号。但我告诉你，这个拐点的原因，不是供应变好了，而是——消费者买不动了。
TrendForce 的最新报告显示，今年三季度传统内存合约价预计还要涨13%到18%，闪存涨10%到15%。听着还是很吓人对吧？但对比一下二季度大约60%的疯涨，这已经是明显踩刹车了。刹车踩在哪儿？踩在了老百姓的钱包上。现在这个市场正在裂成两个世界：企业那边，AI推理服务器的需求一路旺到2027年，厂商拼了命把产能倾斜给高利润的服务器产品；消费这边呢，PC厂商、手机厂商只能咬着牙涨价，同时偷偷收缩生产计划。36氪还有消息说，三星已经口头通知客户，三季度内存打算再提价20%，三星的4纳米代工产能几乎售罄，开始挑单接活了。所以想等降价装机的朋友，还得再熬一阵子。
第三件事，昨天我们说了 Sony 宣布2028年起停产 PlayStation 实体光盘，今天这事的余波扩大成了两条线，一条好笑，一条扎心。
好笑的这条：各大品牌集体下场玩梗。达美乐宣布"停产实体披萨，请下载数字披萨自行想象"；肯德基西班牙更绝，宣布炸鸡即日起只卖PNG格式，还一本正经地警告网友："不要盗版我们的鸡。"笑归笑，玩笑背后戳的是真问题：全数字化剥夺了消费者的选择权，还顺手消灭了二手市场。
扎心的这条来自游戏历史基金会。创始人 Frank Cifaldi 公开说了一句大实话：盗版，仍然是游戏保存的唯一可行手段。为什么一个正经的保存机构会说出这种话？因为游戏行业的游说组织多年来系统性地封堵博物馆和档案馆的合法保存渠道，甚至用"社区服务器违法"这种错误说法，帮助否决了加州的游戏保存法案。再联想到我们之前报道过的 Sony 删除用户已经购买的551部影片——你花钱买的数字内容，到底算不算你的？"数字所有权"的空心化，正在变成一个跨行业的大议题。
再来看苹果。爱范儿梳理的路线图显示，苹果正在把宝全押在端侧AI上，就是让AI直接在你的设备本地运行，不依赖云端。年底会推出首款OLED触控屏的 MacBook Ultra；而M6会成为很特殊的一代——它是首批台积电2纳米芯片，却没有 Pro 和 Max 版本，因为苹果要快速过渡到专为端侧AI设计的M7系列，内存带宽提到大约每秒240GB。为什么这么着急跳代？原因之一让人玩味：台积电的2纳米产能被AI公司抢购一空，苹果这样的老客户，优先级反而下降了。再结合之前苹果找英特尔代工的消息，这家巨头的供应链焦虑，已经肉眼可见。
接下来快讯走一波。
苹果的"隐藏邮件地址"隐私功能被曝失效，漏洞持续了至少一年，测试中百分之百的隐藏地址都能被还原出真实邮箱，苹果说"已修复"之后居然还能利用。
朝鲜黑客组织在开源软件仓库发布了108个恶意包和扩展，供应链攻击还在升级。
Midjourney 反将了好莱坞一军：要求起诉它的迪士尼、华纳交出自家的AI训练数据和模型权重——理由是，如果原告自己也在用版权作品训练AI，那正好是我方合理使用抗辩的核心证据。这招够狠。
初创公司 Ampera 发布了号称全球首个3D打印的钍核反应堆模块，次临界、固态、工厂预制，目标30兆瓦，瞄准的正是AI数据中心的用电荒。
国内这边，千问和豆包的"智能体"功能都定在7月15日下线，同一天，两家大厂，国内Agent产品的形态恐怕要有大调整，值得盯一下。
傲鲨的消费级外骨骼从工厂和康复场景走向户外徒步，已经布局了20个文旅合作网点，不过创始人自己都直言，这个行业不会有"iPhone 4时刻"。
最后一条有点意思：研究显示，密闭会议室里二氧化碳浓度超过1000ppm的时候，人的战略决策能力会显著下降。所以下次开会做重大决定之前，开个窗，可能比换个人管用。
今天的内容里，我最想让你记住的是那个形式化验证的故事。人工审计没发现的漏洞，数学穷举一跑就现形，现在国际标准组织已经把形式化验证写进章程作为强制要求。安全这个行业的方法论，可能正站在一次洗牌的门口。而"你买的数字内容到底属不属于你"这个问题，品牌的玩梗声量和保存机构的控诉正在合流，会不会催生真正的立法动作，我们接着盯。
如果你想通过阅读文字版更快地获取每日的AI快送信息，欢迎免费订阅我们的mail list，地址在视频描述里。如果您觉得我们的节目对您有帮助，请帮忙分享、转发给您的朋友。好了，今天就到这里，我们明天见！