トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6c202edacb8e225d698df50c97dddceb74b8b32ed3bf27d27ed124c80efe1fe6 OP_CHECKSIG

206c202edacb8e225d698df50c97dddceb74b8b32ed3bf27d27ed124c80efe1fe6ac

コントロールブロック

c137dd21fc555b3d3e9143f87d4fc7fac375a84c5cad55fa1ee0051079c4459ca0 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

37dd21fc555b3d3e9143f87d4fc7fac375a84c5cad55fa1ee0051079c4459ca0

リーフハッシュ（TapLeaf）

f11a7351fb1d33d87a6cac539e98ab4b2ffb5baae4d29821ccc63e56505bfb48

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f11a7351fb1d33d87a6cac539e98ab4b2ffb5baae4d29821ccc63e56505bfb48
2. TapBranch(f11a7351…505bfb48, 37dd21fc…c4459ca0) = da9224074097a81521ce36674abd22b0b188e9bb52103eddd86f9008ce98d512

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

da9224074097a81521ce36674abd22b0b188e9bb52103eddd86f9008ce98d512

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

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

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

9baec522fb7005a65b224519f3735d65a0dc84112311f165bafa65e9ef28217819457c6c900d5225a372ad9359feccbf6b61dfd9a5956b86d8635277513e27e4