トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c8e8ecaadb423f8118aa3350ea16c2bb8476454b816a67c6e263483561621b30 OP_CHECKSIG

20c8e8ecaadb423f8118aa3350ea16c2bb8476454b816a67c6e263483561621b30ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

41a921b934667bf65036d35ca471999d855eb253e7ce53121c9d3f4717251f43

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 41a921b934667bf65036d35ca471999d855eb253e7ce53121c9d3f4717251f43
2. TapBranch(41a921b9…17251f43, 46c7eccf…1725e9fa) = e066dd07f3e3bb0a50b332ca26d910c238b2b1e63e605bb613d445717987f103

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

e066dd07f3e3bb0a50b332ca26d910c238b2b1e63e605bb613d445717987f103

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

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

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

bc7dda6c0c51e6d18156f5f13e06be66c4adcf54461225bcb2ed05272ae4680ebca8e39a64c83e8de23c3d3b72ecae4ed3a6c0c7b0a505e28560d713b54fc1f7