トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2a3f8ecff69c5d0bd08264b0e0f9500638a3a9dfa3659a29558d155acfb43fd9 OP_CHECKSIG

202a3f8ecff69c5d0bd08264b0e0f9500638a3a9dfa3659a29558d155acfb43fd9ac

コントロールブロック

c1d654127a3793ca24bfeed1abaa230940503245e194f79c51695a6c89d3b38c63 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

d654127a3793ca24bfeed1abaa230940503245e194f79c51695a6c89d3b38c63

リーフハッシュ（TapLeaf）

0899e3cce4ad2a787103b77fa91fd7d0a540198c3899774f93ab67d982d15471

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0899e3cce4ad2a787103b77fa91fd7d0a540198c3899774f93ab67d982d15471
2. TapBranch(0899e3cc…82d15471, d654127a…d3b38c63) = 66a2fff8a6a54fe0adc0469ca570144b0060661b281fedd3b970333da1bf1109

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

66a2fff8a6a54fe0adc0469ca570144b0060661b281fedd3b970333da1bf1109

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

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

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

7c0cedda4abc0997c987fc74aa0750212e5dec281a4b6ca5a1111370850c62105f5b7af65e4e743feae38fe392c9ced86ff2c32d32c43f881e9c1c2e09396287