トランザクション

入力 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 以上）。

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

73c1eb5fb96285652062b283d66dda2e058b6cd0d5801c23a1e7be3a553acb0406304327b6707ceacb197cd061389dbea15cee2902a7f65741c268668ecc187f