トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9887a960738465b2c610c6f7d8c81cc45e487cba4461a5d4d5cb23b54b35d404 OP_CHECKSIG

209887a960738465b2c610c6f7d8c81cc45e487cba4461a5d4d5cb23b54b35d404ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5f07ef242aebb32fba74e3b150aa0b8c1b2a08a7b81c18c7c46e457e56114d22

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f07ef242aebb32fba74e3b150aa0b8c1b2a08a7b81c18c7c46e457e56114d22
2. TapBranch(5f07ef24…56114d22, 46c7eccf…1725e9fa) = 7ecc45e9e646f041b2bfd95e95aa44f42875d5d7d7505345c392f42b58d3b95d

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

7ecc45e9e646f041b2bfd95e95aa44f42875d5d7d7505345c392f42b58d3b95d

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

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

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

4da53d8156519ec0429d1682fe56d0080ecb1d45e7171f2ccb13236baf4e76c44b903ea8b0a49f24a2569f1892998667f578d75bef36421200eb0e204d6746db