公链与 Layer2

重影检测（Doppelganger Protection）在验证者客户端启动后先静默监听两三个纪元，抢在同一密钥的第二实例造成可罚没签名之前发现并停机。本文按 Lighthouse 官方文档拆解检测窗口、沉默代价、误判边界，以及它与本地签名保护库的分工。

互联网计算机把签名私钥切成秘密碎片散布在子网节点之间，签名靠协作完成、完整钥匙不在任何一处存在。本文按 ICP 官方文档拆解 Chain-key 密码学的两半构成、跨链签名与 ckBTC 的信任账本，以及与多签委员会的坐标差异。

Cosmos 系链的破坏性升级不靠默契：x/upgrade 模块把升级计划写成带区块高度的 Plan，老节点到达高度后各自确认软件过时并停机等待。本文按 Cosmos SDK 官方文档拆解 Plan 字段、停机触发点与存储迁移的用户自查点。

Sui 合约读的链上时间来自创世建在 0x6 的唯一共享对象 Clock，时间戳随每次共识提交推进，读它的交易必须走共识。本文按 Sui 官方文档拆解这份时间的更新节奏、快路径分界与纪元时间戳的粗粒度替代。

NEAR 用重分片回应分片过载：一个分片在纪元末尾的区块后处理阶段把状态树拆给两个子分片，下一纪元起按新分片布局出块。本文按 nearcore 文档与 NEP-0568 拆解拆树方法、边界账户规则与一个纪元内完成的硬约束。

StarkEx 不在每条应用链上自建证明机器，而是把批处理执行轨迹交给共享证明服务 SHARP 出证明。本文按 StarkWare 官方文档拆解这条状态更新链路里证明与数据可用性的分工，以及用户侧的核验与强制提现边界。

Celestia 每个区块能塞多少数据，由数据方块的尺寸决定，而这个尺寸受两层规则约束：规范里硬编码的绝对上限，和可以经链上治理修改的参数上限。本文拆解 share、原始数据方块与两层上限的关系，给出治理提案的质押门槛与投票周期，并说明普通用户怎么核对容量参数的真实状态。

OP Stack 的 L2 区块里固定住着一类特殊交易：由 L1 区块推导而来、不做签名验证、前缀为 0x7E 的充值交易。每个 L2 区块的第一笔必须是 L1 属性交易，用户充值则从 Portal 合约的事件里被推导进区块。本文按规范拆解这类交易的字段、与 withdrawals 的方向差异，以及查充值时该看哪些字段。

zkSync 的提现到账比 ZK 证明定稿更晚，原因是官方在区块执行前加了一道时间锁：每个提交到 L1 的批次在被执行定稿前都有一段锁定窗口，用于在严重漏洞被利用时留出检测与冻结时间。本文拆解这道时间锁的由来、从 21 小时降到最低 3 小时的治理过程、提现作为内部交易在 Etherscan 上的正确查法，以及到账慢的三种常见误判。

NEAR 的每个区块为每个分片携带一个 chunk，而谁负责生产某个分片在某个高度的 chunk，是由协议按高度确定性分配的。本文按 nearcore 官方协议文档拆解区块与 chunk 的包含关系、epoch 内按高度轮换的分配算法、区块生产者与只生产分片的 chunk-only producer 的分工，以及这套排班为什么可以离线推算。