トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

efb95cfd4c19e8557aa73c1b495f141f37a7023d53cf7a7af3805a54ff9038a4 OP_CHECKSIG

20efb95cfd4c19e8557aa73c1b495f141f37a7023d53cf7a7af3805a54ff9038a4ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

872fabe5b2013f84a9adb364fa94375bfa469f3690aa147f7dd647a2240e01e7

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 872fabe5b2013f84a9adb364fa94375bfa469f3690aa147f7dd647a2240e01e7
2. TapBranch(872fabe5…240e01e7, 46c7eccf…1725e9fa) = 5cc131c8339cdaa764f53b675b3bc273093801f1c8266b796b86ea9e61f077e0

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

5cc131c8339cdaa764f53b675b3bc273093801f1c8266b796b86ea9e61f077e0

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

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

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

0795fd70957aeea9333ffc6d7652313946915b4d3b52ddd01852a5dfc085828078d394aee1f5d4c1a9ccb6f42abf8ccd48a32b1ab5ba8265e0de3d42f457b39f