トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4366cf29f8a16ed65d2265540d7d69d86867b4409c505b853fc14ec12b2aa79d OP_CHECKSIG

204366cf29f8a16ed65d2265540d7d69d86867b4409c505b853fc14ec12b2aa79dac

コントロールブロック

c14a4bcdec0e77d062f0ba3f1d4b313b2cf89774c50203f2640276951e1060809f (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

4a4bcdec0e77d062f0ba3f1d4b313b2cf89774c50203f2640276951e1060809f

リーフハッシュ（TapLeaf）

2fdbd874ad20d664ad6690f20e4574f392232297ce6755ef6c0141cac2071626

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2fdbd874ad20d664ad6690f20e4574f392232297ce6755ef6c0141cac2071626
2. TapBranch(2fdbd874…c2071626, 4a4bcdec…1060809f) = 9a13cd3d3088c1f23f13c8684c3e225eb07044c599f918585a18dcd7de824629

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

9a13cd3d3088c1f23f13c8684c3e225eb07044c599f918585a18dcd7de824629

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

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

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

e71230c22956bed6b35b76a3164d57f3488ce588e80509b94d84938a0461f38e06e71191b7a10fa0c7c056aa0d4842a782d0d51560fb2d4c03684c7a78f221ac