トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

89a80afc9d56dbf810f36d609ae2f31c1480ef2c1bbdf9aee7582749d32627f2 OP_CHECKSIG

2089a80afc9d56dbf810f36d609ae2f31c1480ef2c1bbdf9aee7582749d32627f2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

054816348b40153a8b3442a49b49b5c593e8e33c7e14188c68c91259fa5b8d76

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 054816348b40153a8b3442a49b49b5c593e8e33c7e14188c68c91259fa5b8d76
2. TapBranch(05481634…fa5b8d76, 46c7eccf…1725e9fa) = 9ae01a3b4f8ca35c2a793b284bc998ac96c377e4f39614fde6e70328d0bbb440

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

9ae01a3b4f8ca35c2a793b284bc998ac96c377e4f39614fde6e70328d0bbb440

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

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

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

cf3d77786fd05c2f002c833fc34bf88e42b739744d6683d37e08ec733fc12405a8a35c53677c8534e37802038f179fec4a5991fa5a6e22e26b30ffa3f146390c