トランザクション

入力 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 以上）。

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

849588f3da021d01fdaaf57f45c77ea82ee9c372e83ff66d8f3f21f7cc675678fd0d774c2b960c341b2d60d05c5ba1bedb893e694a6d699bb0cca3143177af60