トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

431c30c93e519e6925ffc664eecec8ab511d7628d21e8932361c7cbd6b801b60 OP_CHECKSIG

20431c30c93e519e6925ffc664eecec8ab511d7628d21e8932361c7cbd6b801b60ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8357c00e50bba14192628dc62cdc03e9ce6739b71d0e2716c338dc4c6d63eab4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8357c00e50bba14192628dc62cdc03e9ce6739b71d0e2716c338dc4c6d63eab4
2. TapBranch(8357c00e…6d63eab4, 46c7eccf…1725e9fa) = 6f87ff70215c14f8721011ac34937aa01c42062ce4f30fa60dc662beed203a82

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

6f87ff70215c14f8721011ac34937aa01c42062ce4f30fa60dc662beed203a82

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

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

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

f4f8a42d3bf996384411a3fa249ef3723c3c4566b909169e0676e90bd786acc812800be4877890c31c3b13e27ed9e6ce48f281bf691f421528e1642660ba6c38