トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b2375026c67be80d4a7d77a37cecaa7fd5d5878ae5fcadebe1519421047d48e5 OP_CHECKSIG

20b2375026c67be80d4a7d77a37cecaa7fd5d5878ae5fcadebe1519421047d48e5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8201b0d5f42c13fb3f77581ecaff19b62b509af4a03b7475390dc1e6615396c4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8201b0d5f42c13fb3f77581ecaff19b62b509af4a03b7475390dc1e6615396c4
2. TapBranch(8201b0d5…615396c4, 46c7eccf…1725e9fa) = 5e077e41a5de7b0ab137bf2fc6bafd910ef908a1c28301e07af52d75f1d5cab9

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

5e077e41a5de7b0ab137bf2fc6bafd910ef908a1c28301e07af52d75f1d5cab9

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

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

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

33a2efe77df9a29c2e1c713c65dcb90d814ac4c1d28218038e1a7f590ca8377c6a4e5501d8c3e50544ace12c3000ba17d9a35e73edd59a2afe9aa4635787e6ac