トランザクション

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

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

804a63bd4813f82925abf8191084ff8488e5e4df649b67528afff4b04e682ba2fb2ecf3401cf8a98a2a161ea3e2ba2983507420977473bd66d11f3c7fb8d56cb