トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2157d3e79da5cb7070dbb40d69cb6087a11977ac95fe14157ef9c44691a16d71 OP_CHECKSIG

202157d3e79da5cb7070dbb40d69cb6087a11977ac95fe14157ef9c44691a16d71ac

コントロールブロック

c142acb0cad2e1cd9160876489d2b7d5ec8ee81aec596a904d23efbba677c1c9a6 (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

42acb0cad2e1cd9160876489d2b7d5ec8ee81aec596a904d23efbba677c1c9a6

リーフハッシュ（TapLeaf）

e2cadf863fd5a85e92f69efac4cb706e743eac49f7f1f8ff112827bd5971e529

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = e2cadf863fd5a85e92f69efac4cb706e743eac49f7f1f8ff112827bd5971e529
2. TapBranch(e2cadf86…5971e529, 42acb0ca…77c1c9a6) = 18eee789f9e5009c85626267c0ca5fc9546f52200d436fb51d241316dcdca282

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

18eee789f9e5009c85626267c0ca5fc9546f52200d436fb51d241316dcdca282

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

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

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

0a9a760c7d721cef16323b93f06dc6f7ef2fd6cf3198e9d4ecde2417cc1b1de256c6f876e6691062c7e66ce60d999eb0db40f60374346532f131207a607e7acb