トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6f5657574cdc6252e31d33733279a4bf9f8b7c6b7a194214051669b54e4de316 OP_CHECKSIG

206f5657574cdc6252e31d33733279a4bf9f8b7c6b7a194214051669b54e4de316ac

コントロールブロック

c10bf467a17a4d29df55a47caeffd9427d57eb92a0350b24709eef49e04ce4f6d2 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0bf467a17a4d29df55a47caeffd9427d57eb92a0350b24709eef49e04ce4f6d2

リーフハッシュ（TapLeaf）

f7bfd715be9c9e488a1078777ed86a4cf3fff4d2fac35f670006be0156fedf8f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f7bfd715be9c9e488a1078777ed86a4cf3fff4d2fac35f670006be0156fedf8f
2. TapBranch(f7bfd715…56fedf8f, 0bf467a1…4ce4f6d2) = 7382a1712b5a6312eb6b8eca4e11de3f3f3b4fbca3d866961e1b05ea7fb92cb0

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

7382a1712b5a6312eb6b8eca4e11de3f3f3b4fbca3d866961e1b05ea7fb92cb0

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

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

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

165e4242ec6a4d8352bf5d1205e7b8469aabe61686f8d883517637491b578a2df79edd558585b55938ef2c4eeec96e14f1a4c8cc7c814b85d2859a9635562be3