トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4e29b0f84a0e9ffef9753dec7c038b1ae3a73940ed2080410c7b42ebde8695c4 OP_CHECKSIG

204e29b0f84a0e9ffef9753dec7c038b1ae3a73940ed2080410c7b42ebde8695c4ac

コントロールブロック

c1122f2c46ea5cbffdf7965252ac6ed5a00a4648bf7210acaffbf5b8442dc9f64a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

122f2c46ea5cbffdf7965252ac6ed5a00a4648bf7210acaffbf5b8442dc9f64a

リーフハッシュ（TapLeaf）

f04dcb8e55cc71ef22c6fe8c18964acfa998306fe238475edfadc0e498338290

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f04dcb8e55cc71ef22c6fe8c18964acfa998306fe238475edfadc0e498338290
2. TapBranch(f04dcb8e…98338290, 122f2c46…2dc9f64a) = ae49f117acf9766bcb5e1284df1db922e01fd9e65fa9211c1e4c899bf625eda8

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

ae49f117acf9766bcb5e1284df1db922e01fd9e65fa9211c1e4c899bf625eda8

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

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

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

7457b448173ba757e8da34a5d4cdfe1b20b1daebca388bf6ea5a2ac8caab0322f15ac73c9ceb521ccad779a3701cfd6c5515f18796e274362b1e896be9beb2c2