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

从二进制路径、容器字段树深度和列表长度mix-in入手，推导SSZ广义索引，并按兄弟节点顺序复算Merkle证明，附常见错位检查，并说明何时必须回到SSZ schema重新定位。

eth_getProof返回accountProof、storageProof、余额、nonce、codeHash和storageHash，可把RPC读数验证到指定区块stateRoot。本文拆解两级证明链，并提示固定区块、latest漂移与客户端编码差异。