トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8f8e46f036f0eaa682b2075b036052c47741cff3920d241e268ea4afd782f422 OP_CHECKSIG

208f8e46f036f0eaa682b2075b036052c47741cff3920d241e268ea4afd782f422ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

81078d257b21722d8d5be6b569264cfb62af9c0a58eecf028a127e4093b1610e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 81078d257b21722d8d5be6b569264cfb62af9c0a58eecf028a127e4093b1610e
2. TapBranch(81078d25…93b1610e, 46c7eccf…1725e9fa) = 1b9481adaec2746bebf20dfab93b86dcd204fae0887a6b70cbebea8e6c305efd

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

1b9481adaec2746bebf20dfab93b86dcd204fae0887a6b70cbebea8e6c305efd

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

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

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

88be4faf1c427bd00e22a37afafb6c82c02144e89b640d6e0db87a6d63b58b30c3e29efcda987d1ff61b79babb6af219fb9f76f25936ad85aaef9793a1072e5e