トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

42f32828c3b8d3f0722902051c1851f1ec9f94351376ce656dff40c1f89bd04f OP_CHECKSIG

2042f32828c3b8d3f0722902051c1851f1ec9f94351376ce656dff40c1f89bd04fac

コントロールブロック

c175e5a346f3a971dfa51bc1b08da50010559d0923dbd264ec7e583784b88dd5bb (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

75e5a346f3a971dfa51bc1b08da50010559d0923dbd264ec7e583784b88dd5bb

リーフハッシュ（TapLeaf）

195000911f116838fb79956979d516bc3b524e44b46a293a1799180d47fca241

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 195000911f116838fb79956979d516bc3b524e44b46a293a1799180d47fca241
2. TapBranch(19500091…47fca241, 75e5a346…b88dd5bb) = b301ffc5b101bcebe7e1fb032f5c7e76bdd5a195a6ac075775699d54bec79c6a

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

b301ffc5b101bcebe7e1fb032f5c7e76bdd5a195a6ac075775699d54bec79c6a

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

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

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

a86680ebfe99903456251c53fd14e8bf15ccdb29685bbfacc6fbd1ede8725da53401104240b822c804d330f61dfbdac240e36f6427600420c502e9f0d874a433