トランザクション

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

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

1ed63064c626a426f5f4ae1d6fd64f7b81cb4bb03cd2dcab80da6e3a2399baab76e96f83dbb6497c19f174364a93ed1d96091a6e28c33beb4b4875f099c96173