公链与 Layer2
Aptos 的水母树怎么省读盘：Jellyfish Merkle Tree 的压缩节点与版本化键 Aptos 的状态根不是逐层二分的二叉树算出来的。本文按实现文档与 2021 年设计论文拆解 Jellyfish Merkle Tree：一个内部节点顶四层、空子树整块折叠、节点键带版本号，以及证明为什么更短。
公链与 Layer2
把轻客户端装进合约里：ICS-008 的 Wasm 轻客户端如何绕开硬分叉 按 ICS-008 官方规范拆解 Wasm 轻客户端：为什么静态编译进节点二进制的轻客户端升级必须等全网硬分叉，Wasm 字节码如何把轻客户端变成可热插拔的代码，代理合约、代码上传与实例化分别发生什么，以及这种灵活性带来的信任边界变化。
公链与 Layer2
证明也可以分三六九等：Taiko 可争辩有效性 rollup 的保证金阶梯 按 Taiko 官方协议文档拆解 Contestable Validity Rollup：指定证明者的首笔转移与证明窗口、分档的 validity bond 与 contest bond、被质疑后换更高档证明重证时的资金流向，以及这笔经济账如何压低即时证明成本，同时说明该设计与经典乐观卷和纯 ZK 卷的差异和剩余风险。
公链与 Layer2
不投票就没人替你花钱？CIP-1694 里 DRep 的角色与边界 按 CIP-1694 原文拆解 Cardano 链上治理：DRep 注册与押金返还、以纪元计的不活跃标记、不信任动议、宪法委员会的年度任期与合宪审查、提案押金进资金池的机制，以及这套委托代表制与普通代币投票在权责结构上的差异和已知局限。
公链与 Layer2
边出块边执行边落盘：Aptos 共识流水线的四道工序 按 aptos-core 官方仓库文档拆解 Aptos 的区块链流水线：共识排序、Block-STM 并行执行、签名认证与提交落盘四阶段如何跨区块重叠推进，网络、CPU 与磁盘三类资源如何错位利用，流水线结构对延迟与吞吐的实际含义，以及它与顺序执行链的取舍和该仓库文档给出的边界。
公链与 Layer2
发布过不等于永远查得到：Celestia 数据可检索性与裁剪 按 Celestia 官方文档拆解数据可检索性问题：数据可用性层只保证数据曾公开发布而非永久留存，官方对节点保留历史区块的处理方式与依赖方自存数据的要求，检索性与可用性的概念分界，以及 rollup 用户与节点操作者各自该核对的边界。
公链与 Layer2
ICS-23 向量承诺是什么？跨链桥证明状态的三条性质 按 ICS-23 官方规范拆解向量承诺：IBC 为什么要把状态证明抽象成统一接口，管理者、证明者与验证者各跑哪组函数，完整性、可靠性与位置绑定三条性质如何共同保证跨链核验不被伪造，以及前缀机制与非成员证明防住了什么。
公链与 Layer2
Cardano 出块者怎么选？Ouroboros Praos 的 VRF 抽签 按 Ouroboros Praos 论文拆解 Cardano 的出块权分配：VRF 抽签为什么让下一任出块者不可预测，自适应安全与半同步两个属性各防住哪类攻击，时隙抽签下空位与多块竞争从哪来，论文框架与生产网实现又该怎么区分。
公链与 Layer2
Sei 怎么把 BFT 压进 400 毫秒？Twin Turbo 共识的流水线拆解 按 Sei 官方文档拆解 Twin Turbo：为什么它不是新共识算法而是对 Tendermint BFT 的工程提速，提案到达前的并发解码与写集估算在做什么，链上超时参数与带 Unsafe 字样的本地覆写是什么关系，即时最终性给开发者与节点运维各带来什么。
公链与 Layer2
不排算力也不数 stake：Stellar SCP 怎么把信任切成法定人数切片 按 Stellar 官方文档拆解 SCP 与联邦拜占庭协议：quorum set、阈值与法定人数切片怎么搭出信任图，vote、accept、confirm 三级表态受哪些跃迁规则约束，提名协议与选票协议先后做什么，为什么这套模型下失活表现为停摆而不是出账错。