トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bf0f4ea1b5222ec28978b1c019d398f713a7fe5aa898a450df358c1d1a0002ff OP_CHECKSIG

20bf0f4ea1b5222ec28978b1c019d398f713a7fe5aa898a450df358c1d1a0002ffac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

98b75423fe2a7ff19c383f72bd351de84d9838d211197b855da0f48d50c1226c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 98b75423fe2a7ff19c383f72bd351de84d9838d211197b855da0f48d50c1226c
2. TapBranch(98b75423…50c1226c, 46c7eccf…1725e9fa) = 2180b29f7a4b2825346114e8627fddceb8a3195966177475ef973f6a0d1765e8

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

2180b29f7a4b2825346114e8627fddceb8a3195966177475ef973f6a0d1765e8

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

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

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

12c9d7713681903cfbfc6835378f725b4c1a2cfdc5d2550f7539b902c8d67c0223c7e3d2ec614cc91e44bb0fe8ce56e95fefd2adafb318b7a0de8025d29ec67f