トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4e488114477719e8d80a6436d9406aad5171f7fa655ad3c77665991e40fa6947 OP_CHECKSIG

204e488114477719e8d80a6436d9406aad5171f7fa655ad3c77665991e40fa6947ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5f259456fb4749694b4ae333f877eca15250f6bf728ab2ec755540b44c20b40f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5f259456fb4749694b4ae333f877eca15250f6bf728ab2ec755540b44c20b40f
2. TapBranch(5f259456…4c20b40f, 46c7eccf…1725e9fa) = e9e90f8bf4ec96051987065aad245b9fda28f9f4c92c5c347eafe2c187f5a21a

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

e9e90f8bf4ec96051987065aad245b9fda28f9f4c92c5c347eafe2c187f5a21a

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

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

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

558f9aaf489df1d1debb36d922d8ee56058d883e25ca37c9733602722c1eb36352f723c41773ccac3a28f807e4a823e56f8bf6a2bb32f413d3f74316f8ce5098