トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8467c9cf909d367c4e87805da8ff471e4fff1818339cf8849b433c16759da5b1 OP_CHECKSIG

208467c9cf909d367c4e87805da8ff471e4fff1818339cf8849b433c16759da5b1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

061775ecd1ec4073c1c36a5c2fd11ae44d20b5b7f5d57da727d6d9729a8a832e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 061775ecd1ec4073c1c36a5c2fd11ae44d20b5b7f5d57da727d6d9729a8a832e
2. TapBranch(061775ec…9a8a832e, 46c7eccf…1725e9fa) = c04e6043bb2ec8f67537c8b191219c2eee9b801e1347a6d69f9c9252f54c87c1

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

c04e6043bb2ec8f67537c8b191219c2eee9b801e1347a6d69f9c9252f54c87c1

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

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

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

dd8bff084ebdee6adf9901c050ef7e92be8e6587e0f87f6fbf6359ab5e96d11fe51a084f1ab38b1bff791c0a92835c036fc0d1a840439e4188f97360feec1e02