トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ba988d03bc3dbfcced78b63bdc4d48b6c5b1d0b2dd875f175aaa9e962e23962 OP_CHECKSIG

209ba988d03bc3dbfcced78b63bdc4d48b6c5b1d0b2dd875f175aaa9e962e23962ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b8e9dad4bd4910f13ca30e79be908965375a03b9d62fff097b3e33964617616b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b8e9dad4bd4910f13ca30e79be908965375a03b9d62fff097b3e33964617616b
2. TapBranch(b8e9dad4…4617616b, 46c7eccf…1725e9fa) = 901c246bb33eeb16eeef32f4862ef854df7234236e8c08acb9ed4d5c820fbfd2

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

901c246bb33eeb16eeef32f4862ef854df7234236e8c08acb9ed4d5c820fbfd2

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

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

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

f1b2371750dd76f5466aeb7c871d136eb5b5be6c5d01c1f782220699c0940a74c4018a4c111a66d7d1ebf10985351772b935697de6c3ac55d4a9c87cdee9fb33