トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

441d6e6f54480c2259c224c2688196b5bcef36b4127f5b0dd7e27e15f0c5c6eb OP_CHECKSIG

20441d6e6f54480c2259c224c2688196b5bcef36b4127f5b0dd7e27e15f0c5c6ebac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

b658b3840c9b9cf02789c16f91f50ecccb342313e31ae54258f3b12dcc02f83a

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b658b3840c9b9cf02789c16f91f50ecccb342313e31ae54258f3b12dcc02f83a
2. TapBranch(b658b384…cc02f83a, 46c7eccf…1725e9fa) = c857760abd16e65266d206b8218bf3d96e6f6fc1f69664dc3928697da5973ce5

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

c857760abd16e65266d206b8218bf3d96e6f6fc1f69664dc3928697da5973ce5

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

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

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

343b50def619da597921c1c72f2f86d8689a47e0e7208a1158210e5fd9c05f4496ab11ec174a22d5b8c353a732da1b249584e5f07275c352c7f51b597f14bddd