トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

016df1a61eaa9808f3946da67dffc49428f1da788b756e53b6d55464e685c1af OP_CHECKSIG

20016df1a61eaa9808f3946da67dffc49428f1da788b756e53b6d55464e685c1afac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cefd4e1a2da3b511e7aa81bb955025966042826b892f048a137fcd085f3a116a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cefd4e1a2da3b511e7aa81bb955025966042826b892f048a137fcd085f3a116a
2. TapBranch(cefd4e1a…5f3a116a, 46c7eccf…1725e9fa) = b35c7811f22f4c4b00404e2e06eeb1cc4636699931a82209a9970c4931f26dd1

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

b35c7811f22f4c4b00404e2e06eeb1cc4636699931a82209a9970c4931f26dd1

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

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

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

d97887a0595690bc4865109c3e22775b08d25f0fe84e7a1018a2f00b56be2900a011a507a10d683f4e88f15c8ad2b3cb3ea53f14cc82740953125edf6a2fca42