トランザクション

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

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

89d6c6399b3b0e710749070e26afbcec79bf1595efd3a49b7642791d92345ec550b3b18d0922be3bbaad21c2bd2f46c234d32118559eb302a562fccb7d98bd9e