トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

07609c0b50e240bf2bafa8295ecc2df562c4363a797b433ef929fdcaaf90deb5 OP_CHECKSIG

2007609c0b50e240bf2bafa8295ecc2df562c4363a797b433ef929fdcaaf90deb5ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

753bd0a4e8a888434b6ca66601d0bc57c610ded2186b634890cc51360efdd73f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 753bd0a4e8a888434b6ca66601d0bc57c610ded2186b634890cc51360efdd73f
2. TapBranch(753bd0a4…0efdd73f, 46c7eccf…1725e9fa) = ee0ad113f317c8d001cb6a891ebd5553ceb0936d43c225dafb84d947838fbb47

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

ee0ad113f317c8d001cb6a891ebd5553ceb0936d43c225dafb84d947838fbb47

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

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

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

6308ea59ce15b8852f6ff92b767c7aab7906be406c964e0f33dc2bee30528de091ec8637b082654e82d19af114493d47c0bcf4cb5dd6bc63c08706aab9dc3d42