トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

57d8318b411e54193edd2b269bb440031cf958f1adc5da513db53a666bad5648 OP_CHECKSIG

2057d8318b411e54193edd2b269bb440031cf958f1adc5da513db53a666bad5648ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

227ea072a2408037e54550fd831e82ddc85fa5aa225d81962e9c771e6c1a5d64

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 227ea072a2408037e54550fd831e82ddc85fa5aa225d81962e9c771e6c1a5d64
2. TapBranch(227ea072…6c1a5d64, 46c7eccf…1725e9fa) = 942bddc7754f8a5b11510c71ad02bb727b46bbae565e50a5f5e8599be98fa525

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

942bddc7754f8a5b11510c71ad02bb727b46bbae565e50a5f5e8599be98fa525

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

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

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

2c6934b0652dcd780c58dc6ef3f3dc3790cafdb2ba025e0b0b979219197fdbb110f727f1f0dec9ff9ceec55f31963353c3b4559d1b37fefb1510119a52c5dd40