公链与 Layer2

Aleo 不用账户余额表，私有资产是一枚枚加密的 record。本文按官方文档拆解 record 与 UTXO 的关系、五个转账函数的公私边界，以及私钥丢失与程序地址转入这两个不可逆坑。

ABCI 交回的 AppHash 是一段由应用决定、共识无法验证的字节，却决定了一致性检查、轻客户端证明和历史可证性。本文按 CometBFT 规范拆解它在出块流程中的位置、如何被下一轮承诺、以及历史版本为何是应用的责任。

验证者的 BLS 密钥要签提议区块、验证、随机数声明、自愿退出等多类消息。本文按共识规范拆解 32 字节签名域的构成——4 字节用途编号加分叉数据根前 28 字节——以及签名根的两层哈希封装和分叉切换时的版本选取规则。

一条验证同时表达基础、目标与链头三个判断，共识规范用三个准时标志和 14/26/14 的权重给它们打分。本文拆解准时标志的延迟门槛、EIP-7045 对目标档的放宽，以及包含延迟如何影响收益曲线。

不跑全节点的验证器如何知道最新已最终化区块？本文按共识规范的轻客户端同步协议拆解引导对象、按周期补齐的更新对象、乐观与最终两种签名门槛，以及最终化停滞时强制推进这条逃生阀的信任代价。

以太坊信标链把未聚合的验证切进 64 条话题子网，按槽位与委员会索引轮转映射，节点长期订阅两条并每 256 个纪元换一次。本文按共识规范的 P2P 接口拆解子网映射、订阅时长、聚合分工与四类收不到验证的故障。

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

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

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

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