トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f7419fe2a85279af9373c16a5243354419093ca562c7356262b1cee5136f7df7 OP_CHECKSIG

20f7419fe2a85279af9373c16a5243354419093ca562c7356262b1cee5136f7df7ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

bdaab7ccec3b0e27ec396b18bc10745d895e4bd0a51a6c15d15b8a3b5230dcc4

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = bdaab7ccec3b0e27ec396b18bc10745d895e4bd0a51a6c15d15b8a3b5230dcc4
2. TapBranch(bdaab7cc…5230dcc4, 46c7eccf…1725e9fa) = b480da9000291c0c0d7290069f23562840c74a849a568cace0c9aa1b9a54da35

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

b480da9000291c0c0d7290069f23562840c74a849a568cace0c9aa1b9a54da35

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

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

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

d97e39009915077fdeace86f6e0f3a1afeecea422f8095cf4f0d5b4dbe3f29d934c63ced3d63d071c73f0802d39f2cb38fc6c33cd16c8963aac8568e1d2cf87f