トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9ba289ace9d2206c405eb5cf9adac990c70bf805afa969635a5a1c74e25e27eb OP_CHECKSIG

209ba289ace9d2206c405eb5cf9adac990c70bf805afa969635a5a1c74e25e27ebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

406d2be9d15530492800dbd158eff7c1654abfe5ec39e9f3c0d28e6fc790e46c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 406d2be9d15530492800dbd158eff7c1654abfe5ec39e9f3c0d28e6fc790e46c
2. TapBranch(406d2be9…c790e46c, 46c7eccf…1725e9fa) = 411e08282e1cfb82848d8ca4eb861328150adaad2a35713e4d7d61a4c39f8132

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

411e08282e1cfb82848d8ca4eb861328150adaad2a35713e4d7d61a4c39f8132

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

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

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

7a9734bb4cf3096fa4ece453f88c2096809ec710b5e41eb521c9d6b6e6e5c38ab58a5836c3a7b87e0cdd53774a75705a15136f65bf4f68b7d6cec90708403b48