トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

1f36e9f176cab2f8985d4f049842483513f24dbe140ae2605e9d9180c2cb1619 OP_CHECKSIG

201f36e9f176cab2f8985d4f049842483513f24dbe140ae2605e9d9180c2cb1619ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

68782e05f65466ddcff127120c393ef632f9d6e32314398a5676b5599959491e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 68782e05f65466ddcff127120c393ef632f9d6e32314398a5676b5599959491e
2. TapBranch(68782e05…9959491e, 46c7eccf…1725e9fa) = cc86af8439a1dfec73508f81cceb1e137e77186fbf509fab670964c31f632da4

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

cc86af8439a1dfec73508f81cceb1e137e77186fbf509fab670964c31f632da4

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

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

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

7bf437c04988abc55199b5e18d9080296b6aae4ac24456e3a17a1c85eff3a6de182376800686bfcec61c782bfa105bbd31cdcc70e2eda47a80177cbc5a6bbf96