トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fe76074ffff1f06ad22aed6f96c00e9ca276593c08b2abb1049c16b384706fdc OP_CHECKSIG

20fe76074ffff1f06ad22aed6f96c00e9ca276593c08b2abb1049c16b384706fdcac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

287b93fa572a3f44139947436b5451b97202e4051d1913d5c03f95220a4c3924

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 287b93fa572a3f44139947436b5451b97202e4051d1913d5c03f95220a4c3924
2. TapBranch(287b93fa…0a4c3924, 46c7eccf…1725e9fa) = c5080da2d7a5b3642992df02830f5ede908c674ba1647c6c2235e0567aff2deb

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

c5080da2d7a5b3642992df02830f5ede908c674ba1647c6c2235e0567aff2deb

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

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

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

3710d11ab7ebb32059f74b7cc779a184907c6144a83b4f2092cd44a8b7ff59d6136f7fff02d5cc6e18dcca700b1f1cabac0eae8f1738f98107465da051075c34