トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

0110ae94a906bf34610f7294a8d7231ba93a7938573dd3627f521454f9410bef OP_CHECKSIG

200110ae94a906bf34610f7294a8d7231ba93a7938573dd3627f521454f9410befac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

7190d744b2b6d78690677a763583ec5dc264cab6610934aca18a296d6e04e90f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 7190d744b2b6d78690677a763583ec5dc264cab6610934aca18a296d6e04e90f
2. TapBranch(7190d744…6e04e90f, 46c7eccf…1725e9fa) = 957a3259e26eb90aba2afc28ddc18c893252cde05672a06057ca9e752be4754e

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

957a3259e26eb90aba2afc28ddc18c893252cde05672a06057ca9e752be4754e

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

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

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

befd3872f8291591a2006f188dddd4fa03b9089c34cab620f8d6da8d302b01cfefce8324edf970d83f26631ca07062e2a99c4c767a47035368f7a90769c6de79