トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e2874cfa2d8c3c92d576deb833e2c3a450a56492f0d1bf4cc16a52db0f3d57eb OP_CHECKSIG

20e2874cfa2d8c3c92d576deb833e2c3a450a56492f0d1bf4cc16a52db0f3d57ebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f0e7814bd2a8eb9273a94552248660e629e939a0be688b38dc0bb7e1ef13ca5b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f0e7814bd2a8eb9273a94552248660e629e939a0be688b38dc0bb7e1ef13ca5b
2. TapBranch(f0e7814b…ef13ca5b, 46c7eccf…1725e9fa) = e70e1cf79c1bad05d09374d9158d21c4e1d34d5846264f3dc0bbb98518ff6ee5

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

e70e1cf79c1bad05d09374d9158d21c4e1d34d5846264f3dc0bbb98518ff6ee5

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

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

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

80c63f80c3abbbdec465e2106459a57da4f12ab07e4f512e3bd928649a3ce4a66d8a357396bb74e58c4d38e420d7504b42a4a54e2dc4887016fe7922a76fa392