トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

48d6d045f3e8591294994dff8b9b2977c5fc3edbf98e6d4bf0511e518a68a53f OP_CHECKSIG

2048d6d045f3e8591294994dff8b9b2977c5fc3edbf98e6d4bf0511e518a68a53fac

コントロールブロック

c1f8de7dc943b1b30bf7b14e6c26dceabb7e2f9c77c4a100ae54172c152bad2c38 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f8de7dc943b1b30bf7b14e6c26dceabb7e2f9c77c4a100ae54172c152bad2c38

リーフハッシュ（TapLeaf）

0790f692801f583162e4eb0a1589005fc7b20c8c53ef0570083383b9d842dd5d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0790f692801f583162e4eb0a1589005fc7b20c8c53ef0570083383b9d842dd5d
2. TapBranch(0790f692…d842dd5d, f8de7dc9…2bad2c38) = 368b388333d2a349cda175f8cb1823beb3eac7248b8d0502d88a0b2af39da53d

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

368b388333d2a349cda175f8cb1823beb3eac7248b8d0502d88a0b2af39da53d

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

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

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

94da38b37a8b0928a1eacee1b756040ac9e59d308a1727eeeeb22a99b22bfe13b9cbb25f483c42fe99092322a11cf574fe128b53ca9f48e68b897e70f82b3f6a