トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5d5bba157174874a514b176b252c59b15f5919a4cd893f207907af8e1e72755f OP_CHECKSIG

205d5bba157174874a514b176b252c59b15f5919a4cd893f207907af8e1e72755fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

655e0c6ec0e12c593d1f44840ce5fa2bc50b76ba5d2a37188e0e7e986df19f89

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 655e0c6ec0e12c593d1f44840ce5fa2bc50b76ba5d2a37188e0e7e986df19f89
2. TapBranch(655e0c6e…6df19f89, 46c7eccf…1725e9fa) = e7661f5e8bb1963d1aa49904aff66547e3838aba8463e88c9e1d6cfe4a4e6193

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

e7661f5e8bb1963d1aa49904aff66547e3838aba8463e88c9e1d6cfe4a4e6193

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

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

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

a07c3e0a451120445cb0ce53b1cbcf78ebd4e7a6de6a17721781ad75b9bfb7e159fdc7d6cd09160431d6e1fd13488192ce5bf7c50a7e31408ca9693e5a8a299a