トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

9fc8e0eb43f58b23f97d013e9190ee9683543bae02d9a51761da838196c9372d OP_CHECKSIG

209fc8e0eb43f58b23f97d013e9190ee9683543bae02d9a51761da838196c9372dac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c1c0170dbe9599ff07c8897ea13d9622eab333be750df38fad2466c378801a00

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c1c0170dbe9599ff07c8897ea13d9622eab333be750df38fad2466c378801a00
2. TapBranch(c1c0170d…78801a00, 46c7eccf…1725e9fa) = fc6fa833c74b1a6921fad92f77c2fb597a31a4d6327141e6fba63d916524edfd

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

fc6fa833c74b1a6921fad92f77c2fb597a31a4d6327141e6fba63d916524edfd

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

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

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

9fe5b16be0dedd2d5260a6c950e050faffbc42a578ff323f6de0c90b8f9e5f24864433fb69a8c0340032bc246aacc71fb2e608bda5204f3cef78250bd875cd6c