トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

706b3a522ad433503324c69bd29ee8ce8c879ed0ee2499debab41f7610ee84f1 OP_CHECKSIG

20706b3a522ad433503324c69bd29ee8ce8c879ed0ee2499debab41f7610ee84f1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7510cf251054f1979f5ad8c62f0c5381d716c3e9ed6c3350fce70f68aa547e0d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7510cf251054f1979f5ad8c62f0c5381d716c3e9ed6c3350fce70f68aa547e0d
2. TapBranch(7510cf25…aa547e0d, 46c7eccf…1725e9fa) = ae3d4a09fe44c7b1024273139c7e29b1af879c2295d95edffc31c60979568325

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

ae3d4a09fe44c7b1024273139c7e29b1af879c2295d95edffc31c60979568325

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

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

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

2cf1168132016bc5f1b0ca09dde90d14b887380b9f8a59db08c13a645e6481d2fd8af7600dd827793ed762577b71de8904e444c11366b13e10f9f05bf93b1c2f