トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c53a79e18abc27e6496b0da2869b45384d192a5d058c7f2fc4efce87c19a6040 OP_CHECKSIG

20c53a79e18abc27e6496b0da2869b45384d192a5d058c7f2fc4efce87c19a6040ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

be4896a8ee477af9e41d8d8966c4cd912d4daa3fb3e79d1c38f4455a3623c03a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = be4896a8ee477af9e41d8d8966c4cd912d4daa3fb3e79d1c38f4455a3623c03a
2. TapBranch(be4896a8…3623c03a, 46c7eccf…1725e9fa) = 5dffc788643ea1b7b37ba25c694fd80edb9a1ea6b8fd8fa2f28339a55d5f26bb

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

5dffc788643ea1b7b37ba25c694fd80edb9a1ea6b8fd8fa2f28339a55d5f26bb

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

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

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

e6ae71eb7dcbf34ee1b8ca371d0b09d817f7d3c0bdead30ac80c97a90176272f2b09c24a21b2b5b396440bda309fe0486a8fed0ea038ca786e8c810e7d9846a6