トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5764e5d8714e2fda40dc6716154e8fe866b346798339411a8d2565c873057959 OP_CHECKSIG

205764e5d8714e2fda40dc6716154e8fe866b346798339411a8d2565c873057959ac

コントロールブロック

c1aa3dbc01de2f935fee8b7edff25f9a0c74dd441548a23408d70918d94a48f660 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

aa3dbc01de2f935fee8b7edff25f9a0c74dd441548a23408d70918d94a48f660

リーフハッシュ（TapLeaf）

220f88094bdddfa8c81c309f97ff70c8917ba1299936ae70c953cd40e736d4e7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 220f88094bdddfa8c81c309f97ff70c8917ba1299936ae70c953cd40e736d4e7
2. TapBranch(220f8809…e736d4e7, aa3dbc01…4a48f660) = c80be83f924acc0f14a922b33f5e88c888fec03c5ce12291f0576385b3760b87

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

c80be83f924acc0f14a922b33f5e88c888fec03c5ce12291f0576385b3760b87

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

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

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

82f60ca9614ea8a0e6e3251d21cb4decbb164531a2a46da919663210b872853a87c485b4345151c3191592fb7916d232ba9309c82e5eee1df340ab76b787455f