トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3f4f50a6df01b92c4f2de443d96276d0bdc8648d10545d7079c91e59157a36ba OP_CHECKSIG

203f4f50a6df01b92c4f2de443d96276d0bdc8648d10545d7079c91e59157a36baac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5aa8aaa04c35196a4291479a1d1316e2d8b47e1cbbecae1debebc702cbbe7607

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5aa8aaa04c35196a4291479a1d1316e2d8b47e1cbbecae1debebc702cbbe7607
2. TapBranch(5aa8aaa0…cbbe7607, 46c7eccf…1725e9fa) = ab089783a447f27efc8f31e7ef72a6b303c18545233f8c6760bf3fbdbcfa5bde

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

ab089783a447f27efc8f31e7ef72a6b303c18545233f8c6760bf3fbdbcfa5bde

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

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

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

f88ce7560310e43e8bb0ace8edecf448ef8264e731ffee3ac97694353eb0e9ee450ac4ea4f16358a3676e39e7f5ad8f221ecc197bde27c349b37e31551b4f69e