トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5ff4f975ad49e9e926577bee2b63f337bf3609f2ca4349b9d04a1c6617d75ba9 OP_CHECKSIG

205ff4f975ad49e9e926577bee2b63f337bf3609f2ca4349b9d04a1c6617d75ba9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bd3cbd1c11222844e57694180acf84ad0e4b91f35591964c663c6f4a6f001ef5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bd3cbd1c11222844e57694180acf84ad0e4b91f35591964c663c6f4a6f001ef5
2. TapBranch(bd3cbd1c…6f001ef5, 46c7eccf…1725e9fa) = 4aa6def33b47e75411c959bd1af0802f7f30343ca7cbd6ea9fdb66971f029810

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

4aa6def33b47e75411c959bd1af0802f7f30343ca7cbd6ea9fdb66971f029810

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

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

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

142e1ea1df680d771646ceacbed3236811396323f1ccc9a4bf448d950af95e66e6e5d144d728a3a55342abf103077e5f2c2be264871f4ecd9d141939342d7b37