トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

29eabbf3b75b684a85771d33ef98f4263cd635585c715a3f95e31f448d0a95e7 OP_CHECKSIG

2029eabbf3b75b684a85771d33ef98f4263cd635585c715a3f95e31f448d0a95e7ac

コントロールブロック

c19278f20505594ca2527961d60a73746fda431240ae68f5fda40be0fdaaee9628 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

9278f20505594ca2527961d60a73746fda431240ae68f5fda40be0fdaaee9628

リーフハッシュ（TapLeaf）

5aa1a2c4c725990af685c26dc37331d0710e6bca4eb945ea7879a911791d43e0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5aa1a2c4c725990af685c26dc37331d0710e6bca4eb945ea7879a911791d43e0
2. TapBranch(5aa1a2c4…791d43e0, 9278f205…aaee9628) = cf15f1cad86bd36f77d2d94765f1fc92437e8f6c27423d419c4c5de524c358d0

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

cf15f1cad86bd36f77d2d94765f1fc92437e8f6c27423d419c4c5de524c358d0

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

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

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

45c3aeaaf3762d506cf6f414a8e18e0d415ce2aa27bac81208ed471195e249d7c814af98e96038655526d7f09201fc066f2eb1acc1b0ac6478b3d72bb6b30d32