Groth16 和 PLONK 都需要一场仪式生成公共参数，Halo 用累加器加递归把这场仪式拆了。本文讲递归证明的压缩链条、为什么递归内部必须住一个 SNARK、累加器方案怎么把可信设置彻底请出去，以及它换来的体积与成本代价。

XTHIN（Xtreme Thinblocks）是比特币扩容之争时代的一种区块压缩传输方案：收块方把自己内存池做成布隆过滤器随请求发出，让绝大多数缺块一次往返就能复原。本文讲它和早期剪枝方案的区别、64 位短交易哈希的取舍，以及为什么它只活在比特币XT等替代实现里。

PeerDAS 之后，节点获取 blob 数据列仍常要整列收发。EIP-8136 提议允许节点只请求缺失的 cell：本地内存池已有大部分时，为那一小截缺口买单。本文拆解这份 Review 阶段的广播优化。

EIP-8025 提议引入可选的执行证明：一小部分节点为区块生成执行证明，其余节点凭证明完成无状态验证，不必再重放执行层交易。本文拆解这份草稿的分工、边界与前提。

EIP-8011 提议把区块容量从单一 Gas 标量改成分资源的计量：交易照旧按总量付费，区块却按最紧张的瓶颈资源判断装没装满。本文解释这套多维 Gas 计量的规则、动机与局限。

一条通道的余额和槽位挡不住大额付款。闪电网络的基础多部分支付把一笔钱拆成多个分支、以支付密文为铆钉拼合；AMP 变体更进一步，把秘密本身切成碎片。本文拆两种拆分路线的规则、防探测账本与失败回退。

闪电付款沿短通道 ID 接力，门牌号能把付款方引到通道的链上资金交易。BOLT 9 的特性位 option_scid_alias 允许用随机别名替代真门牌路由。本文拆解别名的发放、校验与约束，以及它与零确认、私有通道的搭配关系。

闪电通道的资金交易落链，不等于它出现在路由地图上。本文按 BOLT 7 拆解公开公告的条件链：channel_flags 里的公告意愿、announcement_signatures 的签名互换、确认数门槛与节点名片，以及公告不生效时的排障顺序。

闪电节点暂停对外路由，靠的是 channel_update 里的一位开关。本文按 BOLT 7 拆解 disable 位的语义、时间戳单调规则与恢复路径，以及路由软件视角下的歇业通道与真正关闭通道的分界。

EIP-4844之后，blob数量上限在共识层写死、执行层另写一份并靠一致性检查对齐。EIP-7742提议把两份硬编码解耦：共识层把每区块目标blob数随载荷发给执行层，区块头新增64位字段保住乐观同步的安全性。本文拆解提案的问题定义与机制。