トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ccce7c2141a82428c349f7bc8f9a18893bc15936e4170c584b02b9563eb1e587 OP_CHECKSIG

20ccce7c2141a82428c349f7bc8f9a18893bc15936e4170c584b02b9563eb1e587ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6e375042b9989395a696e340a40ae6541f034f0262b9c585acecf631767d388f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6e375042b9989395a696e340a40ae6541f034f0262b9c585acecf631767d388f
2. TapBranch(6e375042…767d388f, 46c7eccf…1725e9fa) = 0b75c678bf20c2cbde3d858eb520d1f2e1eda372a32fac9adce7d7ce09ce0424

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

0b75c678bf20c2cbde3d858eb520d1f2e1eda372a32fac9adce7d7ce09ce0424

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

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

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

7f6d9c59d3aaa7cc23259888e4e3d2575299a14da7523f0796ec452fceda69a700a04141e97800a7a5628cb8e546cb75e9d398c5eb97e9d87027e2f3193c286e