トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

03f758627a8547f7afc088fdd1540f3aef73e2dce4c1a5be4ced4c592e801aba OP_CHECKSIG

2003f758627a8547f7afc088fdd1540f3aef73e2dce4c1a5be4ced4c592e801abaac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

65c8d7d1e785258fb8e7ca244f6a67731345967e6e29d236a7a3631d3b988851

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 65c8d7d1e785258fb8e7ca244f6a67731345967e6e29d236a7a3631d3b988851
2. TapBranch(65c8d7d1…3b988851, 46c7eccf…1725e9fa) = 093471a95949bae898711c0b7fb2a683bc47e38d8ffd144c066fa4f7a61b1166

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

093471a95949bae898711c0b7fb2a683bc47e38d8ffd144c066fa4f7a61b1166

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

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

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

c7b2f6a0de39d3ed94ae7b345bfd90036e90d91690977ff25769d3c5161f3627457ff39ac3f51187bdf30498ef3a4bfa9d8928ae10f6bb6b8f1e66b90d500b48