トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fbd69a01adb5a79947863e021d26f24e1063f45188f159e8efa9caf50882f006 OP_CHECKSIG

20fbd69a01adb5a79947863e021d26f24e1063f45188f159e8efa9caf50882f006ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ca614b5cd3c0c4e0ec31967606ea0998b27a427f3ae07092f5ddc371fece6864

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ca614b5cd3c0c4e0ec31967606ea0998b27a427f3ae07092f5ddc371fece6864
2. TapBranch(ca614b5c…fece6864, 46c7eccf…1725e9fa) = a3d294014efde99c9cfe16a3761a2ed6bf08c70702dd11b4b5fe7cb12c22e2e8

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

a3d294014efde99c9cfe16a3761a2ed6bf08c70702dd11b4b5fe7cb12c22e2e8

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

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

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

2c3ed3a4dc75c9dcd7a0a02d9d27396cb4d21c825c0f967332309617ccb81634005674f9f6e69f8d1cbe23632cf551b37033b9601fab1f502ae7aa91c1005dca