トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7b98615f09d0011310e780bda864acbe147ec36d3d45c28f9804607aa21fbf0f OP_CHECKSIG

207b98615f09d0011310e780bda864acbe147ec36d3d45c28f9804607aa21fbf0fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

75139cccc18700e3f22775a9b001994a5a22f40cf0a41a017a2afb9e55c88054

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 75139cccc18700e3f22775a9b001994a5a22f40cf0a41a017a2afb9e55c88054
2. TapBranch(75139ccc…55c88054, 46c7eccf…1725e9fa) = cb2c1ef5cd19f79439105e31ce1b25eff053dfcfdc11eed92dee0664ad3aa57a

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

cb2c1ef5cd19f79439105e31ce1b25eff053dfcfdc11eed92dee0664ad3aa57a

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

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

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

4ed4d35b84c8f04778cf74f9df5f2c93704ef06fb394d5f7f847338d655bf819a8df1b491a066e29216635abddc612aedf6eadea89da9fa9fd61a888b9a54d95