トランザクション

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

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

dc8353f19c93aaac6e1363f828880b628fde69520a59995ada4c04463a50c22758463b68645d7ff1d95cfd2f869040afcbcd1f1913d09f0e82050029bfca552e