トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7af7bbee3084672f60748326962ea9d0bbce5aac9d9f15cc56004a1e5e150caa OP_CHECKSIG

207af7bbee3084672f60748326962ea9d0bbce5aac9d9f15cc56004a1e5e150caaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4c95a8cd0ad069072dafe5439676297a1d490bc81a762e110bc0e38d94cf4826

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4c95a8cd0ad069072dafe5439676297a1d490bc81a762e110bc0e38d94cf4826
2. TapBranch(4c95a8cd…94cf4826, 46c7eccf…1725e9fa) = a7dddb6ed9fe009230c7e9982214d8bf8642da946bdcbda4c1c365d4c88b88aa

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

a7dddb6ed9fe009230c7e9982214d8bf8642da946bdcbda4c1c365d4c88b88aa

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

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

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

f1245c569ec895d0a1eaee2871c3e931aab50cce8be8f332f42e9a1db60055c2d875e45a84fcf2946c8e47193bf0e01715db8626c852c719c7cbdd86740761a7