トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ca6cf4da5f300d831611ffeb1abcf80b60f877d42b7ed504c70f4eb32d42243c OP_CHECKSIG

20ca6cf4da5f300d831611ffeb1abcf80b60f877d42b7ed504c70f4eb32d42243cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1920ec9fbc46208c576e2ba6686b0722f814aabef3915222940d69541440e901

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1920ec9fbc46208c576e2ba6686b0722f814aabef3915222940d69541440e901
2. TapBranch(1920ec9f…1440e901, 46c7eccf…1725e9fa) = f9890f3498fa133a9106bcf5d20ddaaf2563a3983871c843ffdd06f6b918b27c

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

f9890f3498fa133a9106bcf5d20ddaaf2563a3983871c843ffdd06f6b918b27c

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

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

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

83f65954c4c3c62a4e3ff25a112aef7ff78408bf567584e14812fda5dbfd24e80a6fdcabf4b50e0a29830a6643fb6520cfb5f00acd3513ca0b792b05b56322fd