トランザクション

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

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

11679ccac69acde9f9a376adc690d81f2897b04bca26eba54bf33376d4daf7d8f5e21cd94f66a1c5876bba75f9bc295bbfc70d118f4a5c5592f11c48c1cedeef