トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a9ecbfab51351151f0be9fb7ad0ca454531549c10a9c3aed890345dc74c7d2cf OP_CHECKSIG

20a9ecbfab51351151f0be9fb7ad0ca454531549c10a9c3aed890345dc74c7d2cfac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b7ea85837369e16dfc63eb960aa9cd2ebfa8c0e45b2154954e6e36bf021165f3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b7ea85837369e16dfc63eb960aa9cd2ebfa8c0e45b2154954e6e36bf021165f3
2. TapBranch(b7ea8583…021165f3, 46c7eccf…1725e9fa) = 928b591cf1e35d0116e8befea553218928ff26ede2cf773025a637f6f61b1a65

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

928b591cf1e35d0116e8befea553218928ff26ede2cf773025a637f6f61b1a65

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

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

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

018a4dcff52b5c47e4725e0aee63452cd2a8329dd41520fd693ee23e696c7da7e8c50f9d41bbb89ff35c88db319ffeaab25a747e0de9525d53a1f9ff8bc4a4b3