トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

cea90236c548d7d132bd57864f4a55c1900e0812b28474ce14bf29c3ef6c4dff OP_CHECKSIG

20cea90236c548d7d132bd57864f4a55c1900e0812b28474ce14bf29c3ef6c4dffac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

ad161c8966c4b76a2f042f71f2d2e6092e11fd707afa598520d9249c3e182745

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = ad161c8966c4b76a2f042f71f2d2e6092e11fd707afa598520d9249c3e182745
2. TapBranch(ad161c89…3e182745, 46c7eccf…1725e9fa) = e2847272ef60c564ab6e4c5c195e8131e4eb5852d15ce845463bd4d370ed8f5c

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

e2847272ef60c564ab6e4c5c195e8131e4eb5852d15ce845463bd4d370ed8f5c

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

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

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

6af8e63836d5da38371ed5f58a880c34c3a4cda9b7f41da92d47a8ba9f6205db7130995cf3f93cb62947ffdb29a45180a2cdb8b628472262c58b9da85629bb6d