トランザクション

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

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

0ac58ed938b39122e4a0c6c0c3d1fb2b3102b7e8443cb8734914f33cb3536b3985f734488f1802fa18c060fd5ef4b3e00bf45c14f611938a07676070933c0eb0