トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c1ea9b55d04218c3cb06e969844629352c07be64c7640d5683e5a3e5b772ae0d OP_CHECKSIG

20c1ea9b55d04218c3cb06e969844629352c07be64c7640d5683e5a3e5b772ae0dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4615fb1336e72b04c056db2b7faed460a16e247235b3589a44df6fa302dd137c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4615fb1336e72b04c056db2b7faed460a16e247235b3589a44df6fa302dd137c
2. TapBranch(4615fb13…02dd137c, 46c7eccf…1725e9fa) = 12be1f25c9a5e3c4eb44d0b2be8d40da5e5709df5ba7b45fc5425f1e3b83b25b

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

12be1f25c9a5e3c4eb44d0b2be8d40da5e5709df5ba7b45fc5425f1e3b83b25b

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

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

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

03135221f3765e73619a83f277c526f1f93f70147bad674d036b349f6f36ebe498597e77c3a8d87242c355e8839b1ab8898e5ac54701764182e5502f3f01fd82