トランザクション

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

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

197c786db05b15a770c1917c18ab6f87cab33c5d1c00953aa8b43624f8b630946e291095932c9a9c4691231172ae56fe6ee22d4510d00a7843a0d5ad75a6b31a