トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d1a1585d8983803d1af581fc832af3c1faadd9c3319b26c22f0fce759bf0a7dd OP_CHECKSIG

20d1a1585d8983803d1af581fc832af3c1faadd9c3319b26c22f0fce759bf0a7ddac

コントロールブロック

c13b9f6c8b4be08adf574ba845cc915ceeb1090de30538ba81614df2167961f83a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

3b9f6c8b4be08adf574ba845cc915ceeb1090de30538ba81614df2167961f83a

リーフハッシュ（TapLeaf）

d058f6e6d8eccc52c218c38d5a6713501cce6e9621ecb96e5f2087f8e9668a9f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d058f6e6d8eccc52c218c38d5a6713501cce6e9621ecb96e5f2087f8e9668a9f
2. TapBranch(d058f6e6…e9668a9f, 3b9f6c8b…7961f83a) = 9d60ffc2f37e1f0ebc15d30f8b6780b0b54b72f171a5a4387598246b9a1fda22

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

9d60ffc2f37e1f0ebc15d30f8b6780b0b54b72f171a5a4387598246b9a1fda22

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

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

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

11f5d1990828d88a5bafef6b9fe23842b32c02c45eaa1b92d625cf5ff8a5c698ea5514a50c09bf545c37c138a4e11b6f777c3dc7680dd5cc1f8a73ba86a7e3fc