トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4a45b7c2b03ea49c6a70775294526e0f675fbb69f8c203cd246e2474712a0ec2 OP_CHECKSIG

204a45b7c2b03ea49c6a70775294526e0f675fbb69f8c203cd246e2474712a0ec2ac

コントロールブロック

c190ca76935e22d02cb2cb9d6743cf28045cd54c3443466f61be7e735f225355a8 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

90ca76935e22d02cb2cb9d6743cf28045cd54c3443466f61be7e735f225355a8

リーフハッシュ（TapLeaf）

1aaf2281e79b33731cd42dfaa64b4001fb589d8571ea7becf8c24dbb25ee302b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1aaf2281e79b33731cd42dfaa64b4001fb589d8571ea7becf8c24dbb25ee302b
2. TapBranch(1aaf2281…25ee302b, 90ca7693…225355a8) = 0ea12ddb7d9fe724c6a58e45bf582d3600f7e134e3d5f8ba5d79727cef3c41d0

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

0ea12ddb7d9fe724c6a58e45bf582d3600f7e134e3d5f8ba5d79727cef3c41d0

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

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

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

68cea19b55c61f0285481612a1f3f6ac75e45b43090377bebe96b8865ac8003cfde5bf468e20adb1762b831feefa1587e64f8d9b6cda83531f436d61dd917b63