トランザクション

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

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

6c1c11be58209489ebf176e148d42cdb20c9971aeb46dfd8d00d1e67e87d188f79642c3dbc3f3433a342d9d8c608f81404e0228d38d9f033ea77a2903ca0c85f