トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bd586db07e2b6375619fac1856328e38284ef264792f518271cf490f40d09aa4 OP_CHECKSIG

20bd586db07e2b6375619fac1856328e38284ef264792f518271cf490f40d09aa4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a1cd41ca67219de94c444fd7efc4bdbc31791ff9f87748896cd6a411927ed285

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a1cd41ca67219de94c444fd7efc4bdbc31791ff9f87748896cd6a411927ed285
2. TapBranch(a1cd41ca…927ed285, 46c7eccf…1725e9fa) = ff33b1c94d5dec1d48066ba1ab5449eeaf48b659b4c647d2813c49507e438611

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

ff33b1c94d5dec1d48066ba1ab5449eeaf48b659b4c647d2813c49507e438611

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

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

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

9ad41a94403f6201e4dfba268940eee3a9244ea2dca0ae39ee6dc1ebde00dd68e6e1516d77ef31a7625151ea70ec35c7bc3974846d203f20afe0c956e309205e