トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

64e9d07d22d45928d1cb88d3522d796cc32b8a9eee0f29fb11b3bce1fa4d0ea0 OP_CHECKSIG

2064e9d07d22d45928d1cb88d3522d796cc32b8a9eee0f29fb11b3bce1fa4d0ea0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b2d724eb604aec58a800bd7789245dc35b2a61914cc8a698519d949e6fa09f23

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b2d724eb604aec58a800bd7789245dc35b2a61914cc8a698519d949e6fa09f23
2. TapBranch(b2d724eb…6fa09f23, 46c7eccf…1725e9fa) = b5ae474db5264a63eace72fb7847e0b05333acdc9640eba153ccedf37f2485e5

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

b5ae474db5264a63eace72fb7847e0b05333acdc9640eba153ccedf37f2485e5

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

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

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

502516d2f794eb80daa8b3e6ef6dea450a0ecc657c6926447b5fde5dff8296d87cfcd8ff82e8e08168e61b37ae6b5ae908643566d40f90adb7e3e5c456f72526