トランザクション

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

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

601d6250b0a348bc1ba0d6611d79e753e9744ee96c6a2446da455d40764b64c4b1ddda310c49ac368e28b0f5a436df1a6d063437e8622e614370dedf3407ebc0