トランザクション

入力 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 以上）。

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

bed25c3fc770f3e9c0738dfddd1d4f7d25457230504f38d3cfceae8add5853c2744f622dda0e8540967bc24f0213a008bd5e5ee5b795b4612b9c65186fb60bda