トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b93cc826a2b437bc08844281530856ff752a3d8af3593d5e246d17853df84938 OP_CHECKSIG

20b93cc826a2b437bc08844281530856ff752a3d8af3593d5e246d17853df84938ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1aab2eac1f75cc1ecb47c9b34288f171e4b465d5958b64474a044aa60a57a579

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1aab2eac1f75cc1ecb47c9b34288f171e4b465d5958b64474a044aa60a57a579
2. TapBranch(1aab2eac…0a57a579, 46c7eccf…1725e9fa) = ce962393e7a93f8a80e4fe997085c31696b6508ac0b784fa9f61dd23cacc7a03

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

ce962393e7a93f8a80e4fe997085c31696b6508ac0b784fa9f61dd23cacc7a03

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

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

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

fb89fd22cfd83855a73273000bc99e855e8ea6f024a45bb5618ae4ead342ac1c0f1720c8a038dfb4e3d3b1ec6c6c2f3ee30e006eab13a92ae76bce62be7a68a6