トランザクション

入力 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 以上）。

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

13917718aab178c7ef32cc4a605a39f2706b67c7532ef7a6ba4861c650877531fa8ac2ae2f490b38fa923a79e427ccbdd72d12d2e8429e131792a2ab5e48357b