トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0f2db24426eea43e9513261788c886dd1ec01ad9b3c5aa3c0004e77ea0215669 OP_CHECKSIG

200f2db24426eea43e9513261788c886dd1ec01ad9b3c5aa3c0004e77ea0215669ac

コントロールブロック

c198bb8db97beedddc886a536aa6ce9b1e320a56ac31d0cf7e433c45d0357e0f81 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

98bb8db97beedddc886a536aa6ce9b1e320a56ac31d0cf7e433c45d0357e0f81

リーフハッシュ（TapLeaf）

e3f72d8d95e3597abdc06251d0f117b6f3211900a31ed63482cf275c4c047015

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e3f72d8d95e3597abdc06251d0f117b6f3211900a31ed63482cf275c4c047015
2. TapBranch(e3f72d8d…4c047015, 98bb8db9…357e0f81) = c6cbc88d6105646e751478e374c525d341aaf9af394c23a7273cdaa7b2f9dd3a

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

c6cbc88d6105646e751478e374c525d341aaf9af394c23a7273cdaa7b2f9dd3a

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

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

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

1d080c5fe1b0b6ef74c437314592e187b42202b4505aa11601d333b78b14cb0942e13bd5fbb6a0bfd71c9f196ee403de04d50027f76e5470bc1e1f50aa3d6fbd