トランザクション

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

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

リーフバージョン

0xc0

リーフスクリプト

a23bd57629c56e7c4e36bb74f362386da5fb3db56c2940dd6c2b171fefa68f44 OP_CHECKSIG

20a23bd57629c56e7c4e36bb74f362386da5fb3db56c2940dd6c2b171fefa68f44ac

コントロールブロック

c146c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa (33 B)

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

1

深さ（パス長 m）

1

Merkle パス

46c7eccffefd2d573ec014130e508f0c9963ccebd7830409f7b1b1301725e9fa

リーフハッシュ（TapLeaf）

f07d9c3754834d4375b84a1c3a065e8acc0043bdd6a8a3fe0f018a359eee9fce

再計算したルート

1. TapLeaf(0xc0, リーフスクリプト) = f07d9c3754834d4375b84a1c3a065e8acc0043bdd6a8a3fe0f018a359eee9fce
2. TapBranch(f07d9c37…9eee9fce, 46c7eccf…1725e9fa) = 8ec4e5cccc4154579975d14e47ad342e838d9603c50f31e671db7d0cb8be3af4

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

8ec4e5cccc4154579975d14e47ad342e838d9603c50f31e671db7d0cb8be3af4

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

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

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

b8bffede8194c0a1d27b7f6b58a0434942e0398b363a35de3226c739074a00ab0c4ce6a1ebc087965e02bcb12ba2552aabcfeee3f265d8dba9e54bba2a1bbf25