トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3f4f50a6df01b92c4f2de443d96276d0bdc8648d10545d7079c91e59157a36ba OP_CHECKSIG

203f4f50a6df01b92c4f2de443d96276d0bdc8648d10545d7079c91e59157a36baac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5aa8aaa04c35196a4291479a1d1316e2d8b47e1cbbecae1debebc702cbbe7607

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5aa8aaa04c35196a4291479a1d1316e2d8b47e1cbbecae1debebc702cbbe7607
2. TapBranch(5aa8aaa0…cbbe7607, 46c7eccf…1725e9fa) = ab089783a447f27efc8f31e7ef72a6b303c18545233f8c6760bf3fbdbcfa5bde

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

ab089783a447f27efc8f31e7ef72a6b303c18545233f8c6760bf3fbdbcfa5bde

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

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

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

3f83087104f052500ac03a35ef1a60d705148bf91288e0d0cdf7d414cb291460b42e1ddf8dba51b434883a172e63229955354b53a81d22fd53c1a7a35561fb1e