トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

8759187ed62d69ef33bf04db7bf96fd558ab2e6da7ae4f8d6827a783b8a36bf2 OP_CHECKSIG

208759187ed62d69ef33bf04db7bf96fd558ab2e6da7ae4f8d6827a783b8a36bf2ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

cc3cc12a9d4d390142b59d0bc71ca0da3c07953b7986587da892a28c76bdca55

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = cc3cc12a9d4d390142b59d0bc71ca0da3c07953b7986587da892a28c76bdca55
2. TapBranch(cc3cc12a…76bdca55, 46c7eccf…1725e9fa) = 920c09bf3786cb0c2be65c8e1fcd0580605c689699b817dac80a9a32eb3afdc4

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

920c09bf3786cb0c2be65c8e1fcd0580605c689699b817dac80a9a32eb3afdc4

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

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

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

f3d42729de3593ef743558d257f59eafc63f5aa35b26c28520cc70819f7b25ef5c2c60a59a6e1c736ded3cf7c7892f455ed1fee1baf5d077134669ad7de48fca