トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

bfc76c1fdfc75acfef1603a6f1d9c461094040052883bba600cc75ff95b89683 OP_CHECKSIG

20bfc76c1fdfc75acfef1603a6f1d9c461094040052883bba600cc75ff95b89683ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f9b18db925c426188a39746b981a96b0f67d89832c28e50721b6f18b40dfdf88

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f9b18db925c426188a39746b981a96b0f67d89832c28e50721b6f18b40dfdf88
2. TapBranch(f9b18db9…40dfdf88, 46c7eccf…1725e9fa) = db3d06511d0208c2ee6eb37e80af0140ab0521ba521b2e9f71952f0eba10f36d

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

db3d06511d0208c2ee6eb37e80af0140ab0521ba521b2e9f71952f0eba10f36d

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

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

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

b7f2b31f7cae60655f849486db02529592474fbe4f3bccace4e69c074c06008c05c9183b8fc1575c01be2f43d5bc574b4d3fa1a5a9eb4c2e13cacb4e6344dea8