トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3749f5b2ae73f61baa9ada42d1f3d2e85de9923d21cdd7498e7d2c2e35b64bc1 OP_CHECKSIG

203749f5b2ae73f61baa9ada42d1f3d2e85de9923d21cdd7498e7d2c2e35b64bc1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e288f188eefa8835b25c9853cfabfb62911e479a7f982d8891cc19a58b4fd483

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e288f188eefa8835b25c9853cfabfb62911e479a7f982d8891cc19a58b4fd483
2. TapBranch(e288f188…8b4fd483, 46c7eccf…1725e9fa) = 57cdd701edb113c90b2d310fce03cca71f4d5c6e3cd05a6a6caed5793b1f2e3e

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

57cdd701edb113c90b2d310fce03cca71f4d5c6e3cd05a6a6caed5793b1f2e3e

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

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

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

95d189ed2260e1604b419fa171e56f433f3ba8a5df144ac2b51e9abbbc3018cb0ac63800e66d96a827e2e1a7a1200e1a7f452fde3f30bd7126b94e54cfd8db03