トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

badd53a6ab527179fdcc91c4d51fe0df294d127611961c079d7ac90276b5d7f1 OP_CHECKSIG

20badd53a6ab527179fdcc91c4d51fe0df294d127611961c079d7ac90276b5d7f1ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

3ac5b43076c60929c239d126948476c7970beb01ecd7610030eb3a9d5983cb14

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 3ac5b43076c60929c239d126948476c7970beb01ecd7610030eb3a9d5983cb14
2. TapBranch(3ac5b430…5983cb14, 46c7eccf…1725e9fa) = 8c988297f51af9f74174b443507c189a28122d6c74eb14c9b8931eed31850edb

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

8c988297f51af9f74174b443507c189a28122d6c74eb14c9b8931eed31850edb

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

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

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

51497d56e3bed361c8eef15ad6610365497ee170d4b348ce0975a169cb76657886c70ab27891fbc434ddceb28224ddd2a69b74e6bde2a09ceeedc8ed4cbff916