Coldcard 制造商 Coinkite：AI 代码审查未能发现安全漏洞，警示比特币硬件和软件行业
相关推荐
AI代码审查漏检关键漏洞，COLDCARD上周因此遭利用
Odaily星球日报讯 Bitcoin News 在 X 平台发文表示，Coinkite 称，该漏洞存在于两个无关联固件子模块的边界处，而非其比特币或加密代码中，使其多年来避开人工和 AI 辅助代码审查。 Coinkite 表示，事件发生后，公司测试了包括 Kimi K3、Claude Fable 和 Codex 5.6 在内的前沿 AI 模型，均未识别出该缺陷。 Coinkite 目前敦促安全关键型项目专门审计 build 系统和子模块边界，并警告称，AI 辅助开发可能在比特币生态系统中留下类似盲点。
Claude Code跑Kimi K3最贵最慢，成本是Hermes Agent近4倍
据动察 Beating 监测，AI Agent 基础设施公司 Composio 扩大测试，把同一款 Kimi K3 接入 6 套 Agent 框架，完成 26 项相同任务。这里比较的是运行框架，底层模型均为 Kimi K3。 Kimi Code 完成 21 项排名第一。Hermes 完成 20 项，Pi Agent 和 Claude Code 均为 19 项，OpenCode 为 18 项，Codex 以 17 项垫底。 按 Kimi K3 官方价格估算，Hermes 和 Pi Agent 平均每项任务成本最低，分别为 0.39 美元和 0.40 美元。Claude Code 达到 1.47 美元，约为 Hermes 的 3.8 倍。 Pi Agent 速度最快，单项任务中位耗时为 161.7 秒。Claude Code 最慢，达到 347.6 秒。同一模型换套框架，成功数最多只差 4 项，平均成本却相差近 4 倍，耗时相差超过 2 倍。
灵光App上线“一键部署”，支持Codex、Claude Code等AI应用直接发布
PANews 7月28日消息，据36氪报道，近日，灵光App上线闪应用“一键部署”功能，并向所有用户开放。用户使用Codex、ClaudeCode、Cursor、Qoder、Trae、Workbuddy等AI工具创建的应用，可通过灵光提供的部署Skill，一键发布为“灵光闪应用”，并同步在PC端和灵光App内展示与分发。同时，灵光还开放了包括大模型、搜索、LBS、地图、存储等在内的30余项免费API能力。
Kimi K3白领任务逼近Fable5，成本升至上代10倍
据动察 Beating 监测，Artificial Analysis 更新 AA-Briefcase 榜单。这个评测让模型从近 2000 份邮件、Slack 记录和公司文件中找信息，再交付表格、演示文稿和界面原型。它共设 4 个长期项目和 91 项保密任务。 Kimi K3 得分 1543 Elo，仅次于 Claude Fable 5 的 1574。它超过 GPT-5.6 Sol 的 1501，也领先 Claude Sonnet 5 和 Claude Opus 4.8。 K3 的客观要求通过率为 51%，Fable 5 为 56%。但 K3 的分析质量得分略高，1754 对 1744。它主要输在成品展示，低于 GPT-5.6 Sol 和 Opus 4.8。 性能提升也伴随着更高的 Token 消耗。K3 平均每项任务花费 10.57 美元，约为 Kimi K2.6 的 10 倍。它平均执行 83 轮，输出 12 万 Token，耗时 56.4 分钟。完成同类任务所需时间约为 Fable 5 的 2.5 倍。
Spotify把Claude、Gemini和Codex塞进一个总控台，1300名工程师已在用
据动察 Beating 监测，Spotify 推出 AI 编程工具 Xirp。它把 Claude Code、Gemini CLI 和 Codex 接进同一个工作台，可以同时跑多个 Agent。中途换工具，项目上下文也能直接带过去。 Spotify 已经用 Xirp 跑了超过 3.6 万次 Agent 会话。官方称已有 1300 多名 Spotify 工程师使用。Xirp 可以同时协调 50 多个会话，每个任务单独放进一个 Git worktree，多个 Agent 能在同一代码库并行干活，互不干扰。 更核心的是「团队记忆」。接上 Spotify Portal 后，Agent 能直接读取服务架构、依赖关系、负责人和历史架构决策。一次会话积累的上下文也会存回 Portal，其他工程师或 Agent 可以接着做。 Xirp 更像一个 Coding Agent「总控台」。Spotify 不押注某一家模型，而是让 Claude、Gemini、Codex 随时可换。Spotify 此前已经把内部开发平台 Backstage 开源，又推出了商业版 Portal；现在 Xirp 再把多 Agent 调度接了进来。
FTX 等破产案追偿机构 117 Partners 就 Coldcard 事件提出两条追偿路径
Foresight News 消息，曾参与 FTX、Mt. Gox、Celsius 等多起加密货币破产案索赔业务的机构 117 Partners 创始人 Thomas Braziel 就 Coldcard 制造商 Coinkite 安全事件的后续处理发文，披露正在探索两条并行的追偿路径，以争取受害者利益最大化。 一为在加拿大对 Coinkite 提起产品责任诉讼，法律依据在于公司不应销售存在缺陷、导致客户遭受重大损失的安全产品。若相关事实成立，预计相关集体诉讼将采用胜诉分成模式（约 33%），受害者无需预付律师费，预计耗时 1 至 3 年。 另一为针对黑客的资产追回策略，评估在美国申请临时限制令（TRO）、识别相关钱包及中间账户、在适当情形下获取判决，并向可能持有或经手被盗资产的第三方追偿；该路径可能需要诉讼资金支持，但推进速度预计更快。 Braziel 表示，目前尚无法保证能够实现追偿，相关策略仍在与更多律师团队沟通中演进。