トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

90cffb4416a77bc174178ad8c187da96f8babe6d1c06f8d678df9d3b837a6a8c OP_CHECKSIG

2090cffb4416a77bc174178ad8c187da96f8babe6d1c06f8d678df9d3b837a6a8cac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

30d3324d6d2f0d654bc2ef1402c902059e2dbda68ad757bf6b9a8dc43ddfb52f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 30d3324d6d2f0d654bc2ef1402c902059e2dbda68ad757bf6b9a8dc43ddfb52f
2. TapBranch(30d3324d…3ddfb52f, 46c7eccf…1725e9fa) = 3de974accd26f108a880f350fed36c9c4204dcad56230ab139702152d046ff4d

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

3de974accd26f108a880f350fed36c9c4204dcad56230ab139702152d046ff4d

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

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

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

64238aff9ae980acbba1525e5aceabeda080df17ac2bc2856679e18892f58e3b4f58a8f4649f5cb726aa6dde42c7d7bfd27a0c29565c7d8f899fb7c43cbf856b