トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

dc2b6b35c682b5c7c484af23a23c2b4267e1a53d62f9017a32bb3ff393e38a54 OP_CHECKSIG

20dc2b6b35c682b5c7c484af23a23c2b4267e1a53d62f9017a32bb3ff393e38a54ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

0d43e989b679bc807bd1f19b3ced7f6b17dc7eac11a3c925e75046f56e8dddd2

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = 0d43e989b679bc807bd1f19b3ced7f6b17dc7eac11a3c925e75046f56e8dddd2
2. TapBranch(0d43e989…6e8dddd2, 46c7eccf…1725e9fa) = b10efff7889573a51cc4485f58862b268c3be96e9acd33d47846e382da256131

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

b10efff7889573a51cc4485f58862b268c3be96e9acd33d47846e382da256131

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

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

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

c0a5b4b3c19308fe0b3b176bf97ad8b09eef0794413aeedf12eaedac73de3de79e8e6df5d1cac27347e01322e30643dc6e720dda7ae990d6a95e950b275a5466