トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

86edc79d8099df1ec0208cd38ba371093b13dbdadad45d66909f96871cecab5e OP_CHECKSIG

2086edc79d8099df1ec0208cd38ba371093b13dbdadad45d66909f96871cecab5eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a7c276b76caab6879d23c7a7c267b90b546904bd6d3c4ed9ed9f2a0560b2bd9d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a7c276b76caab6879d23c7a7c267b90b546904bd6d3c4ed9ed9f2a0560b2bd9d
2. TapBranch(a7c276b7…60b2bd9d, 46c7eccf…1725e9fa) = 5774af5164dae8821190320469696abea8b28b78982e15be57f44547802b1cf7

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

5774af5164dae8821190320469696abea8b28b78982e15be57f44547802b1cf7

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

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

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

ebdff5b7adad356e0ad08a5062f9ff3896c6205cf440d6051b455eb80de000d0449b6723b690b6ca11b0b2b104086222ba0b906e3a5e27dfc22e9e9b830e6ec2