トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0e17122c0764688ebd20ee70b5ab7df9da948afa3ee31d808d8b084f1032bfc6 OP_CHECKSIG

200e17122c0764688ebd20ee70b5ab7df9da948afa3ee31d808d8b084f1032bfc6ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1cbd380581b76c4dfc5a10b94dd29df7cf2a4b741aa0b200c3bdc30ff86990a8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1cbd380581b76c4dfc5a10b94dd29df7cf2a4b741aa0b200c3bdc30ff86990a8
2. TapBranch(1cbd3805…f86990a8, 46c7eccf…1725e9fa) = 5b204e2fe7975b66523c85830f4edc35128b475b530d90e18876263d7aa6047c

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

5b204e2fe7975b66523c85830f4edc35128b475b530d90e18876263d7aa6047c

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

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

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

79866d2ed743c51d97c33f5acc08d8890660047a55494db8a97766052adfea05dc888b88a308d960e0ec6ea2ce8f5ec37997e9bf11ca5ac67a50b6713a7a5b51