トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

501d1fed1bef8aeb1081a2489b30817700c68ea016fb4674c3349f246194dfff OP_CHECKSIG

20501d1fed1bef8aeb1081a2489b30817700c68ea016fb4674c3349f246194dfffac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

2e1d7d035ecaf25bd9fda137dc9960616df1ee8caaa3a36a971d26c926939502

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 2e1d7d035ecaf25bd9fda137dc9960616df1ee8caaa3a36a971d26c926939502
2. TapBranch(2e1d7d03…26939502, 46c7eccf…1725e9fa) = c40b59622fb4daa84fd241b86429556669178148de812efe9dc4ba58532fcf4f

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

c40b59622fb4daa84fd241b86429556669178148de812efe9dc4ba58532fcf4f

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

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

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

d9acd0a57319f8751331d32f6fb16aa6444e16efa4f93106b125b982115d0817614140620885fe63140f80a0518db2d2d6ddca368b1b41a9e4be3016d2323fc0