トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6db5300a770ff442e00652204342f5b3024221f0ab183182289a4e4749d0332f OP_CHECKSIG

206db5300a770ff442e00652204342f5b3024221f0ab183182289a4e4749d0332fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1bc5d250e5ef7f54fb2448acfd2f3f5e82a51304d0b95564a7065e052af9c428

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1bc5d250e5ef7f54fb2448acfd2f3f5e82a51304d0b95564a7065e052af9c428
2. TapBranch(1bc5d250…2af9c428, 46c7eccf…1725e9fa) = b2b6d47df85c10dc6519b6c3f13eef068d7cf5f2f3063a4243c5ce03fc5af5c8

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

b2b6d47df85c10dc6519b6c3f13eef068d7cf5f2f3063a4243c5ce03fc5af5c8

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

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

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

ddee5492d31dd8dcee2b33525b55773d36a32b27620af8005c8500c941f23744d6c1ac68e63dce6884aa68609f670c621318d32b9b1fc88ecf6f7ca8d2becb2c