トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

f0611af301a0bdeaef37f9d0299ae5e44f09f4be0f7c1ad4c0db5a75a3b92797 OP_CHECKSIG

20f0611af301a0bdeaef37f9d0299ae5e44f09f4be0f7c1ad4c0db5a75a3b92797ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

1814a6ef4c012035f72ce48dfd36b30c6fef5a9346fa62b3d57f156d18b1770d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 1814a6ef4c012035f72ce48dfd36b30c6fef5a9346fa62b3d57f156d18b1770d
2. TapBranch(1814a6ef…18b1770d, 46c7eccf…1725e9fa) = 8d1755dcdc0010995912e34743ac7e84ea3afd05a55672d3eae807f885f89f0b

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

8d1755dcdc0010995912e34743ac7e84ea3afd05a55672d3eae807f885f89f0b

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

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

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

09db96e57368b55e34b192a5083788c562170821f2ca987667f00ff98096ad7de2203cd7a76e0a79c786e8be819ebab84a534cdf9310a46b9af10194e95df71c