トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

6ef7dd5eaea026d251ff956e0df518798ef1176d8021ef8926a072af9b403687 OP_CHECKSIG

206ef7dd5eaea026d251ff956e0df518798ef1176d8021ef8926a072af9b403687ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

12886ffb9b407289e509697b3c2bba0bd5e8f5a06096354f0b02f6b5e9f0d41f

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 12886ffb9b407289e509697b3c2bba0bd5e8f5a06096354f0b02f6b5e9f0d41f
2. TapBranch(12886ffb…e9f0d41f, 46c7eccf…1725e9fa) = 40db6ec11801f906b0fb0895879caeb12991d365ba62551cb7f8a6b34b6296cd

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

40db6ec11801f906b0fb0895879caeb12991d365ba62551cb7f8a6b34b6296cd

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

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

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

741091ba48db3792d396de9454bf5a5d38e471c33c5b6ad39a21892d099184eaffb0ef111a4a89ec64b51d206a35882cc57e9fc73877d986791905333baf5950