トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6481ca6b02866fa28f05ef32eba48a0c33cdd103dc1c3207f0561417c77f4151 OP_CHECKSIG

206481ca6b02866fa28f05ef32eba48a0c33cdd103dc1c3207f0561417c77f4151ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

010fc4ee9d2e5ed3907fb0a06a86eeab3978179dc9ab3c0c753ca3f886923ade

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 010fc4ee9d2e5ed3907fb0a06a86eeab3978179dc9ab3c0c753ca3f886923ade
2. TapBranch(010fc4ee…86923ade, 46c7eccf…1725e9fa) = cce5cfb92be59117028bc72a46a2ed2e6bf08299c177d5109666cdc9e7664906

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

cce5cfb92be59117028bc72a46a2ed2e6bf08299c177d5109666cdc9e7664906

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

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

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

4e37c35765d9f1c81b28cb7f42903a5b36dc1b71f46e60efc915bb1643230d6cff8d251dce10b2728f11a8590526dbc065385ab7d6cbf1b34609981545b714f9