トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2186f2dde47293f2571cae6dd2e6b2649b6b0616e3310500200fa7b9e7db4170 OP_CHECKSIG

202186f2dde47293f2571cae6dd2e6b2649b6b0616e3310500200fa7b9e7db4170ac

コントロールブロック

c1fbb8ca8012bf12823e10ed4f15500fc53a463e6f854f599dfc2c8d137c7bb46b (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

fbb8ca8012bf12823e10ed4f15500fc53a463e6f854f599dfc2c8d137c7bb46b

リーフハッシュ（TapLeaf）

314a31b2952c5a7c74f6169e7907575809556c88a4610d39b2e6d84202cd7640

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 314a31b2952c5a7c74f6169e7907575809556c88a4610d39b2e6d84202cd7640
2. TapBranch(314a31b2…02cd7640, fbb8ca80…7c7bb46b) = 0e9178bf7b44695103ea89da74fd3777136fc8c620f64eb3ec915e5613af6966

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

0e9178bf7b44695103ea89da74fd3777136fc8c620f64eb3ec915e5613af6966

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

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

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

d7840759c8044c899c11b5a89642a77c87029e30f7a85f96981d2ac3c7130bdae1839f2e0c8452bfc067233d9dc042a2d5f3d6a1a806c2f443a9e332e9a3aabc