トランザクション

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

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

f78157e294e90f3e0d7c1bb54ed3a8ea3a6f360548e71eb85694deead2f0a0c6d37f0c2c24e6a13c574ffb66e389370a2429f3118c89b91e5605cee747d5c81c