BLS 签名利用双射运算把成千上万个独立签名合成一个常量大小的聚合签名，是 PoS 验证者证明与无状态客户端的压缩引擎。本文讲原理、与 MuSig 的差别、身份偷换攻击与密钥证明。

OP_CAT、SUBSTR、DIV 这批操作码早在 2010 年就被停用，至今未归。本文梳理被禁清单与停用原因——验证成本、DoS 面与递归评估风险，解释 NOP 插槽的升级预留，以及近年恢复提案的真实状态。

Bitcoin Core getdeploymentinfo展示软分叉部署和BIP9状态机。文章拆解period、threshold、elapsed、count、possible与active，区分矿工信号和规则激活。

不想烧电也不想设计代币质押的经济模型，可以用“身份”当担保。本文解释权威证明（Proof of Authority）的验证者轮值机制、去中心化和性能的取舍，以及它为什么常见于测试网、联盟链和侧链。

本文拆解 Solana 共识重写 Alpenglow：Votor 如何把投票折成聚合证书、双路径百毫秒最终化的设计，Rotor 单跳广播如何替换 Turbine，SIMD-0326 治理与 2026 年 7 月的测试状态，以及对验证者、钱包与用户的连锁影响。

本文解释 Solana 的区块广播协议 Turbine：shred 切分与 Reed-Solomon 纠删批、按质押加权且逐 shred 洗牌的多层接力树、每节点扇出与丢包叠加的权衡、repair 兜底机制，以及它将如何被 Alpenglow 的 Rotor 单跳广播替换。

“区块限制 1MB 还是 4MB”的争论从未停过，因为答案取决于用哪把尺。本文把区块限制的历史坐标一次讲清：一兆字节时代、隔离见证的权重折中、四百万权重单位如何换算成你熟悉的 vB，以及“块多大”为什么是共识参数。

仪表盘说“最近一小时平均 7.4 分钟一块”，协议设计明明是十分钟——中间差的是什么？本文拆解区块时间戳的自由度、十一块中位数规则与 2016 块窗口的平滑统计，教你读懂出块速度数字的正确姿势。

本文拆解以太坊的分叉选择规则 Gasper：LMD-GHOST 如何用最新消息驱动的加权最重子树选出链头，Casper FFG 如何用三分之二检查点投票锁定历史，两套规则处理弹跳与平衡攻击的接缝，以及对重组和确认体验的影响。

本文解释以太坊的紧急协议 inactivity leak：超过约四个 epoch 未最终化后，如何按不活跃轮数削减沉默验证者的有效权重、让活跃多数重获三分之二门槛恢复最终性，它的触发节奏、把瘫痪攻击变昂贵的逻辑，以及双最终性等它管不了的情形。