トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7ee701de5f294ea2b127c4e0bdefeef9cedba49b594b64fedc1917f8ede0cff1 OP_CHECKSIG

207ee701de5f294ea2b127c4e0bdefeef9cedba49b594b64fedc1917f8ede0cff1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

acb7f9a16c159472c4a0e7409314d4da7b0b0a15e08adf2976e47c3f803a42d2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = acb7f9a16c159472c4a0e7409314d4da7b0b0a15e08adf2976e47c3f803a42d2
2. TapBranch(acb7f9a1…803a42d2, 46c7eccf…1725e9fa) = b01533db8e1f392ba309f4de10b03b19e37d0a635b946b91e9bc1b8945fc6328

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

b01533db8e1f392ba309f4de10b03b19e37d0a635b946b91e9bc1b8945fc6328

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

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

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

b1be2a36c93a90d0f150cc1f38633f1f63f1cb96570ae56562725f2c105535079a28a424a7ba791fbb59cc435812aa02c0aca6883fd935dde6c20bd571efd956