トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e6bd1e9f595c1f6c0042fbe4e2bba47c6b9ae749c6e4192b0d4f2e37b93844e8 OP_CHECKSIG

20e6bd1e9f595c1f6c0042fbe4e2bba47c6b9ae749c6e4192b0d4f2e37b93844e8ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6fc555071a6cc850f0ed21e9ca07db0abca58de7b75cc3f37b275e9706c91e1a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6fc555071a6cc850f0ed21e9ca07db0abca58de7b75cc3f37b275e9706c91e1a
2. TapBranch(6fc55507…06c91e1a, 46c7eccf…1725e9fa) = 52dccad05a2879ca1f70adb1ceb6093c592620312f80b31759dc1b2e4548b6e4

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

52dccad05a2879ca1f70adb1ceb6093c592620312f80b31759dc1b2e4548b6e4

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

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

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

48afc70581f2f48e0689d1be05367f1db527d64d1c80923fabd3d501000307f83f010e41f1eab1f2960a2205573de491bbf1cb223f2988958dbfbde7d479d232