トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3203057c2b16ffce4222bb1444fdac4034b5bbf8b2bc7bcfa5f3ef688e405379 OP_CHECKSIG

203203057c2b16ffce4222bb1444fdac4034b5bbf8b2bc7bcfa5f3ef688e405379ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0cfe11abcf39139e8eac3847ba59f74f2c727aa9d095444d561f0e7717b0b3b8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0cfe11abcf39139e8eac3847ba59f74f2c727aa9d095444d561f0e7717b0b3b8
2. TapBranch(0cfe11ab…17b0b3b8, 46c7eccf…1725e9fa) = da53ced20614fa00911d91e854a123a71944eb8d759bfef0b504b86e15268f08

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

da53ced20614fa00911d91e854a123a71944eb8d759bfef0b504b86e15268f08

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

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

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

50ee3ea007fc4ea42f1bde8e154f988479bb571a0f9e0aa4893e6de99096bf133edb95eb29cd64730116a92e0c17eda9f3e0e85a9c4bfc4e2c2f0ab1d6a112d6