MartinYeung5-优快云博客

原创从SM2到ML-KEM、ML-DSA：量子威胁下，我们的密码体系为何必须换血

SM2代表经典椭圆曲线公钥密码的成熟与国密生态，ML-KEM和ML-DSA代表后量子格密码的标准化落地。发展主线是安全假设从离散对数转向格问题，标准化从学术候选走向FIPS正式标准，工程上从单算法部署走向经典加后量子混合迁移。迁移的核心挑战不在数学，而在尺寸、协议适配、实现安全和合规双轨。对公众来说，理解这一点，就知道为什么密码体系要换血，以及换血为什么不能急也不能等。

2026-11-09 21:38:03 310

原创 [论文学习]AgentWorm：跨越LLM智能体生态的自我传播攻击

基于LLM的自主智能体正以长驻进程的形式运行，形成高度互联的多智能体生态（如OpenClaw，一个拥有4万多个活跃实例的开源平台）。这类系统具备持久化配置、工具执行权限和跨平台消息能力，但其生态级安全属性几乎未被研究。论文要回答的核心问题是：单个消息能否在智能体生态中引发自主传播的连锁感染？

2026-11-09 21:07:47 274

原创 MCP：让每个 AI 工具不再各自造轮子的开放标准

MCP 主要不是技术上的胜利，是采购和治理上的胜利。集成标准化之后，一个工具评估一次，就能在多个助手里复用。边界审一个，不是审一堆。厂商发个 server，你 adopt 就行，不用再立一个定制项目。这也是它铺得快的原因，也是它现在跟 function calling 并排站着、是互补而不是竞争的原因。Function calling 管的是模型怎么挑动作，MCP 管的是这个动作怎么可移植地走到外部世界。

2026-11-09 20:32:12 116

原创香港金融管理局发布的后量子密码迁移框架：软件安全真正的缺口，从来不是算法

标题写的是后量子密码学，内容讲的是软件安全里一件更根本的事。我们建出来的系统，密码学无处不在、至关重要，却基本没人认领。量子计算没有制造这个状况，但它拿走了"可以继续无视"这个选项。PACT 之所以有价值，恰恰因为它拒绝把这件事当成数学问题。它把它当成问责问题：谁负责、什么证据能证明主张、以及这个组织还能不能再改一次。这种规划纪律，多数安全项目至今仍然缺。量子截止日期，只是让它不能再拖的理由。

2026-11-08 12:01:00 344

原创当代币合约开始相信自己的记账：拆解 NEM 82 万美元漏洞

别让你的代币合约维护自己那一套市场状态。如果非要维护，那就在每一次状态转换时和交易对的储备做对账，而不是按攻击者能控制的节奏来。把每一次外部调用都当成不可信的，把每一个返回值都当成必须处理的。不检查的 swap 就是在邀请攻击。任何公开可调用的函数，都要假设它会被以对抗性的时机反复调用。冷却和 nonce 成本很低。这里没有它们，代价是 821,920 美元。如果你的合约里有"recycle"或"flush"这类路径，问三个问题：谁能调、多久能调一次、它到底验证了什么。

2026-11-07 16:28:47 147

原创 63亿美元的教训：Binance被黑不是代码问题，是签名问题

行业一直在从这类事件里吸取错误的教训。教训不是"EIP-7702 很危险"。一把没有策略约束的签名密钥不是安全控制，它是一把挂着私钥的负债。三样东西缺失了，任何一样都能改变结果。在签名产出前执行策略，而不是之后。Blockaid 自己的复盘指出了决定这类事件结果的两个控制点：签名产出前的策略执行，以及资金一旦动起来之后的持续监控。Binance 有监控。资金在扫荡后两分钟内就被标记了。但那时签名已经产出，委托已经生效。签名后的检测是取证，不是防御。把 EIP-7702 授权当作特权操作。委托不是付款。

2026-10-30 23:29:35 247

原创代码审计救不了加密行业，SEAL 认证第一次认真补上运营安全这一课

SEAL 认证的四支柱研究给出了一个可信的演进路径：当这个框架被用于以太坊万亿美元安全（1TS）计划、链上保险保费计算、交易所上币要求时，认证项目和非认证项目之间会形成明确的市场溢价。这才是真正的价值论点。认证值钱不是因为落地页上多个 Logo 好看，而是因为承销商因为它改变风险定价，或者上币委员会把它当成一个非认证项目过不了的检查项。SEAL 的治理模式也值得说。它是一个由非营利联盟维护的开源框架，有50 家以上 Web3 和安全组织参与，不是某一家厂商卖的自有产品。

2026-10-29 13:12:04 162

原创 [隐私事故分析] 这不是一次网络攻击：56,000名病人数据外泄，暴露的是流程失守

医管局这起事故不是传统意义上的网络安全失守。它是承包商访问流程没有围绕一个假设来设计：拥有合法访问权限的可信内部人员，可能成为外泄通道。编码和软件维度是真实的：DLP 阈值、查询限制、导出控制、实时日志，都是软件和配置决策。流程维度同样真实：最小权限、数据最小化、预移除、合同条款的技术强制，都是流程决策。按直接响应和数据处理基准估算，损失在数千万港元级别，还没算声誉和伙伴生态影响。最贵的控制，是那个没有实施的控制：那个本应阻止56,000条病人记录离开一个从来就不该让它们离开的系统的控制。

2026-10-29 12:33:35 247

原创 [事故分析]一个共享随机流，如何把钱包变成一本公开账本

这次事件不需要复杂的内存破坏利用，也不需要 JavaScript 引擎的零日。它只需要有人注意到，两个看起来无害的函数在从同一口可预测的井里打水，而其中一口井正往网络里明文倒水。逐个函数检查的安全评审会一直漏掉这类 bug。

2026-10-27 22:19:50 242

原创 UNCX 漏洞复盘：一个过期的份额计数器，如何让共享金库被掏空

全局份额数被人工压低后，攻击者释放最后站着的那个仓位。赔付公式是。分子正常，分母被推到了不该有的低位。这个仓位付出的代币，来自其他项目存进来的钱。整个序列包在一笔闪电贷里，同一交易内还清，然后在 EDGEN、ZC、pepecoin、LO0P 和 PAAL 上重复。到第二天，模仿钱包和 MEV 机器人已经把模板复制到 BNB Chain、Base 和 Robinhood Chain，总共产生 11 笔 drain 交易。UNCX 在四条链上实现约 80.8 万美元损失，原因是release()和。

2026-10-25 23:51:35 245

原创 THEO 桥被盗：当一把钥匙就能无限铸币

THEO 事件没有击穿 Hyperlane 的代码。它只是按照代码设计的方式使用了代码。本身是合法模块，适合那些信任假设明确、价值有限的路由。错误在于把一个单密钥信任模型部署到了市场把它当作有抵押品的桥接资产上，然后三份审计都没有把“被审计的合约”和“链下那个能触发铸币的 relayer”之间的边界讲清楚。审计检查的是某一时间点交付给它的代码，对照已知模式看问题。它不认证一条跨链桥在多条链上的部署配置，不认证 relayer 运营方的密钥管理，也不认证“这个单密钥永远不会失陷或被滥用”这个经济假设。

2026-10-25 20:44:37 156

原创 [数字安全]70%的网站差点停摆：PHP漏洞背后，是代码安全最尴尬的真相

PHP没有因为写得烂而差点搞垮互联网。它差点搞垮互联网，是因为它到处都是、太老、而且几乎没人认真盯着它看。补丁修的是bug，修不了可见性缺口、维护债和“基础设施会自己照顾自己”的幻觉。如果你的组织在一个小时内答不出“我们哪些系统跑PHP，版本是多少”，那才是真正的漏洞。CVE只是症状。

2026-10-22 10:51:31 427

原创一个缺失的零：Payy 跨链桥如何接受伪造的 ZK 证明，损失 192 万美元

Payy 这件事的核心不是私钥被盗。它是一个验证器因为少了一条约束而接受了虚假陈述，也是一个生产系统在修复公开 73 天后仍在运行 2025 年 10 月的构建。缺的那一行很小，流程上的失败很大。如果你的系统接受证明，你跑的不是电路，你信的是验证器。把验证器当生产安全代码对待：盯住上游每一次变更，保持重部署路径随时可用。还要记住，在证明系统里，一个缺失的零可以值 192 万美元。

2026-10-22 00:58:00 180

原创 280 万美元的教训: 当调度器信任 calldata 胜过信任转发器

Limit Break Payment Processor V2 这次被黑，很多人第一反应是"又一个忘了撤销授权的项目"。但真正的故事不是这个。真正的问题是：一段手写汇编代码对 Solidity 的函数参数编码方式做了一个想当然的假设，然后攻击者利用这个假设，把交易的最后 20 个字节换成了任意地址。这个合约早在 2024 年 10 月就被 Magic Eden 停用了。但用户当初给它的授权并没有跟着一起退休。

2026-10-21 00:00:02 168

原创量子联盟定了标准，但区块链迁移才是硬仗 (包含代码解说)

量子联盟做了一件有用的事：把暴露量化，把“抗量子” claims 放进一个可讨论的流程。但真正的问题不是“后量子就绪”能不能被定义。锁着最多价值的区块链，恰恰最难迁移。迁移路径要穿过没有升级路径的代码、比协议原设计大一个数量级的签名、以及和密码学无关的治理争斗。标准告诉你什么时候算完成。它不修路。路是 Solidity 接口、承诺模式、新操作码、费用市场变化和共识决策。联盟工作组接下来要把这些变成可部署的代码。在那之前，“后量子就绪”只是一个标准，不是现状。

2026-10-20 00:06:29 302

原创 [事故分析]Adapter Vault Drain：当白名单变成提款许可证

Adapter Vault Drain 不是高深漏洞。它是设计失败。每次事故的模式都很一致：特权函数因为调用者在名单上、因为调用者返回了正确值、因为调用者传了一个看起来合理的参数，就信任了调用者。信任没有被独立验证，验证也没有和动作在时间或角色上分开。如果你正在写带适配器的金库，不要只问“这个地址在白名单里吗”。要问“如果这个地址是恶意的，会发生什么”和“一笔交易能不能同时建立信任并行使信任”。第二个问题的答案如果是能，设计已经坏了。白名单、注册表和 getter 都不是安全边界。把它们当输入，认真验证。

2026-10-19 19:38:38 278

原创 200万美元的GIWA冒充案：为什么“已验证”的链也可能是假的

2026年9月27日，约766 ETH（价值约208万美元）从以太坊上的一座桥合约中被抽走。受影响DEX DYORSwap的回应很干脆：这不是智能合约漏洞。没有重入，没有整数溢出，没有私钥泄露。攻击者做的事情是：搭了一条完整的假冒Layer 2网络，给它设上市场预期的GIWA链ID，在以太坊上部署了一个接受该假链存款的桥合约，等ETH攒够了再换掉桥的控制逻辑。用户交互的那份代码，完全按照它被写出来的方式运行。问题出在Solidity上面那一层：一个多链DEX到底凭什么判断什么是“真的”。

2026-10-18 15:00:38 208

原创 Airbender Prime 十秒证明背后，真正该担心的代码安全问题

Airbender Prime 最近在单张 RTX PRO 6000 Blackwell GPU 上连续证明了以太坊主网 7200 个区块，99% 的证明时间压在 10 秒以内。Vitalik 的回应很直接：速度竞赛已经结束，接下来是安全。这话没错，但大多数人理解错了重点。真正难的不是"能不能证明得更快"，而是 zkVM 电路越优化，一条约束没写全，整个证明系统就可能从"证明机器"变成"伪造机器"。这才是代码和软件安全层面真正的问题，而 Airbender 自己的审计记录恰好把这件事演了一遍。

2026-10-17 19:07:42 464

原创一次退款如何变成武器：NEAR Intents 380 万美元被盗，真正的代码问题在哪

攻击者归还了全部 380 万美元。但真正的教训不是追回。一个退款函数，任何 bridge 或 vault 系统里最普通的代码，因为信任了错误的数字，又没有能力撤销自己的错误，最后变成了多链盗窃入口。代码里最危险的地方，往往不是复杂的密码学，也不是花哨的跨链消息格式。是一个看起来人畜无害的min没写对，是一个失败分支后面少了debit。这次 NEAR Intents 的 380 万美元，就是这句话的注脚。

2026-10-15 08:00:00 225

原创 MakerDaoBot 被掏走 200 ETH：一个漏写的权限检查，代价 54 万美元

MakerDAO 的核心合约完全按设计工作。Vat、Flipper、GemJoin，所有行为都符合规范。漏洞完全在一个没人看着的第三方 keeper 里。六年半的时间里，200 ETH 一直躺在那里，等着被领取。这次攻击并不复杂。不需要闪电贷，不需要价格操纵，不需要重入。只需要调用一个本该带修饰器的函数。这才是最让人睡不着的地方。最危险的 bug 往往最简单，藏在大家以为“跑了这么多年都没事”的代码里。

2026-10-14 23:18:15 192

原创 Ollama、vLLM、SGLang 怎么选？别用一把锤子敲所有钉子

Ollama 的价值是分发和所有权。它让不会碰 Python 推理栈的开发者用上开源模型。云平台给了它不放弃本地优先的扩展路径。风险是它可能长期是入口工具，不是生产引擎。85% 财富 500 强渗透说明企业在拿它做真事，不只是玩。vLLM 的价值是可靠和生态。它是推理引擎里的本田思域：不是最快，不是最酷，但不出幺蛾子。社区最大，文档最全，集成面最广，从 Kubernetes operator 到可观测性工具。对多数团队，vLLM 是第一个生产引擎的合理选择。SGLang 的价值是负载专业化。

2026-10-14 03:30:00 446

原创 Envio：区块链数据索引的性能革命与开发者体验重构

Envio 的增长动能来自几个方向。Solana 支持在 2026 年 9 月进入稳定版，API 已确定并遵循语义化版本，这为进入 Solana 生态的 DeFi 和 NFT 项目打开了通道。RPC 源用 Rust 重写后性能提升 2 到 17 倍，自动多进程索引在大规模场景中带来 4 倍加速。风险方面，Envio 的生态系统规模仍是主要短板。The Graph 的公共子图生态和 Ponder 的开发者社区都更成熟。Envio 需要在开发者社区建设、文档完善度和案例展示上持续投入。

2026-10-13 21:42:29 430

原创 Ledger 供应链攻击 (2026年10月)：当你的硬件钱包成了攻击者的帮凶

硬件钱包曾被宣传为交易所被黑、钓鱼攻击和恶意软件的终极答案。“不是你的私钥，就不是你的币”，这话没错。但当保管私钥的设备跟你作对时，会发生什么？Ledger CryptoBilis 事件不代表硬件钱包没用。它说明安全是一条链，链的强度取决于最弱一环。这次，最弱一环是装设备的盒子。整个行业需要用对待密码学设计的严肃态度来对待供应链完整性。因为一个能往你电路板上焊芯片的攻击者，不需要破解你的加密。他只需要看着就行。

2026-10-11 23:39:50 286

原创 [工具分析] Asyar：开源跨平台启动器的潜力与局限

Asyar 是由开发者 Xoshbin 主导的开源命令启动器，定位为“Raycast 的能力，Alfred 的速度，隐私优先”。它面向 macOS、Windows 和 Linux，采用 Tauri v2 + Rust 构建后端、Svelte 5 构建前端，而非 Electron。项目当前版本为 0.1.x，官方明确标注“not yet considered stable or production-ready”。

2026-10-09 00:30:00 300

原创 OpenBot深度解析：当AI同事拥有自己的电脑

OpenBot不是又一个浏览器自动化工具。它试图回答一个更根本的问题：当AI Agent需要访问企业系统、操作真实数据、做出影响业务的决策时，治理应该放在哪里。它的答案是将治理嵌入协议层，让所有操作经过统一Gateway，在CEL策略引擎下做fail-closed决策，审计记录先于执行写入。这个设计选择让OpenBot在开源Agent平台中占据了一个独特位置：它不跟Browser Use比浏览器操作的准确率，不跟Skyvern比网页导航的鲁棒性，不跟Operator比消费级体验。

2026-10-09 00:15:00 491

原创 Octopus Skill Cards，为AI Skills 加入可验证的数据

AI Skills 市场的竞争，前半场比的是谁有更多技能、更大流量、更快的上架速度。GPT Store、Coze、Hugging Face、SkillHub 在这条路上已经跑得很远。后半场可能会比另一件事：当技能多到看不完的时候，谁能让买家不用自己一个个试，就能知道哪个更好。这不是一个流量问题，是一个信任问题。SkillHub 用 TRACE 框架来回答这个问题，ClawHub 用社区投票来回答，CertiK 用安全扫描来回答。

2026-10-08 23:56:28 280

原创 AV Agent Hub：为 AI Agent 构建 Avalanche 原生信任层

AV Agent Hub 今天是 Fuji 测试网实现，但它的目标是 Avalanche 主网。项目在黑客松期间从零开始，不是 fork，也不是包装现有代码库。目标是在 Avalanche 生态落地，成为 AI Agent 管理、AI Agent 审计、AI Agent 服务市场的生产级平台。它通过 NFT 提供链上身份，通过带价格和 metadata 的服务市场，通过带唯一收据引用的授权信誉，通过可在 Snowtrace 验证的直接 AVAX 或 ERC-20/USDC 付款。

2026-10-08 00:15:00 720

原创 Hark Pro 深度分析：不做AGI，只做你的“电脑替身”

Hark Pro 的价值不在于它比竞品“更聪明”，而在于它更务实。如何让AI真正替你完成电脑上的操作任务，且让你放心。在AI代理赛道从概念走向落地的关键窗口期，这种克制本身就是一种策略。能否将“端到端完成度”和“隐私信任”转化为用户留存，将是 Hark Pro 接下来12个月的核心考验。

2026-10-07 17:31:23 225

原创 5.1MB 的 Shimmy 和 680MB 的 Ollama，本地大模型到底该选谁？

普通开发者，想少折腾，机器还行，Ollama 仍是默认。模型库没得比，CLI 干净，Open WebUI、FastGPT、Dify 这些生态让它成了本地 AI 工作流的重心。如果你做的东西里，推理服务器的二进制体积很重要，启动延迟按毫秒算，或者你要直接服务 LoRA 适配器又不想搞转换流水线，Shimmy 值得下那 5.1MB。这俩不是抢同一个位置。Ollama 正在变成平台，Shimmy 坚持做服务器。都有用。知道你需要哪个，才是真的省时间。

2026-10-07 00:15:00 623

原创 LangGraph 深度解析：从 AI Demo 到生产级 Agent 的编排层

工作流有循环、需要持久化、需要人工审批门，选 LangGraph。需要基于角色的流水线、想快速做概念验证，选 CrewAI。主要挑战是检索和文档处理，选 LlamaIndex。新项目别选 AutoGen，如果在 Azure 生态里，可以评估 Microsoft Agent Framework。你选的框架会影响你思考 Agent 组合的方式。LangGraph 的图模型不是最简单的起点，但当工作流变复杂时，它是更能撑住的那一个。

2026-10-06 00:45:00 446

原创 [论文学习]把Markdown当权重来训练：微软SkillOpt如何让Agent技能自己学会进化

今天Agent的技能——那些CLAUDE.md、Codex的skill文件、各种system prompt——几乎全是手写或用LLM一次性生成的。写好一版，跑几个任务看看效果，觉得哪里不对再改，改完再跑。这个过程跟手调prompt没有本质区别，只是对象从一句话变成了一整份文档。问题的根源在于：技能编辑缺乏一套像深度学习优化器那样可复现、有反馈、能收敛的优化范式。我们不知道改了之后是全面变好了，还是拆了东墙补西墙。而与此同时，模型权重的适配对闭源前沿模型根本不可用，对开源模型又成本高昂。

2026-10-06 00:15:00 146

原创 Pi：不想做下一个 Claude Code，这才是它最值钱的地方

Pi 不想做适合所有人的最强编程代理。它想做的是，给那些想自己造东西的人，提供最好的底板。这个野心更窄，但可能更耐久。在一个每个大实验室都在发有明确观点的代理产品的市场里，一个说“这里有四个工具和一个扩展系统，你去搭你真正需要的东西”的工具，反而有真实价值。

2026-10-05 13:27:57 460

原创 Instinct：个人 AI 助理的“零摩擦”革命，百亿估值背后的产品逻辑与竞争格局

Instinct 是由 Spear Street Technology 开发的一款个人 AI 助理产品，创始人 Noah Shinn 年仅 23 岁，曾是 Sierra 的 AI 研究员，也是 2023 年 NeurIPS 论文《Reflexion》的第一作者，该论文在 HumanEval 编程测试中达到 91% 的通过率，高于 GPT-4 的 80%。公司于 2025 年创立，产品于 2026 年 8 月以邀请制 beta 形式上线。它没有独立的 App。

2026-10-05 12:45:00 370

原创 [论文学习]Prεεmpt：为大型语言模型净化敏感提示词

大模型API调用场景下，用户提示词中可能包含社保号、信用卡号、薪资、年龄、健康状况等敏感信息。这些信息在推理时直接发送给模型服务商，而提示词中的少量示例（in-context learning）进一步把隐私风险从训练阶段转移到了推理阶段。论文要解决的问题是：如何在正式保护提示词中敏感信息的前提下，尽可能维持模型回答的质量。

2026-10-05 00:30:00 239

原创 [论文学习]百分之一的Token，百分之百的策略：LLM辅助的IoT与嵌入式固件漏洞挖掘

当前LLM辅助漏洞挖掘面临一个结构性困境：模型可以读反编译代码、写脚本、识别芯片、跑扫描器，却难以在数十小时的长程任务中维持“全局视野”。第13个发现泄露了控制通道，第37个发现提供了提权路径，第148个发现补齐了远程发布能力——三者本可组成完整攻击链，但模型无法主动将它们关联起来。这暴露了两个层面的问题：一是搜索空间缺乏边界，agent在每台设备上重复执行端口扫描、默认凭据测试、Web路由枚举等基础操作，Token迅速被低价值工具输出耗尽；二是缺乏有效的“能力状态保持”机制，关键发现随上下文压缩而丢失。

2026-10-04 00:15:00 577

空空如也

空空如也