トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

818887374d8d6d9f1bf7d3b85e2f881c4df51d3aad1279d4c62ba905578b613c OP_CHECKSIG

20818887374d8d6d9f1bf7d3b85e2f881c4df51d3aad1279d4c62ba905578b613cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

325fabac62ae0aac2eea312ccdfc08519b3246a9921ba6d289ec94c773eda322

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 325fabac62ae0aac2eea312ccdfc08519b3246a9921ba6d289ec94c773eda322
2. TapBranch(325fabac…73eda322, 46c7eccf…1725e9fa) = 4f74e8070c07fea471de35942ecf3b0732167983638382236487a332826841d2

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

4f74e8070c07fea471de35942ecf3b0732167983638382236487a332826841d2

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

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

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

fc59cbfdc6f7da2d50f483161d84a35c9e49d700ee1c81936df9cfd3785cd1d02d9abbf64733191b2cedcf6bbe2bae609505259050e6c82d9c36779f0842fb8a