トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ad58958676ebeb400ce589d161f8ccc164407287616c409cf13f306bc9796b2f OP_CHECKSIG

20ad58958676ebeb400ce589d161f8ccc164407287616c409cf13f306bc9796b2fac

コントロールブロック

c16923e88ff019fc2ea25fd7d99dcc9fdcaf1df526cc77d747b0e3629e066c7f1d (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

6923e88ff019fc2ea25fd7d99dcc9fdcaf1df526cc77d747b0e3629e066c7f1d

リーフハッシュ（TapLeaf）

3ccbacf44f8b53e3c9bdad570a038c101a548bbc5058d3c8f773fcf4e33aef9b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3ccbacf44f8b53e3c9bdad570a038c101a548bbc5058d3c8f773fcf4e33aef9b
2. TapBranch(3ccbacf4…e33aef9b, 6923e88f…066c7f1d) = 7006694592a5dde25a136caf02bb658b77c52ee4e5cca8f2da6bc87950ebf40f

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

7006694592a5dde25a136caf02bb658b77c52ee4e5cca8f2da6bc87950ebf40f

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

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

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

ccc2cb09b2486fda39c1384152114022f9e06262905ec1608d9f901b08d8b3286af801e12cd51bb914c2e1257292c4bbfebe8272e619b11b5432a18f8340ce44