トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4ca3932a3635dce5921cbcb44a67975d2eb8c400351b9d3b6596609e810d7428 OP_CHECKSIG

204ca3932a3635dce5921cbcb44a67975d2eb8c400351b9d3b6596609e810d7428ac

コントロールブロック

c136ed1db8722273316892e72100ca5b6d490a2dc5d5c8c88fdcea3bb70bf9e03c (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

36ed1db8722273316892e72100ca5b6d490a2dc5d5c8c88fdcea3bb70bf9e03c

リーフハッシュ（TapLeaf）

1cc4754732735a7a53fb7cf0a5561594215931e68053e38e02465e73719cc78d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1cc4754732735a7a53fb7cf0a5561594215931e68053e38e02465e73719cc78d
2. TapBranch(1cc47547…719cc78d, 36ed1db8…0bf9e03c) = 04be54c03b5340b8208de0c2a5bdc26b7cad7c0a0198b6dac59c1cdef7b6e3d9

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

04be54c03b5340b8208de0c2a5bdc26b7cad7c0a0198b6dac59c1cdef7b6e3d9

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

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

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

3b22226d7155ea44b83c4aacff97e61d4b1575129406aa0736197c408988f4b56e2fe582eb9d41838fbf41c5bcbf6467eebc781410e8ee28ee55239068cac9f8