iostiny/doc
中文技术文档与图谱

01 IM 安全通信 端到端加密 · 握手 · 群组 · 多设备

CK₁ CK₂ CK₃ CK₄ … KDF KDF KDF KDF MK₁ MK₂ MK₃ MK₄ Signal · Symmetric Ratchet · 每条消息派生专属 MK

PREVIEW  ·  SIGNAL DOUBLE RATCHET

E2EE · SIGNAL + MATRIX · 协议图谱

E2EE 协议图谱 · Signal + Matrix

端到端加密协议族中文图谱。主线 Signal Protocol（Double Ratchet + X3DH + Sesame）配 PQXDH 后量子演进，外加 Matrix vodozemac 对照专页：3DH vs X3DH、Megolm vs Sender Keys、联邦威胁面、PQ 差距。每条主路径附 Rust 实现骨架与源码引用。

  • 25 步 DR 渐进教程 · 含 #step-N 锚点
  • 11 张老手架构图 + Sesame 多设备
  • PQXDH 后量子演进 · iOS+Android 源码核实
  • Matrix vodozemac 对照 · 含 PQ-Olm 推演
开始阅读 →
Noise · XX handshake · 三轮完成 mutual auth + identity hiding A initiator B responder → e ← e, ee, 🔒s, es → 🔒s, se Split() → sendCipher / recvCipher

PREVIEW  ·  NOISE PROTOCOL · XX HANDSHAKE

NOISE · HANDSHAKE · 渐进入门

Noise Protocol · 渐进图谱

以 bitchat 这个 BLE peer-to-peer 聊天 app 为载体，16 步看穿 Noise XX 握手三轮、ck/h 双账本、Split 分桨、Transport phase。每个关键步骤附对齐 bitchat 真实源码的 Swift + CryptoKit 骨架。

  • 16 步交互教程 · 含 #step-N 锚点
  • e/s/ee/es/se/ss 记号系统
  • Swift + CryptoKit 骨架
  • 对齐 bitchat 真实 BLE 落地
开始阅读 →

02 区块链密码学 零知识证明 · 承诺方案 · 椭圆曲线

ZKP · Schnorr + Fiat–Shamir · 交互→单条证明 P Prover V Verifier t = g^r FIAT–SHAMIR c = H(g, h, t) s = r + c · x g^s ≟ t · h^c ✓

PREVIEW  ·  ZERO-KNOWLEDGE PROOFS

ZKP · COMMITMENT · 渐进入门

Zero-Knowledge Proofs · 渐进图谱

从 Ali Baba 洞穴直觉出发，17 步推到 Schnorr 协议、Fiat–Shamir 拍扁、Pedersen commitment、R1CS 算术化，最后触及 zk-SNARK / zk-STARK 与 Zcash / ZK-Rollup / DECO 的真实落地。每个关键步骤附 arkworks Rust 骨架与权威外链。

  • 17 步交互教程 · 含 #step-N 锚点
  • 三性质 → Schnorr → Fiat-Shamir
  • arkworks / Groth16 Rust 骨架
  • SNARK / STARK 对比 + 应用三例
开始阅读 →

03 AGENT / LLM 智能体协议 · 推理与上下文工程

Agent ↔ Human 通道：MARKDOWN → HTML 格式转移 AGENT Claude Code # PLAN.MD +----+ +----+ | A |->| B | 已死 · MARKDOWN ⚡ PLAN.HTML table · svg · slider · responsive 当立 · HTML

PREVIEW  ·  AGENT 时代 · MARKDOWN → HTML

AGENT · HTML · 工作流转移

AGENT 时代，Markdown 已死，HTML 当立

Thariq 原文《Using Claude Code: The Unreasonable Effectiveness of HTML》图谱化解读。提炼 Anthropic Claude Code 团队的工作流转移：Agent 写、人读时，"易编辑"已是被牺牲的优势，"信息密度 + 易分享 + 可交互"才是新核心。含 6 大优势、5 大用例（中英双语 prompt）、6 条 FAQ。

  • 核心命题：4 维通道转移图
  • 6 大优势 · 每条配 mini SVG
  • 5 大用例 · 双语 prompt 对照
  • FAQ：版本控制 / token / 速度
开始阅读 →
LLM 内部数据流 · 文本 → token → N 层 Transformer → 下一个 token "今天天气真" raw text [1271, 88, 9042, …] Transformer × N Attention FFN 残差流 + RMSNorm + RoPE softmax(logit/T) 好 不错 热 香蕉 "好" 拼回输入再循环

PREVIEW  ·  HOW LLMS WORK · TOKEN PIPELINE

LLM · TRANSFORMER · 编译图谱

LLM 到底是怎么工作的 · 中文编译图谱

0xkato《How LLMs Actually Work》中文编译重述。顺着一句话在模型内部走完的全程讲：分词、embedding、RoPE、attention、多头、FFN/MoE、残差流、下一个 token 预测，收尾对比"架构 vs 权重"与 2025 共识配置。给写代码但没啃过 Transformer 的人。

  • 10 节顺数据流讲完整条流水线
  • temperature 滑杆 · softmax 实验台
  • GQA / MoE / RoPE 等缩写一次拿下
  • 2017 原版 vs 2025 共识速查表
开始阅读 →

04 网络与系统 流量代理 · 虚拟网卡 · 路由 · DNS

VPN/代理工具 · 默认路由 → TUN 虚拟网卡 → 用户态进程分流 Browser curl / Game System 路由表 default → utun5 劫持 TUN utun5 (虚拟网卡) Surge / Clash 规则匹配 domain · IP · proc 用户态进程 PROXY · 远端代理 SS / Trojan / VLESS DIRECT · en0 物理网卡 → 网关

PREVIEW  ·  VPN/代理 · TUN 虚拟网卡 + 路由劫持

VPN · TUN · 代理工具原理

VPN / 代理工具原理 · 渐进图谱

从最朴素的"包怎么离开你电脑"开始，30 步推到 NAT、应用层代理、TUN 虚拟网卡、路由劫持、用户态分流、fake-ip、DNS 泄漏、IPv6 双栈、为什么重启前要先关 Surge。原理为主，Surge / Clash / sing-box / V2Ray 作为多个具体例子横向对照。配终端实操命令与配置片段。

  • 30 步渐进教程 · 含 #step-N 锚点
  • TUN + 路由表劫持的工作机制
  • 规则分流 / fake-ip / 进程级规则
  • Surge · Clash · sing-box 配置对照
开始阅读 →

下一个专题在路上·TLS 1.3 解析·PQC 概览·WebRTC E2EE·……