トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8fd583ba2ca0442ada67ed1dcaa0cd51a11cfe751c25e923d4e6797893bb2375 OP_CHECKSIG

208fd583ba2ca0442ada67ed1dcaa0cd51a11cfe751c25e923d4e6797893bb2375ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ce2f9beaa5009fb9459fb952864adc505105c73c12fff3c9febbd80d39a86862

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ce2f9beaa5009fb9459fb952864adc505105c73c12fff3c9febbd80d39a86862
2. TapBranch(ce2f9bea…39a86862, 46c7eccf…1725e9fa) = f1090fe6d3206907550679eb1635d85404d22bd709cb85addaeb7c116ebbd30a

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

f1090fe6d3206907550679eb1635d85404d22bd709cb85addaeb7c116ebbd30a

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

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

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

e6952b30a9318c8214314c050d4cc22a0a5adb3cd6384e1c5869452ac02e5e175c7cffaf7644ec50f15a754f45d8db1367902cc1f4e35a3ebab22461f0177b70