トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

96cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20f OP_CHECKSIG

2096cf471365e5a8b3b7c9289f08e2d3f758d83bd2ba0bec4e502e90264397d20fac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0e58f3f924a2b4d6add0501e006853af42d30bd40c8770a33db2d276de4626b9
2. TapBranch(0e58f3f9…de4626b9, 46c7eccf…1725e9fa) = 58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

58f5d67677c9b28a2e644b0935c6115f80fe6809dc744a6df2f0a3dbb53d6add

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

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

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

af82b6714fc4ad25db96f9d94b6b34444fc8ccb23efeb633490216c9ddb3c887e9c37b4711374487704cf2b4bba06f20f0e1fe29dd54afd442d6964d1eb412c0