トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ded81f56878d41fff9b0e2c300cb608275bd2d3de1d00429b0734777e9e08f91 OP_CHECKSIG

20ded81f56878d41fff9b0e2c300cb608275bd2d3de1d00429b0734777e9e08f91ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b7504fb90df6e4d959df9714a4ba1049596b49ab6901e7b1f828ff152ab918e1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b7504fb90df6e4d959df9714a4ba1049596b49ab6901e7b1f828ff152ab918e1
2. TapBranch(b7504fb9…2ab918e1, 46c7eccf…1725e9fa) = fc20ff9dbd2f61f1511d5b45ee9bdd2fed66980f2b109427c3bfcdb85a7fe442

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

fc20ff9dbd2f61f1511d5b45ee9bdd2fed66980f2b109427c3bfcdb85a7fe442

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

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

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

d7ce4f4aeae01729acd81f12d145afc0a0a76b2a1f54040b7250021637735b29a9fbb7bea2f208837d574071ce9c64f803400adb5887fd75c04694bb12befdaa