トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

275fa03633a27779330f3a5692fc13d89e437776a9874f51e2da14d11cfd4f71 OP_CHECKSIG

20275fa03633a27779330f3a5692fc13d89e437776a9874f51e2da14d11cfd4f71ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a48ad7aca7f66f02e9ae0134427331a4415a38be8986a5b34adfc23964eb4826

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a48ad7aca7f66f02e9ae0134427331a4415a38be8986a5b34adfc23964eb4826
2. TapBranch(a48ad7ac…64eb4826, 46c7eccf…1725e9fa) = 67d17d9af69ccc7cd92b8fe3fe4a46ac154bc3bc78e6d2eb9609eac8fbed2a75

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

67d17d9af69ccc7cd92b8fe3fe4a46ac154bc3bc78e6d2eb9609eac8fbed2a75

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

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

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

a58833b4cd33ef05c2554d14891220e9e3ab1fed043b010174ad01ac34dc1355060ae734d0fe53c3fd3d619c090c32d5b46eef4f13c1e2dfb3c49ed32167c011