トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5426370f1fe3964ecbfb00677f546581eb971a8cf7bebd35bbe36e234c6e397b OP_CHECKSIG

205426370f1fe3964ecbfb00677f546581eb971a8cf7bebd35bbe36e234c6e397bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

fa166c7e283dcd765d4a30420c27f4760eae11661a730068e03a9fe68de735bd

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fa166c7e283dcd765d4a30420c27f4760eae11661a730068e03a9fe68de735bd
2. TapBranch(fa166c7e…8de735bd, 46c7eccf…1725e9fa) = 7d8ae79f2f012b86a1ed96d870abd918bf95e856c3faaf429926000f1693dafe

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

7d8ae79f2f012b86a1ed96d870abd918bf95e856c3faaf429926000f1693dafe

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

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

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

fcef29f1f9c90e8dfdbe818baccbb0f33300d12586e6e17faf8b3764a7f80480d3c2c5405089e926955800c9727f6941a89c68955f3f8676f53fd00fbdf03473