トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

685f4e5d0d8edbcb879ef4149ddc3b460fad306a778d9e109c7fa83172812a79 OP_CHECKSIG

20685f4e5d0d8edbcb879ef4149ddc3b460fad306a778d9e109c7fa83172812a79ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1ff9726ba2e9713a84f760fe09f2750d8b34e59af798eabd1fb8d5d336cbc578

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1ff9726ba2e9713a84f760fe09f2750d8b34e59af798eabd1fb8d5d336cbc578
2. TapBranch(1ff9726b…36cbc578, 46c7eccf…1725e9fa) = 40e3d6b10222db5ec7bc873e99baf422659aecc0473edb997b363232bef2ec5f

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

40e3d6b10222db5ec7bc873e99baf422659aecc0473edb997b363232bef2ec5f

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

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

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

682a688ec1fdfe869bf81e5a58e899c299c91573e79bc5e9f5cc88fe073d4c51d60a78e8235d4591639efa1174794fc7372007e8da2bff4cc66da341677991aa