トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

5defe966531363689776ceee12594cf074a35bf3014b103a33b12f2bbcb32c41 OP_CHECKSIG

205defe966531363689776ceee12594cf074a35bf3014b103a33b12f2bbcb32c41ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

6ea150a326e9fa25551bd444f6ceb71be4f1ccc06897a93ca2a3e337764a627d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 6ea150a326e9fa25551bd444f6ceb71be4f1ccc06897a93ca2a3e337764a627d
2. TapBranch(6ea150a3…764a627d, 46c7eccf…1725e9fa) = ca1464fb30e959d809e64afcf2fa1492b74c472688047a407b7cd2750ca71435

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

ca1464fb30e959d809e64afcf2fa1492b74c472688047a407b7cd2750ca71435

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

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

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

031e92eb52b48b3bc8f0740a8305bc16b122e761d250b509e87f932d20c5626334ff0dbd66e67e710c0429029a9aa7a328991dd29c112828c31366dd1cd359eb