トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

178d2ba858e77decaf2a8633242822220e8434af6ad5e9dcbf75a0a7fa62a01b OP_CHECKSIG

20178d2ba858e77decaf2a8633242822220e8434af6ad5e9dcbf75a0a7fa62a01bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

8f12e982999076076475118f70762d462192061dd6f3ee916b05af88b69ccbc4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 8f12e982999076076475118f70762d462192061dd6f3ee916b05af88b69ccbc4
2. TapBranch(8f12e982…b69ccbc4, 46c7eccf…1725e9fa) = e333675a56e1af025465bfe6c2d6e3f1dae2b9edb0979ed38fb13a5946f9ce21

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

e333675a56e1af025465bfe6c2d6e3f1dae2b9edb0979ed38fb13a5946f9ce21

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

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

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

8c6e8e1374cbce35da7139040516082f2f44a9a06ff1827b10d33c2156d5969b14030fe64fbae810b0145642c0af96ceb1a41820ceecafb35720f095ae57b086