math-skill 3.1.0 → 3.2.0

package/references/books/applied-cryptography.md

@@ -0,0 +1,128 @@
+# 应用密码学 / Applied Cryptography
+
+> Dan Boneh & Victor Shoup, *A Graduate Course in Applied Cryptography* (v0.4, 2017)。以**攻击游戏 + 归约证明**为统一范式的研究生级应用密码学参考——构造、归约、协议分析的实战手册。
+
+## 概要
+
+本书把密码学定义为"对抗性系统的数学研究"：不是统计可靠性，而是**博弈论式安全证明**。统一组织原则：用形式化**攻击游戏**（challenger vs adversary）定义"安全"，方案安全 ⇔ 不存在高效敌手能以非忽略概率赢游戏。全书定理都是**归约**：破方案 Y ⇒ 解困难假设 X。
+
+**激活边界**：本书是**构造与证明优先**——讲攻击游戏、归约模板、序列游戏、具体安全界，**不是工程实现手册**。落地实现（侧信道、常数时间、协议状态机）需配实现密码学教材（如 Katz-Lindell 的工程章节）。这里给的是"安全定义怎么写、归约怎么构造、哪里会翻车"的**激活索引**。
+
+## 可迁移到 AI/安全分析的核心结构
+
+| 密码学结构（章节） | 迁移到 AI/ML/系统设计 |
+|---|---|
+| **攻击游戏框架（§2）** | 一切"对抗性建模"的模板：定义敌手能力→定义胜利→证不可赢；ML 鲁棒性、机制设计、对抗样本都可用 |
+| **归约证明模板（§3）** | "破我方案 ⇒ 解困难问题"的通用科学推理；安全性相对化、假设最小化 |
+| **序列游戏 + Difference Lemma（§3.4-3.5）** | 把复杂证明拆成可分析的小步；hybrid argument 的概率版 |
+| **CPA/CCA/AE 层级（§4）** | 能力递增的威胁模型，对应 ML 中"白盒/黑盒/自适应对抗"的层级化建模 |
+| **PRG/PRF/PRP 层级链（§5, §14）** | "弱假设→强原语"的构造链；AI 中类似"弱学习器→强学习器"的 boost 思路 |
+| **DDH/CDH/DL 假设族（§6）** | 离散对数族的严格强弱关系；假设最小化原则的实例 |
+| **Encrypt-then-MAC 合成（§7.9, §9.2）** | "合成不保安全"的典型反例；独立密钥、上下文绑定的工程铁律 |
+| **Sigma 协议 + Fiat-Shamir（§11）** | 三步承诺-挑战-响应；NIZK、Schnorr 签名的源头；可迁移到可验证计算 |
+| **AKE 模型 + PFS（§12）** | 会话密钥安全、前向保密；TLS 1.3 的形式化根 |
+| **归约紧度分析（§10.3）** | 安全损失 ε_scheme ≈ Q·ε_assumption；参数选择必须补偿 |
+
+**激活家族**（便于路由检索）：
+
+- **定义系（§2, §4）**：攻击游戏、语义/CPA/CCA 安全、AE——回答"安全到底指什么"。
+- **归约系（§3, §16）**：黑盒 wrapper、序列游戏、hybrid、模拟范式——回答"怎么证明安全"。
+- **原语系（§5, §14）**：OWF/PRG/PRF/PRP/CRHF/TDF——回答"基础工具是什么、怎么叠加"。
+- **协议系（§9, §11, §12）**：PKE、签名、Sigma、AKE——回答"上层协议如何组装"。
+
+## 关键桥接事实（激活速记）
+
+- **Adv[A,S] := |Pr[W₀] − Pr[W₁]|，等价 bit-guessing：Adv\* = 2·Adv**（§2.2）：两实验优势 = 2×单实验猜中优势。
+- **PPT + 忽略函数 = "高效敌手 + 实际不可能"**（§2.3）：neg·poly = neg，poly·poly = poly，这是 hybrid 闭合性的基石。
+- **PRP Switching Lemma：Q 次查询区分 n-bit PRP 与随机函数优势 ≤ Q²/2^{n+1}**（§5.4）：AES 当 PRF 用只要查询数有界。
+- **Shannon 完美保密 ⇒ |K| ≥ |M|**（§4.1）：信息论安全的代价——密钥不得短于消息（OTP 的根源）。
+- **CPA 安全 ⇏ 多重加密安全（对称）；公钥 CPA ⇒ 多重安全**（§4.3）：公钥场景敌手本就能任意加密。
+- **EtM 安全；MtE/EaM 不安全**（§7.9）：合成顺序决定生死；padding oracle 攻 MtE。
+- **CCA ⇒ 不可延展；AE ⇒ CCA**（§4.4-4.5）：AE = CCA + 密文完整性，是 CCA 的标准路径。
+- **DL 随机自归约**（§6.6）：DL 在随机实例上可解 ⇒ 任意实例可解，"全难或全易"。
+- **归约紧度 ε_RSA ≈ ε_sig / q_H**（§10.3）：ROM 归约常松，需参数补偿。
+- **量子威胁：Shor 破 RSA/DL；Grover 对称安全减半**（§14.3）：AES-128 量子下仅 64-bit。
+
+## 适合激活的问题类型
+
+- **安全定义书写**：怎么把"敌手能做什么、赢是什么"形式化？哪个层级（CPA/CCA/AE）贴现需求？避免"直觉上安全"的空话。
+- **归约证明设计**：如何构造 B（攻击假设 X）把 A（攻击方案 Y）当黑盒？模拟是否完美？紧度损失多少？
+- **协议合成审查**：EtM/MtE/EaM 哪个能过？密钥是否独立？上下文（身份/转录）是否绑进 MAC？
+- **参数选择**：归约紧度 ε_scheme ≈ Q·ε_assumption，Q 多大？需多少额外 bit 补偿？量子下要多少？
+- **协议级失败诊断**：身份缺失、反射、降级、nonce 重用——根因在"上下文未绑定"还是"密钥复用"？
+- **迁移到 AI 鲁棒性**：把"攻击游戏"模板套到对抗样本、模型窃取、后门——敌手能力、胜利条件、归约目标是什么？
+
+## 可能的算法启发
+
+> 密码学本身不直接产 GPU kernel，但其**设计思想**可迁移到 AI 安全/可验证计算：
+
+1. **对抗性建模迁移**：攻击游戏框架用于 ML 鲁棒性证明——定义敌手能力预算 → 定义"破" → 证不可破。*落点：方法论，不直接落 GPU。*
+2. **PRF 作为可验证伪随机**：用 PRF 生成训练数据划分/路由 seed，保证可复现且敌手不可预测。*落点：D1/D2——GEMM 友好。*
+3. **Sigma 协议 → 可验证计算**：让 AI 推理产出 SNARK 式证明，验证者低成本核对。*落点：D3——验证端廉价、证明端昂贵。*
+4. **归约范式迁移到 ML 安全**：破模型鲁棒性 ⇒ 解某困难问题，给"相对安全"证书。*落点：方法论。*
+5. **承诺方案做水印**：用承诺方案做模型水印与可追踪分发。*落点：D1——哈希链廉价。*
+
+## GPU 友好性警告
+
+> 密码学结构与 GPU 八维（`../gpu-friendly-math.md`）的关系，与 AI 方向书稿相反——多数密码学原语**不在 GPU 友好维度**，而是 CPU/专用硬件域：
+
+**天然不友好但可专用硬件加速：**
+- **AES/SHA via SIMD/ASIC**：块密码/哈希走专用指令（AES-NI、SHA-NI），不走 GEMM。*违反 D1/D2。*
+- **大数模乘/RSA**：bigint 运算，非张量化。*违反 D1/D2/D3。*
+- **椭圆曲线标量乘**：点加非 GEMM 化。*违反 D2。*
+
+**方法论层面友好：**
+- **攻击游戏/归约模板**：纯逻辑推理，不涉及 GPU。
+- **PRF 作为 seed 生成**：一次性小开销，不构成瓶颈。
+- **可验证计算（SNARK）**：证明端重、验证端轻；验证可批量 GEMM 化。
+
+**反模式警告：**
+- 把 AES/SHA 当 GEMM 算子去优化——南辕北辙。
+- 在训练循环里频繁调用密码学原语——非张量化、拖垮 SM 占用。
+- 用密码学哈希做 ML loss——哈希不可导，无法反传。
+
+## 该调用哪个思想透镜
+
+配合 `../../lenses/` 下的思想透镜：
+
+- **`game`（博弈）**：攻击游戏、多方策略互动、机制设计——本书的灵魂。
+- **`axiomatization`（公理化）**：安全定义即公理——假设的相容性、独立性、完备性。
+- **`algorithmic`（算法）**：归约即算法变换；复杂度可行性、并行性。
+- **`probabilistic`（概率统计）**：忽略函数、优势、birthday 攻击、hybrid argument。
+- **`duality`（对偶）**：信息论 vs 计算安全；模拟范式（敌手视角 ↔ 模拟器视角）。
+- **`causal`（因果）**：归约的"如果破 Y 则破 X"是因果链；相关≠因果在安全分析中至关重要。
+- **`categorical`（范畴化）**：原语间的蕴含关系形成偏序（OWF⇒PRG⇒PRF⇒...）。
+
+## 反模式
+
+- **把 ROM 证明当绝对保证**：ROM 是启发式，存在反例；instantiation 可能不安全。
+- **混淆必要与充分条件**：大密钥空间必要非充分（代换密码 26!≈2^88 但可破）。
+- **假设"密钥难恢复=方案安全"**：Enc_k(m)=m 密钥无法恢复但零安全。
+- **加密与 MAC 共用密钥**：EtM 要求独立密钥，否则跨原语交互致破。
+- **确定性加密当 CPA 安全**：公钥场景下确定性必破（加密-比对攻击）。
+- **IV/nonce 重用**：stream cipher/CTR/GCM 中重用即灾难（两时间本 XOR 泄露）。
+- **非常数时间比较 MAC**：`memcmp` 短路泄露前缀，时序攻击可伪造。
+- **归约松仍称安全**：ε_scheme ≈ Q·ε_assumption 时 Q 大则实际安全远低于声称。
+- **协议签名只签临时密钥不绑身份**：身份误绑攻击。
+- **堆定理而不诊断瓶颈**：先问"安全目标是 CPA/CCA/AE 哪层、归约目标是什么假设"，再选工具。
+
+## 深挖入口
+
+> **书目信息**：Dan Boneh & Victor Shoup, *A Graduate Course in Applied Cryptography*, v0.4, Sep 2017. 在线：https://toc.cryptobook.us/
+>
+> **启用方式**：将 `Applied Cryptography.pdf` 放入 `math_book/`，Agent 自动 `pdftotext` + grep 定位原文页。
+
+值得深读的真实章节：
+
+> 以下章节号对应原书 Boneh-Shoup v0.4 实际目录（非精简版自编），用于 `math_book/` PDF 回查定位。
+
+- **§2 Attack Game Framework**——所有安全定义的统一模板。
+- **§3 Reduction Proof Pattern + Sequence-of-Games**——归约与游戏跳跃的实战。
+- **§4 Security Hierarchy**（perfect→semantic→CPA→CCA→AE）——威胁模型层级。
+- **§5 PRG/PRF/PRP + Switching Lemma**——对称原语与替换界。
+- **§6 DL/CDH/DDH + Random Self-Reducibility**——数论假设族。
+- **§7 Symmetric Constructions**（stream/CTR/CBC/MAC/Merkle-Damgård/sponge/EtM）——构造工具箱。
+- **§11 Sigma Protocols + Fiat-Shamir**——零知识与签名转换。
+- **§12 AKE + PFS + PAKE**——协议安全的形式化。
+- **§13 Attack Patterns**（两时间本/延展性/padding oracle/extension/related-key/nonce 误用/协议级失败）——反模式总集。
+- **§16 Reasoning Patterns**（归约心态/模拟范式/理想替换/游戏跳跃/hybrid/必要条件/合成/"无暗门"原则）——可迁移思维模式。

package/references/books/foundations-of-cryptography.md

@@ -0,0 +1,127 @@
+# 密码学基础 / Foundations of Cryptography
+
+> Oded Goldreich, *Foundations of Cryptography, Volume 1: Basic Tools*, Cambridge University Press, 2001。以**定义方法论 + 归约可构造性**为统一主题的理论密码学基础——把密码学从艺术变成科学的哲学根基。
+
+## 概要
+
+本书最深的贡献不是任何具体构造，而是**定义方法论**：使严格安全分析成为可能的哲学转变——从信息论安全（Shannon：敌手信息不足）到**计算安全**（敌手有信息但无法高效提取）。这一转变建立在"PPT = 可行计算"的工作假设之上，整座现代密码学大厦都依赖它。
+
+**核心论点**：密码学是定义即创造的领域。好的定义同时形式化直觉、开放构造、允许归约证明、排除平凡构造。全书建立原语间的偏序蕴含链（OWF⇒PRG⇒PRF⇒...），每条箭头都是构造性归约。
+
+**激活边界**：本书是**理论与元定理优先**——讲定义、归约、可构造性、不可能性，**不是实用方案手册**。很多构造效率太低不可直接落地。这里给的是"密码学的概念骨架与假设依赖图"的**激活索引**，实用构造回查 Boneh-Shoup / Katz-Lindell。
+
+## 可迁移到 AI/理论分析的核心结构
+
+| 理论结构（章节） | 迁移到 AI/ML/系统设计 |
+|---|---|
+| **计算不可区分（§2.2）** | "伪随机"的形式化定义；分布距离 vs 可识别性的区分；ML 中"生成分布逼近真实"的严格语言 |
+| **PPT + 忽略函数框架（§2.1, §2.3）** | "高效算法 + 实际不可能事件"的形式化；ML 中"多项式时间敌手 + 概率可忽略"威胁模型 |
+| **OWF ⇔ PRG ⇔ PRF 等价链（§III, §V）** | "最小假设 ↔ 最大功能"的等价定理模板；AI 中"弱学习器↔强学习器"PAC 提升的类比 |
+| **归约论证 vs 经典归约（§4.1）** | 分布保持的归约；不能喂敌手任意输入，必须匹配其成功分布——迁移到 ML 安全证明要小心分布漂移 |
+| **Hybrid 技术（§4.2）** | 把多步不可区分性拆成单步；hybrid 数须 poly(n)，相邻差异须可界——ML 分布漂移分析的通用工具 |
+| **弱→强放大（§4.3）** | "弱假设 → 强结论"的非平凡放大；证明不能假设独立性——AI 中 boosting/集成 的理论镜像 |
+| **模拟范式（§4.4, §VI）** | "零知识"= 可被模拟则未学到的认识论定义；迁移到隐私 ML：模型可被模拟则未泄露训练数据 |
+| **不可预测性 ⇔ 伪随机性（§4.5）** | "下一 bit 不可预测 ⇒ 整体伪随机"的深刻等价；迁移到序列模型评估：不可预测即伪随机 |
+| **Goldreich-Levin hardcore bit（§5.1）** | 从 OWF 提取一个"完美隐藏 bit"——伪随机性的种子；列表解码 + 配对独立采样 |
+| **黑盒 vs 非黑盒（§7.3）** | 构造与分离的技术分类；黑盒更鲁棒但可能本质受限 |
+
+**激活家族**：
+
+- **定义系（§III）**：OWF/PRG/PRF/ZK/Commitment 的定义——回答"密码学原语的本质是什么"。
+- **证明系（§IV）**：归约论证、hybrid、放大、模拟、不可预测⇔伪随机——回答"怎么证明原语安全"。
+- **构造系（§V, §VI）**：OWF→hardcore→PRG→PRF→Commitment→ZK for NP——回答"原语如何层层构造"。
+- **元理系（§VII, §IX）**：定义驱动、归约为进步单位、黑盒分离、假设偏序——回答"密码学的认识论"。
+
+## 关键桥接事实（激活速记）
+
+- **信息论安全 ⇔ 计算安全的鸿沟**：信息论上破但计算上安全是现代密码学的本质；敌手"有信息但提不出来"。
+- **计算不可区分 ⇏ 统计接近**：存在伪随机但统计上远离均匀的总体（支持集 2^{n/2} vs 2^n）。
+- **多抽样不可区分需要可高效构造**：无此条件，单抽样不可区分 ⇏ 多抽样——纯计算现象，无信息论对应。
+- **OWF ⇔ PRG（HILL 定理）**：最小密码假设 ⇔ 最基本原语，深刻等价。
+- **弱 OWF ⇒ 强 OWF（放大定理）**：构造 g(x₁..x_t)=(f(x₁)..f(x_t))，但证明不可假设块独立性。
+- **不可预测 ⇔ 伪随机（Yao 定理）**：hybrid H^i = i-bit 前缀 + (n-i) 均匀 bit；区分器 ⇒ 预测器，优势 ≥ ε/n。
+- **Goldreich-Levin：任何 OWF 可加 hardcore bit**：g(x,r)=(f(x),r)，b(x,r)=⟨x,r⟩ mod 2；列表解码 + 配对独立。
+- **GGM 树：PRG ⇒ PRF**：二叉树深度 poly(n)，叶节点 = 伪随机函数表；指数域大小来自多项式 key。
+- **ZK = 可模拟性**：存在 PPT 模拟器生成 V\* 视图 ⇒ 交互未带来新知识；三档：完美/统计/计算 ZK。
+- **BPP ⊆ PZK ⊆ SZK ⊆ CZK ⊆ IP=PSPACE**；假设 OWF 存在则 CZK=IP。
+
+## 适合激活的问题类型
+
+- **定义书写**：怎么把"安全/隐私/不可学习"形式化？定义是否捕获直觉、可达成、可证明、最小？
+- **归约与分离**：原语 A 是否蕴含 B？黑盒归约是否可能？分离结果是否适用？
+- **假设最小化**：方案依赖哪些假设？能否弱化到 OWF？是否依赖非一致硬假设？
+- **放大证明**：弱性质如何放大到强性质？能否避免独立性假设？放大常数多大？
+- **模拟范式应用**：能否构造模拟器证明"未泄露"？模拟器是严格还是期望多项式时间？
+- **不可预测性分析**：序列模型的下一 token 不可预测 ⇒ 整体伪随机？hybrid 链有多长？
+- **迁移到隐私 ML**：差分隐私的可合成性、模型反演攻击的"信息论 vs 计算"边界、合成安全分析。
+
+## 可能的算法启发
+
+> 本书方法论产出远多于具体算法，但其思想可迁移：
+
+1. **Goldreich-Levin hardcore bit 迁移**：从任何"难逆"映射提取一个不可预测 bit——可用作 ML 中的"难特征"提取。*落点：方法论。*
+2. **GGM 树式构造迁移**：用短 seed 生成指数级"伪随机"结构——可启发参数共享与伪随机路由表。*落点：D4——小 key 大表。*
+3. **Hybrid argument 迁移到分布漂移分析**：把多步训练的分布漂移拆成单步可界——理论分析工具。*落点：方法论。*
+4. **模拟范式迁移到可验证隐私**：构造模拟器证明"模型输出可被独立生成"——隐私证书。*落点：方法论。*
+5. **弱→强放大迁移到集成学习**：弱学习器放大为强学习器是 PAC-boosting 的镜像，但证明不能假设基学习器独立。*落点：方法论。*
+
+## GPU 友好性警告
+
+> 本书几乎不涉及 GPU——它的产物是定义、定理、归约，不是可算的 kernel：
+
+**天然不友好但理论友好：**
+- **OWF/PRG/PRF 的通用构造**：HILL/GGM 构造常数巨大，实际不可用；理论存在性证明。
+- **ZK for NP 通用构造**：G3C 模板 round 复杂度高、常数大；实际用 Sigma/Fiat-Shamir 专用构造。
+- **Leftover Hash Lemma**：提取随机性的信息论工具，构造可用但效率依赖熵参数。
+
+**方法论层面友好：**
+- **归约论证、hybrid、模拟范式**：纯逻辑推理，不涉及 GPU。
+- **Goldreich-Levin hardcore bit**：列表解码可张量化（Hadamard 变换），但实际用于密码学而非 ML。
+- **计算不可区分框架**：用于 ML 分布评估的理论语言，不直接落 GPU。
+
+**反模式警告：**
+- 把 HILL/GGM 通用构造当实用方案——常数灾难性，只证存在性。
+- 用计算不可 distinguishability 直接做 ML loss——不可导，只能做评估指标。
+- 假设"PPT = 可行"在量子/专用硬件下仍成立——需扩展到 BQP 敌手。
+
+## 该调用哪个思想透镜
+
+配合 `../../lenses/` 下的思想透镜：
+
+- **`axiomatization`（公理化）**：定义即公理；假设相容性/独立性/完备性——本书的核心方法论。
+- **`categorical`（范畴化）**：原语间的蕴含关系形成偏序；泛性质（OWF 是最小密码原语）。
+- **`algorithmic`（算法）**：归约即算法变换；黑盒 vs 非黑盒；多项式时间可行性。
+- **`probabilistic`（概率统计）**：忽略函数、不可区分、hybrid argument、birthday 攻击。
+- **`duality`（对偶）**：信息论 vs 计算安全；敌手视角 ↔ 模拟器视角；定义中"易 ↔ 难"的对偶。
+- **`perturbation`（扰动）**：弱→强放大是非平凡扰动分析；不可假设独立性。
+- **`local-to-global`（局部到整体）**：单抽样不可区分 → 多抽样（需高效构造）；单步 hybrid → 全链。
+
+## 反模式
+
+- **把定义当构造**：定义只说"该是什么"，构造才说"怎么做"；只有定义没有构造等于空话。
+- **假设独立性强放大**：弱→强放大证明不能假设块独立，否则证明错；计算设置中独立性是奢侈品。
+- **混淆黑盒与非黑盒**：黑盒分离结果只对黑盒构造有效；非黑盒可能突破分离。
+- **把 asymptotic 当 concrete**：渐近安全 ⇒ 具体安全需要多项式常数小；不查常数就部署是赌博。
+- **把 ZK 的 HVZK 当通用 ZK**：诚实验证者 ZK 弱于恶意验证者 ZK；并行合成 ZK 不闭，WI 才闭。
+- **把 PPT 假设当永恒**：量子计算（BQP）与侧信道不在 PPT 模型内；部署前要扩展敌手模型。
+- **堆元定理而不诊断假设**：先问"方案依赖哪条假设、能否弱化、是否有黑盒分离"，再选工具。
+
+## 深挖入口
+
+> **书目信息**：Oded Goldreich, *Foundations of Cryptography, Volume 1: Basic Tools*, Cambridge University Press, 2001. ISBN 978-0-521-79235-9.
+>
+> **启用方式**：将 `Foundations of Cryptography.pdf` 放入 `math_book/`，Agent 自动 `pdftotext` + grep 定位原文页。
+
+值得深读的真实章节：
+
+> 以下章节号对应原书 Goldreich Vol.1 实际目录（罗马数字为原书 part 编号，阿拉伯数字为章号；非精简版自编），用于 `math_book/` PDF 回查定位。
+
+- **§2.1-2.4 概率论与计算不可区分**——现代密码学的概率语言基石。
+- **§2.5-2.6 OWF 定义与弱/强区分**——密码学最小假设的形式化。
+- **§3 PRG 与 hardcore bit**——OWF→PRG 的构造链与 Goldreich-Levin。
+- **§4 归约论证 + hybrid + 放大 + 模拟 + 不可预测⇔伪随机**——证明技术工具箱。
+- **§5 PRF（GGM 树）**——指数域来自多项式 key 的"魔法"。
+- **§6 ZK 的模拟范式与 ZK for NP**——零知识的认识论。
+- **§7 元定理：定义驱动、黑盒 vs 非黑盒、假设偏序**——密码学的认识论层级。
+- **§9 假设清单与局限**——显式假设（PPT、OWF、非一致）与隐含假设（归约有意义、渐近⇒具体、敌手模型完备、随机可得）。
+- **§X 问题求解清单**——分析密码学问题的 8 步法（两方不对称、安全性质精确化、假设识别、归约检查、合成验证、量词顺序、黑盒判定、平凡反例）。

package/references/books/introduction-to-modern-cryptography.md

@@ -0,0 +1,155 @@
+# 现代密码学导论 / Introduction to Modern Cryptography
+
+> Jonathan Katz & Yehuda Lindell, *Introduction to Modern Cryptography*, 2nd Edition, CRC Press, 2015。以**形式化定义 + 工程落地**为统一主题的现代密码学教科书——定义、假设、证明三原则的实战入门。
+
+## 概要
+
+本书把现代密码学（1980s 后）与古典密码学区分开来的三大原则：**(1) 形式化定义、(2) 精确假设、(3) 安全证明**。定义先于设计：先说清"破是什么、敌手能做什么"，再构造。证明是归约——破方案 ⇒ 违反假设。Kerckhoffs 原则：安全完全在密钥，算法公开。
+
+**激活边界**：本书是**定义与工程并重**——讲形式化安全定义（EAV/CPA/CCA/AE）、构造范式（SPN/Feistel/Merkle-Damgård/KEM-DEM/Fiat-Shamir）、攻击模型、实现陷阱，比 Boneh-Shoup 更入门、比 Goldreich 更工程。这里给的是"安全定义怎么写、构造怎么选、实现哪里翻车"的**激活索引**。
+
+## 可迁移到 AI/系统设计的核心结构
+
+| 定义/构造（章节） | 迁移到 AI/ML/系统设计 |
+|---|---|
+| **三原则（定义/假设/证明，§1）** | 任何安全系统的科学方法论：先形式化威胁，再声明假设，再归约证明 |
+| **Kerckhocks 原则（§1.3）** | 安全不依赖算法保密；可审计、可标准化、可替换——ML 模型安全的同构原则 |
+| **概率论即安全语言（§2.1）** | Bayes 定理分析信息泄露；K 与 M 独立；随机化加密的必要性 |
+| **渐近 vs 具体安全（§2.3）** | asymptotic 给理论，concrete 给部署；ML 安全分析需要具体 bit 级界 |
+| **熵与最小熵（§2.4）** | 最小熵 = 一次猜测成功率；ML 中的"可猜性"量化 |
+| **完美保密层级（§3.1-3.2）** | 信息论安全（|K|≥|M|）⇒ 计算安全（PPT + negl）的放松链 |
+| **CPA/CCA/AE 定义族（§3.2-3.5）** | 威胁模型层级化；AE = CCA + 密文完整性，是工程标准 |
+| **MAC 不可伪造性（§3.4）** | 强不可伪造（不允许新 tag on 已签消息）；常数时间验证；重放需上层处理 |
+| **Hash 与 birthday（§3.6）** | 碰撞抗性⇒第二原像⇒原像（单向）；n-bit 输出给 n/2-bit 碰撞抗性 |
+| **归约证明范式（§5）** | 假设矛盾→构造 B 用 A→B 成功概率非忽略；模拟须完美 |
+| **Hybrid argument（§5.3）** | 相邻 hybrid 差异 ≤ ε，poly·ε 仍忽略；渐近安全的基石 |
+| **Game-hopping（§5.4）** | 现代版 hybrid：G₀→G₁→...→G_k，相邻用假设，末态敌手优势=1/2 |
+| **OWF ⇔ PRG ⇔ PRF ⇔ 对称密码（§6）** | 对称密码的统一归约链；通用构造低效，实际用 AES/SHA |
+| **数论假设族（§7）** | DL/CDH/DDH 严格强弱；RSA ≤ factoring；群选择影响 DDH |
+| **SPN/Feistel 构造（§8.1-8.2）** | confusion-diffusion 范式；Feistel 不要求 f 可逆；Luby-Rackoff 3/4 轮 |
+| **Merkle-Damgård（§8.3）** | 抗碰撞压缩函数 ⇒ 抗碰撞哈希；但 length-extension 攻击，非 ROM |
+| **KEM/DEM 混合加密（§8.4）** | 公钥建密钥、对称加密消息；~700x 加速；DEM 只需 EAV |
+| **Hash-and-Sign + Fiat-Shamir（§8.5-8.6）** | 签名先哈再签；FS 把交互识别转非交互签名（ROM） |
+| **ROM 方法论与争议（§9）** | extractability + programmability；Canetti 反例；比无证明强 |
+
+**激活家族**：
+
+- **定义系（§3）**：EAV/CPA/CCA/AE、MAC 不可伪造、Hash 抗碰撞——回答"安全到底指什么"。
+- **证明系（§5）**：归约模板、distinguisher-to-adversary、hybrid、game-hopping——回答"怎么证明"。
+- **原语系（§6）**：OWF/PRG/PRF/PRP/hardcore bit——回答"基础工具与蕴含链"。
+- **假设系（§7）**：factoring/RSA/DL/CDH/DDH/GDH——回答"公钥密码的依赖图"。
+- **构造系（§8）**：SPN/Feistel/Merkle-Damgård/KEM-DEM/Hash-and-Sign/Fiat-Shamir——回答"工程构造怎么选"。
+
+## 关键桥接事实（激活速记）
+
+- **三原则：定义先、假设明、证明归约**（§1.1）：缺一定义则"是否安全"无从谈起。
+- **Shannon：完美保密 ⇒ |K|≥|M|**（§3.1）：信息论安全的代价，OTP 是唯一最优。
+- **EAV ⇔ 语义安全**（§3.2）：敌手对 c 能算的，无 c 也能算——计算不可区分的具象化。
+- **确定性加密 ⇏ CPA 安全**（§3.2）：公钥/对称下都破，LR-oracle 一查即破。
+- **CPA ⇒ 多重加密（公钥）；对称下不自动**（§3.3）：公钥敌手本可任意加密。
+- **CCA ⇒ 不可延展**（§3.2）：变换密文成相关明文不可行；拍卖/投票/金融必需。
+- **AE = CCA + 密文完整性；EtM 是 AE 的推荐路径**（§3.5）：MtE 用于 SSL 有 padding oracle。
+- **生日攻击：n-bit hash 抗碰撞仅 n/2-bit**（§3.6）： Floyd 循环查找 O(2^{n/2}) 时间常量空间。
+- **OWF ⇔ PRG ⇔ PRF ⇔ 对称密码**（§6.5）：统一归约链，通用构造低效，实际用 AES/SHA。
+- **Goldreich-Levin：任何 OWF 可加 hardcore bit**（§6.2）：⟨x,r⟩ mod 2 是 hardcore；列表解码。
+- **PRP Switching Lemma：Q 查询区分 PRP/随机函数 ≤ Q²/2^{n+1}**（§6.4）：AES 当 PRF。
+- **DDH ≤ CDH ≤ DL；factoring ≥ RSA**（§7）：假设严格强弱，群选择影响 DDH（Z_p\* 全群 DDH 易，用 QR 子群）。
+- **CRT：Z_N ≅ Z_p × Z_q**（§7.4）：结构分解，加速 RSA 解密，Hastad 广播攻击根因。
+- **Luby-Rackoff：3 轮 Feistel + PRF = PRP；4 轮 = 强 PRP**（§8.2）：Feistel 不要求 f 可逆。
+- **Merkle-Damgård：抗碰撞压缩函数 ⇒ 抗碰撞哈希；但 length-extension 攻击**（§8.3）：非 ROM。
+- **KEM/DEM：CPA-secure KEM + EAV-secure DEM ⇒ CPA-secure 混合**（§8.4）：~700x 加速。
+- **ROM：extractability + programmability；存在反例但实用**（§9）：比无证明强，比标准模型弱。
+
+## 适合激活的问题类型
+
+- **威胁模型分层**：CPA/CCA/AE 哪层贴需求？敌手能力边界在哪？是否需要不可延展？
+- **构造选择**：对称选 AES-CTR/GCM 还是 ChaCha20？公钥选 RSA-OAEP/ElGamal/ECC？哈希选 SHA-2/SHA-3/BLAKE3？
+- **归约证明书写**：假设→构造 B 用 A→B 成功非忽略；模拟完美否？紧度多少？
+- **参数计算**：n-bit 安全需多大 key/输出？生日/量子下打几折？归约紧度补偿？
+- **实现陷阱诊断**：常数时间比较？IV/nonce 唯一？密钥独立？padding oracle？length-extension？
+- **协议合成审查**：EtM/MtE/EaM？独立密钥？上下文绑定？降级防护（transcript hash）？
+- **迁移到 ML 安全**：对抗样本的 CPA 类比？模型水印的 commitment 类比？差分隐私的归约风格？
+
+## 可能的算法启发
+
+> 本书工程导向，可迁移的算法启发比 Goldreich 更具体：
+
+1. **AES-CTR + EtM 作为可验证流水线**：加密 + 认证用独立密钥，PRF 提供两路——可迁移到 ML 数据流水线的完整性保护。*落点：D1/D2——AES-NI 加速。*
+2. **KEM/DEM 混合范式迁移**：用"重计算建 key + 轻计算处理数据"的模式——ML 中可迁移到"昂贵的初始化 + 廉价的批处理"。*落点：D2/D3——批处理友好。*
+3. **Hash-and-Sign 迁移到内容寻址**：先哈希再处理，任意长输入压到固定长——ML 数据指纹、模型版本管理。*落点：D1——哈希廉价。*
+4. **Fiat-Shamir 迁移到可验证推理**：交互证明转非交互，让 AI 推理产出可独立验证的证明。*落点：D3——验证端廉价。*
+5. **ROM 可编程性迁移到"随机预言机测试"**：设计 ML 评估时把"模型当黑盒预言机"，测试其可编程性——对抗鲁棒性评估方法。*落点：方法论。*
+
+## GPU 友好性警告
+
+> 本书涉及的多数密码学原语不在 GPU 友好维度，与 AI 方向书稿相反：
+
+**天然不友好但可专用硬件加速：**
+- **AES（SPN）/SHA-3（sponge）**：走 AES-NI/SHA-NI 专用指令，不走 GEMM。*违反 D1/D2。*
+- **RSA/ElGamal 大数模乘**：bigint，非张量化。*违反 D1/D2/D3。*
+- **EC 标量乘**：点加非 GEMM 化。*违反 D2。*
+
+**方法论层面友好：**
+- **归约/hybrid/game-hopping**：纯逻辑推理，不涉及 GPU。
+- **KEM/DEM 分离**：DEM 部分可 GEMM 化（对称加密批量）。
+- **Hash-and-Sign**：哈希部分可批量 SIMD（SHA-NI）。
+
+**反模式警告：**
+- 把 AES/SHA 当 GEMM 算子优化——南辕北辙，走专用指令。
+- 在训练循环里频繁调用密码学原语——非张量化、拖垮 SM。
+- 用密码学哈希做 ML loss——不可导，无法反传。
+- 用 Merkle-Damgård 哈希做 MAC 又当 ROM——length-extension 攻击。
+
+## 该调用哪个思想透镜
+
+配合 `../../lenses/` 下的思想透镜：
+
+- **`axiomatization`（公理化）**：三原则中的"定义先于设计"；假设的相容性、独立性。
+- **`algorithmic`（算法）**：归约即算法变换；复杂度可行性；SPN/Feistel 的迭代结构。
+- **`probabilistic`（概率统计）**：忽略函数、优势、生日悖论、Bayes 分析信息泄露。
+- **`duality`（对偶）**：信息论 vs 计算安全；敌手 ↔ 模拟器；定义中"易 ↔ 难"对偶。
+- **`symmetry`（对称）**：Feistel 的左右对称；SPN 的混淆-扩散对称；群作用的对称性。
+- **`categorical`（范畴化）**：原语蕴含偏序（OWF⇒PRG⇒PRF⇒...）；标准型即等价类代表。
+- **`game`（博弈）**：攻击游戏、威胁模型、敌手能力层级（CPA/CCA/AE）。
+- **`perturbation`（扰动）**：归约紧度分析、参数补偿、量子威胁下的安全降级。
+
+## 反模式
+
+- **无定义就谈安全**："直觉上安全"是空话；先写攻击游戏再谈构造。
+- **混淆必要与充分**：大密钥必要非充分；碰撞抗性⇒第二原像⇒原像，反方向不成立。
+- **假设"密钥难恢复=安全"**：Enc_k(m)=m 密钥不可恢复但零安全。
+- **加密与 MAC 共用密钥**：EtM 要独立密钥，否则跨原语交互致破。
+- **确定性公钥加密**：公钥场景下确定性必破（加密-比对）。
+- **IV/nonce 重用**：CTR/GCM 重用即灾难；GCM 重用甚至泄露 GHASH key。
+- **非常数时间 MAC 比较**：`memcmp` 短路泄露前缀，时序攻击可伪造。
+- **Merkle-Damgård 当 ROM**：length-extension 攻击；需 HMAC 或 sponge。
+- **RSA 明文签名**：plain RSA 签名可伪造；需 PSS/FDH padding。
+- **DSA/ECDSA nonce 重用**：重复 nonce 直接泄露私钥。
+- **堆定理而不诊断瓶颈**：先问"威胁模型哪层、归约假设什么、实现陷阱在哪"，再选工具。
+
+## 深挖入口
+
+> **书目信息**：Jonathan Katz & Yehuda Lindell, *Introduction to Modern Cryptography*, 2nd Edition, CRC Press, 2015. ISBN 978-1-4665-7026-1.
+>
+> **启用方式**：将 `Introduction to Modern Cryptography.pdf` 放入 `math_book/`，Agent 自动 `pdftotext` + grep 定位原文页。
+
+值得深读的真实章节：
+
+> 以下章节号对应原书 Katz-Lindell 2nd ed. 实际目录（非精简版自编），用于 `math_book/` PDF 回查定位。
+
+- **§1 现代密码学范式**：三原则、Kerckhoffs、安全证明的相对性。
+- **§2 数学基础**：概率、渐近安全、具体 vs 渐近、熵。
+- **§3 安全定义层级**：完美保密、EAV/CPA/CCA、多重加密、MAC、AE、Hash。
+- **§4 不可区分性框架**：计算不可区分、实验模板、1/2+negl 的意义。
+- **§5 归约证明方法论**：归约模板、distinguisher-to-adversary、hybrid、game-hopping。
+- **§6 原语与归约**：OWF、hardcore、PRG、PRF/PRP、Switching Lemma、假设层级链。
+- **§7 数论假设**：factoring/RSA、DL/CDH/DDH、CRT、群选择。
+- **§8 构造范式**：SPN、Feistel、Luby-Rackoff、Merkle-Damgård、KEM/DEM、Hash-and-Sign、Fiat-Shamir。
+- **§9 ROM**：定义、extractability/programmability、争议、Canetti 反例。
+- **§10 攻击模型**：攻击层级、延展性、侧信道与实现攻击、敌手建模。
+- **§11 关键定理与不可能性**：Shannon 界、确定性公钥不可 CPA、CPA⇔多重（公钥）、DDH⇒ElGamal CPA、EtM⇒CCA、Merkle-Damgård 抗碰撞提升。
+- **§12 证明工具箱**：直接模拟、嵌入挑战、随机猜测放大、ROM oracle 检查；并/差/switching lemma。
+- **§13 信息论 vs 计算**：哲学分野、三重放松、何时用何框架。
+- **§14 领域设计原则**：对称/公钥/Hash/签名各自的工程铁律。
+- **§15 数学工具参考**：数论、群论、概率、渐近速查。
+- **§16 跨域迁移**：威胁建模方法论、可迁移概念（优势量化、合成不保安全、必要 vs 充分、假设最小化、可证明安全的局限）。

package/references/skill-index.en.md

@@ -1,7 +1,20 @@
-# Skill Index: Lens Library, Knowledge Base, Design Pattern Library, Workflow Examples
+# Skill Index: Lens Library, Activation Anchors, Design Translation Prototypes, Workflow Examples
 
 > This file is extracted from `../skills/math-research-activator/SKILL.en.md` for reference when the full catalogs are needed. SKILL.en.md retains condensed summaries with links to this file.
 
+## Domain Router Overview (v3.2.0)
+
+> Full definition: see the Domain Router section in `../skills/math-research-activator/SKILL.en.md`. Only a summary table here:
+
+| Domain | Loaded Content | Signal Keywords |
+|--------|----------------|------------------|
+| **AI Research** | `../knowledge-base/` (7 domains, 31 anchors) + `../design-patterns/` (5 types, 22 patterns) + 7 AI books | attention/loss/routing/representation/compression/MoE/transformer/KV-cache/LoRA/SSM/diffusion/RL |
+| **Cryptography** | 3 crypto books + shared math anchors (on demand) | encryption/signature/MAC/PRF/PRG/PRP/OWF/CCA/CPA/AE/ZK/reduction/DL/CDH/DDH/RSA/ECC/lattice |
+| **Pure Math** | `../lenses/` + corresponding `../knowledge-base/` anchors | probability/information/entropy/group/ring/field/matrix/spectrum/optimization/convexity/perturbation/complexity |
+| **AI×Crypto** | dual-domain load + intersection annotation | "PRF for watermarking," "adversarial example reduction," "verifiable inference" |
+
+> Core rules: domain judgment precedes lens invocation; shared math loads on demand by problem structure (not by domain tag); no pollution across non-cross domains; gap-protocol temporary cards are domain-tagged.
+
 ## Language Routing & Mixed-Input Rules (Full Version)
 
 Language routing only determines "which language version to read" and "what language to respond in." It does NOT affect whether the math system triggers or the A/B/C/D/E scenario classification.
@@ -49,11 +62,11 @@ Each lens answers: What is this perspective? What kinds of problems is it suited
 | Probabilistic & Statistical | `../lenses/probabilistic.en.md` | Quantifying uncertainty, Bayesian updating |
 | Algorithmic | `../lenses/algorithmic.en.md` | Complexity, feasibility, parallelizability |
 
-## Knowledge Base (Organized by Mathematical Domain)
+## Activation Anchors (Organized by Mathematical Domain)
 
-Each knowledge card answers: Minimal definition, core formulas, applicable problems, AI design translation, engineering feasibility, risks.
+Each anchor is not a closed knowledge card but answers: what math structure to activate, what deeper knowledge it connects to, what AI design actions it translates to, and how to extend when insufficient.
 
-| Domain | Directory | Knowledge Cards |
+| Domain | Directory | Anchors |
 |--------|-----------|----------------|
 | Matrix Analysis | `../knowledge-base/matrix-analysis/` | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | Optimization | `../knowledge-base/optimization/` | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -75,6 +88,18 @@ Each design pattern answers: Mathematical origin, AI module form, implementable
 | Representation | `../design-patterns/representation/` | shared-private-decomposition, manifold-representation, equivariant-split, subspace-alignment |
 | Compression | `../design-patterns/compression/` | low-rank-kv-cache, spectral-token-pruning, topology-preserving-compression, leverage-score-selection |
 
+## Cryptography Book Distillations (3 New Books)
+
+The reference layer now covers 10 books. The following three support cryptographic security definitions, constructions, reduction proofs, and protocol analysis. Their contents are already in English, so they intentionally use the ordinary .md suffix without a CN/EN split (unlike the AI-direction books which are paired CN/EN; crypto books are English-only, hence no .en.md version).
+
+| Book | File | Primary Use | Activation Family |
+|------|------|-------------|--------------------|
+| Boneh & Shoup, *A Graduate Course in Applied Cryptography* | `books/applied-cryptography.md` | Attack games, reduction proofs, symmetric/public-key constructions, zero knowledge, and protocols | Definitions/Reductions/Primitives/Protocols |
+| Goldreich, *Foundations of Cryptography, Volume 1: Basic Tools* | `books/foundations-of-cryptography.md` | Computational indistinguishability, OWF/PRG/PRF, zero knowledge, and commitments | Definitions/Proofs/Constructions/Meta-theorems |
+| Katz & Lindell, *Introduction to Modern Cryptography*, 2nd ed. | `books/introduction-to-modern-cryptography.md` | Formal security definitions, IND/CCA, MACs, hashing, and digital signatures | Definitions/Proofs/Primitives/Assumptions/Constructions |
+
+> **Domain Router note**: These three books belong to the **Cryptography Layer** and are loaded only when Domain Router determines the problem is cryptography or AI×crypto intersection. Pure AI problems do not load them. Shared math anchors (probability/information/algebra) are loaded on demand without redundancy.
+
 ## Workflow Example
 
 **User**: "Design a new KV Cache compression method that preserves long-range dependencies — I don't want to just do top-k."
@@ -89,10 +114,11 @@ Step 2 — Lens Selection:
   2. Information Theory (retain states with maximum mutual information)
   3. Topological (preserve critical connectivity points of sequential structure)
 
-Step 3 — Knowledge Query:
-  → low-rank-approximation (Matrix Analysis)
+Step 3 — Activation Anchors:
+  → low-rank-approximation (Matrix Analysis anchor)
   → leverage-score-selection (Design Pattern: compression)
-  → information-bottleneck (Probability & Information)
+  → information-bottleneck (Probability & Information anchor)
+  If existing anchors are insufficient, enter Knowledge Gap Protocol to generate a temporary knowledge card.
 
 Step 4 — Design Translation:
   Candidate A: Spectral KV Compression (low-rank + leverage score)

package/references/skill-index.md

@@ -1,7 +1,20 @@
-# Skill 索引：透镜库、知识库、设计模式库、工作流范例
+# Skill 索引：透镜库、激活锚点、设计翻译原型、工作流范例
 
 > 本文件从 `../skills/math-research-activator/SKILL.md` 提取，供需要查阅完整目录时使用。SKILL.md 保留精简摘要和指向本文件的链接。
 
+## Domain Router 总览（v3.2.0）
+
+> 完整定义见 `../skills/math-research-activator/SKILL.md` 的 Domain Router 小节。此处仅列摘要表：
+
+| Domain | 加载内容 | 信号词 |
+|--------|---------|--------|
+| **AI 研究** | `../knowledge-base/`（7 领域 31 锚点）+ `../design-patterns/`（5 类 22 模式）+ AI 方向 7 本书 | attention/loss/routing/representation/compression/MoE/transformer/KV-cache/LoRA/SSM/扩散/RL |
+| **密码学** | 3 本密码学书稿 + 共用数学锚点（按需） | 加密/签名/MAC/PRF/PRG/PRP/OWF/CCA/CPA/AE/零知识/归约/DL/CDH/DDH/RSA/ECC/格密码 |
+| **纯数学** | `../lenses/` + `../knowledge-base/` 对应锚点 | 概率/信息/熵/群/环/域/矩阵/谱/优化/凸性/扰动/复杂度 |
+| **AI×密码交叉** | 双 domain 加载 + 交叉点标注 | "PRF 做模型水印""对抗样本归约""可验证推理" |
+
+> 核心规则：domain 判定先于透镜调用；共用数学按问题结构（非 domain 标签）按需加载；不跨域时不污染；缺口协议临时卡标注 domain。
+
 ## 语言路由与混合输入规则（完整版）
 
 语言路由只决定"读取哪个语言版本的说明"和"最终用什么语言回答"，不参与数学系统是否触发、也不参与 A/B/C/D/E 场景判断。
@@ -49,11 +62,11 @@
 | 概率统计 | `../lenses/probabilistic.md` | 量化不确定性、贝叶斯更新 |
 | 算法 | `../lenses/algorithmic.md` | 复杂度、可行性、并行性 |
 
-## 知识库（按数学领域组织）
+## 激活锚点（按数学领域组织）
 
-每个知识卡片回答：最小定义、核心公式、适用问题、AI 设计翻译、工程可行性、风险。
+每个锚点不是封闭知识卡，而是回答：激活什么数学结构、连接哪些更深知识、可翻译成哪些 AI 设计动作、不足时如何扩展。
 
-| 领域 | 目录 | 知识卡片 |
+| 领域 | 目录 | 锚点 |
 |------|------|---------|
 | 矩阵分析 | `../knowledge-base/matrix-analysis/` | projection, spectral-decomposition, low-rank-approximation, positive-semidefinite, matrix-perturbation |
 | 最优化 | `../knowledge-base/optimization/` | lagrangian-duality, convex-optimization, constrained-optimization, riemannian-optimization, proximal-method |
@@ -75,6 +88,18 @@
 | 表示 | `../design-patterns/representation/` | shared-private-decomposition, manifold-representation, equivariant-split, subspace-alignment |
 | 压缩 | `../design-patterns/compression/` | low-rank-kv-cache, spectral-token-pruning, topology-preserving-compression, leverage-score-selection |
 
+## 密码学参考书蒸馏稿（新增 3 本）
+
+参考层现共 10 本书。以下 3 本用于密码学安全定义、构造、归约证明与协议分析；正文为英文蒸馏稿，不分中英（与 AI 方向书稿的中英成对并列不同；密码学书稿正文已是英文，故无 .en.md 版本）。
+
+| 书目 | 文件 | 主要用途 | 激活家族 |
+|------|------|---------|---------|
+| Boneh & Shoup, *A Graduate Course in Applied Cryptography* | `books/applied-cryptography.md` | 攻击游戏、归约证明、对称/公钥构造、零知识与协议 | 定义系/归约系/原语系/协议系 |
+| Goldreich, *Foundations of Cryptography, Volume 1: Basic Tools* | `books/foundations-of-cryptography.md` | 计算不可区分、OWF/PRG/PRF、零知识与承诺、元定理 | 定义系/证明系/构造系/元理系 |
+| Katz & Lindell, *Introduction to Modern Cryptography*, 2nd ed. | `books/introduction-to-modern-cryptography.md` | 形式化安全定义、IND/CCA、MAC、哈希与数字签名、构造范式 | 定义系/证明系/原语系/假设系/构造系 |
+
+> **Domain Router 提示**：这三本书属**密码学层**，仅当 Domain Router 判定问题属密码学或 AI×密码交叉时加载。纯 AI 问题不加载。共用数学锚点（概率/信息/代数）按需加载，不重复。
+
 ## 工作流范例
 
 **用户**："设计新的 KV Cache 压缩方法，保留长期依赖，不想只做 top-k"
@@ -89,10 +114,11 @@
   2. 信息论（保留最大互信息状态）
   3. 拓扑（保留序列结构关键连接点）
 
-第三步 知识查询：
-  → low-rank-approximation（矩阵分析）
-  → leverage-score-selection（设计模式：压缩）
-  → information-bottleneck（概率与信息）
+第三步 激活锚点：
+  → low-rank-approximation（矩阵分析锚点）
+  → leverage-score-selection（压缩设计模式）
+  → information-bottleneck（概率与信息锚点）
+  若现有锚点不足，进入 Knowledge Gap Protocol 生成临时知识卡。
 
 第四步 设计翻译：
   候选 A：Spectral KV Compression（低秩 + leverage score）