トランザクション

入力 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 以上）。

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

74ab5522a3137483a56d609529bf66a93ee4a9eff8263c4458d694d3efb74f778e40c09e94dde2ba62e13b26c5a09f575657b62ebd05938a49d80f094495bb32