トランザクション

入力 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 以上）。

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

37c9403f8a26601f6f75457ddaf51796e730797c03d592eb93c45fc7c1961edc1454b68783000f970ab95d36176b097be38c6c278d02c628496fe2c2458c9cf0