トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

542df74950e70825ef30b985354c94207ec977d221c79eb78cc94838a1067172 OP_CHECKSIG

20542df74950e70825ef30b985354c94207ec977d221c79eb78cc94838a1067172ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

30f19e731014c2a3af1477eaaf36303d117f7b78703f7f5e3e4222e3123f2dcf

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 30f19e731014c2a3af1477eaaf36303d117f7b78703f7f5e3e4222e3123f2dcf
2. TapBranch(30f19e73…123f2dcf, 46c7eccf…1725e9fa) = 48a359558005d622a66ccaf62a38c3e9779dbe153555e3f106b2c0ddb0debc30

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

48a359558005d622a66ccaf62a38c3e9779dbe153555e3f106b2c0ddb0debc30

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

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

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

496398e2b6e2cba7ce8b94b8fb10b59215110b009e783bee1c7b6e40381696fdc3fe3f5bef17ad46ef3f9d857b40636bbd154ee3acef980feea6dfc59b67eecf