トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3eebc9e96b67134e97a1ef7c071f9ead31721b26139176afb5e5f63e33c7df8b OP_CHECKSIG

203eebc9e96b67134e97a1ef7c071f9ead31721b26139176afb5e5f63e33c7df8bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

355b4e00500b0661de7b0a77bd6e391021a95733228a9dcfde6903f641cb8679

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 355b4e00500b0661de7b0a77bd6e391021a95733228a9dcfde6903f641cb8679
2. TapBranch(355b4e00…41cb8679, 46c7eccf…1725e9fa) = 6aa1a42182b65464fcf387b5140165c764a3f6e7018ffd0c2f40d2a9310fe118

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

6aa1a42182b65464fcf387b5140165c764a3f6e7018ffd0c2f40d2a9310fe118

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

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

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

6e5d8b08767e40c88100627bb8a8680a800f67538963dab16699240d515692ae550f9e825f9863365dacb5f68e9de5261b6d587650461f5eb89efe7ed49d9930