トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

97258b77d926a8f3ba1faede6fb09385b49cf7b44bf255ed5d98d507b063c5fa OP_CHECKSIG

2097258b77d926a8f3ba1faede6fb09385b49cf7b44bf255ed5d98d507b063c5faac

コントロールブロック

c17141dec40804de3a44b97eef294e37ac5c219a16a76609a60107d610471bcc15 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7141dec40804de3a44b97eef294e37ac5c219a16a76609a60107d610471bcc15

リーフハッシュ（TapLeaf）

7ba566ab71b077c83919eec6fe942128945761d9710bfcad76aedbca2a2164b8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7ba566ab71b077c83919eec6fe942128945761d9710bfcad76aedbca2a2164b8
2. TapBranch(7ba566ab…2a2164b8, 7141dec4…471bcc15) = 468f9b8957fe7c219a1c0a4f4a6036518f2aac7225294de07c135da3b75ef49f

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

468f9b8957fe7c219a1c0a4f4a6036518f2aac7225294de07c135da3b75ef49f

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

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

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

d014544a65c7b99c140266816e58fbffb730ac88dc64a3d6926e255c88d8349771e303350b2df7b00243078f4040e069a4ad11c9fc35dbb4f3bee0ca50fd93a1