トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b2d7d2be6bab242c69897bb72c3f49403e3243dd02ff0b67156fe63090f1ff73 OP_CHECKSIG

20b2d7d2be6bab242c69897bb72c3f49403e3243dd02ff0b67156fe63090f1ff73ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

730c38c336e68c793923c580b67d1d2ad552d6661e809fd75d594ae8f639c445

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 730c38c336e68c793923c580b67d1d2ad552d6661e809fd75d594ae8f639c445
2. TapBranch(730c38c3…f639c445, 46c7eccf…1725e9fa) = c8230aac7ef2339c75e69f503b426db0c6672103429afa6543339a5fe335b62b

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

c8230aac7ef2339c75e69f503b426db0c6672103429afa6543339a5fe335b62b

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

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

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

5c9eb971dcc7d91b54b3f072f714b14686cf02bbe04ded88a5d331d71019b8f7d5dcd5c588fe06760235846eabe2c4ff61d54d741919d683719b2af6f6a9f29f