トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

925d1ec7d839a34fac31d68a594e9e50b2df95394a888e03fbbb2e05b45ea3f9 OP_CHECKSIG

20925d1ec7d839a34fac31d68a594e9e50b2df95394a888e03fbbb2e05b45ea3f9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

919fc13cde77c92c735bf52f57a1f98c1151995cd09b347c33a732522f6d63a0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 919fc13cde77c92c735bf52f57a1f98c1151995cd09b347c33a732522f6d63a0
2. TapBranch(919fc13c…2f6d63a0, 46c7eccf…1725e9fa) = 2b85e408fb6cc804d01cd5aec075134d4c3746b7038b5c3af0eb5ceb6c265713

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

2b85e408fb6cc804d01cd5aec075134d4c3746b7038b5c3af0eb5ceb6c265713

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

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

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

113ec0c551339f673abe1e8f084860ddd804ff7efdd51596474a0c104833bbc059696b7ce98dd23373f228df9f2e59fe72afa587a2fa3c620670b5418490a3a4