トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

009c75d25610d01785883659049cbb81b65653369bb5a9ffba07a57f42e6934a OP_CHECKSIG

20009c75d25610d01785883659049cbb81b65653369bb5a9ffba07a57f42e6934aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9a31d9582afcf474a25be6f771110aa5191607fc104a2c01fc1721e0f6903769

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9a31d9582afcf474a25be6f771110aa5191607fc104a2c01fc1721e0f6903769
2. TapBranch(9a31d958…f6903769, 46c7eccf…1725e9fa) = 1e852dec2addf805a3ffdc8dbb922bc2a0c9fe326c1918013a2f3a139649692a

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

1e852dec2addf805a3ffdc8dbb922bc2a0c9fe326c1918013a2f3a139649692a

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

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

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

ff94a1ebc2b6fa25c5e1d2bd02afa2727d132fe1dbff8b64b6f9d1d847a81bfd8a257b31dae2a84d7dc553a635a34cf72e9d7a02dfe378e06bb810baaf86a21f