トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6b635ca3be11ac8845b7364e035d8cf1ff47145733879c3ecaea1380c99ac60c OP_CHECKSIG

206b635ca3be11ac8845b7364e035d8cf1ff47145733879c3ecaea1380c99ac60cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

874fac65e6193f5adeef9fa2bacb82c3555e11103c9383fcf1d54088e059e84e

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 874fac65e6193f5adeef9fa2bacb82c3555e11103c9383fcf1d54088e059e84e
2. TapBranch(874fac65…e059e84e, 46c7eccf…1725e9fa) = bee4d54de8e469e593678f8c9d1b8e51acd66ce229844b0a6cb2e62fe4dac9a3

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

bee4d54de8e469e593678f8c9d1b8e51acd66ce229844b0a6cb2e62fe4dac9a3

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

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

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

bde0277f18f6095313bb8163f0d0424ee6637eabf260cb2df544c7ce4ef5945cd6e407a386d63b3625acee1e61b2e358bef6fb59ef41a7f6a8a52a5d0ac9b620