トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

fddf13e375a3b15e12c7a463674d681e33b62af06d5d1a20108e8c13b0e8afad OP_CHECKSIG

20fddf13e375a3b15e12c7a463674d681e33b62af06d5d1a20108e8c13b0e8afadac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

75d7f637127d810fccdd819c66e25911049296df1cb54efb73c6f956a910ca2f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 75d7f637127d810fccdd819c66e25911049296df1cb54efb73c6f956a910ca2f
2. TapBranch(75d7f637…a910ca2f, 46c7eccf…1725e9fa) = 11a81ce115492dc20ebeb11498a12b3492d2b6e72c0591df891b292a35313b41

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

11a81ce115492dc20ebeb11498a12b3492d2b6e72c0591df891b292a35313b41

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

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

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

5317fa7f679570c2e17f59eb1ca0b3054763be55afe584a16ed0910d7f9af227ae7e3fc780962ee1ea384ad66f9a67ac9999e62acf6bc51df7c13cc114d3a44b