トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

b64fd8ed22995a8c49209ffe1638c0de6614c660f88a4e6a8c2d624be41c26a0 OP_CHECKSIG

20b64fd8ed22995a8c49209ffe1638c0de6614c660f88a4e6a8c2d624be41c26a0ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

31dffadf48c94b52361048d826e80551b8c2aee0d382f2281ce1c05ee0a0e29d

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 31dffadf48c94b52361048d826e80551b8c2aee0d382f2281ce1c05ee0a0e29d
2. TapBranch(31dffadf…e0a0e29d, 46c7eccf…1725e9fa) = d44bb0d3dea01506350ac87396b51d9d31262a062d8611f101832ded7a46055d

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

d44bb0d3dea01506350ac87396b51d9d31262a062d8611f101832ded7a46055d

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

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

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

d62170aa4ab16c1f42aae11cedda8fb10578c665f404461330b8ae49696349d6d1e21dd9d1beea76bda3c76e87a71601e27eb9f8147495088042941f3c08e33e