トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5eff6f4b2d150c49f6e3a39c8012923031a403daa6f9bfb493adeb46249e992a OP_CHECKSIG

205eff6f4b2d150c49f6e3a39c8012923031a403daa6f9bfb493adeb46249e992aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

690493682a88829b64355b11c08e2ed8643c3b7139e5324e5241c3baaba61546

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 690493682a88829b64355b11c08e2ed8643c3b7139e5324e5241c3baaba61546
2. TapBranch(69049368…aba61546, 46c7eccf…1725e9fa) = 22a503534eaf8fbbdd0e3df2b6c9f615508749239c2439392f6c121f1727d6fd

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

22a503534eaf8fbbdd0e3df2b6c9f615508749239c2439392f6c121f1727d6fd

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

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

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

0061d8ccda90593666ef5b557627a01c8989acd76946af7b13b6e89da3b293d561f5e681381c24f00f27955ef84b4dda482e43bcc9f5fbb97a7fed2bbe56fe80