トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2dea56f64b7eac1beb8e13b198e72c965c49cee41b66779214a2ff869644b2ff OP_CHECKSIG

202dea56f64b7eac1beb8e13b198e72c965c49cee41b66779214a2ff869644b2ffac

コントロールブロック

c10f85ff70541a491340ea1398763f5f4fa0638f84d860a10754d1b119d1fda31b (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

0f85ff70541a491340ea1398763f5f4fa0638f84d860a10754d1b119d1fda31b

リーフハッシュ（TapLeaf）

fb8c6c9b4c5d8f51899b7e3b6de2c62105b5fcc912cf1a6fc6c5a76a5b88b217

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = fb8c6c9b4c5d8f51899b7e3b6de2c62105b5fcc912cf1a6fc6c5a76a5b88b217
2. TapBranch(fb8c6c9b…5b88b217, 0f85ff70…d1fda31b) = 28bea758aa8230071861e19421c3025d54650b5cac9fda97c059d2ebb3a19fa9

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

28bea758aa8230071861e19421c3025d54650b5cac9fda97c059d2ebb3a19fa9

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

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

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

fd10eb8413436b538c2894188671e638bea4b4378f9bf31f1cd2b5e627d5e542a5b3a428fbfbfd665ff862af81e4b35a606cff96a3ab18ab047927496e166a3d