トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

117e244d212257027cd7fdd8668e11429354389469f00a2e39a2dbbe6f807b11 OP_CHECKSIG

20117e244d212257027cd7fdd8668e11429354389469f00a2e39a2dbbe6f807b11ac

コントロールブロック

c12f34859faae83dc8e45a03d7f14e3b9f3f9bb8de05729ab8c29d505097ef7f55 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

2f34859faae83dc8e45a03d7f14e3b9f3f9bb8de05729ab8c29d505097ef7f55

リーフハッシュ（TapLeaf）

5391ea340acad6941fa54424282b2000777a031abdb17b9d423ce174ce33a8ba

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5391ea340acad6941fa54424282b2000777a031abdb17b9d423ce174ce33a8ba
2. TapBranch(5391ea34…ce33a8ba, 2f34859f…97ef7f55) = 0eab5a27efe9ac850a2410f0a1cf66248ffdcd18a642159c7ff6017879ed4aae

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

0eab5a27efe9ac850a2410f0a1cf66248ffdcd18a642159c7ff6017879ed4aae

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

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

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

7252000282f43f019f5184ae480ff81ec7e5573a4a18e31eb93d25d9d275da88326cc32e71006b0a5d9f590b31b774f9dedc18ad51e1a1b61e3819ff1ce7ca65