トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ddeb1c923746df628c0afb96ce2cf1bb09d1297f2d37180bb6383b97d4300d25 OP_CHECKSIG

20ddeb1c923746df628c0afb96ce2cf1bb09d1297f2d37180bb6383b97d4300d25ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

e1eab575bbf0d853a4ed8f0e20bc16d5e05ec7718e3922503e6990289b079113

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e1eab575bbf0d853a4ed8f0e20bc16d5e05ec7718e3922503e6990289b079113
2. TapBranch(e1eab575…9b079113, 46c7eccf…1725e9fa) = 22f70185c4283fc17954da8e9b318ac394bb1fc21fe04451c993a019b484799c

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

22f70185c4283fc17954da8e9b318ac394bb1fc21fe04451c993a019b484799c

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

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

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

ac4f4904f1876bdbb211813fd0a9b3b3b2ff5725f54b470204aae757bd23599296c64ac7cc3436eb18c78b471c570ef9617939d933bbc6887032607a8312150d