トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1ba91b6900586b83fb19cc08db6fc80fb4325a4fb50e55c563a4f57caa7538a2 OP_CHECKSIG

201ba91b6900586b83fb19cc08db6fc80fb4325a4fb50e55c563a4f57caa7538a2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

49edd5c1f9e819062ec3f06779d39fbbfe0497adeebccf8cc966a882070dd722

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 49edd5c1f9e819062ec3f06779d39fbbfe0497adeebccf8cc966a882070dd722
2. TapBranch(49edd5c1…070dd722, 46c7eccf…1725e9fa) = 3dd5e6489128ff8803f8b4d515b5093cf6bd40b9f7589c27eb89f7bde285df56

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

3dd5e6489128ff8803f8b4d515b5093cf6bd40b9f7589c27eb89f7bde285df56

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

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

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

c5efdc4c2ec66d1d6e9818cea21d796fc1d2a3abe108eb8f4c8d2b28056628a4d2fc400795e569a67d23e99963dc4264c742e605b28a3a6b823da05b59b340c6