トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

35e29459cef642f94c753f241fe186682efa1399ac381a929bfa33e6638b38b7 OP_CHECKSIG

2035e29459cef642f94c753f241fe186682efa1399ac381a929bfa33e6638b38b7ac

コントロールブロック

c1b1645ab004259eb8552fba317e3fb17bf7f11a80d80dcce206eaa8aff463ca69 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b1645ab004259eb8552fba317e3fb17bf7f11a80d80dcce206eaa8aff463ca69

リーフハッシュ（TapLeaf）

b8cecadd13a49f941c217142e3ae77abd0ddfd1307b44009222942cb9279480e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b8cecadd13a49f941c217142e3ae77abd0ddfd1307b44009222942cb9279480e
2. TapBranch(b8cecadd…9279480e, b1645ab0…f463ca69) = ad59cf643480c7155c55eb76f549fc6bbf899266c8efa0c573ae66f54c234d65

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

ad59cf643480c7155c55eb76f549fc6bbf899266c8efa0c573ae66f54c234d65

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

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

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

f9787637b9149a7aab83960a918366a99eef85de9464e3855c15674fbfedecf7aa9923722bddb74d167d7260750ed3c723ebb023e64f425628ee3b4a6e2f1e49