トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

83e7b153465ce0920d475a24fb7581030f317f2d5828561c3791b493b6f5f154 OP_CHECKSIG

2083e7b153465ce0920d475a24fb7581030f317f2d5828561c3791b493b6f5f154ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bb149680c2217d3e817617756dbbf5334ed6c155ec75305464f8569df5d2dbb8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bb149680c2217d3e817617756dbbf5334ed6c155ec75305464f8569df5d2dbb8
2. TapBranch(bb149680…f5d2dbb8, 46c7eccf…1725e9fa) = 4432551f425d9c53cd9320fcfcc95d33bc99545b27dd338bfb6362dee2825407

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

4432551f425d9c53cd9320fcfcc95d33bc99545b27dd338bfb6362dee2825407

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

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

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

a7c29bcd6bbd7545cf416d1664eb356bc110130ac7ddac4a3c08e7f46ce55172814836b8610ea9cc28fe90d3712b71468b86d90d3b1d49eac49484728a224754