トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6293adefd753b21df527144b0af194249da667be55fd18b08019f915646fa171 OP_CHECKSIG

206293adefd753b21df527144b0af194249da667be55fd18b08019f915646fa171ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

28abb293085aa59847de47a14249f4e5c1f973acb74c2da54b889f2fd902b852

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 28abb293085aa59847de47a14249f4e5c1f973acb74c2da54b889f2fd902b852
2. TapBranch(28abb293…d902b852, 46c7eccf…1725e9fa) = 860e4ea79e8590eaf12924706569933a2ad9d66ad4bd57a18d5f709c8248b5d4

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

860e4ea79e8590eaf12924706569933a2ad9d66ad4bd57a18d5f709c8248b5d4

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

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

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

a2c302a8b80bcaca0ca84a7f2e9c3c79ada2f1064f20e5368befcfab01506ecb744c8c0412f32e523d81aeec4f2fdbbfb0d4ab9ec6d03a8e25ffc66296f05c0c