公链与 Layer2

Starknet 的 L1 与 L2 消息机制既异步又不对称：L1 发往 L2 的消息由排序器自动触发 l1_handler 交易执行，L2 发往 L1 的消息只在核心合约登记哈希，需要接收方手动调用消费函数。本文按官方协议文档拆解两个方向的消息结构、手续费结算、防重放哈希与五天取消窗口，并给出充值迟迟不落地时的排查顺序。

把计算拆成链下片段、链上锁承诺，指出一处算错即可推翻主张。本文拆解冲突一次性签名作为欺诈证明的原理、BitVM2 的无许可挑战与设置阶段的部分诚实假设，以及活性与数据可用性边界。

Starknet 随证明提交 state diff，监听者据此重建当前状态。本文按官方文档拆解差异字段结构、v0.11.0 与 v0.13.1 的变化，以及重放交易与读差异之间的能力落差。

签名、序号、备忘录长度、超时高度、手续费与优先级都在执行之前完成。本文依据 Cosmos SDK 的 x/auth/ante 拆解装饰器顺序、CheckTx 阶段的防刷动机与报错定位方向。

GossipSub 把消息扩散拆成 mesh 内转发与心跳期 IHAVE 清单两件事。本文按 libp2p 规范拆解 D、Dlo、Dhi 三档度数、PRUNE 退避与 peer scoring 的信任边界。

提案消息只带 BlockID 与 PartSetHeader，区块字节靠邻居间分片 gossip 补齐。本文按 CometBFT 规范拆解切块结构、两份默克尔根各自防什么、以及轮次升高与传块超时的关系。

Nimbus 家族用 Nim 语言实现信标链与执行层客户端，并把门户网络轻客户端与验证代理收进同一代码库。本文按官方仓库说明拆它的组成、客户端多样性价值与用户视角。

EIP-7251 把验证者有效余额上限抬到 2048 ETH 并保留 32 ETH 下限，流失限制改按权重计算。本文拆解 0x02 复利凭据、执行层归并请求队列与规范列出的安全边界。

类型三交易只携带版本化哈希，Blob 本体走侧车、EVM 不可见。本文按 EIP-4844 规范拆解 to 不得为空、max_fee_per_blob_gas、点求值预编译与约 18 天的保留窗口。

EIP-2935 用系统合约的环缓冲区保存最近 8191 个区块哈希，BLOCKHASH 的 256 窗口语义不变。本文拆解合成地址来源、环写入位置、读取回退规则与无状态见证的关系。