トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0ef2684737e31ae742f5dfc9c49fa80a46f26c323812f057553744c537054a45 OP_CHECKSIG

200ef2684737e31ae742f5dfc9c49fa80a46f26c323812f057553744c537054a45ac

コントロールブロック

c1630d1ffee812923d2ff1b755c4e982fc64a1a6204b0b5a153244977b805101ea (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

630d1ffee812923d2ff1b755c4e982fc64a1a6204b0b5a153244977b805101ea

リーフハッシュ（TapLeaf）

39eed2f2cce339b6d5b20fd9aa6cab18fc95967b87529ef31f01a877899618f8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 39eed2f2cce339b6d5b20fd9aa6cab18fc95967b87529ef31f01a877899618f8
2. TapBranch(39eed2f2…899618f8, 630d1ffe…805101ea) = 423e2d6de2a3aade224986e984e3277f4f321ff579d77331f3d43432ca034af4

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

423e2d6de2a3aade224986e984e3277f4f321ff579d77331f3d43432ca034af4

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

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

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

1c45367b10d0d00cd84c3a6a78b6da88d72c6bf1d7ed91f990a26992a0c846c6f9204e2ee4db5587e7629712ba905a2b498fbeac39175e03f1670af488cdd300