トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fe76074ffff1f06ad22aed6f96c00e9ca276593c08b2abb1049c16b384706fdc OP_CHECKSIG

20fe76074ffff1f06ad22aed6f96c00e9ca276593c08b2abb1049c16b384706fdcac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

287b93fa572a3f44139947436b5451b97202e4051d1913d5c03f95220a4c3924

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 287b93fa572a3f44139947436b5451b97202e4051d1913d5c03f95220a4c3924
2. TapBranch(287b93fa…0a4c3924, 46c7eccf…1725e9fa) = c5080da2d7a5b3642992df02830f5ede908c674ba1647c6c2235e0567aff2deb

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

c5080da2d7a5b3642992df02830f5ede908c674ba1647c6c2235e0567aff2deb

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

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

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

4b9957019d35dfac6162c60c98391783913561c2ecae7bf8f929d0650cbebc96cf30a6baeabb084653d8d76ab1ac51728a10ab31aa72b7ad645d9c330a1eb2ac