トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

210bf2553c9ae89622561b78e8655ed34baad3edd30034f3958bbe74924bc1a5 OP_CHECKSIG

20210bf2553c9ae89622561b78e8655ed34baad3edd30034f3958bbe74924bc1a5ac

コントロールブロック

c1b6c364a232332238b62e10b70703a581085e2349824d52eafd9d9fec10204892 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

b6c364a232332238b62e10b70703a581085e2349824d52eafd9d9fec10204892

リーフハッシュ（TapLeaf）

bbfe8b370857c367740dc60ce496fd58e8cc08f8f61f3941d92d90d4309ff83b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bbfe8b370857c367740dc60ce496fd58e8cc08f8f61f3941d92d90d4309ff83b
2. TapBranch(bbfe8b37…309ff83b, b6c364a2…10204892) = a0dbc8c118b6e75baa550706e9a16394c17338d7aae69a92b92265f2affac1b0

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

a0dbc8c118b6e75baa550706e9a16394c17338d7aae69a92b92265f2affac1b0

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

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

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

51cacd9be5a1fba262b7c4852c9c0fc26272f9597691468f284614c56a14eff444238a5a5dad98fdd004975b2d6002c2498964e21b077a8017299306eab2a32e