トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3f11b4fe7956b29ed13a3fb700b7ad851c8c6825ffdd57f185dfcde364e81d5b OP_CHECKSIG

203f11b4fe7956b29ed13a3fb700b7ad851c8c6825ffdd57f185dfcde364e81d5bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

623958988fb16cd01017d70c0a17664ab29a48d11753122c1953c22a97ba1f33

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 623958988fb16cd01017d70c0a17664ab29a48d11753122c1953c22a97ba1f33
2. TapBranch(62395898…97ba1f33, 46c7eccf…1725e9fa) = 1be1c362e46ce10cc46037bfb26845c9683d4e2d1da41f992fc8446383365cad

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

1be1c362e46ce10cc46037bfb26845c9683d4e2d1da41f992fc8446383365cad

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

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

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

08e465120a3e5219e85a7f323cb2186de9b9a59b54c926232ea2d5229c7724b6d6ddd1b61c0a92c60bcd1094d4dcfdc3f309d187b8982ffcb10d14abb59f2dc3