トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3e39d36520e68afd0f691a6096d3a3b3310f82337b386f75cd2b047973d405da OP_CHECKSIG

203e39d36520e68afd0f691a6096d3a3b3310f82337b386f75cd2b047973d405daac

コントロールブロック

c15268762c1e7f4beb246fffeb6d2d6dba088190ad27bdb6ce02aa2a763ca22aed (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

5268762c1e7f4beb246fffeb6d2d6dba088190ad27bdb6ce02aa2a763ca22aed

リーフハッシュ（TapLeaf）

628d7cd8ea1cd45cb46c97af2c92b901546aeab998c28af1b8daf223919c302b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 628d7cd8ea1cd45cb46c97af2c92b901546aeab998c28af1b8daf223919c302b
2. TapBranch(628d7cd8…919c302b, 5268762c…3ca22aed) = 9dcad4b60deec131e8858f3dee9de91237f713ee38099bad95e1d6262c4d97b5

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

9dcad4b60deec131e8858f3dee9de91237f713ee38099bad95e1d6262c4d97b5

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

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

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

b9b296f9a2fd8482c1e6753eda674d4e2dd372d3acc5119cc82505119b275b821f1e4e311388a65bb4c01bb5395094ed973ef2fd936a91d4b032c0afddf04855