トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

93b35f0290240b55cc4e602985e950e8fc9d3c282b970db0ec887a18633e1933 OP_CHECKSIG

2093b35f0290240b55cc4e602985e950e8fc9d3c282b970db0ec887a18633e1933ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f9eeefbb5801483e771e882458cbf0739ec49b6e95bb704aed86a8d71b1cf9f4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f9eeefbb5801483e771e882458cbf0739ec49b6e95bb704aed86a8d71b1cf9f4
2. TapBranch(f9eeefbb…1b1cf9f4, 46c7eccf…1725e9fa) = 4a9ba203c28ef64a10bbb614c9a464be0ddbfa3d9c35c9528c5235c9e2a27588

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

4a9ba203c28ef64a10bbb614c9a464be0ddbfa3d9c35c9528c5235c9e2a27588

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

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

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

181d4dc36a4994738d0bdfd08bd58c6e6a8a07290e5631058c1520fe51988b912212c928ccd6b92a35b08236342bb67149c4c4af3a4569c664bf0b9bcb2b84db