トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

843dd881b801bccf4a58b8cb48497d85853d3b037f596ca827ba0cb25d0cfd0e OP_CHECKSIG

20843dd881b801bccf4a58b8cb48497d85853d3b037f596ca827ba0cb25d0cfd0eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8a25f4d42f15ad12dba092dded68c538ab100cf2d54d349b72c6d7e60c083114

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8a25f4d42f15ad12dba092dded68c538ab100cf2d54d349b72c6d7e60c083114
2. TapBranch(8a25f4d4…0c083114, 46c7eccf…1725e9fa) = 136f8e4153346056f8f4dbf192300797fae621aca5d388b2ce4e00c187a8a7ba

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

136f8e4153346056f8f4dbf192300797fae621aca5d388b2ce4e00c187a8a7ba

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

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

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

f78b504bfabbb7776bf245fd34daba3084528407b30dc3bb12c1ac78edf3d6c389049177aa8d1fa9f4af92254a5e97c611a13c731ff8d153f35dcd0c63fa40f8