トランザクション

入力 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 以上）。

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

37ef1a17ad5f26f4bfb6230676d80668b271bf45e779a2d5cb87dfd24206b1f4afad1aca9becc42c82adbecca4b216916a3cbb3b12e530334e3bb7eb965e18f4