トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

3e56ba6f803ff064f60a0b67ce0af2c74b130a3aae7ea9ba6dea541fb38e5a7f OP_CHECKSIG

203e56ba6f803ff064f60a0b67ce0af2c74b130a3aae7ea9ba6dea541fb38e5a7fac

コントロールブロック

c1181bbb763695a7fca24a1204dc185408c00da6e5edd1647ead427166d1e445f2 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

181bbb763695a7fca24a1204dc185408c00da6e5edd1647ead427166d1e445f2

リーフハッシュ（TapLeaf）

34e115777a6e34fa6de3bb94dc8b8646848cf4dcf96aec1d8e21dc92d192653d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 34e115777a6e34fa6de3bb94dc8b8646848cf4dcf96aec1d8e21dc92d192653d
2. TapBranch(34e11577…d192653d, 181bbb76…d1e445f2) = 026f9815a72af492fc73ce919fad863babada3f227b6a27122b74e4ce6fead74

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

026f9815a72af492fc73ce919fad863babada3f227b6a27122b74e4ce6fead74

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

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

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

3cf213e9b9b2f20bef73102e38e2a11d330582cf6f05eff1b868ebfa8093ff059043c32699c44b7c69934fc614624104e899d7e66687f3563f5354c94efb20ee