トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

191380af805093f58cc4867a10bff11b7a9b57974a1d9e76f6e7a06f3c65e27b OP_CHECKSIG

20191380af805093f58cc4867a10bff11b7a9b57974a1d9e76f6e7a06f3c65e27bac

コントロールブロック

c11bfb0f2a89fefb0cd6657d8bf2ac969d93a342019661db5f9bee08527565452a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1bfb0f2a89fefb0cd6657d8bf2ac969d93a342019661db5f9bee08527565452a

リーフハッシュ（TapLeaf）

1a53de093e995b8c4497a56bd294b75434dbef77d5c10696772b7bef23988180

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1a53de093e995b8c4497a56bd294b75434dbef77d5c10696772b7bef23988180
2. TapBranch(1a53de09…23988180, 1bfb0f2a…7565452a) = e9f547def66bd0a926ee25522ee866c80c70de6923e8d221e051f208e5b04744

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

e9f547def66bd0a926ee25522ee866c80c70de6923e8d221e051f208e5b04744

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

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

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

dd0c83d272d07fdcf26371fb58173b68ef87b2fc4f962fcb01da61bc161f99c867ea7f584098ba5094ea10e8fd3eb6cc9d8aa63d1dbee8977ed79284cefa25d9