11 · 密钥总账速查

💡 一句话理解： Signal 的 10 种密钥/派生值看似繁多, 但每一种都有不可替代的作用—— 去掉 IK 失去身份、去掉 SPK 失去中期可用、去掉 OTK 失去额外前向、去掉 EK 失去会话隔离、去掉 RK 失去后向安全、去掉 CK/MK 失去前向安全、去掉 ratchet_key 双方无法同步翻转。理解这张表 = 理解整个 Signal Protocol 的状态空间。

📚 基础知识速查 · Reference

不熟悉以下底层概念? 这里是 30 秒回顾。

分类密钥按生命周期分类

long-term (终身, 如 IK), medium-term (周/月, 如 SPK), ephemeral (单会话, 如 EK), derived (单条消息, 如 MK)。

越短命 → 前向安全越强

安全FS vs PCS

Forward Secrecy 保护过去 (KDF 单向), Post-Compromise Security 保护未来 (DH 注入新熵)。Signal 同时提供。

FS ⇄ PCS · 时间方向上对称

概念派生 vs 协商

派生 (Derivation) = 单方计算 (KDF), 协商 (Agreement) = 双方互动 (DH)。两者协同支撑整个协议。

derive: KDF · agree: DH

实现vodozemac::Message

Olm/vodozemac 的消息 struct, 5 个字段: version / ratchet_key / chain_index / ciphertext / mac。直接对应本图谱。

pub struct Message { version, ratchet_key,
  chain_index, ciphertext, mac }