トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

4a9a30e7c93747cd09b27bcd49d84bb47391457cfd407b36c3510418694ddcac OP_CHECKSIG

204a9a30e7c93747cd09b27bcd49d84bb47391457cfd407b36c3510418694ddcacac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

10f0ee9020ddf6fdf580e5db397e895c8b1dd31ee8de90ae6cb338d94e509a47

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 10f0ee9020ddf6fdf580e5db397e895c8b1dd31ee8de90ae6cb338d94e509a47
2. TapBranch(10f0ee90…4e509a47, 46c7eccf…1725e9fa) = 0b3c38c7ee7c9ecdf87d90b33d7e934ae96a965f2d523fb7c8d644c63a06ddba

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

0b3c38c7ee7c9ecdf87d90b33d7e934ae96a965f2d523fb7c8d644c63a06ddba

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

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

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

2673028d0234d13b32ed4039605c4f6c6fe195c052bb2da9795f0235df111abd1dcba2b30d13d94dae2c743a58ce48ccb1b205d37e39429e6c790964e6c82ffe