トランザクション

入力 0 の P2MR スクリプトパス支出

ノードはこの支出を次のように検証します：公開されたリーフをハッシュし、コントロールブロック内の Merkle パスをたどってルートまで計算し、そのルートが出力の 32 バイトのウィットネスプログラムと等しいことを求めます。このページでも同じ手順で計算し直しています。

リーフバージョン

0xc0

リーフスクリプト

6ed0388d3e0e03b52e396c0d24a7717b66ff5df89d2a9aa4d25b9f48c26ef43e OP_CHECKSIG

206ed0388d3e0e03b52e396c0d24a7717b66ff5df89d2a9aa4d25b9f48c26ef43eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

コントロールバイトの最下位ビット

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9821d88b266ef14ac927f903d33940808f2af40207d427da6131f8cfce854bfd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9821d88b266ef14ac927f903d33940808f2af40207d427da6131f8cfce854bfd
2. TapBranch(9821d88b…ce854bfd, 46c7eccf…1725e9fa) = 8ddf79b479e698463ea01019438f5462ecd78d02ff33f07b2686eebc18e28f71

出力のウィットネスプログラム

8ddf79b479e698463ea01019438f5462ecd78d02ff33f07b2686eebc18e28f71

✓ 一致：公開されたリーフは、この出力がコミットしているものです。

リーフスクリプトは実行されました（リーフバージョン 0xc0、深さ 1 以上）。

スクリプトに渡されたスタック要素

558c2505cbf1e106cc70b81dc54f7792488597c98137a5b086c9251d7c6991f8b785937bfe736dcc1834b66a28bd0a735c087da045e38ffa49af7955b32909cf