トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e144f1f96602b8399199f3d1404d3012eba330e69208a3e25ddd9a4854341f75 OP_CHECKSIG

20e144f1f96602b8399199f3d1404d3012eba330e69208a3e25ddd9a4854341f75ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

28b3c97d91f6394d2ac4f47fd53fa7b36c1db3876ecd3e3af89399437b100a11

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 28b3c97d91f6394d2ac4f47fd53fa7b36c1db3876ecd3e3af89399437b100a11
2. TapBranch(28b3c97d…7b100a11, 46c7eccf…1725e9fa) = 864b013c337e6a4231ee904757f21106c6d794ca1b7943708a34288193d8c476

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

864b013c337e6a4231ee904757f21106c6d794ca1b7943708a34288193d8c476

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

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

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

7cd2f0f3fd3ead49b44875209f4b394fc0db22aad501fd33dfbe68c26c51c614354bbb90d7f513bea39e5ac9d32f91214998bf60450edf8f44dbe919792c69de