トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a6d0b4a81a29b890134beeabc1fd0d620b2458c9d4ce9478d55923cf985c2bbe OP_CHECKSIG

20a6d0b4a81a29b890134beeabc1fd0d620b2458c9d4ce9478d55923cf985c2bbeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6c7b5262219e5c75851488c17d35774500f8c3e19bc96b06b24dd2c38f649903

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6c7b5262219e5c75851488c17d35774500f8c3e19bc96b06b24dd2c38f649903
2. TapBranch(6c7b5262…8f649903, 46c7eccf…1725e9fa) = ac68d0e2c435a449076e1434dcfdae102e8741c688e3e42d2292e7996ed4c6af

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

ac68d0e2c435a449076e1434dcfdae102e8741c688e3e42d2292e7996ed4c6af

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

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

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

cca4d055f77c6e665be6bc63e88f94fbdb059f8a6e7450f5134d812e37a38ad8763e08bfb42c9304d71d9262e84e7bfbb4114fe084d6156ec1287de3e3c07210