トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

da8c69fb637338c072c3c13527c1df662d7039c696bd6e3ca81192b38b6b77a9 OP_CHECKSIG

20da8c69fb637338c072c3c13527c1df662d7039c696bd6e3ca81192b38b6b77a9ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2bcfb6121f50daa5d2ef5ab2221eb95b6ddb98aab6e5f92f3466ca613720c2f7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2bcfb6121f50daa5d2ef5ab2221eb95b6ddb98aab6e5f92f3466ca613720c2f7
2. TapBranch(2bcfb612…3720c2f7, 46c7eccf…1725e9fa) = 703967344082f35f73fe7a66bbbff489eb3a1cb253b371a41f06012a2bbe3d36

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

703967344082f35f73fe7a66bbbff489eb3a1cb253b371a41f06012a2bbe3d36

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

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

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

fa3c3b470f1818a66276085d12b6412258be4ddd88f4764f5b2c5d2d61c9874acc26dce30c2eb9cb013ee69f9d5b821cc0dd3aa91a175b30ec083c7ecae05fee