トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7c8c4535f74187df0c65fc519d49fb899dab9726afeb020db0982500700f97fe OP_CHECKSIG

207c8c4535f74187df0c65fc519d49fb899dab9726afeb020db0982500700f97feac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f03838c8ea80371fe2241f7703016aa83cbb56c64f6fba24297334474f58032d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f03838c8ea80371fe2241f7703016aa83cbb56c64f6fba24297334474f58032d
2. TapBranch(f03838c8…4f58032d, 46c7eccf…1725e9fa) = 9df775820ee45896ab212daed0acb668c48c359d33b071c52256e2cce7ad30d7

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

9df775820ee45896ab212daed0acb668c48c359d33b071c52256e2cce7ad30d7

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

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

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

cfb70c53acbbe619b16d9dc6ed4148be0fcc703b29f6472b64d8cfc4bd66ed96d79cd508008125c2bb2743d51f94cfe62600702e864c241fd7f3c251211255aa