トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

ef5993d213efc107a2da381ec8b6546d75759a66cac9f3cc67f17e8b701c6fa0 OP_CHECKSIG

20ef5993d213efc107a2da381ec8b6546d75759a66cac9f3cc67f17e8b701c6fa0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

51fd19ca05e81b5e444cfe92a434f95fb1e12a86989300abcf8205f0e39ff898

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 51fd19ca05e81b5e444cfe92a434f95fb1e12a86989300abcf8205f0e39ff898
2. TapBranch(51fd19ca…e39ff898, 46c7eccf…1725e9fa) = fbefd5dbb875536238a445e9fc65b1480a705b511b3aedd5c7df82404c8095b3

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

fbefd5dbb875536238a445e9fc65b1480a705b511b3aedd5c7df82404c8095b3

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

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

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

0fd42d0a15e599ca109fa9763271cdf4a53a2bdea6cf65e5e52603aa1afffb4dede8f530e38f0fdd0dc420c7721c0a905cc5c4ed2caa013e67f122647895aa47