トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

66454b8b99a4061494a4c7763658fbb6b082aeee4cf8ae143e961edab1179873 OP_CHECKSIG

2066454b8b99a4061494a4c7763658fbb6b082aeee4cf8ae143e961edab1179873ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

28e1ed3f9f4b41538da412616c3337a0151d572ea6b1aa26b004b1e80caf8018

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 28e1ed3f9f4b41538da412616c3337a0151d572ea6b1aa26b004b1e80caf8018
2. TapBranch(28e1ed3f…0caf8018, 46c7eccf…1725e9fa) = 8fceb6671657e33da1c89b390c4fa1889ececa86c369f189608d6e575bb38ab5

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

8fceb6671657e33da1c89b390c4fa1889ececa86c369f189608d6e575bb38ab5

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

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

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

ccc7d8ae3f9bdb95d7749f59223071836800f9d940c12379ab5048b300156f9169261a48ecc2c9f28abf2fa1842165515d34a0dda0f8f956eee5b06794b3c38c