トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6feef3893834b6c0a8dce41f051926856894f6c1c66245497b03651de1f112d9 OP_CHECKSIG

206feef3893834b6c0a8dce41f051926856894f6c1c66245497b03651de1f112d9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a6c16626af9d14ef243ab170078ddc7c4753c94ddb9f918ac1970533111cb455

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a6c16626af9d14ef243ab170078ddc7c4753c94ddb9f918ac1970533111cb455
2. TapBranch(a6c16626…111cb455, 46c7eccf…1725e9fa) = 56d102a8b1a85ad0c8a9585101561514b66a19df89f3d11cffcb7bf1b41aefbd

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

56d102a8b1a85ad0c8a9585101561514b66a19df89f3d11cffcb7bf1b41aefbd

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

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

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

c21f831f4b9133b82464c8c3861caf62ba7d5d4f54d638ed405c5ccf9f7b73bcbb03899dc1b56bfad6e31b34ee85401d376e219a870f9e0172321ba2da3ff531