トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0b7a5f304e0be5b7b850f92f6b2abe3d1eea3529ff79c14b8e0c241726fb9a8c OP_CHECKSIG

200b7a5f304e0be5b7b850f92f6b2abe3d1eea3529ff79c14b8e0c241726fb9a8cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d389b0dd7e858847c3f686be33ec4e2588e1c7c37f9456ed03539b4b4927ac23

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d389b0dd7e858847c3f686be33ec4e2588e1c7c37f9456ed03539b4b4927ac23
2. TapBranch(d389b0dd…4927ac23, 46c7eccf…1725e9fa) = f3a0fd2d76f1c259b3bc504c564a0f7a3598988daf6f1e6a7bf4e12aa6fad463

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

f3a0fd2d76f1c259b3bc504c564a0f7a3598988daf6f1e6a7bf4e12aa6fad463

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

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

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

a2950595a1fca7f4813b18c2f42dc52396df0cbab12e6d6ebf35f7a81551c2da9c5d7ffb1e709c70a02c8eff8365622706c814624014a095d360a68d8143c666