トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2142732138f46f7211eb412f78fb83128b57dd23f6c99f9d68228e270718d2de OP_CHECKSIG

202142732138f46f7211eb412f78fb83128b57dd23f6c99f9d68228e270718d2deac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2e19914ef5cec4d949fe7b4bca8261623d1f8b03f64260de0243346ddcf171d1

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2e19914ef5cec4d949fe7b4bca8261623d1f8b03f64260de0243346ddcf171d1
2. TapBranch(2e19914e…dcf171d1, 46c7eccf…1725e9fa) = 93423d571225dd586c61efcdefd833910e4411f3ed11fd2021f497ceab703d0a

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

93423d571225dd586c61efcdefd833910e4411f3ed11fd2021f497ceab703d0a

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

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

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

09c4e6652b279a361f583c8f14b8d1652f644aaf1818598fbd9339f6dd144cbe27f7e94fa801305ed2a3cf6800b2ce058dd62381090aa8e054ffdf006dffacc9