トランザクション

入力 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 以上）。

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

d3e88eff889cd14212e1c261041b3f806af75817bde511f6cb31ed15e7f115771efa70e8e368130a1fa15be359ca1835b6ecb1c12d5c7d644210eda79ed32b20