トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

10dd304e19fa5f931ee42136869295601b87f4a45aeb1da0ba2184d46072782a OP_CHECKSIG

2010dd304e19fa5f931ee42136869295601b87f4a45aeb1da0ba2184d46072782aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

10c69c3706b56d484d7602214a19bbd86a4ed349b305ae8e9ce1e3b7f9bc74a2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 10c69c3706b56d484d7602214a19bbd86a4ed349b305ae8e9ce1e3b7f9bc74a2
2. TapBranch(10c69c37…f9bc74a2, 46c7eccf…1725e9fa) = 32608bc5e2f0edff24303ccd07875409ebc7bff91d51f3063f1f49ea40ceb9c2

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

32608bc5e2f0edff24303ccd07875409ebc7bff91d51f3063f1f49ea40ceb9c2

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

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

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

17a9dfec3ba0558d75febda88fb84f53dcde159e4c48f0c63ed38bf0401ee5689fbc7e24cd0ac4994cddd90b90dfac2398c73c097af9040eb0461fbfe3b27e8d