トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

251ee255b815386e0b8a72d01552ab53887b2dc47eb00577479fcbfce06ea68b OP_CHECKSIG

20251ee255b815386e0b8a72d01552ab53887b2dc47eb00577479fcbfce06ea68bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

d0c35cb03940923087dad5b4ea89ae6885e78f7efedae4e87f942c0421c5c4d0

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = d0c35cb03940923087dad5b4ea89ae6885e78f7efedae4e87f942c0421c5c4d0
2. TapBranch(d0c35cb0…21c5c4d0, 46c7eccf…1725e9fa) = ff591c9f22c1f45ff2f592fca551f1feb696a1ac38a3227f385f959500b71fbf

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

ff591c9f22c1f45ff2f592fca551f1feb696a1ac38a3227f385f959500b71fbf

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

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

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

c0651a446c4b9c483f5f8dcf0cd51ccdfac3dc64b905a9f6d855e9e4946536ee90238761f3e2c976815a7df8ee32e1a8a17951bb70f3c739c2853cc61e09e8ed