トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0fb6d79a154f1edf7b6bdc696f3c041b566ef90ab6260cd9af691ff6358f7b85 OP_CHECKSIG

200fb6d79a154f1edf7b6bdc696f3c041b566ef90ab6260cd9af691ff6358f7b85ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

61dc156445264c381dfffcc3d2b3ce43a0968382b430401c4bd97810f16e0b0b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 61dc156445264c381dfffcc3d2b3ce43a0968382b430401c4bd97810f16e0b0b
2. TapBranch(61dc1564…f16e0b0b, 46c7eccf…1725e9fa) = 1216a0c65fe0d1e057338ff1b525d8b1369016b13d19d53a82d4237d264bd61d

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

1216a0c65fe0d1e057338ff1b525d8b1369016b13d19d53a82d4237d264bd61d

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

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

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

7cca99707714a41330fb0f563cf555118973301e1229a00de2160f779990fd30e077eb5e9ff2e27633e52248c0c4b56b6964b9dd8eb97d44a9be47cfb4562442