トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

20a4752c58f207439c0fa38d6525c087924c7e7f84ac1bfc2675be4f78b6b4ff OP_CHECKSIG

2020a4752c58f207439c0fa38d6525c087924c7e7f84ac1bfc2675be4f78b6b4ffac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e43ad95056bd718bd01323522de6bb925e5a7151d9aec89b74963cfbcc654a6a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e43ad95056bd718bd01323522de6bb925e5a7151d9aec89b74963cfbcc654a6a
2. TapBranch(e43ad950…cc654a6a, 46c7eccf…1725e9fa) = eb0bb811c2dfd6ab7c237b23e21dee0f798d63d2364e7523f335d3861e677d43

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

eb0bb811c2dfd6ab7c237b23e21dee0f798d63d2364e7523f335d3861e677d43

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

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

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

862e6443c1a43fe6cc8ec2396a179e27a413990b39865d3efa71f326013c852577d3eb12876a57082a16d4a334c9a0985a9512e46ea58caa3d4aa8d933dbe9cd