トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

12304895f4164ecb10c08f3c3273450109bba82d57d591fd4b49af9437ca4806 OP_CHECKSIG

2012304895f4164ecb10c08f3c3273450109bba82d57d591fd4b49af9437ca4806ac

コントロールブロック

c16d2fd71366291027a9bf89197cb0ceb96bb361a464a64fb3e30f5df859c7a423 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

6d2fd71366291027a9bf89197cb0ceb96bb361a464a64fb3e30f5df859c7a423

リーフハッシュ（TapLeaf）

ea14be0895d23a1dfef678fbebcd2deb5dc3d99d53063ebb0e7bcf6630ee921b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ea14be0895d23a1dfef678fbebcd2deb5dc3d99d53063ebb0e7bcf6630ee921b
2. TapBranch(ea14be08…30ee921b, 6d2fd713…59c7a423) = a6c62ad0fcebecb4047f644126289afb84c132b878aebd932b57838dc005a855

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

a6c62ad0fcebecb4047f644126289afb84c132b878aebd932b57838dc005a855

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

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

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

adfea203831d70e8b04efa00378348442db262fd59fcc476f2c0faa928ca9e79220cbb6cfdc528d8d71da3b03758bba6e52270ebb02581dc703c811d9b5125c2