トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

27e7f1af24636a4a42f1ee04982c45bc230124a435797be2352461d2f9fc59e1 OP_CHECKSIG

2027e7f1af24636a4a42f1ee04982c45bc230124a435797be2352461d2f9fc59e1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cd223aa070a41ad23ad8940ea89c344d113a1807ce2101231c594e12399969ee

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cd223aa070a41ad23ad8940ea89c344d113a1807ce2101231c594e12399969ee
2. TapBranch(cd223aa0…399969ee, 46c7eccf…1725e9fa) = 8d648240cc9ef177ecd144f553daf031a81f992d37ce0519b9899b4b8408847f

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

8d648240cc9ef177ecd144f553daf031a81f992d37ce0519b9899b4b8408847f

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

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

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

8fd9995e95b38389cb266c51c041de0b0a29faa3c3394f3039978ab9d9071f8dfc36e5defc721a08d21ca3677650cdf152768b3940d8db200dbeafe83922a791