トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5a9a3c700634f9ebc6d9369fbb9b5773842bf7435cb53a849f04e6617433305a OP_CHECKSIG

205a9a3c700634f9ebc6d9369fbb9b5773842bf7435cb53a849f04e6617433305aac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

9a9da74a82baac8d66b325c86fa8b2ad88fa9ea4e7b8b743135bcccf81aa605f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 9a9da74a82baac8d66b325c86fa8b2ad88fa9ea4e7b8b743135bcccf81aa605f
2. TapBranch(9a9da74a…81aa605f, 46c7eccf…1725e9fa) = 9c6d8cdb540212bdf0ee06d949a77456c73a08571348aa794eabc4a1837ff82f

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

9c6d8cdb540212bdf0ee06d949a77456c73a08571348aa794eabc4a1837ff82f

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

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

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

41f3b685a2d2eb0edb6f3fb9926ddcdc84b98f3950370d2ef195481b5f7a09e1a11b5bf056f5d4c99bf6c9a0f1905465697897f91a3dbe389b9669280470afca