トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d31099ad820cc01f318560707612b0594ae5be5efdc28768d2032e872ee6dde9 OP_CHECKSIG

20d31099ad820cc01f318560707612b0594ae5be5efdc28768d2032e872ee6dde9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

22e27c446bc523d51bb6a02099cf94015d0170510d4540455659fd7739bbfc70

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 22e27c446bc523d51bb6a02099cf94015d0170510d4540455659fd7739bbfc70
2. TapBranch(22e27c44…39bbfc70, 46c7eccf…1725e9fa) = 97d26a807dedb42dbc8376aa5e80e44ff9ab982ed71f93a1cf76325cbd15b329

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

97d26a807dedb42dbc8376aa5e80e44ff9ab982ed71f93a1cf76325cbd15b329

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

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

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

4ce55b01150845a3e8271c0d951059dad74c9f47b7a1dd4a60a52736987869781484831076ae93ea0af9b4ccb5d240f84ae1df34082eb91559eacd1c6ef2e264