トランザクション

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

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

af17eb63bf652c7a23ab1a342f01525839c561b6809faba91c5805190b07911256ed86978f66ec5d0a774787e17145151ddcf34f5e6113667fbbe98f1abffb53