トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

42720ec8270829f10dc650215f07b1e35ccc38e1dc474ae3b906a7b78cc60ccd OP_CHECKSIG

2042720ec8270829f10dc650215f07b1e35ccc38e1dc474ae3b906a7b78cc60ccdac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a6d326395427779847350b4abce638101792ee289a42f4687fa1a83acf58c373

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a6d326395427779847350b4abce638101792ee289a42f4687fa1a83acf58c373
2. TapBranch(a6d32639…cf58c373, 46c7eccf…1725e9fa) = 2a4691fcc585648f3b2eeb332ecae95a7a3a5f1d3dc6ea664c16d581909ec542

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

2a4691fcc585648f3b2eeb332ecae95a7a3a5f1d3dc6ea664c16d581909ec542

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

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

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

c3da5eee6a609e1a8a41926ba83c56b1fefdf0da32b50c75a6ab345b31e20dbaf7986c8da76e71ba47d43bf43ddc0e0ec8ccfc0f35430a50b774bb1035bdf3bf