トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ca7da013e62501f4e2304ee3570c998fbd25204c3be13514ce45f9531fa1e519 OP_CHECKSIG

20ca7da013e62501f4e2304ee3570c998fbd25204c3be13514ce45f9531fa1e519ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cca5884f4ccafaa4ee1a441e8c1b29bfe69dd9670327b6cf9b6352af468daaf6

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cca5884f4ccafaa4ee1a441e8c1b29bfe69dd9670327b6cf9b6352af468daaf6
2. TapBranch(cca5884f…468daaf6, 46c7eccf…1725e9fa) = cdf60affd74eed3beae471bc7d4a6075f33914cb9f07bf94e876ce0e732d52e2

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

cdf60affd74eed3beae471bc7d4a6075f33914cb9f07bf94e876ce0e732d52e2

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

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

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

76f69f850dfe1fea9e94e07175c0df53aa720218b3373d3cf788fc72aa295d58adee13113f62bff3ef4566df8774e16b34c602df51836c18df8e707d7d82746a