トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e2a9f5ee16bcb3ec4844e24496656a671cd4ba7666a45b2ce4286f8c74068a9b OP_CHECKSIG

20e2a9f5ee16bcb3ec4844e24496656a671cd4ba7666a45b2ce4286f8c74068a9bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

932f22e3451a23dd0ffd2b09545a4bf73cc026e8e271e6b97989cf983bd1bb94

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 932f22e3451a23dd0ffd2b09545a4bf73cc026e8e271e6b97989cf983bd1bb94
2. TapBranch(932f22e3…3bd1bb94, 46c7eccf…1725e9fa) = 98c04c79ec398d04c32abb7d5e1ba0a4514b46e55b5f3f350c365872516cc6a6

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

98c04c79ec398d04c32abb7d5e1ba0a4514b46e55b5f3f350c365872516cc6a6

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

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

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

62ee1650e558f10ebacb5d6073e73c89fde72cc98ea4706574f2442ffa7afaaf14c3600cfab3a5fd7debc269e775b057775b8cb83a8fd66a8d548c9f8dde4826