トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a73213fbf46257b97c2c6a1ac6a4a61794d413f2f035816497069cbcf277c7d3 OP_CHECKSIG

20a73213fbf46257b97c2c6a1ac6a4a61794d413f2f035816497069cbcf277c7d3ac

コントロールブロック

c1f66e157c0bbad3e72a5869f4c53d5083bcb81279f08fae4199113bef143b79d7 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f66e157c0bbad3e72a5869f4c53d5083bcb81279f08fae4199113bef143b79d7

リーフハッシュ（TapLeaf）

6f5165d8f5081e480ffb186bc20459bc3af60e4e9189c070ad20abb6d606a918

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6f5165d8f5081e480ffb186bc20459bc3af60e4e9189c070ad20abb6d606a918
2. TapBranch(6f5165d8…d606a918, f66e157c…143b79d7) = d63fd482af542b71488b551e376cf93c9c0ba73f642b1c0cbac86c6dfe9cc677

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

d63fd482af542b71488b551e376cf93c9c0ba73f642b1c0cbac86c6dfe9cc677

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

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

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

924afcbb29d93e60904927428fa30f43917f78e50816bd757136be0db8bff84aabcdcfe45302e50571f9d7ca47202f4cf513b149c309da5cdde6057890325bb2