トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cd17f8e12ea965bc0bba7180376203e52cfaa8d6d03a2c13c3f8432a7b6fd342 OP_CHECKSIG

20cd17f8e12ea965bc0bba7180376203e52cfaa8d6d03a2c13c3f8432a7b6fd342ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a86de77a03329ca3e1abec09540986517261efc6907761e7799d5c563cf4249b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a86de77a03329ca3e1abec09540986517261efc6907761e7799d5c563cf4249b
2. TapBranch(a86de77a…3cf4249b, 46c7eccf…1725e9fa) = 7525c2202d9cc7e9f51926ed3ee3338a354e17c4af532f7d2aa234ba5b9bf618

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

7525c2202d9cc7e9f51926ed3ee3338a354e17c4af532f7d2aa234ba5b9bf618

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

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

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

ad5e208e99ecc9d39b8f47e016acadce12c957e53882298f96026e4056eaa98cbe4a4236f475859d66a433db980514f0285e2b8cba121766e90e4b1d3495aa71