トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

073c3e28b7c677d133fdafe8320ab0b2ed3eb1a3fa33425d92c2bb1f3a2e7181 OP_CHECKSIG

20073c3e28b7c677d133fdafe8320ab0b2ed3eb1a3fa33425d92c2bb1f3a2e7181ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b1f43d8e90447cf2a9a948a761107c92b4ebac404bcc2af58838eaefc9a7df79

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b1f43d8e90447cf2a9a948a761107c92b4ebac404bcc2af58838eaefc9a7df79
2. TapBranch(b1f43d8e…c9a7df79, 46c7eccf…1725e9fa) = b1346ec1a921cd0b8a5e57c82e026ec473febf9db1955620b0fc470fd4250ab3

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

b1346ec1a921cd0b8a5e57c82e026ec473febf9db1955620b0fc470fd4250ab3

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

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

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

c282aea36148fcda36b4f3d7c2346f5487d490a975c42355ccad75ed1c2da5184cff9e1bfa3c7f1a3aa706d5a639dd096369fac1c9f80ae9db971ca48d4f8b9e