トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e4d2d8bc8df04b02cc2af0f89eb3bd6cd994a200ba3c97fea6e719cf3269da29 OP_CHECKSIG

20e4d2d8bc8df04b02cc2af0f89eb3bd6cd994a200ba3c97fea6e719cf3269da29ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

53b7974827e3a0e35bf197fcb264398f948bae4693b6aea6180c98fa5cb607a2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 53b7974827e3a0e35bf197fcb264398f948bae4693b6aea6180c98fa5cb607a2
2. TapBranch(53b79748…5cb607a2, 46c7eccf…1725e9fa) = 323db7d257067699c1f44267814b2119903e95cc35a094aa63b7a7ffb24acba0

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

323db7d257067699c1f44267814b2119903e95cc35a094aa63b7a7ffb24acba0

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

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

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

36194d801dd7924eebf5790c79584236bcbd722e828065853bc1a46ee844f31fa0802a0e0d159ee4a045377931037bc0862a15253322a6f1d9cfbe87cbc3fc1e