トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

00df8f80b28cc9e2408bd4cbcbd48d712f815f76798235d0470a11b537750143 OP_CHECKSIG

2000df8f80b28cc9e2408bd4cbcbd48d712f815f76798235d0470a11b537750143ac

コントロールブロック

c196b6930bc8125e164d46fce5c846e3646465da70bda92c705e754d7722a36df2 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

96b6930bc8125e164d46fce5c846e3646465da70bda92c705e754d7722a36df2

リーフハッシュ（TapLeaf）

07444c07c21b7a231fb7c71a5cb0e8788b00791525bc95b63fb14f9fc4c61fe2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 07444c07c21b7a231fb7c71a5cb0e8788b00791525bc95b63fb14f9fc4c61fe2
2. TapBranch(07444c07…c4c61fe2, 96b6930b…22a36df2) = 59499b0355090fe8d70f4ea8cc61c99d5fe2021446615534b48cd0cf4d5fed04

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

59499b0355090fe8d70f4ea8cc61c99d5fe2021446615534b48cd0cf4d5fed04

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

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

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

3ba751cc49e28169a359071dffd1a5ce6082ef34aaff00f047a697189bcfd8c77e88d2a5873e9759183c23ecfea687ee269b52e354c14a8747d0a559102670de