トランザクション

入力 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 以上）。

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

be7d9d2a0f18aedfe4e957c353d19e190bf4ce484134697ac07bdca3d699b5e30667f37d3650bbfca2ad3bc412010c637e35748d9b151bfb3da31bf03b6fdd18