トランザクション

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

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

d402b1c2578e9bc4e0067cd101c8a1702469d334388c687a34a991e66cfb9c1d3b7467df483c0381a86705b5bb817bb1ab51345c3891f8210d814e297f8b0d26