トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d50ccce794090c68caef8582f6be5202eeff16b10e6836d66e535d58c2c20813 OP_CHECKSIG

20d50ccce794090c68caef8582f6be5202eeff16b10e6836d66e535d58c2c20813ac

コントロールブロック

c18bc799b1b539df03be4ea8823ca68c038509f1a5dff118810eadd10fe0782352 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

8bc799b1b539df03be4ea8823ca68c038509f1a5dff118810eadd10fe0782352

リーフハッシュ（TapLeaf）

d0b744b1a8e0931213c48124a9ac126c7c25655e4e8d883eadabb4b6e22b1ecf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d0b744b1a8e0931213c48124a9ac126c7c25655e4e8d883eadabb4b6e22b1ecf
2. TapBranch(d0b744b1…e22b1ecf, 8bc799b1…e0782352) = 45a2cbc2dd3a5dd4e00d8db26c58bf605cfc4c0fc1afdcc385b9db6a51809088

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

45a2cbc2dd3a5dd4e00d8db26c58bf605cfc4c0fc1afdcc385b9db6a51809088

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

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

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

ab21e4bdf887d82955dbf98bc87b11dfe7b7fa555e2eb28143a2f706bcb0823f40c6a76b9681ca8a694fce3360689a529e8e2a04e217fc23e01d207245b3fec4