トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ff86b7f862fb244b869031852d4366ea870df3aa01f3ddd33fbf1b3d9bae1257 OP_CHECKSIG

20ff86b7f862fb244b869031852d4366ea870df3aa01f3ddd33fbf1b3d9bae1257ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

eb8355a5cea90f8fde0ea7707d047c40e81a8cbb24545c449ee8c67ce06d0ea3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eb8355a5cea90f8fde0ea7707d047c40e81a8cbb24545c449ee8c67ce06d0ea3
2. TapBranch(eb8355a5…e06d0ea3, 46c7eccf…1725e9fa) = cfba00fe1132cf8b0aa49c3c3e9158205c8df43587d43f3094b0ba7c367d1d20

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

cfba00fe1132cf8b0aa49c3c3e9158205c8df43587d43f3094b0ba7c367d1d20

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

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

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

0ef7dfeaddea7ff95418facb4eac4f952d770f0f91623d29af275e40afc8172c2ef5ccf4fffd0a179da01a578f769ca1d30c4d4edeecaeacdd088a75b276e52a