トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f9c04ca7075baf76a2c2e60dfb2b1a4fc2bea4415a3909f054791d1d41041a2b OP_CHECKSIG

20f9c04ca7075baf76a2c2e60dfb2b1a4fc2bea4415a3909f054791d1d41041a2bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3664847fe0211bd1ab56a3a808a874c975a8ba5f19f5f999c0828558663bc797

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3664847fe0211bd1ab56a3a808a874c975a8ba5f19f5f999c0828558663bc797
2. TapBranch(3664847f…663bc797, 46c7eccf…1725e9fa) = 7e28bbddb149c2408f9aaa849fbe85b2981578d6af103e958f911a873f9278c8

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

7e28bbddb149c2408f9aaa849fbe85b2981578d6af103e958f911a873f9278c8

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

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

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

ddf59d84367a1a8f9bbbaef4c407eedf4a376119237702512f51c0cd5138459f8e25651e4b2be58ff787260ee68d848dacb53ef75b2cb3bb14bb66150fcebabd