读论文先固定“前提”，再看结论句
检索“区块链论文”时，结果常把综述、工程博客和经典理论文混排。若目标是判断某句结论能不能迁移到你正在看的系统，应先抽出前提清单：通信模型是什么、故障如何定义、算法输出要满足哪两条一致性条件，而不是先背“需要多少节点”。本篇以Microsoft Research存档的Lamport、Shostak与Pease《The Byzantine Generals Problem》全文为案例，练习这种读法；不重复把口头/签名差异写成故障入门课。
该文开篇把可靠系统中“故障组件向不同部分发送矛盾信息”抽象为拜占庭将军问题：将军只通过信使通信，须达成共同作战计划，但叛徒会制造混乱。摘要明确给出两条模型分界：仅用口头消息时，问题当且仅当超过三分之二将军忠诚时可解；若有不可伪造的书面消息，则对任意将军数与可能叛徒数都可解。读到这里，应把“三分之二”和“任意数量”分别挂回各自的消息假设，而不是合成一句笼统的“拜占庭容错比例”。
OM(m)与SM(m)：结论绑定的假设不同
文中归纳定义口头消息算法OM(m)：在至多m个叛徒时，用OM(m)解决拜占庭将军问题需要不少于3m+1个将军。OM(0)由指挥官向每位副官发送值；OM(m)在递归转发后用majority聚合。缺省命令取RETREAT。这些句子里的可证对象是“在口头消息模型与既定递归/多数规则下的一致性”，不是“任意区块链网络的节点数经验公式”。
签名消息算法SM(m)则依赖不可伪造书面消息：文中定理2指出，对任意m，若叛徒至多m个，SM(m)可解该问题。忠诚指挥官签发的命令无法被叛徒改成另一份带其签名的不同命令；签名限制伪造，但并不把故障发送者变成诚实发送者。把OM与SM的结论并排时，差异首先在假设（口头 vs 不可伪造书面消息），其次才是数量门槛是否出现。
对照实际系统叙述：设计文档不是同一证明的续篇
要把“证明结论”与“实际系统”拉开距离，需要第二类资料：描述运行中共识如何组织的设计叙述，而不是另一篇同构的口头/签名证明。ethereum.org发布的Ethereum Whitepaper在“Mining”一节写明：若存在可信中心服务，状态跟踪会平凡；比特币要做去中心化货币，故须把状态转换与共识过程结合，由节点持续打包交易为区块。这是在说明为何需要分布式共识机制，并不是在复述OM(m)的3m+1推导，也未宣称已用SM(m)证明了现行主网的叛徒阈值。
因此，读“区块链论文”时的迁移检查可以写成三步：列出原论文的通信与故障假设；抄录仅在这些假设下成立的定理句；再问目标系统的公开设计叙述是否声称同一假设。若系统文档只给出挖矿/出块节奏与激励叙事，却没有口头或签名消息模型，就不能把OM/SM的数量结论直接填进运维手册。反之，也不能因为白皮书提到去中心化共识，就反过来说Lamport原文已经证明了某条公链的具体安全参数。
可执行的阅读清单
建议顺序：打开拜占庭原文摘要与引言，写下口头消息“超过三分之二忠诚”与签名消息“任意数量”两条边界；翻到OM(m)/SM(m)定义，确认默认值、majority与签名不可伪造分别服务哪一步；再打开ethereum.org白皮书Mining节，确认它讨论的是去中心化下为何需要共识，而非续写同一形式证明。搜索引擎上的“区块链论文”标题不能代替假设清单。
本篇不比较公链优劣，不给出投资含义，也不把1982年算法的消息复杂度写成当代部署建议。对“区块链论文”，先读前提与结论的绑定关系，再谈它与实际系统文档之间的距离。