トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

20e6b22b9e71a75c43a645efeefcaf6a79a1f92ce62fd6b6cb12770a05e1b236 OP_CHECKSIG

2020e6b22b9e71a75c43a645efeefcaf6a79a1f92ce62fd6b6cb12770a05e1b236ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6e4dffc1ed704e40bcb7ef6e590e07b3536dd2bf0596dc907d434e361b455459

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6e4dffc1ed704e40bcb7ef6e590e07b3536dd2bf0596dc907d434e361b455459
2. TapBranch(6e4dffc1…1b455459, 46c7eccf…1725e9fa) = 363dd68e329cb9ee98408ef11ac2fd34304a3b692d6b68802967d638df317c28

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

363dd68e329cb9ee98408ef11ac2fd34304a3b692d6b68802967d638df317c28

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

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

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

dd81e87bd91a9a79f67afc07a2f3e4cf95ff2a3f25e8d65f4c0fbd0794574701920b85b430bc854f2b43b21ec86a68c937b1501574633e5b34b778b1be67f72e