トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7603784ff4350c31978366869fde4926f04c7eda1341befeaad46a83960c82b1 OP_CHECKSIG

207603784ff4350c31978366869fde4926f04c7eda1341befeaad46a83960c82b1ac

コントロールブロック

c1f6133c3c3756498bc9240fe94d1035741e4462701735a8e8dad47b53e044a10a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f6133c3c3756498bc9240fe94d1035741e4462701735a8e8dad47b53e044a10a

リーフハッシュ（TapLeaf）

3fcebb63ed718cc8bf89df9164b6294aaba86382dabafa06ce6961bfab2a23e1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3fcebb63ed718cc8bf89df9164b6294aaba86382dabafa06ce6961bfab2a23e1
2. TapBranch(3fcebb63…ab2a23e1, f6133c3c…e044a10a) = 3dc66bb4514eb779a33a131ff2b75f3deb803f4a1b91ac6973e332bc0b71af1b

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

3dc66bb4514eb779a33a131ff2b75f3deb803f4a1b91ac6973e332bc0b71af1b

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

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

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

4a3234fac2bfe4c08b1caf3b88c71de9829c96a4008e7c98875c9a517794af7d4dfa5eb17fb95c78069540c627e6cee3c673ad2104a42b936f0ebc1a0eb639fd