トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4ccf02d3f501c6c1485b7eacea430fb2e30d4c2b08910a97db1899e554c3f3f8 OP_CHECKSIG

204ccf02d3f501c6c1485b7eacea430fb2e30d4c2b08910a97db1899e554c3f3f8ac

コントロールブロック

c1edb1a1469341ac90aa6742ee313aef12f6331c6bc7d279ab917f315a75529423 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

edb1a1469341ac90aa6742ee313aef12f6331c6bc7d279ab917f315a75529423

リーフハッシュ（TapLeaf）

246adc8b5b7fdd57082ed50274afe98e21518f88ab7fb14649a82b8238bdf3a0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 246adc8b5b7fdd57082ed50274afe98e21518f88ab7fb14649a82b8238bdf3a0
2. TapBranch(246adc8b…38bdf3a0, edb1a146…75529423) = 1ebca6d07b3e60f9b4f5a7949993f19dc885641c7f3816b89351759aab90bfbd

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

1ebca6d07b3e60f9b4f5a7949993f19dc885641c7f3816b89351759aab90bfbd

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

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

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

306a900683f052f362d45081436c2896969ec1d34c8e6e95ecd08c3764ff23df6c9a03566ac6095242979a39b6676213a9f16b31fd12d2ce57629ce52e6f945f