トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b415389cffb25cb9c50963425cc22b940153402707732d2dc4c1946bf1fc908e OP_CHECKSIG

20b415389cffb25cb9c50963425cc22b940153402707732d2dc4c1946bf1fc908eac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

4f1b9f3dff2aad23f6ae27ff30459d5288ebb8259ec26cac45ee396e1965c051

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 4f1b9f3dff2aad23f6ae27ff30459d5288ebb8259ec26cac45ee396e1965c051
2. TapBranch(4f1b9f3d…1965c051, 46c7eccf…1725e9fa) = 8e2ab2a64716f5f5d9490631ad018518ebd09e5c3f83ca8dc585f7cc3b6a586d

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

8e2ab2a64716f5f5d9490631ad018518ebd09e5c3f83ca8dc585f7cc3b6a586d

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

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

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

1ca62b7aa958c38b5f9b13adf138e57542eec2e63db7f0877c2a46e2f76ec967c1ef6e66c27a2ab65ccae0a2e5f4cd806d9f459ffedaa3d4a0931974c12798f5