トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

32499dc91eb1ae8439a13fe66cbf5e851d0f72dc5b984917f67422c758f810a4 OP_CHECKSIG

2032499dc91eb1ae8439a13fe66cbf5e851d0f72dc5b984917f67422c758f810a4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ef31c2c392091209ea295713ae8cd2198e35515cff9954521eedd4c704b6e388

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ef31c2c392091209ea295713ae8cd2198e35515cff9954521eedd4c704b6e388
2. TapBranch(ef31c2c3…04b6e388, 46c7eccf…1725e9fa) = 11a6def06a347b1c7de9ee6a369eefd550c358951672e69cdc96a9b07847d1f9

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

11a6def06a347b1c7de9ee6a369eefd550c358951672e69cdc96a9b07847d1f9

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

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

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

e1fe2cf83cb41b68d0d89335744ea89d915a6375cd0a86c47872e104bace45526cf2ec6fac5052067389668c807c72c3368a645baf307422af2fff9540822b8f