トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ff12c039788d531c27955623d21d82dda3c3b8a4c125d36a8c836fb3ea030035 OP_CHECKSIG

20ff12c039788d531c27955623d21d82dda3c3b8a4c125d36a8c836fb3ea030035ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f0015a9373447c174c62363cc5d7df022ca9af19e1f8e8b558fe33b614343d0d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f0015a9373447c174c62363cc5d7df022ca9af19e1f8e8b558fe33b614343d0d
2. TapBranch(f0015a93…14343d0d, 46c7eccf…1725e9fa) = c96568910537a03f53a72b1e9e044299c01bf7e22e9d24547bb8249c906fcd97

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

c96568910537a03f53a72b1e9e044299c01bf7e22e9d24547bb8249c906fcd97

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

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

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

5c5eccbd9a661c6b5cf2e428f0f66ac60b3b230e09b8571179d2ef0a4c7bab68b8167a4de6229fb5d432926ed0400bd5a109cec70d2ed618c8b1c7b80dc54dfb