トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dcf0a11a7e66ff471fe43e1bef60bca926a9891c94b72ff684803e01cb513a57 OP_CHECKSIG

20dcf0a11a7e66ff471fe43e1bef60bca926a9891c94b72ff684803e01cb513a57ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bfee3a1b1efaa67a3265196193d72b774e801c4e57500977db609492ea26244c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bfee3a1b1efaa67a3265196193d72b774e801c4e57500977db609492ea26244c
2. TapBranch(bfee3a1b…ea26244c, 46c7eccf…1725e9fa) = 9b67fc92ec80f7744b6bf52900c8c461fd3fff8fe8f1a9dca433dc948747c326

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

9b67fc92ec80f7744b6bf52900c8c461fd3fff8fe8f1a9dca433dc948747c326

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

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

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

91ccdef34d2df02b12bfc87b238c1e30b76d27b06e2c710bd546a0cb18b62ec2ecf5b29f0e17e0a1b8dbddf15b7acb203413816ec38423d51eb3bfd03bb613b4