トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

e5860cc2324e8ab154527f5d5cb9d140aedcdda9c0aedd20d1e999d640d70dd4 OP_CHECKSIG

20e5860cc2324e8ab154527f5d5cb9d140aedcdda9c0aedd20d1e999d640d70dd4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f40cf596e38187c2ae441576e8dda949263a35c037ebd80aeac64ad5f600a5ef

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f40cf596e38187c2ae441576e8dda949263a35c037ebd80aeac64ad5f600a5ef
2. TapBranch(f40cf596…f600a5ef, 46c7eccf…1725e9fa) = 6694734e54c857709c1975aca71a16033487c15fa1614fc51270d55bd7184077

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

6694734e54c857709c1975aca71a16033487c15fa1614fc51270d55bd7184077

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

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

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

c40176cfe7cef19b8b731be8424ad258f3d80b8f479afc439d59311929526b9526c2ac80afe116d12a52cf995ff73e3879825f7c91159c33c7fffb1a1f2690e4