トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1bb670f06f5ffd9f2bf2a8809c310e556bfba393b31b5ea271095d690bef5500 OP_CHECKSIG

201bb670f06f5ffd9f2bf2a8809c310e556bfba393b31b5ea271095d690bef5500ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cfc4c80c000e3481e38e8502c991127a4f7a235cc544748a63490f44ec0c0492

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cfc4c80c000e3481e38e8502c991127a4f7a235cc544748a63490f44ec0c0492
2. TapBranch(cfc4c80c…ec0c0492, 46c7eccf…1725e9fa) = bde45658e3776fe56b27dc296fdd682e5fc3dde6e22e54caaeabdc11d0a27cd4

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

bde45658e3776fe56b27dc296fdd682e5fc3dde6e22e54caaeabdc11d0a27cd4

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

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

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

a857c38228bf662b6e50e6f6646019c54b9bf7e587fd3293382b69e64a7f44b5cf3f5191bafc3e7af922d33de4227499bc1ea25d229d0870315e4bced7222472