HoneyBadgerBFT 是 2016 年发表的第一套实用异步拜占庭容错协议：它不做任何超时与网络速度假设，用信息分发编码和异步公共子序列把“等消息”换成“凑份额”，在网络极度拥塞甚至被敌手控制链路时仍保证活性。本文拆解它与 PBFT 式同步假设的路线分歧。

GRANDPA 是 Polkadot 使用的最终性部件：它不负责出块，只对区块生产器交来的链投票，并且投的不是某个区块而是“我认为的最佳链前缀”，于是一轮能同时最终化一个到数千个区块。本文讲清最终性部件与共识协议分工、前缀投票的数学口径和它接受的弱同步假设。

HotStuff 是 2019 年提出的拜占庭容错共识协议：用三阶段投票、法定证书和流水线出块，把更换领导者的通信代价从平方级压到线性级，还能按真实网络速度出块。它成为 Diem 等系统共识层的蓝本。本文拆解它的证书、三链提交规则与流水线设计。

加密抽签用可验证随机函数把“谁有资格出块、谁进委员会”变成一场按质押权重开奖的本地彩票：不用发请求、不用问别人，每个账户自己就能算出这一轮自己中没中。本文讲清它的原理、Algorand 怎么用它组织共识、以及为什么中签者身份可以保密到投票那一刻。

比特币的账本是一串交易，以太坊的账本是一张“现在一切是什么”的快照——世界状态。每个区块头里的 state root 就是这张快照的指纹，任何人重放交易都能算出同一个哈希。本文讲清世界状态的定义、四字段账户、默克尔证明怎么用，以及它会膨胀到哪里去。

链上数据公开，但身份不公开——地址聚类就是用一组启发式规则从公开记录里反推“这些地址属于同一方”的技术。本文拆解多输入同签、找零启发、余额归零等常用规则、它们的失效边界，以及普通用户能做的隔离实践。

Dencun、Pectra 这些拗口的名字，其实是执行层城市名加共识层恒星名的拼合。执行层沿用 Devcon 主办城市，共识层按字母顺序取恒星名，两条线合并升级时各取一截拼成新词。本文讲清这套命名法的来历、例外与读法。

比特币和以太坊用 secp256k1，而 Solana、Polkadot 们偏爱 Ed25519。同是椭圆曲线签名，差别在曲线设计、随机数处理和签名长度。本文讲清 Ed25519 的来历、它把哪些坑直接焊死在设计里，以及选签名算法到底在选择什么。

CAP 定理说：网络分区发生时，分布式系统只能在强一致和全体可用之间二选一。2000 年 Brewer 提出猜想，2002 年被 Gilbert 和 Lynch 证明。本文讲清三个字母的准确含义、证明的直觉，以及公链为什么天生站在“分区容忍”这一边。

两个将军隔着敌境传信，无论确认多少轮，谁都不敢先动手——这就是两将军问题，分布式协调不可能的第一个证明。本文讲清它的由来、为什么确认套确认永远到不了头，以及比特币和以太坊这类系统如何用“概率足够高”替代“数学上确定”。