トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6a3ae2e983f3bdca3c9ebfba83704a79dfeb249274e9aa5ac52cc97fd0b807c7 OP_CHECKSIG

206a3ae2e983f3bdca3c9ebfba83704a79dfeb249274e9aa5ac52cc97fd0b807c7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6c8b5b713ce99e5016836dbb14b6ea8a1061f38e87cda65d9f216b6c0b92d926

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6c8b5b713ce99e5016836dbb14b6ea8a1061f38e87cda65d9f216b6c0b92d926
2. TapBranch(6c8b5b71…0b92d926, 46c7eccf…1725e9fa) = 0640c4b86757868519c58e8cfe3e55fd50ce67acef36e359a3c52b2cd12ad729

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

0640c4b86757868519c58e8cfe3e55fd50ce67acef36e359a3c52b2cd12ad729

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

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

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

ddee251d438da7c4327a5fbb73e22ed2fbd3689d8f4562ac2ac640a1128d004bfb72b57e27cc9f9594610b9c80fe6898ee54eb4d2927404c447f1dbd8d59a74b