トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

896e00350e572cf490d82d75eb308e3843908df3908bef9868c5b2b54160887e OP_CHECKSIG

20896e00350e572cf490d82d75eb308e3843908df3908bef9868c5b2b54160887eac

コントロールブロック

c199979c61ee934b59de0162342706270827cdab24f4e3017d5c359544db8c46f5 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

99979c61ee934b59de0162342706270827cdab24f4e3017d5c359544db8c46f5

リーフハッシュ（TapLeaf）

5f5e270839aec07247316ad96186085e0306093f57a604585b4970ef182d3f55

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f5e270839aec07247316ad96186085e0306093f57a604585b4970ef182d3f55
2. TapBranch(5f5e2708…182d3f55, 99979c61…db8c46f5) = 3f4a7b199d4f8d9febc13ea9071366bcdf0ccd73f30951db539a1d7e83dc4693

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

3f4a7b199d4f8d9febc13ea9071366bcdf0ccd73f30951db539a1d7e83dc4693

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

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

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

b3c0cc4cb7db4d8ea2f4a11e03c197507e174c9d0495f426b881a46fefb5199c18fbbd63a8ebe4a9b4ef0749b56078dabb6881218df8c1a43c501dad851a16f6