トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

d816385df134c22b6a9d7598f9b2e9b183729a016ed5a7a7a976686d29e30240 OP_CHECKSIG

20d816385df134c22b6a9d7598f9b2e9b183729a016ed5a7a7a976686d29e30240ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5b7e37ac6e06990a2905b15aeda8591a9d2e02dd3d3d5576be8b10fbac948ea9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5b7e37ac6e06990a2905b15aeda8591a9d2e02dd3d3d5576be8b10fbac948ea9
2. TapBranch(5b7e37ac…ac948ea9, 46c7eccf…1725e9fa) = b869b184b409d68c93dc51b936036c57de8d456108e279afb6dcb406fdc60ccc

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

b869b184b409d68c93dc51b936036c57de8d456108e279afb6dcb406fdc60ccc

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

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

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

d48dc6f4b9f72b3a33b3d16fd72fa3fda6889e0927a7304a2051ea347732690b02513f2e78b2f8f53544046e83d6823d95f7bc5d36b195b88e1fe5a369d59561