トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4e77ce71bfa4d8e4fc39154fcc4d4082c7a792522f15c3a32fb23c32546b85b5 OP_CHECKSIG

204e77ce71bfa4d8e4fc39154fcc4d4082c7a792522f15c3a32fb23c32546b85b5ac

コントロールブロック

c11ae3e2280cfd3e23f2754dc5cc93dc25282e562e03a6052fb31bcff327ce3fd2 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

1ae3e2280cfd3e23f2754dc5cc93dc25282e562e03a6052fb31bcff327ce3fd2

リーフハッシュ（TapLeaf）

1172050f83f8a179323c6b998cd4591d2d3ff3280c543786dc648ad44ae3d792

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1172050f83f8a179323c6b998cd4591d2d3ff3280c543786dc648ad44ae3d792
2. TapBranch(1172050f…4ae3d792, 1ae3e228…27ce3fd2) = 154c93dee0c7138a7db0fe83beccb22b1e91fb7d09735b839b39226a09d22ab2

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

154c93dee0c7138a7db0fe83beccb22b1e91fb7d09735b839b39226a09d22ab2

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

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

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

7c85f5cc99121bf60228a9614b08b14e3cf93cbde655027811a0409f22b6fe1ff8256ca66e9fd17ddae67b1cee9be60f3079a234b58ea16620cdba903132ce2d