公链与 Layer2

OP Stack Fault Proofs 关系到 Layer2 提现、挑战机制和升级治理。本文从官方文档解释普通用户、桥和应用方应关注的边界。

CometBFT 的状态同步只取链头附近的数据：应用把状态做成快照，节点通过对等网络的快照通道与分片通道要元数据、要分片，再用轻客户端按可信高度、可信哈希与可信周期验证这份状态；ADR 104 进一步支持把快照带外搬到新节点本地。本文按官方文档与规范拆解它与区块同步的分工、四条通道、消息上限与运维边界。

Sapphire 是 Oasis 的机密 ParaTime，兼容 EVM，靠受信任执行环境与状态加密换取隐私：合约的键与值都被加密、长度不藏，存储槽查询除三个 EIP-1967 代理槽外一律返回零，合约字节码并不加密。事件默认公开，交易可以端到端加密；耗时、气体消耗与被访问的存储记录仍会泄露信息。密钥由专门的密钥管理器运行时提供。本文按官方文档拆解这条 TEE 路线的保护面与泄露面。

Stellar 的协议版本是账本头里的 ledgerVersion，一次协议变更就加一，不需要约定停机区块高度。变更本身是共识议题：节点在提名阶段把看不懂、与自己预设不一致或时间未到点的升级项从投票里丢掉，法定集合投了无效值就整轮弃权；升级在交易集之后才应用，可改的对象包括基础费、交易集上限、最低保留额、协议版本与一组配置升级集。本文按 stellar-core 版本机制文档拆解投票顺序、失败回退与兼容性层次。

IBC 速率限制中间件包在 ICS-20 转账外面，按资产与通道（或客户端）配置发送、接收两个方向的百分比配额，超过阈值的那一笔直接被拦下；计数器随小时纪元重置，超时或投递失败的包会被回退记账。黑名单可以整类阻断资产，白名单可以整体绕行。本文按官方文档拆解它的判超公式、状态记账、治理入口与拦不住的边界。

CometBFT 的 Tendermint 共识是领导者制的，一个高度里每一轮的提议者都由确定性算法算出：给每个验证者维护累计优先级，选举时各自加上投票权、选出最高者、再把它减去全集合总投票权。规范还要求新加入者从负 1.125 倍总投票权起步，验证者集变动时把优先级居中并在跨度超过两倍总投票权时缩放。本文按官方共识规范拆解这套加权轮询的算法、边界与代价。

Tezos 的智能汇总不靠把全量数据写回 L1 换可用性，而是把数据发到专门的 DAL 对等网络：证书承诺上链后，数据被纠删编码成分片，由当值烘焙者下载试读并在固定延迟区块签名作保，凑不够数就按废证丢弃；作伪者会被举报并丢当周期奖励。本文按 Tezos 官方文档拆解承诺、陷阱分片与验证延迟的完整链条。

Hedera 不用“出价高者插队”消化拥堵，而是给每类操作配漏桶式节流器：throttles.json 定义网络级速率，节点按活跃数均分额度，桶内再分操作组，超容直接回 BUSY；EVM 操作另走前端与共识两道 gas 每秒的闸。本文按 Hedera 官方博客与主网文档拆解这套限速器的结构、突发窗口与设计代价。

Symbiotic 把共享安全拆成金库、Operator、Network 与中间件四类角色：运营者要在注册表登记并分别选择加入网络与金库，只有双向选择成立时质押的抵押品才在该纪元被捕获并面临罚没；罚金金额由网络自定义的中间件调用核心合约执行，且以捕获时刻锁定的可罚额度为上限。本文按 Symbiotic 官方文档做机制拆解。

Filecoin 的 Expected Consensus 原本只有概率终局，客户端要等 900 个纪元（约 7.5 小时）才敢认定不可逆。FIP-0086 给网络加装了与 EC 并行的 F3 组件：存储提供方按加权算力对区块集投票，超过三分之二的签名汇成终局证书，出块规则保证链头永远落在已终局前缀之后。本文按 FIP-0086 与 FRC-0089 原文拆解证书签发、快速追赶与故障降级。