トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1aa086cb21b28068572274cafd8d4d8f7e311b6836d4c6585f09957e8bb80f24 OP_CHECKSIG

201aa086cb21b28068572274cafd8d4d8f7e311b6836d4c6585f09957e8bb80f24ac

コントロールブロック

c195b28cb0e3be2bd56654bdf1d3359a60fe3827c0cc37716cb85b0b34f8b235ec (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

95b28cb0e3be2bd56654bdf1d3359a60fe3827c0cc37716cb85b0b34f8b235ec

リーフハッシュ（TapLeaf）

a5a427241313c3a913abfbfbf7c9a01ac2b0a7e848de7dad0eb59a7ede4b4e81

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a5a427241313c3a913abfbfbf7c9a01ac2b0a7e848de7dad0eb59a7ede4b4e81
2. TapBranch(a5a42724…de4b4e81, 95b28cb0…f8b235ec) = ae45f8f26cc22bfad752febf9385e3bd2fd4553708ab37e9cbebd0e806c5e763

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

ae45f8f26cc22bfad752febf9385e3bd2fd4553708ab37e9cbebd0e806c5e763

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

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

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

2dc866f781dc96a2b7ae4e0b12e0a2f8e93d2ce4fbe649155e07c1f4ce2e45c9b4d34d2a120376bd0f7828770b0eee2aa6f4ed2a6bf380c7afa06217c1e9e2ff