トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

344d990453765d0facf54b6a3c2a4e566760cc3c032bba497dd3979094e02281 OP_CHECKSIG

20344d990453765d0facf54b6a3c2a4e566760cc3c032bba497dd3979094e02281ac

コントロールブロック

c1a6b5099de3e9964618decfdfeebae03c015e72592002b929506112ba4ad4d195 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

a6b5099de3e9964618decfdfeebae03c015e72592002b929506112ba4ad4d195

リーフハッシュ（TapLeaf）

421e5e8f86d4430ee82d78bb4e45a8a7072af327d9abd53044f439b1815f9122

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 421e5e8f86d4430ee82d78bb4e45a8a7072af327d9abd53044f439b1815f9122
2. TapBranch(421e5e8f…815f9122, a6b5099d…4ad4d195) = e54032389e9139f8736ff6af3885fa07f4161e56a4cbaa0facc6ed40f92bd14a

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

e54032389e9139f8736ff6af3885fa07f4161e56a4cbaa0facc6ed40f92bd14a

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

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

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

1168cdff0c582ec768818faf52de314e3cf7bedb75d68569b7859875cabdfddb84b2d4f36ecc92787eac30b04cf76cd6d8566785a31f53b008b1317c32515d1d