トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0ad1efa16b0835e751a0da980eda29a9c1c0f473d0371850628d67c4da6b88ae OP_CHECKSIG

200ad1efa16b0835e751a0da980eda29a9c1c0f473d0371850628d67c4da6b88aeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

99389c92b9fb352a1e7ad2f5efb791545a5bbde715feba2f1e85114c72c5e563

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 99389c92b9fb352a1e7ad2f5efb791545a5bbde715feba2f1e85114c72c5e563
2. TapBranch(99389c92…72c5e563, 46c7eccf…1725e9fa) = f7fec0f23df83a81a2c0d4c6138795b8bf57d5ea8a5e6a037648075174d632ad

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

f7fec0f23df83a81a2c0d4c6138795b8bf57d5ea8a5e6a037648075174d632ad

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

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

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

ba222389b2d5053556690146b631870bb35431b43ab981333026954a93a84fde8804be2828a12e0c0dddf2f5c2a274dfc53ffd3c1bca8efbd80c10f19eebc63f