トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

976f67a6e69bee818d0aa0b32678a12f02b0ac8e7b04e201b79a53d3f3e03609 OP_CHECKSIG

20976f67a6e69bee818d0aa0b32678a12f02b0ac8e7b04e201b79a53d3f3e03609ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0ac6a9047ebce877f821e88c8d2c921e6b6ed23ac2d51f1fe1b1036d08c4bc19

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0ac6a9047ebce877f821e88c8d2c921e6b6ed23ac2d51f1fe1b1036d08c4bc19
2. TapBranch(0ac6a904…08c4bc19, 46c7eccf…1725e9fa) = 7384f2ec1cb6c555fb63a874797944717b83cc420529cf3e9b3fd8bd4b87e566

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

7384f2ec1cb6c555fb63a874797944717b83cc420529cf3e9b3fd8bd4b87e566

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

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

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

be798cefd163647dabd56411f0e21536238ad4213e8dea3099e9590b26d046e1135d10e8204855e73f19aae6e19968f66152f624031d7553a93fe4ec313ddf59