トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2f605bb3d127c17ff8e88e214587876b0c7623dbad79f8a1115fa172bda0315f OP_CHECKSIG

202f605bb3d127c17ff8e88e214587876b0c7623dbad79f8a1115fa172bda0315fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6a8e3837a700f1347115ebbe279b43b4a10a8c129d34211aa925aef1cc8372df

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6a8e3837a700f1347115ebbe279b43b4a10a8c129d34211aa925aef1cc8372df
2. TapBranch(6a8e3837…cc8372df, 46c7eccf…1725e9fa) = c1f0ac831a7ec446dfff7b35697fc9821ce29c109443d5bad4bcb988080c1e7a

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

c1f0ac831a7ec446dfff7b35697fc9821ce29c109443d5bad4bcb988080c1e7a

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

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

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

004a94d9f687164469ac69b703392743b030834cd351a8fefbee9933036fe15b6eb879d016041c6ed67e3a21b34b9d4444850960c6fced82b2c93a9f6b76872a