トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ffefc9152a49cbb0bb47db40d96d82b072e5f52d8ac4ba83cbe72d57669b49ed OP_CHECKSIG

20ffefc9152a49cbb0bb47db40d96d82b072e5f52d8ac4ba83cbe72d57669b49edac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8529d61abffc36107a8ab7df56870813804e33cfa3bcbadd8b8010c393c39e8b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8529d61abffc36107a8ab7df56870813804e33cfa3bcbadd8b8010c393c39e8b
2. TapBranch(8529d61a…93c39e8b, 46c7eccf…1725e9fa) = 9773be65030122015c2d82cbd00674c455fa249a33b1349130b038e8363edaef

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

9773be65030122015c2d82cbd00674c455fa249a33b1349130b038e8363edaef

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

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

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

0d1ec0c5b752db37e769d39a2e98cd5d385e1e365d7058a32304bb6dfc6fc2faa92de1dde0f1c872770c81df4feccbbb144ae3cae53893cf46d485ed27f2b4ce