トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6ffcb12421d25fc345e7b9a2bbbd92f23a20042329bb7ea5bdea44cbd0b6f959 OP_CHECKSIG

206ffcb12421d25fc345e7b9a2bbbd92f23a20042329bb7ea5bdea44cbd0b6f959ac

コントロールブロック

c17c2010b526778e5b74b6c0bbe26bd735eba08e345edbad05922f24a004390b87 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7c2010b526778e5b74b6c0bbe26bd735eba08e345edbad05922f24a004390b87

リーフハッシュ（TapLeaf）

016bd585ee3d1ecaab62655888a8411826e1ab5c49009ebce62d80c97124b792

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 016bd585ee3d1ecaab62655888a8411826e1ab5c49009ebce62d80c97124b792
2. TapBranch(016bd585…7124b792, 7c2010b5…04390b87) = 1aab84e6910c784bb07badb1a5ae4bfc8e1a90949f2ea514691e47293a2a2249

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

1aab84e6910c784bb07badb1a5ae4bfc8e1a90949f2ea514691e47293a2a2249

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

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

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

d73a2553b3dbddea72e96054030895f7fcd457877691c5ea44c2d3ae2bd97702ad874c802a9feda934ebc334fbb7d8e71212d2011a50b24bf8fce37211e73dd3