トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

21c2c18c07b74346caa743b28ad5de537ba7066295f69c5c1bac45ddce3f4d6e OP_CHECKSIG

2021c2c18c07b74346caa743b28ad5de537ba7066295f69c5c1bac45ddce3f4d6eac

コントロールブロック

c158c29be2dfc5fb9bd3a81bce5df9b1985001cabf451d1dd3aa44c9905c2a5350 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

58c29be2dfc5fb9bd3a81bce5df9b1985001cabf451d1dd3aa44c9905c2a5350

リーフハッシュ（TapLeaf）

8bce89e85e557860d413a95ee239e3d3d4b76eaaf9c074db4fcfe4e13b13b95f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8bce89e85e557860d413a95ee239e3d3d4b76eaaf9c074db4fcfe4e13b13b95f
2. TapBranch(8bce89e8…3b13b95f, 58c29be2…5c2a5350) = 5250b02a9d8a25f11151c37c3047ef1fb50dac6e7ada479ef680a18b5c0d3995

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

5250b02a9d8a25f11151c37c3047ef1fb50dac6e7ada479ef680a18b5c0d3995

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

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

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

63e0246f9ddcd186f89d926f3fdc49ece43c545528b49f7779fd72ea85a1ad75c908bbb9a9e1e47ffab6e83f924d9e0224c122a535d56ee8dce885773375f66f