トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3d510955ebad9b935ad73c335db39339014c75f4e966c225cdf4afa2a38c6e38 OP_CHECKSIG

203d510955ebad9b935ad73c335db39339014c75f4e966c225cdf4afa2a38c6e38ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

19f29d32033a9d2f7f16c76d5067b50b931a70f0b97a3b7d493a8a8ec512a800

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 19f29d32033a9d2f7f16c76d5067b50b931a70f0b97a3b7d493a8a8ec512a800
2. TapBranch(19f29d32…c512a800, 46c7eccf…1725e9fa) = e981374894fb5d47ab874456a99bf0f93f0ddbebd882205de9d8d436c7716606

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

e981374894fb5d47ab874456a99bf0f93f0ddbebd882205de9d8d436c7716606

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

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

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

2bb4d78cb0c90d30bd0542aee69786e272364026db55bc1d8b64ed4ea676d10eaefb941c091d2d314c7dbcf8cc4888caf5347fe2e26b2ef6ee228998fe66f9c7