トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b99bf53ff4019076c0b1f7dd9b9cc9a4c5706a2eeee76578dc48b006f81fbfae OP_CHECKSIG

20b99bf53ff4019076c0b1f7dd9b9cc9a4c5706a2eeee76578dc48b006f81fbfaeac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6ec92fc1c0463dc598c7e6095799e8e2b1f5bb2d9f9f5020c961a6dd74c6929f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6ec92fc1c0463dc598c7e6095799e8e2b1f5bb2d9f9f5020c961a6dd74c6929f
2. TapBranch(6ec92fc1…74c6929f, 46c7eccf…1725e9fa) = ced88630f1dd3311bd0ab5a2c7b3ef71d56b3013d15ab16f20a8e911f442de19

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

ced88630f1dd3311bd0ab5a2c7b3ef71d56b3013d15ab16f20a8e911f442de19

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

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

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

fd972e495357c10bc4b0bffea3abc3c03a8999720a617e6b56fd2c65d3849cafe13f87e39a2c55d3dd406ebb759f135a2e287171a3e62be16cd6ff9b720721dc