トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

053e1a4a05fa116e2c9332da411aa5e4d943398d566e9e27380e8a19e327acd7 OP_CHECKSIG

20053e1a4a05fa116e2c9332da411aa5e4d943398d566e9e27380e8a19e327acd7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d24afd54994e5340ff4050912a2ebb3a862171849db3c49e772bf5423552242d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d24afd54994e5340ff4050912a2ebb3a862171849db3c49e772bf5423552242d
2. TapBranch(d24afd54…3552242d, 46c7eccf…1725e9fa) = cb2ec68d84f80d3431dad8c217633b95574d7e05edbb15a4af3a053a43a5f710

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

cb2ec68d84f80d3431dad8c217633b95574d7e05edbb15a4af3a053a43a5f710

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

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

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

93c2f4da6cf20793264c87b9f2c20beee702200fb6262c5344a132795e85f5ab2c45cb77a06803f8c4ff032194fdb551d2d63d32a196275da5870c7a4b5f6736