トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

618ca84cd94f5b4eb40f77a2d5c89870cac822cf4e0a68e79820fb1c4669f4d1 OP_CHECKSIG

20618ca84cd94f5b4eb40f77a2d5c89870cac822cf4e0a68e79820fb1c4669f4d1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

937a3bb1bf7d80ad9dd6b9f092090050d52dfc33ef90471bfb2feccd7bcb3223

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 937a3bb1bf7d80ad9dd6b9f092090050d52dfc33ef90471bfb2feccd7bcb3223
2. TapBranch(937a3bb1…7bcb3223, 46c7eccf…1725e9fa) = f6ec2c906089368ba6fc59f2f8ac6fd34cbd7a7ef5d8f4c38c97a9b04758ca87

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

f6ec2c906089368ba6fc59f2f8ac6fd34cbd7a7ef5d8f4c38c97a9b04758ca87

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

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

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

c90fec00e941eb830d89be2397345594ea21776afb9c74ac2dcd0a1b84540d12e14aab0ad125f4aaf0cc2d9d1570a18a4ec850913866515c3be7d66c6ac2f0ec