トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f7d41935c73b6c03647e51102efc0a42cabca889b0cf08402cc93bc10c4f01f3 OP_CHECKSIG

20f7d41935c73b6c03647e51102efc0a42cabca889b0cf08402cc93bc10c4f01f3ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

94fc96ea13429beb603c70f8f8cd7b6054ca2e1d113b2e9070873ae5de61356d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 94fc96ea13429beb603c70f8f8cd7b6054ca2e1d113b2e9070873ae5de61356d
2. TapBranch(94fc96ea…de61356d, 46c7eccf…1725e9fa) = 588971466c03f4269e8fb6cd420550925e95410af027d35e889c081f218e5f2d

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

588971466c03f4269e8fb6cd420550925e95410af027d35e889c081f218e5f2d

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

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

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

7b88460df59eabc9cc9c699d9da3b2689522cbae643413c7c0097039653a5d4852646575ff9cb95b5e5249d89c1d21836f0e620619b30ebdd3d23eae94d6c95e