トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

7182890dc574622b226d170d7c774538a06132e3aff8b361d4464789be8da024 OP_CHECKSIG

207182890dc574622b226d170d7c774538a06132e3aff8b361d4464789be8da024ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

df9d2aa1b3b7574d7ef22d20e49b7c7476c85d74592f8e6f38fc6129a6bb48e3

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = df9d2aa1b3b7574d7ef22d20e49b7c7476c85d74592f8e6f38fc6129a6bb48e3
2. TapBranch(df9d2aa1…a6bb48e3, 46c7eccf…1725e9fa) = c2fdfcad21f30da843f355f6257023661704a8b95aecdd2687a273bc655f9c16

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

c2fdfcad21f30da843f355f6257023661704a8b95aecdd2687a273bc655f9c16

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

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

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

9cca08edc369538a2a094072c03ac608fd1a558f7d178151dd62c0f08d713d39ce4016f68ba025003f6074e09281ab3aeb61f382867525c11dc9b61fb284974f