トランザクション

入力 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 以上）。

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

e17905183a634b3d0505e3b289c1f04f0a1a39e8b94e310103832a90383bc62601055074904656f4a778a9dc9d3136e1ee74e06f287c6d0943bbd770924ced5d