トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a677a6c86bcac087786952464066f286114aee675f77ecca5424ccfc9a962c25 OP_CHECKSIG

20a677a6c86bcac087786952464066f286114aee675f77ecca5424ccfc9a962c25ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dad80b79a9e159acb651b346a5fd9d3688b6f607df337c5fce8aef3bb7e2955b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dad80b79a9e159acb651b346a5fd9d3688b6f607df337c5fce8aef3bb7e2955b
2. TapBranch(dad80b79…b7e2955b, 46c7eccf…1725e9fa) = 0cc24fdd4e3eff7373db290b929d57b056bdfa3b672d15dda9e216f54b97c7a5

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

0cc24fdd4e3eff7373db290b929d57b056bdfa3b672d15dda9e216f54b97c7a5

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

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

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

99a33ad6f9199e0707ebc6a7ffdad4dace405436436d2b3a3b2f931a544eabea5261572b7c4601804c2a7e19d7906f60e9c66c924bd3d75dc83a55633ac4cc15