トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

049fc0e5d1bead9486f30dd330326c051f41fc91186efe233e2d4134ca087004 OP_CHECKSIG

20049fc0e5d1bead9486f30dd330326c051f41fc91186efe233e2d4134ca087004ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

a451bedf363bb7301c2c9de883c48d1c5fa2ba7330a27231dccf3b5a4fcdb70c

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = a451bedf363bb7301c2c9de883c48d1c5fa2ba7330a27231dccf3b5a4fcdb70c
2. TapBranch(a451bedf…4fcdb70c, 46c7eccf…1725e9fa) = 3fe151737b2ba93b1becd434ea54ee0ec43172f4b2f6d678857aa877d7449679

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

3fe151737b2ba93b1becd434ea54ee0ec43172f4b2f6d678857aa877d7449679

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

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

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

8b8a00807eb74546917f04eb2749ada4424fff66b23c8d5fd8c93251eaf80a665fa3718ea804f653363ce87db939650e9b90f5f97145e58456b5e15a11253942