トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

94b589cd687620b27d970d7fa6be2ea61a3d51531dcb861c2aadd1bf40ae67f5 OP_CHECKSIG

2094b589cd687620b27d970d7fa6be2ea61a3d51531dcb861c2aadd1bf40ae67f5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f03ae61ed691da7ee50ed5a3a9b9fe979062fd1514d06bc4f6c6ce8c5af2af69

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f03ae61ed691da7ee50ed5a3a9b9fe979062fd1514d06bc4f6c6ce8c5af2af69
2. TapBranch(f03ae61e…5af2af69, 46c7eccf…1725e9fa) = 73d0c7ad646766956b1a791fcb2f290949f80bb8a97894b2441fb804956dc371

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

73d0c7ad646766956b1a791fcb2f290949f80bb8a97894b2441fb804956dc371

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

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

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

b2e0a96e06391f2a9836b2b3c16acf668a89d1eeccc3bae5e0d041dd75aa5cbe795cd4310800cb41ad40987a20592c9f1c9a6b0cfd5d6a114930370b7580d7e6