トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

047cba4576906f304895d459c3bc7d54367f1888d0f102cf31eb8d5a1de158cc OP_CHECKSIG

20047cba4576906f304895d459c3bc7d54367f1888d0f102cf31eb8d5a1de158ccac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

be98e9fdbd542ef94c237797c762255b4da759dffd9d5ac199acfbe3181fb4de

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = be98e9fdbd542ef94c237797c762255b4da759dffd9d5ac199acfbe3181fb4de
2. TapBranch(be98e9fd…181fb4de, 46c7eccf…1725e9fa) = 4f802108560dac437a4bcba91779a5f5b98de1a6689812c274d8f5319c6dc963

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

4f802108560dac437a4bcba91779a5f5b98de1a6689812c274d8f5319c6dc963

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

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

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

4b03c84f8a4eb2187d40fa17a3964f56554991e75596a46a575fadc0791a0560335a039a110d0f13395eaa4da3c12c25b8d50a9053460686f2fe5939abcdb54f