トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

50d9ac8d05cea4c7f68bfb992016bdc8ca1d61bf00b78e80614a81acf072ea16 OP_CHECKSIG

2050d9ac8d05cea4c7f68bfb992016bdc8ca1d61bf00b78e80614a81acf072ea16ac

コントロールブロック

c1f22eff515f5558d639d9c89e5b728749ab77ef8aef9dfa424e5037d76bdd3e8a (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

f22eff515f5558d639d9c89e5b728749ab77ef8aef9dfa424e5037d76bdd3e8a

リーフハッシュ（TapLeaf）

b6a3130b9a505672832b944d78fec1d8fcec8af1a8d047bd31a9a39e8ccc58a5

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = b6a3130b9a505672832b944d78fec1d8fcec8af1a8d047bd31a9a39e8ccc58a5
2. TapBranch(b6a3130b…8ccc58a5, f22eff51…6bdd3e8a) = 4788bfb61e91f63c32dae72e045a2ed813c02097f874c3fa2bc554034a6faca8

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

4788bfb61e91f63c32dae72e045a2ed813c02097f874c3fa2bc554034a6faca8

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

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

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

551999ee2bc165f43144e3b1bfe3a8c9637fafcc22ee792a46c48067f89c6b4ccf688c3307a37f5444ee2e3c23901474450a90c063a46bbd392eeb78f3fa5cae