トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6383952317a5a8ce504bdf95aa98b0b507e544fd25fac89d599abac0b3ba4dfa OP_CHECKSIG

206383952317a5a8ce504bdf95aa98b0b507e544fd25fac89d599abac0b3ba4dfaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

eebbcc90b8396cea42f912b145845500af061ef886db7643a2c71bfad3648ef8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = eebbcc90b8396cea42f912b145845500af061ef886db7643a2c71bfad3648ef8
2. TapBranch(eebbcc90…d3648ef8, 46c7eccf…1725e9fa) = 10bd3bdb138b6cbe1dbd85a0f9e11b23e082d63e56b67f84f2ccd567c3944d98

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

10bd3bdb138b6cbe1dbd85a0f9e11b23e082d63e56b67f84f2ccd567c3944d98

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

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

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

c1ecde035fa49487a26e05940b730ef04663433d0b94f182c2681a2a907cfaa54ec4953d56dda4a7922736c48ec4bed0ea47db3f1850152aaa1d06986188cede