
先明确要查哪类设计问题
博弈论与区块链技术的设计文档怎么查,关键是把宽泛主题转成具体问题:谁参与协议、可以采取哪些行动、行动有什么成本、违规怎样被发现。相关内容常分散在共识、奖励惩罚、分叉选择和安全假设章节,不一定以“博弈论”为标题。
若想了解运行规则,先读开发者指南;若要核对精确条件和计算方式,再找协议规范;若要判断参与者为何愿意遵守规则,则需要设计理由和带有明确假设的分析。

两个可用的文档入口
以太坊开发者文档的“Proof-of-stake rewards and penalties”介绍验证者职责、奖励、一般惩罚、罚没及不活跃泄漏,并提供共识规范与激励层资料的延伸线索。它适合用来查找“哪些行为受到鼓励、哪些行为承担损失”。入口为 ethereum.org/developers/docs/consensus-mechanisms/pos/rewards-and-penalties/。

比特币开发者指南的“Block Chain”介绍独立验证、工作量证明、分叉选择,以及由区块补贴和交易费构成的区块奖励。它适合用来理解验证规则、计算成本与奖励之间的关系。入口为 developer.bitcoin.org/devguide/block_chain.html。
沿术语追踪规范与设计理由
检索时可组合协议名称与具体术语,例如“Ethereum incentives slashing consensus specs”或“Bitcoin proof of work fork choice”。找到概览后,沿其中的规范、注释和设计理由引用继续查找,记录文档标题、章节与适用版本。
阅读时可整理四项信息:参与者、可选行动、奖励或损失、成立条件。例如研究罚没,需要同时查清触发行为与证据要求;研究分叉选择,需要分清区块是否有效与有效分支如何选择。这能避免把不同层面的规则混为一谈。
适用条件与常见问题
有奖励惩罚就证明了博弈均衡吗?不能直接这样推断。机制说明描述规则,均衡分析还需要明确参与者目标、信息条件、可选策略及偏离行为的后果。用规则解释设计动机时,应保留这些分析边界。
文档中的数字能直接引用吗?应先核对版本。奖励公式和罚没参数可能随协议升级调整;若概览、历史说明与规范出现差异,应追查各自适用的升级阶段。
能把一个协议的结论套到另一个协议吗?只能比较分析方法。工作量证明的资源成本与权益证明的质押惩罚具有不同约束,具体安全结论必须回到各自的协议规则和假设。