トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

aff43f75ec58f2b5ace3beb15628120cbcd8c512a9c9c407cacf7def7d818cce OP_CHECKSIG

20aff43f75ec58f2b5ace3beb15628120cbcd8c512a9c9c407cacf7def7d818cceac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a604f15041b93858d2eadbdc7b41029e8176cc1fe04c108dc5ca4509a2f83d8f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a604f15041b93858d2eadbdc7b41029e8176cc1fe04c108dc5ca4509a2f83d8f
2. TapBranch(a604f150…a2f83d8f, 46c7eccf…1725e9fa) = c00ee4b276cc28062d040ff0ed1052e9b99d06c25bb148549562263bde649412

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

c00ee4b276cc28062d040ff0ed1052e9b99d06c25bb148549562263bde649412

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

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

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

8aa9765976a93fa16a28cc6842e83c97c60f47530b8758e5d2c4f574b6b24585390e1aad85baaafe2f4149b1e3728f7420ebe405327aa6f60e74b1cf9b9e8c90