トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

868d9eca7c78ece669480305dce5b02aa541e4e3af0d48e625c72b3243fd9baa OP_CHECKSIG

20868d9eca7c78ece669480305dce5b02aa541e4e3af0d48e625c72b3243fd9baaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

33ecd464d013d57f129a17d1fc045e57efcedfedaa352b88a1a1ce2446b4d286

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 33ecd464d013d57f129a17d1fc045e57efcedfedaa352b88a1a1ce2446b4d286
2. TapBranch(33ecd464…46b4d286, 46c7eccf…1725e9fa) = ef1481a674b35df0bdcc23969ce00b3e3c31020bd612b1e875715d0590f9902c

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

ef1481a674b35df0bdcc23969ce00b3e3c31020bd612b1e875715d0590f9902c

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

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

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

f1cd73bc11b4a641d69854e6b510b7bcefc4b636e214b271a3c586c93d56f30c0e414aa07cbd43e0a573ddf90be757575ce4e9e91fe55e929a4149f83a5f75eb