トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

843e4408918d60e0fceb8f6c6ed8af02c03ebefebe269d38308a7bb71adff268 OP_CHECKSIG

20843e4408918d60e0fceb8f6c6ed8af02c03ebefebe269d38308a7bb71adff268ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

5a126bed4e3cd0bab73daa9df0d4cc88335806ebcb573a3dfac6d03e52d99cbf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 5a126bed4e3cd0bab73daa9df0d4cc88335806ebcb573a3dfac6d03e52d99cbf
2. TapBranch(5a126bed…52d99cbf, 46c7eccf…1725e9fa) = 950b30c238d307894e6c32099947f96d8f0ae0c98466a66afc23df68972c1307

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

950b30c238d307894e6c32099947f96d8f0ae0c98466a66afc23df68972c1307

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

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

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

1cc563887b21b82d163e179be1a4f09a6a50e0c3cbcd52260ba89621273f6795cd2de4ae428a5b46b5ab6b61042259a44cc3d2fc4045d91ab4e8b6485b0f9a29