トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

340e6f104bc49e967df2f8486f0e46343ce2d9384b113e2c582b19b2526891a8 OP_CHECKSIG

20340e6f104bc49e967df2f8486f0e46343ce2d9384b113e2c582b19b2526891a8ac

コントロールブロック

c1a411655dff5320ac06d7e1e346161ebc73c4ea6cf4973decb5ab8930a3f3474b (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

a411655dff5320ac06d7e1e346161ebc73c4ea6cf4973decb5ab8930a3f3474b

リーフハッシュ（TapLeaf）

c5983f5f68ebc2fd9365d94543c638f5beae46e63b51b2c59531500454ca7a7b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c5983f5f68ebc2fd9365d94543c638f5beae46e63b51b2c59531500454ca7a7b
2. TapBranch(c5983f5f…54ca7a7b, a411655d…a3f3474b) = 6cd5de02e5c6a181f29b272894c912701567c81d710d2033b4163932e8ab8c0e

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

6cd5de02e5c6a181f29b272894c912701567c81d710d2033b4163932e8ab8c0e

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

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

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

72847210b87f5696a19b98ca5798e420517f1b0759a0495aefb0cbb8556b18d28a1d7e183fdaf38508fb49ef6b1ebf8fd0c834748f4825ee842732a50e5458b0