📡 第一册《从长城烽火台到拜占庭将军问题》

引用丛书总纲（定位、写作三律与知识地图），本册聚焦延伸：在存在故障、欺骗或延迟的通信网络中，如何让多数节点就「同一事实」达成一致并据此行动——仅作结构对照，绝不消解长城的庄重意义。

开篇场景

一个具体的传警现场：某夜多墩同时举火，镇城如何判断敌情等级。

小节结构

• 丛书总纲引用与本册问题域引入
• 烽火通信与共识问题的共通性（结构对照声明）
• 本册路线图与读者路径（IT 读史 / 史读技术两条路径）

古今对照

烽燧报告链 ↔ 分布式消息传递；举火品约 ↔ 信号编码协议。

边界声明

烽火系统无形式化保证、无可验证签名，类比仅到「问题结构」层。

坊间说法 vs 可考事实

「烽火台是古代互联网」之类说法 vs 烽燧制度的真实文书与考古依据。

设计原则

通信可靠性设计先于性能；编码有限性即可靠性边界。

事实依据：素材卡 001 · 002 · 003　｜　现代理论参照：拜占庭将军问题的问题域与 n≥3f+1 容错上界（素材卡 005）、共识/一致性与可终止性的形式语义

以考古与文献为据，讲清烽火系统的物理形态、信号编码与组织制度——本章是全册事实地基。

开篇场景

汉塞烽燧的一天：候望、迹天田、日常文书与突发传警的切换。

小节结构

• 汉代烽燧与明代烟墩的考古与文献依据
• 信号编码的有限性：烟、火、旗、炮的组合与可区分信号数量
• 时间与天气约束：昼/夜、风向、能见度对可靠性的影响
• 组织层级：烽堠—卫所—镇城的报告链条与责任制度

古今对照

烽火品约（信号约定）↔ 通信协议；烽堠层级 ↔ 网络拓扑分层。

边界声明

古代无差错控制码、无重传机制；「协议」一词仅取其结构义。

坊间说法 vs 可考事实

「一烽起则万里皆知」的浪漫化叙述 vs 品约条文与传警时延的实测推算。

设计原则

信号集大小决定信息量上限；制度责任链是最早的「运维」。

事实依据：素材卡 001 · 002 · 003 · 004　｜　现代理论参照：有限消息系统模型（消息传递系统与故障模型）、信道容量与可区分信号数的直观联系

汇集可考的误报、迟报与假警报案例，分析人为因素与制度冗余设计——错误是理解系统可靠性的钥匙。

开篇场景

一次误报的完整链路：从举火到核实到平反追责。

小节结构

• 历史记载中的误报、迟报与假警报案例（可考文献）
• 人为因素：疲劳、误判、谎报与追责制度
• 系统冗余设计：交叉确认、多路传报、复核机制

古今对照

误报/漏报 ↔ 假阳性 / 假阴性；复核机制 ↔ 冗余校验。

边界声明

古代复核靠人询与文书往返，无自动超时与多数表决。

坊间说法 vs 可考事实

「烽火戏诸侯」的文学演绎 vs 可考的烽燧问责文书。

设计原则

冗余与复核是可靠性的第一道防线；追责制度塑造节点行为。

事实依据：素材卡 004　｜　现代理论参照：故障模型（崩溃故障/拜占庭故障谱系，参见素材卡 005）、检测与告警工程（心跳、超时、仲裁）、假阳性/假阴性代价框架（素材卡 010）

把烽火系统抽象为有限消息、可能故障的节点模型——明确这是技术对照的起点，而非历史降格。

开篇场景

同一夜警情在三种抽象下的表达差异。

小节结构

• 抽象三步：节点—消息—故障的提取
• 烽火链的消息传递语义（时延/丢失/伪造可能）
• 抽象的得与失：模型能回答什么、不能回答什么

古今对照

烽火链 ↔ 消息传递系统；墩台 ↔ 进程节点。

边界声明

抽象剥离了制度与人的维度，而那恰是历史最厚重的部分——须在成稿中回补。

坊间说法 vs 可考事实

「长城 = 分布式系统」的等号 vs 「问题结构可对照」的谨慎表述。

设计原则

抽象是为了看清问题结构，不是为了宣布古人领先。

事实依据：素材卡 001 · 005　｜　现代理论参照：同步/异步系统模型、公平性（fairness）与活性（liveness）的直观义

讲清 1982 年经典论文的问题表述与理论结果——现代侧的第一根支柱。

开篇场景

从传警现场的「谁在说谎」到形式化问题的一步之遥。

小节结构

• 问题表述：忠诚将军的一致行动与叛将的干扰
• 口头消息与签名消息两种模型
• 理论结果：n≥3f+1 上界与不可能性边界

古今对照

叛将 ↔ 拜占庭节点；一致行动 ↔ 共识（agreement）。

边界声明

形式化是 20 世纪的产物；历史对照止于问题结构，不跨入定理。

坊间说法 vs 可考事实

「古人早就解决了拜占庭问题」的说法 vs 定理条件的严格性。

设计原则

容错上界由故障模型决定，不由意愿决定。

事实依据：素材卡 005　｜　现代理论参照：OM/SM 协议要点（素材卡 006）、一致性与有效性的形式定义

对照口头消息协议（OM）与烽火传警的结构相似与根本差异——本册「对照有界」的核心章。

开篇场景

把 OM 协议「演」在五座烽燧上，看它在哪一步断裂。

小节结构

• OM 协议的递降转发结构与多数表决
• 烽火传警的转发与核实结构
• 相似处：多跳传递与逐级责任；根本差异：无签名、无表决、无形式化保证

古今对照

OM 递降转发 ↔ 烽火接力；多数表决 ↔ 无对应物。

边界声明

差异列强制最长：每一处相似必须配一处差异。

坊间说法 vs 可考事实

「烽火接力 = 拜占庭协议」的说法 vs 无表决机制的史实。

设计原则

类比照亮问题，差异守住敬畏；无表决则无共识保证。

事实依据：素材卡 001 · 006　｜　现代理论参照：OM 协议细节（素材卡 006）、消息复杂度与轮数直观

从签名消息协议（SM）到现代密码学的思想跃迁——不可伪造性如何改变博弈结构。

开篇场景

一封无法伪造的「烽火文书」会怎样改变传警链。

小节结构

• SM 协议：签名的传递与叛将的暴露
• 从符信到数字签名：验证思想的古今分野
• 现代工具箱：哈希、MAC、门限签名一览（概念级）

古今对照

符信验证 ↔ 签名验证；合符 ↔ 密钥合成（结构义）。

边界声明

古代符信可窃可仿，无计算不可伪造性；跃迁在数学而非制度。

坊间说法 vs 可考事实

「虎符就是数字签名」的说法 vs 符信的物理仿冒史。

设计原则

不可伪造性把信任从人转移到数学。

事实依据：素材卡 006　｜　现代理论参照：SM 协议细节（素材卡 006）、密码学原语（哈希/签名/MAC）

从 Paxos 到 Raft 到工业系统——理论如何落地为工程；并正面回应「烽火台已解决共识问题」的流行说法。

开篇场景

一次数据中心主备切换与一次镇城兵力调度并置。

小节结构

• Paxos 家族：从论文到工程化的二十年
• Raft：可理解性驱动的共识再设计
• 工业形态：数据库主备、服务发现、区块链的共识层
• 误区澄清：为什么烽火系统没有「解决」共识问题

古今对照

镇城总调 ↔ leader；塘报奏报 ↔ 复制日志（差异显著，须克制）。

边界声明

无全局时钟、无持久日志、无自动故障切换——三条硬差异。

坊间说法 vs 可考事实

「长城 = 区块链鼻祖」的说法 vs 共识三性质逐一对照。

设计原则

工程共识 = 多数表决 + 持久日志 + 故障切换三件套。

事实依据：素材卡 007 · 008 · 009　｜　现代理论参照：Paxos/Raft 要点（素材卡 008）、FLP 不可能性（素材卡 007）、复制状态机模型

在敬畏前提下，从烽火实践中提炼可迁移的系统设计原则——全册收束。

开篇场景

一张原则卡贯穿两千年：从烽燧到数据中心。

小节结构

• 原则汇总：编码有限性 / 冗余复核 / 责任链 / 追责激励
• 原则的现代对应物与适用边界
• 敬畏与对照的再申明

古今对照

烽火制度遗产 ↔ 可靠性工程清单。

边界声明

原则迁移不等于成就等同——每条原则注明迁移边界。

坊间说法 vs 可考事实

「古人智慧高于现代科技」的拔高 vs 平实的问题结构对照。

设计原则

制度即算法：责任与激励决定节点行为；可靠性是系统与制度的乘积。

事实依据：素材卡 004 · 009　｜　现代理论参照：可靠性工程（MTBF/冗余/纵深）

收束本册：技术对照服务于更深刻的理解，而非消解长城的庄重；预告第二册（边界与验证）。

开篇场景

回到开篇那个夜晚：现在我们知道镇城为什么难，以及古人做对了什么。

小节结构

• 写作三律重申与知识地图回望
• 通信可靠性主题的原则总表
• 预告：信号可信之后，如何甄别「谁可信」——第二册关隘与零信任

收束要点

结语不设新对照，回望全册边界；收束栏目总检本册流行说法清单。

事实依据：素材卡 005 · 008　｜　现代理论参照：OM/SM/Paxos 一页图回顾