トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c3f110d51cbd00a287bb1798268702ada1c0e5c8b81a1e8384cbf19e3e6fd107 OP_CHECKSIG

20c3f110d51cbd00a287bb1798268702ada1c0e5c8b81a1e8384cbf19e3e6fd107ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

07f7599d2a1937067a80f1a8bb37574d53615b369216d81a34f85e2d822edb58

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 07f7599d2a1937067a80f1a8bb37574d53615b369216d81a34f85e2d822edb58
2. TapBranch(07f7599d…822edb58, 46c7eccf…1725e9fa) = 7ccf4597ff3bf749b2321b3a25f0460c01e6ff4612d6951c164bb3e44a2637b7

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

7ccf4597ff3bf749b2321b3a25f0460c01e6ff4612d6951c164bb3e44a2637b7

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

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

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

9c7dc59c867e1bea913f641a4b78cebf8516448d00463b3c8c4aaabdc845376f768ae1ea8461311453d79e7d91225bf5a2098bf72b4c4fdf1492506a56120c54