トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

634e7608dc08f24864d78251072667c7650296b542a471822dc96cd3ff33337d OP_CHECKSIG

20634e7608dc08f24864d78251072667c7650296b542a471822dc96cd3ff33337dac

コントロールブロック

c194f87ccc45bebb81932b5376186a1f48dd11168669ac79e9a0d7acca53dbcd2a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

94f87ccc45bebb81932b5376186a1f48dd11168669ac79e9a0d7acca53dbcd2a

リーフハッシュ（TapLeaf）

47b94e8b0f63124b7fdafd9140fda87718bb87fb05b2782725c753ec87a48e99

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 47b94e8b0f63124b7fdafd9140fda87718bb87fb05b2782725c753ec87a48e99
2. TapBranch(47b94e8b…87a48e99, 94f87ccc…53dbcd2a) = 8d887498ce719799464e5aebb54206f92bb8a47b262074fd29c8a18445d12a26

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

8d887498ce719799464e5aebb54206f92bb8a47b262074fd29c8a18445d12a26

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

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

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

fd5b83559405b499ac94e5b74fd85a9c2cc2372066c706864abd9328da676e0753281dbde33a09bcab215fcc2e84dc45f92672709cccbc030ca8cb1fa68ba452