トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

2eb8f24d1d78c6631029845001a6c6f169877b86f2796bb030417f53df8a8c87 OP_CHECKSIG

202eb8f24d1d78c6631029845001a6c6f169877b86f2796bb030417f53df8a8c87ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

c73de7fa9e5425351b080e400f5b867f852554696727f9eb719d4020c086ca05

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = c73de7fa9e5425351b080e400f5b867f852554696727f9eb719d4020c086ca05
2. TapBranch(c73de7fa…c086ca05, 46c7eccf…1725e9fa) = ed8596ced41cd5b8eaac778cf6ee8cabfb1b254411b25118462f64b9edc1b445

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

ed8596ced41cd5b8eaac778cf6ee8cabfb1b254411b25118462f64b9edc1b445

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

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

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

ac07fcd3d3e35d4af597986b8b3d8447585aac90773218e5fb1e9e4dd09964c24178a84b6b9f2a424e4d99cdeb3acdc0eb26b8ea9d53ffa8e40a66a32f576ec7