拆解 Polyhedra zkBridge 与 zkLightClient 的机制：把轻客户端验证编译进零知识电路、用一份 SNARK 证明代替逐条核对委员会签名，并说明它对中继与多签委员会信任的替代、区块头中继与更新合约的分工，以及与 Sygma 命名的区分和风险边界。

轻节点靠区块过滤器对账，全节点靠索引存过滤器。比特币核心的 /rest/blockfilter 与 /rest/blockfilterheaders 两个 REST 端点，把 BIP157 的 basic 过滤器按区块哈希和连续段两种粒度开放出来。本文按 v31.0 源码讲清请求格式、两千克拉取闸门与索引前置条件。

比特币节点之间服务紧凑区块过滤器同步的三对消息如何分工，1000与2000两条请求红线为什么直接断连，过滤器头哈希链如何让轻客户端敢信过滤器。以比特币核心v31.0源码为准。

Mithril 让不跑全节点的客户端验证 Cardano 链上数据：持权者按权益比例对快照签名，达到阈值的签名聚合成证书，任何人可离线校验。本文按官方设计文档拆解注册、签名、证书链与信任边界。

KIP-6 提案想给 Kaspa 补上剪枝后的历史可证明性：用链成员证明把「某区块属于选中链」压缩到几千字节，从而让发表证明与交易收据在剪枝后仍可验证。本文按提案原文拆解 ATMR、证明分层与草案状态带来的边界。

以太坊轻客户端同步协议支持向未来同步，却没法回溯历史周期，因为同步委员会期数据依赖当时才有的状态。EIP-7658提出在状态里跟踪每期最优的SyncAggregate，让任意历史周期的轻客户端更新可独立验证。本文解释这个只加一个字段的设计如何服务归档与Portal网络。

按 ICS-23 官方规范拆解向量承诺：IBC 为什么要把状态证明抽象成统一接口，管理者、证明者与验证者各跑哪组函数，完整性、可靠性与位置绑定三条性质如何共同保证跨链核验不被伪造，以及前缀机制与非成员证明防住了什么。

按 ICS-008 官方规范拆解 Wasm 轻客户端：为什么静态编译进节点二进制的轻客户端升级必须等全网硬分叉，Wasm 字节码如何把轻客户端变成可热插拔的代码，代理合约、代码上传与实例化分别发生什么，以及这种灵活性带来的信任边界变化。

SSZ 的定容列表 List[type, N] 要求预先声明容量：小列表要为海量零叶付哈希成本，跨分叉改容量还会打断下游证明。EIP-7916 提出渐进列表 ProgressiveList：默克尔树按实际叶数按 4 倍递归生长，元素位置（gindex）与列表长度无关，证明写一次长期可用。本文讲清三种病、递归树形与容量表，以及它和渐进容器 EIP-7495 的分工。

简化支付验证依赖默克尔证明，常规证明要把兄弟哈希一路带到根。BIP-98 提出快速默克尔树：用零哈希约定与跳过规则，让证明省略可复原的空子树分支。本文拆解常规证明的体积账、压缩成立的数学条件、边界情况的坑，以及这条草案至今没有部署的原因。