トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2a33a356a9c1ebe22ff7a107f2d1671e8daa0e7b355a6d2a7d2c45bbda5295d5 OP_CHECKSIG

202a33a356a9c1ebe22ff7a107f2d1671e8daa0e7b355a6d2a7d2c45bbda5295d5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

202358817be2577a383eef3cb3831f50e13f6f6c68194fe4ea4f815014948b08

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 202358817be2577a383eef3cb3831f50e13f6f6c68194fe4ea4f815014948b08
2. TapBranch(20235881…14948b08, 46c7eccf…1725e9fa) = 9dee09cdb6b09cc6fee408c3de805ef34ef86a59100ed7e8e742c9a9571f8329

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

9dee09cdb6b09cc6fee408c3de805ef34ef86a59100ed7e8e742c9a9571f8329

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

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

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

a24efbb4472f2f2851cb142183a08b146e47ad09a617121ddc45f4a6e779573529c6416c6c9cb2e97ab2cbe82cf310da474dd7df2232d9adafe7b23ed1c5bc61