トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

809ec1d18d9cf93a8ef93a360c1c607a6eadf35a1619f84880139b4b67e198e5 OP_CHECKSIG

20809ec1d18d9cf93a8ef93a360c1c607a6eadf35a1619f84880139b4b67e198e5ac

コントロールブロック

c1cf08f0c2aefaab7e631153a250fa31f152788f6f651cf45704e2e5a6cfa7d7d3 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

cf08f0c2aefaab7e631153a250fa31f152788f6f651cf45704e2e5a6cfa7d7d3

リーフハッシュ（TapLeaf）

dedc7e2ee89806c934505bceb91d97605ab10db678cbe9ec2b5a83af95bffd58

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dedc7e2ee89806c934505bceb91d97605ab10db678cbe9ec2b5a83af95bffd58
2. TapBranch(dedc7e2e…95bffd58, cf08f0c2…cfa7d7d3) = cddffc5216f0906db3d2b1357e8b24946050b581cd83ab1774c88d5c28686d5d

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

cddffc5216f0906db3d2b1357e8b24946050b581cd83ab1774c88d5c28686d5d

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

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

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

96d625af7888f60dd9b592a08171dcb6698da8e8389e7e93ece12880db43fae5cd75b41200b0332071164b990497d4c84f7e8a4a20d6957ade4546c364c75af7