トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

044b392004e836d6d81e33eeb6e11caa10b17ce9a608027f4baae7f2dcb96d00 OP_CHECKSIG

20044b392004e836d6d81e33eeb6e11caa10b17ce9a608027f4baae7f2dcb96d00ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ee9c1fd56beb356dd1c2edd79a2e9ad5f5285849c06a6107100a83864685a00a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ee9c1fd56beb356dd1c2edd79a2e9ad5f5285849c06a6107100a83864685a00a
2. TapBranch(ee9c1fd5…4685a00a, 46c7eccf…1725e9fa) = 3b404dbff57d0f4e8c53bd94bc5b77711fb66ca24abbc142cae919ed41a16473

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

3b404dbff57d0f4e8c53bd94bc5b77711fb66ca24abbc142cae919ed41a16473

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

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

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

4450746a5a7eaa17f87c06416cc774c6973a93db7bf1a3dea5bc568d885cc67aeda7729e80da1fb2dde249171347d972755ade923451ddca0767989b32bec210