トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

c9f3b8c7a74a76363ca386077252df7eff9987639c68fd9f5405291eae43669b OP_CHECKSIG

20c9f3b8c7a74a76363ca386077252df7eff9987639c68fd9f5405291eae43669bac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

189a49f699203707ac23089170a777db585c55c7f53062ab99d2d4b9ccf4dec8

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 189a49f699203707ac23089170a777db585c55c7f53062ab99d2d4b9ccf4dec8
2. TapBranch(189a49f6…ccf4dec8, 46c7eccf…1725e9fa) = dd564cae3e325ac49b8cbac770f7690a3531bf3b4ba483c030a1dfcc9dc7b880

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

dd564cae3e325ac49b8cbac770f7690a3531bf3b4ba483c030a1dfcc9dc7b880

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

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

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

de16e5d9218e08da10cace744704fe265ccbbb988a7e59ca8bbefc173edf7d1e7526ba58c2086e8a756fb2a729aa7379cd9002ff6f43b1d49e0fe6c8851c55bf