トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

65fbaebd0d845265607e9ae7acb7081a4b454ce45af380dd8cbf429d98ba12f5 OP_CHECKSIG

2065fbaebd0d845265607e9ae7acb7081a4b454ce45af380dd8cbf429d98ba12f5ac

コントロールブロック

c162f1cd2c1ebc6299b51fc076e58b18b8cac82215c6ed875d4a829d9d69cd448c (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

62f1cd2c1ebc6299b51fc076e58b18b8cac82215c6ed875d4a829d9d69cd448c

リーフハッシュ（TapLeaf）

529f7748f3a0df4ebd4555e48f28c1b00b146e0d6befd867de6a430c4f3134b9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 529f7748f3a0df4ebd4555e48f28c1b00b146e0d6befd867de6a430c4f3134b9
2. TapBranch(529f7748…4f3134b9, 62f1cd2c…69cd448c) = 99f64186da558203d1d610c3e99901d7f5726fcdaeb33ac76a10f8cca5150972

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

99f64186da558203d1d610c3e99901d7f5726fcdaeb33ac76a10f8cca5150972

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

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

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

67ca4da69d6402b400595975adebb1f725727164676eb2bae101cb8e027d7a39fdcb2dbed6dde8b84beae3c76f17573b01321d1f72a95be059008e1c4f29f2c1