トランザクション

入力 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 以上）。

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

4de5a6c92b25472af8110e9718d719f83959aed33f0bc82061f01669e5e352b277af665530080b9d1181394ea07c78eb467c5aeaeb7b22b98ba7a2962c25d99f