トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5e2d23f583171c3990990cb21abbad7de3d9ab456e21e9a42bc7b48710ed0583 OP_CHECKSIG

205e2d23f583171c3990990cb21abbad7de3d9ab456e21e9a42bc7b48710ed0583ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bb9da7dcad2ffb7c53942a6e26523d7fb397bdcb2313354a1a737ea2be86401f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bb9da7dcad2ffb7c53942a6e26523d7fb397bdcb2313354a1a737ea2be86401f
2. TapBranch(bb9da7dc…be86401f, 46c7eccf…1725e9fa) = bb9fb5a363b9e4a5c2350b302238c0c8c84614d61dcca1ddf8fda22758087c87

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

bb9fb5a363b9e4a5c2350b302238c0c8c84614d61dcca1ddf8fda22758087c87

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

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

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

c77196d53386b0b0aa8238e35d51bd36c3f2d601308fad297179c3237b1c6ea928c8a578a3081449c9cd63fb7daa392e6e565dd2dc457db853f7d346e844af8f