公链与 Layer2

Bitcoin Core的gettxoutproof可生成交易包含证明，verifytxoutproof负责验证。本文用双节点实验解释blockhash、txindex和最佳链条件，并区分空数组、RPC错误、有效性与最终性。

validator_balances返回指定Beacon状态下以Gwei计的验证者余额。本文给出state_id基准、64个ID限制、无序响应对齐、差分计算和“余额不等于收益”的监控口径。

Bitcoin Core getmininginfo把链高度、难度、全网算力估算、本地内存池、最低交易费和最后组装模板放在同一响应中。本文按数据来源与时间边界拆分字段，避免看板把本地快照误读为全网矿工表现。

Bitcoin Core verifychain用于检查本地链数据库，可选择0至4级校验和最近区块或全量范围。本文解释每一级实际做什么、怎样安排维护窗口，以及true、false与debug.log应如何进入故障处置。

Solana 交易由签名数组加一条消息构成，消息里只有消息头、账户地址表、近期区块哈希和编译后指令四样东西，序列化后总长不能超过 1232 字节。本文拆解每个字段的作用、账户显式声明与并行执行的关系，以及区块哈希过期导致的重发问题。

Solana 把所有链上状态存成键值对：32 字节地址对应一个含 lamports、data、owner、executable、rent_epoch 五个字段的账户。本文讲清谁能改数据、押金随数据体积怎么算、程序账户与数据账户怎么区分，以及与以太坊账户模型的本质差别。

OP Stack 的 Fault Dispute Game 把“这条 L2 状态对不对”的争论用二分博弈逐步收窄：先折输出根，再折单个区块的执行轨迹，最后在链上用虚拟机验证一条 MIPS 指令。本文拆解博弈树深度、象棋时钟、锚定状态与保证金的角色，以及它对提款安全意味着什么。

OP Stack 互操作让消息不经过锁仓桥：源链上一条普通日志事件就是发起消息，目标链靠校验该日志真实存在来执行它。本文拆解发起与执行两笔交易、跨链地址别名之外的消息标识、依赖集与集群、消息过期重发，以及它与锁铸桥的信任差异。

Arbitrum 的一笔手续费在钱包里是一个数字，在协议里拆成数据补偿、执行费和拥堵加价几个分量。本文讲确定性定价难题怎么催生估算加自适应的算法、四个分量各归谁，以及用户能优化哪一段。

Bitcoin Core 31的getblocktemplate返回候选区块构建所需的交易依赖、费用、权重、coinbase、目标与长轮询字段。本文按构块顺序拆解，并给出模板失效处理。