トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ba9b57bf41c1b526827f6ee1dfe644cfa2010cd4e08beb3bb59f6cd7482a3f19 OP_CHECKSIG

20ba9b57bf41c1b526827f6ee1dfe644cfa2010cd4e08beb3bb59f6cd7482a3f19ac

コントロールブロック

c1f3e32efedb6c316882b2240441a6cde52509acc41f518b76b6458e80c70e8b93 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f3e32efedb6c316882b2240441a6cde52509acc41f518b76b6458e80c70e8b93

リーフハッシュ（TapLeaf）

594b5dec81667e86b4ef8093f11b0c13d7f7e30a40f88a23a3fff67d573512ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 594b5dec81667e86b4ef8093f11b0c13d7f7e30a40f88a23a3fff67d573512ba
2. TapBranch(594b5dec…573512ba, f3e32efe…c70e8b93) = e6c9661a5f9d804264dd153b90bdbedbc3611f25bc68498d2508484ca4179fb1

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

e6c9661a5f9d804264dd153b90bdbedbc3611f25bc68498d2508484ca4179fb1

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

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

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

e912ff962d763e68e7620dbab37a62e746028b90b0d6bd17b257fec0d890f7a1a14cba1117b790e1a65914485b0a1155b8fe0a996d63eb6406bb9dd42bea65c9