トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9e567bec82eaba40210b2dcaa376a0f816327be17af787cc7e8a7f1dca3cfb50 OP_CHECKSIG

209e567bec82eaba40210b2dcaa376a0f816327be17af787cc7e8a7f1dca3cfb50ac

コントロールブロック

c1270561381cae3108e8109c8e73d6dc4dadb75c13201178ea4d974a0bff852298 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

270561381cae3108e8109c8e73d6dc4dadb75c13201178ea4d974a0bff852298

リーフハッシュ（TapLeaf）

c655a5e2015bfb239aaaad87c0f93428b841c97a4bd5cdef7fc699ab6944d3ae

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c655a5e2015bfb239aaaad87c0f93428b841c97a4bd5cdef7fc699ab6944d3ae
2. TapBranch(c655a5e2…6944d3ae, 27056138…ff852298) = eff17b38d5cf611926d63e724936f65db56716ceb87c81f105bd42a684203636

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

eff17b38d5cf611926d63e724936f65db56716ceb87c81f105bd42a684203636

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

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

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

77fe7f8b8f90ff3a18b2cab20d61b6c02f42f65f17b97c0e453f634d91480fb10a4a9f260cc2f0343d2a60e3b9cf7bdccf50f41157b90370a93099263c7aa244