トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

752aaf3a4720e498f7639be38b163bab2a0f83731d863d7cd6349e29183cb9f3 OP_CHECKSIG

20752aaf3a4720e498f7639be38b163bab2a0f83731d863d7cd6349e29183cb9f3ac

コントロールブロック

c17340308e616238998228dd92178d6dab0170a54551784039c9e5b3787de8e587 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

7340308e616238998228dd92178d6dab0170a54551784039c9e5b3787de8e587

リーフハッシュ（TapLeaf）

061bdd7232b33f190d7220710d7c97aca7076949684ad03d32771407b3bbe190

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 061bdd7232b33f190d7220710d7c97aca7076949684ad03d32771407b3bbe190
2. TapBranch(061bdd72…b3bbe190, 7340308e…7de8e587) = 951c60e0b95ccdad04e767ea8377a776534e4a2899c5a7dfbf72d6bec8cd830a

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

951c60e0b95ccdad04e767ea8377a776534e4a2899c5a7dfbf72d6bec8cd830a

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

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

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

928f34db6cc1a1ba240c32fe1296e3bd4fad85694b5285ae993dd33246de81e20df2a68f0843486de427ef2048db6f5bbb2f73b9763db7dae1d2095014a178a5