トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cc2cffce8fad6c99e807e9c4acc0446e3c7d3ce47284f22c2ad6342a7c802adf OP_CHECKSIG

20cc2cffce8fad6c99e807e9c4acc0446e3c7d3ce47284f22c2ad6342a7c802adfac

コントロールブロック

c19d06c3f78724e252b7bc6cd48f1453a343e6347ac29891dcb9b84d2e10deb7b3 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

9d06c3f78724e252b7bc6cd48f1453a343e6347ac29891dcb9b84d2e10deb7b3

リーフハッシュ（TapLeaf）

34a2fbbc4cc77c52e09dddd4d8e76264866496baaf77b8bc3185010a1c1988af

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 34a2fbbc4cc77c52e09dddd4d8e76264866496baaf77b8bc3185010a1c1988af
2. TapBranch(34a2fbbc…1c1988af, 9d06c3f7…10deb7b3) = be2ce7c120a72bafe91884abe4bd816c5f35de4e5970da524068ae77cb2184e8

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

be2ce7c120a72bafe91884abe4bd816c5f35de4e5970da524068ae77cb2184e8

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

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

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

2e51382d37843b09b480d44ab3538d353ba887447abc4dd63afd2377a2534028ff387d10a25f0ccda3339da527417e737a85173984d83d422f469db338ab2ec8