トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

160342e8617c6a6e73a4adfee2030c150951faa1c46533d92adb56b0d4b79333 OP_CHECKSIG

20160342e8617c6a6e73a4adfee2030c150951faa1c46533d92adb56b0d4b79333ac

コントロールブロック

c139deafe6ba9b553b7aac1c5257437e7c9b2da5eeb38b55737f0f560a177007af (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

39deafe6ba9b553b7aac1c5257437e7c9b2da5eeb38b55737f0f560a177007af

リーフハッシュ（TapLeaf）

b1e07dc72aa2038ab7da7e83bff174a520b7b286490dec8dc500f1d0d6280190

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b1e07dc72aa2038ab7da7e83bff174a520b7b286490dec8dc500f1d0d6280190
2. TapBranch(b1e07dc7…d6280190, 39deafe6…177007af) = f3ed73280ec1c8f79dfa2314f8423dbb7f3b031cc80c43b0a807fba81175186d

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

f3ed73280ec1c8f79dfa2314f8423dbb7f3b031cc80c43b0a807fba81175186d

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

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

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

412bf037920f68300c842e678529e03b61e7af23916a3c6fa1cd4f375d40e75e7745578aecb9ecb78a8209a27c93b1c1b75c75e5af8688c4f72040459ed10e63