トランザクション

入力 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 以上）。

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

1ab3d7a36f33db9fb269d22823ef4f4bd67be7317919f49a0f81239fdd6052a0420bbf0d29c0fe2262bc7ebac334591afde5dd2a41cd400d1ddce4492dfcae0b