トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6134195aa300b273c3a11e768c7e36f73d12e35aed2133f4f693e2f7f67ae4f1 OP_CHECKSIG

206134195aa300b273c3a11e768c7e36f73d12e35aed2133f4f693e2f7f67ae4f1ac

コントロールブロック

c10a4f1b6e03e2eb007b4f3e3b380cec77a7dc6747cce55650f36842784ad3d7a6 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0a4f1b6e03e2eb007b4f3e3b380cec77a7dc6747cce55650f36842784ad3d7a6

リーフハッシュ（TapLeaf）

a9738d42895120127ce16a712ba5eda39a34fafab714bcedc6c22cba294d5d16

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a9738d42895120127ce16a712ba5eda39a34fafab714bcedc6c22cba294d5d16
2. TapBranch(a9738d42…294d5d16, 0a4f1b6e…4ad3d7a6) = 60e097c3a864d3d856d6304ff58326309cb4d9293612ea8a389b0ae1054f5941

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

60e097c3a864d3d856d6304ff58326309cb4d9293612ea8a389b0ae1054f5941

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

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

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

76b7da47624e173178b77e4850145ca4fba38b6866096832cf02f2a8510da129fdb53f948b4f1effd7fe60da94c716ba7eadd8a7003a8cb7de3232ff4867f93e