トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

090983ece944d9cec495e659d9f08c96b57973e98d2372df069ae144b37b694e OP_CHECKSIG

20090983ece944d9cec495e659d9f08c96b57973e98d2372df069ae144b37b694eac

コントロールブロック

c1494c5b116b0ed7d040bd5ee85f1f4ae191ef6ede7623427b1455b8a5dc19c8f6 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

494c5b116b0ed7d040bd5ee85f1f4ae191ef6ede7623427b1455b8a5dc19c8f6

リーフハッシュ（TapLeaf）

f7a5f588f88c636bb64dae4b512e9e008db9a45c14feadc813dbad3d72dbb03b

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f7a5f588f88c636bb64dae4b512e9e008db9a45c14feadc813dbad3d72dbb03b
2. TapBranch(f7a5f588…72dbb03b, 494c5b11…dc19c8f6) = abf9c420d27c0b0815b73b98e322d3ab488a0d48d51a41644de9ce2d8c4ddf26

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

abf9c420d27c0b0815b73b98e322d3ab488a0d48d51a41644de9ce2d8c4ddf26

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

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

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

b4ba56d6440a5fa474a4358eb525e5da5321417578c699ade3b1dccb3a8e7ea883e83c9d145a5cfda80ef79fca9e0f9f619e4f35972297c58065f3b105fc21df