トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1b0a9abf770f4a111dbcbd60de4b3f49c181c925d9e693589c3cdd91ea340771 OP_CHECKSIG

201b0a9abf770f4a111dbcbd60de4b3f49c181c925d9e693589c3cdd91ea340771ac

コントロールブロック

c1799ea4958b8c821b206254725eb865aed234899e35f4774faf5c731e5fbc36d1 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

799ea4958b8c821b206254725eb865aed234899e35f4774faf5c731e5fbc36d1

リーフハッシュ（TapLeaf）

a1be60c01a4e8a76cad59824a6725c965eae9bce17b3c2437793bf0624cf8548

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a1be60c01a4e8a76cad59824a6725c965eae9bce17b3c2437793bf0624cf8548
2. TapBranch(a1be60c0…24cf8548, 799ea495…5fbc36d1) = ffc0aff505db7cc0e5293052e54e08b13a80fd86fb3f90991148dad5b0a9e5a8

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

ffc0aff505db7cc0e5293052e54e08b13a80fd86fb3f90991148dad5b0a9e5a8

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

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

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

1e405eead6a90e02159f7a38fa5fdca6c37bfc5a79f8ff034cad2364bdf33d417b44361af99a878ad09b82e8d61680a5371f4bcf18cad5512371244e4e10323b