トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6fbd16645a3d7437bb1a75b50f323ef10190b81572f85ebbb69c841df09442bc OP_CHECKSIG

206fbd16645a3d7437bb1a75b50f323ef10190b81572f85ebbb69c841df09442bcac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

42cdef9cd8077991685cd1ce5f3303fe03c8d9b3a18a10a000284b68b81a2a7d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 42cdef9cd8077991685cd1ce5f3303fe03c8d9b3a18a10a000284b68b81a2a7d
2. TapBranch(42cdef9c…b81a2a7d, 46c7eccf…1725e9fa) = b739ce38909a701bd749a84eb73548f364a2ad75848e375be0a6fa0a578da4be

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

b739ce38909a701bd749a84eb73548f364a2ad75848e375be0a6fa0a578da4be

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

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

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

0438d9e9aaa7667ade659d72dd2440eaf09238e2b72221d78bec071c8f207235ce45a11b4155db3fa5bf43b33fc6dbec534e2b393f8e7494b26553fd86f8b77e