トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5b8463a3112a46f22ee6e38aca2c7655e0f6c19d73efe3bec7f184043edfb3ad OP_CHECKSIG

205b8463a3112a46f22ee6e38aca2c7655e0f6c19d73efe3bec7f184043edfb3adac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7a35fc96b84850706ad14efeb376068cd2723225c74b89f30dfa22a596585c0c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7a35fc96b84850706ad14efeb376068cd2723225c74b89f30dfa22a596585c0c
2. TapBranch(7a35fc96…96585c0c, 46c7eccf…1725e9fa) = 2d462bcef7903b5a22232596eb712d6c2e2e3e8bf9511e7b0458ed17ca198299

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

2d462bcef7903b5a22232596eb712d6c2e2e3e8bf9511e7b0458ed17ca198299

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

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

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

7e3d6fd0cf87cf3db38d8934ba9a135030f3b4d895f6dc0c86e16743fd32f86f78bac87d5368d5138803f7afd1586eebbb83864d6ea6a2e723eec2ec74fc4eaa