トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

726d6985277218961893948dbf132830d67b52638f58b477ab48902a5053ef2c OP_CHECKSIG

20726d6985277218961893948dbf132830d67b52638f58b477ab48902a5053ef2cac

コントロールブロック

c1e9f52422fc0b9138715247e5d0e1a76cf269923f51fc4f9e2d72a48073b56c12 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

e9f52422fc0b9138715247e5d0e1a76cf269923f51fc4f9e2d72a48073b56c12

リーフハッシュ（TapLeaf）

b9f37881cc52d6b4ef991feb4e6c749d0d19491036ef071dcbc5d16fe5a2c823

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b9f37881cc52d6b4ef991feb4e6c749d0d19491036ef071dcbc5d16fe5a2c823
2. TapBranch(b9f37881…e5a2c823, e9f52422…73b56c12) = d2a65af9e3c7b13e9313240134786ef336288b164c89f6af05d0c2e9db216f72

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

d2a65af9e3c7b13e9313240134786ef336288b164c89f6af05d0c2e9db216f72

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

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

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

66d7fbcd69f805c265865b8c94369427e74895b1a20cd5d151b48c18638657e9102b133b9f85f653b262439ef9b80251227f7cb263233ba7a520c1d2842b7204