トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cd061ed428d7ed87a7745a7df97e55b934a59f6d13574582cdbdf3f553253a98 OP_CHECKSIG

20cd061ed428d7ed87a7745a7df97e55b934a59f6d13574582cdbdf3f553253a98ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bb9ee66899c7e08f1a7772efa4bf87b902d51b593af5fc4f99031f7160b28845

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bb9ee66899c7e08f1a7772efa4bf87b902d51b593af5fc4f99031f7160b28845
2. TapBranch(bb9ee668…60b28845, 46c7eccf…1725e9fa) = 4d0c79f576fbab5116526dbab55ee1b810108ddeb1e71c4868a31a9fd83ec323

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

4d0c79f576fbab5116526dbab55ee1b810108ddeb1e71c4868a31a9fd83ec323

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

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

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

a8ec7b4d5906b103497273f4447a30f5fbc32b19124901d24ab04bdd2412ce37b542aa5415b83d4bd9c7295de15153c6b3cb358ade6fd3fdcc9e896b1df13a11