トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

22e633838ae87bfd1fdf047991459d8dc772e8c0e5579494f326c6ecbec5ef5b OP_CHECKSIG

2022e633838ae87bfd1fdf047991459d8dc772e8c0e5579494f326c6ecbec5ef5bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

dd49360748d484af796acff90ceb05529047cd30516e6a8b945612484d602c77

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = dd49360748d484af796acff90ceb05529047cd30516e6a8b945612484d602c77
2. TapBranch(dd493607…4d602c77, 46c7eccf…1725e9fa) = fedd3c0eb10906b507c8824561e4ef92386971ab667e1883d156e42901709b62

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

fedd3c0eb10906b507c8824561e4ef92386971ab667e1883d156e42901709b62

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

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

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

7bb1088733409e8f512ece48cc8fcc00055b7039f33e2a7f38cdded2e936c4c82f539be79c127f94f3f5f94fed82907a851c43da05b59a6bf549deee9fd4ed41