トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3b6c82bfe321fa6312236516b44d29474f7419e417486257f4d83fe9548616c3 OP_CHECKSIG

203b6c82bfe321fa6312236516b44d29474f7419e417486257f4d83fe9548616c3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7a2623e9167d0df90aef0d4dd2cbaec8e037d849a0143d66806b1f99a227de73

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7a2623e9167d0df90aef0d4dd2cbaec8e037d849a0143d66806b1f99a227de73
2. TapBranch(7a2623e9…a227de73, 46c7eccf…1725e9fa) = d30574d5d01c7947b2f526d36a6d1e658387ecfd6ff657c37d93b9b17eddf7a9

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

d30574d5d01c7947b2f526d36a6d1e658387ecfd6ff657c37d93b9b17eddf7a9

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

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

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

94749e18b62c116246e428c7ae541864f23c4ca2aa2969d0dbf19d744f15f3bcb2360d2043a84b0c816f47e90a40184d8b9dd5118329ef1beec9017fbd92d826